nLab path infinity-groupoid

Redirected from "path ∞-groupoids".
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.

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.