nLab
path infinity-groupoid

Contents

Contents

Idea

The path ∞-groupoid Π(X)\Pi(X) of a generalized smooth space XX is a geometric version of the fundamental ∞-groupoid of XX: its 1-morphisms form the geometric space of paths in XX, 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.