# nLab path infinity-groupoid

Contents

### Context

#### Cohesive homotopy theory

cohesive topos

cohesive (∞,1)-topos

cohesive homotopy type theory

## Structures in a cohesive $(\infty,1)$-topos

structures in a cohesive (∞,1)-topos

## Structures with infinitesimal cohesion

infinitesimal cohesion?

# Contents

## Idea

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.

Last revised on June 18, 2021 at 05:51:50. See the history of this page for a list of all contributions to it.