nLab cohesive infinity-toposes - contents

cohesive topos

cohesive (∞,1)-topos

cohesive homotopy type theory

Backround

• (∞,1)-topos theory

• higher geometry

• motivation for cohesive toposes

Definition

• locally connected topos / locally ∞-connected (∞,1)-topos

  • connected topos / ∞-connected (∞,1)-topos

  • strongly connected topos / strongly ∞-connected (∞,1)-topos

  • totally connected topos / totally ∞-connected (∞,1)-topos

• local topos / local (∞,1)-topos.

• cohesive topos / cohesive (∞,1)-topos

Presentation over a site

• locally connected site / locally ∞-connected site

  • connected site / ∞-connected site

  • strongly connected site / strongly ∞-connected site

  • totally connected site / totally ∞-connected site

• local site / ∞-local site

• cohesive site, ∞-cohesive site

Models

• discrete ∞-groupoid

  • discrete space, discrete group, discrete groupoid

• D-topological ∞-groupoid

  • topological space, topological groupoid, topological group

• smooth ∞-groupoid

  • smooth space, diffeological space, smooth manifold, Lie group, Lie groupoid, differentiable stack, Lie 2-group, Lie 2-groupoid, smooth ∞-groupoid

• synthetic differential ∞-groupoid

  • Lie algebra, Lie algebroid, ∞-Lie algebra, ∞-Lie algebroid

• super ∞-groupoid

  • superalgebra, super Lie algebra, super L-∞ algebra

• smooth super ∞-groupoid

  • superpoint, supergeometry, supermanifold, super Lie group, super ∞-groupoid, synthetic differential super ∞-groupoid

• cohesion of global- over G-equivariant homotopy theory