path infinity-groupoid

**structures in a cohesive (∞,1)-topos**

**infinitesimal cohesion?**

The path ∞-groupoid $\Pi(X)$ of a generalized smooth space $X$ is a geometric version of the fundamental ∞-groupoid of $X$: its 1-morphisms form the geometric space of paths in $X$, and so forth. Its truncations to lower categorical degree yield

For details see at *shape via cohesive path ∞-groupoid*.

Revised on July 3, 2017 07:16:06
by Urs Schreiber
(88.77.226.246)