The hyperconnected maps that are local

DOI10.1016/J.JPAA.2020.106596MaRDI QIDQ2223372zbMATH OpenOpenAlexWikidataFDO

Authors Matias Menni

Publication date 28 January 2021

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jpaa.2020.106596

zbMATH Keywords

axiomatic cohesion, hyperconnected geometric morphism, local geometric morphism, principal topologies, idempotent comonads

Mathematics Subject Classification ID

Grothendieck topologies and Grothendieck topoi (18F10) Foundations of algebraic geometry (14A99) Categories in geometry and topology (18F99)

Recommendations

• Maps with discrete fibers and the origin of basepoints
• On the relation between continuous and combinatorial
• An essential, hyperconnected, local geometric morphism that is not locally connected
• Continuous cohesion over sets
• The construction of \(\pi_0\) in Axiomatic Cohesion

Cites work

• scientific article; zbMATH DE number 3886100 (Why is no real title available?)
• scientific article; zbMATH DE number 19477 (Why is no real title available?)
• scientific article; zbMATH DE number 4123961 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 2172006 (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?)
• Axiomatic cohesion
• Calibrated toposes
• Elementary axioms for local maps of toposes
• Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness
• Linearization of graphic toposes via Coxeter groups
• Local Maps of Toposes
• Monic skeleta, boundaries, Aufhebung, and the meaning of `one-dimensionality'
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• Sheaves in geometry and logic: a first introduction to topos theory
• The construction of \(\pi_0\) in Axiomatic Cohesion
• The unity and identity of decidable objects and double-negation sheaves

Cited in

(14)

• Sufficient cohesion over atomic toposes
• Bi-directional models of ``radically synthetic differential geometry
• Monic skeleta, boundaries, Aufhebung, and the meaning of `one-dimensionality'
• The successive dimension, without elegance
• scientific article; zbMATH DE number 6812709 (Why is no real title available?)
• The least subtopos containing the discrete skeleton of \(\Omega\)
• Proof of a conjecture of A. Pitts
• scientific article; zbMATH DE number 5934764 (Why is no real title available?)
• An essential, hyperconnected, local geometric morphism that is not locally connected
• Maps with discrete fibers and the origin of basepoints
• The construction of \(\pi_0\) in Axiomatic Cohesion
• Decidable objects and molecular toposes
• Level \(\varepsilon\)
• The canonical intensive quality of a cohesive topos

This page was built for publication: The hyperconnected maps that are local

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