Maps with discrete fibers and the origin of basepoints

DOI10.1007/S10485-022-09680-2OpenAlexW4226118664MaRDI QIDQ2674403FDOQ2674403

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On a Topological Topos
• Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness
• Axiomatic cohesion
• On the relation between continuous and combinatorial
• Title not available (Why is that?)
• Title not available (Why is that?)
• Calibrated toposes
• An essential, hyperconnected, local geometric morphism that is not locally connected
• The unity and identity of decidable objects and double-negation sheaves
• Monic skeleta, boundaries, Aufhebung, and the meaning of `one-dimensionality'
• Title not available (Why is that?)
• Every sufficiently cohesive topos is infinitesimally generated

Cited In (6)

• Title not available (Why is that?)
• 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)