higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
The concept of formal smooth set is a kind of generalized space generalizing smooth sets from plain differential geometry to differential geometry equipped with explicit infinitesimal spaces, hence to synthetic differential geometry. Just as a smooth set is equivalently a sheaf on the site of Cartesian spaces, so a formal smooth set is a sheaf on the site of formal Cartesian spaces, hence of Cartesian products of Cartesian spaces with infinitesimally thickened points. The resulting sheaf topos is also known as Dubuc’s Cahiers topos.
For the moment, for more see at geometry of physics the chapters manifolds and orbifolds and geometry of physics – supergeometry.
Created on June 25, 2018 at 12:48:58. See the history of this page for a list of all contributions to it.