Toposes over which essential implies locally connected

MaRDI QIDQ5045917zbMATH OpenFDO

Authors Jens Hemelaer

Publication date 7 November 2022

Full work available at URL https://arxiv.org/abs/2204.02749, http://cahierstgdc.com/wp-content/uploads/2022/10/HEMELAER-LXIII-4.pdf

zbMATH Keywords

Beck-Chevalleycartesian closedCILCEILCessentialJacobsonlocally connectedmoleculartopos

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Grothendieck topologies and Grothendieck topoi (18F10)

Abstract: We introduce the notion of an EILC topos: a topos $mathcalE$ such that every essential geometric morphism with codomain $mathcalE$ is locally connected. We then show that the topos of sheaves on a topological space $X$ is EILC if $X$ is Hausdorff (or more generally, if $X$ is Jacobson). Further examples of Grothendieck toposes that are EILC are Boolean 'etendues and classifying toposes of compact groups. Next, we introduce the weaker notion of CILC topos: a topos $mathcalE$ such that any geometric morphism $f:mathcalFomathcalE$ is locally connected, as soon as $f^{\ast }$ is cartesian closed. We give some examples of topological spaces $X$ and small categories $mathcalC$ such that $mathbfSh(X)$ resp. $mathbfPSh(mathcalC)$ are CILC. Finally, we show that any Boolean elementary topos is CILC.

Recommendations

• Connected Locally Connected Toposes are Path-Connected
• The connectedness of locally finite topology
• Local connectedness in \(L\)-topological spaces
• The Structure of Locally Connected Topological Spaces
• Local connectedness of \(L\)-pretopological spaces
• The locally connected coclosure of a Grothendieck topos
• scientific article; zbMATH DE number 5171537
• Locally semi-connectedness in topological spaces
• The pluri-fine topology is locally connected
• On the Topology of Semi-Local Connectedness

Cited in

(7)

• An essential, hyperconnected, local geometric morphism that is not locally connected
• Maps with discrete fibers and the origin of basepoints
• Connected Locally Connected Toposes are Path-Connected
• scientific article; zbMATH DE number 5934764 (Why is no real title available?)
• The least subtopos containing the discrete skeleton of \(\Omega\)
• Decidable objects and molecular toposes
• Two-dimensional Kripke semantics i: presheaves

This page was built for publication: Toposes over which essential implies locally connected

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5045917)