structures in a cohesive (∞,1)-topos
infinitesimal cohesion?
The path ∞-groupoid of a generalized smooth space is a geometric version of the fundamental ∞-groupoid of : its 1-morphisms form the geometric space of paths in , and so forth. Its truncations to lower categorical degree yield
For details see at shape via cohesive path ∞-groupoid.
Last revised on July 3, 2017 at 07:16:06. See the history of this page for a list of all contributions to it.