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
D-topological ∞-groupoid
smooth ∞-groupoid
synthetic differential ∞-groupoid
super ∞-groupoid
smooth super ∞-groupoid
cohesion of global- over G-equivariant homotopy theory
A kind of local generalization of cohesive ∞ \infty -toposes.
(…)
following
The example of condensed local contractibility:
exposition:
Qi Zhu, Fractured structure on condensed spaces, talk notes (2023) [pdf, pdf]
Nima Rasekh, What is a topological structure?, talk notes (April 2023) [pdf, pdf]
Last revised on June 22, 2024 at 14:04:49. See the history of this page for a list of all contributions to it.