nLab
path infinity-groupoid

Context

Cohesive homotopy theory

cohesive topos

cohesive (∞,1)-topos

cohesive homotopy type theory

Backround

Definition

Presentation over a site

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

structures in a cohesive (∞,1)-topos

Structures with infinitesimal cohesion

infinitesimal cohesion?

Models

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.

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