Maps with discrete fibers and the origin of basepoints

DOI10.1007/S10485-022-09680-2MaRDI QIDQ2674403zbMATH OpenOpenAlexFDO

Authors Matias Menni

Publication date 12 September 2022

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10485-022-09680-2

zbMATH Keywords

topos theoryaxiomatic cohesionAufhebungdiscrete fibers

Mathematics Subject Classification ID

Topoi (18B25) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Categories in geometry and topology (18F99)

Recommendations

• The hyperconnected maps that are local
• scientific article; zbMATH DE number 5934764
• Connected Locally Connected Toposes are Path-Connected
• An addendum to “Path-lifting for Grothendieck toposes"
• Toposes over which essential implies locally connected

Cites work

• scientific article; zbMATH DE number 7229466 (Why is no real title available?)
• scientific article; zbMATH DE number 19477 (Why is no real title available?)
• scientific article; zbMATH DE number 29051 (Why is no real title available?)
• scientific article; zbMATH DE number 2172007 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 5934764 (Why is no real title available?)
• scientific article; zbMATH DE number 3074646 (Why is no real title available?)
• An essential, hyperconnected, local geometric morphism that is not locally connected
• Axiomatic cohesion
• Calibrated toposes
• Every sufficiently cohesive topos is infinitesimally generated
• Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness
• Monic skeleta, boundaries, Aufhebung, and the meaning of `one-dimensionality'
• On a Topological Topos
• On the relation between continuous and combinatorial
• The unity and identity of decidable objects and double-negation sheaves

Cited in

(6)

• scientific article; zbMATH DE number 5934764 (Why is no real title available?)
• An essential, hyperconnected, local geometric morphism that is not locally connected
• The étendue of a combinatorial space and its dimension
• Decidable objects and molecular toposes
• On toposes generated by cardinal finite objects
• The hyperconnected maps that are local

This page was built for publication: Maps with discrete fibers and the origin of basepoints

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