Stack completions and Morita equivalence for categories in a topos
Internal presheaves toposes
Models of differential algebra in the context of synthetic differential geometry
On a synthetic proof of the Ambrose-Palais-Singer theorem for infinitesimally linear spaces
Stacks and equivalence of indexed categories
On connections, geodesics and sprays in synthetic differential geometry
Archimedian local -rings and models of synthetic differential geometry
Definable completeness
Fundamental pushout toposes.
Quasi locally connected toposes.
Page 1