higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
A sheaf topos $\mathcal{E}$ is called stably locally connected if it is a locally connected topos
such that the extra left adjoint $\Pi_0$ in addition preserves finite products (the terminal object and binary products).
This means it is in particular also a connected topos.
If $\Pi_0$ preserves even all finite limits then $\mathcal{E}$ is called a totally connected topos.
If a stably locally connected topos is also a local topos, then it is a cohesive topos.
locally connected topos / locally ∞-connected (∞,1)-topos
stably locally connected topos / strongly ∞-connected (∞,1)-topos
and
Last revised on December 18, 2022 at 16:59:08. See the history of this page for a list of all contributions to it.