cohesive topos

cohesive (∞,1)-topos

cohesive homotopy type theory

(∞,1)-topos theory

higher geometry

motivation for cohesive toposes

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

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

discrete ∞-groupoid

D-topological ∞-groupoid?

smooth ∞-groupoid

synthetic differential ∞-groupoid

super ∞-groupoid

smooth super ∞-groupoid

cohesion of global- over G-equivariant homotopy theory

Last revised on October 9, 2021 at 01:32:48. See the history of this page for a list of all contributions to it.