**Backround**

**Definition**

**Presentation over a site**

**Models**

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.

For more see at:

Its truncations to lower categorical degree yield

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

Last revised on June 29, 2022 at 12:08:35. See the history of this page for a list of all contributions to it.