The hyperconnected maps that are local

DOI10.1016/J.JPAA.2020.106596zbMATH Open1462.18002OpenAlexW3091865929WikidataQ112120964 ScholiaQ112120964MaRDI QIDQ2223372FDOQ2223372

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

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

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)

Cites Work

• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Local Maps of Toposes
• Linearization of graphic toposes via Coxeter groups
• Title not available (Why is that?)
• Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness
• Axiomatic cohesion
• Title not available (Why is that?)
• Title not available (Why is that?)
• The construction of \(\pi_0\) in Axiomatic Cohesion
• Title not available (Why is that?)
• Calibrated toposes
• Elementary axioms for local maps of toposes
• The unity and identity of decidable objects and double-negation sheaves
• Monic skeleta, boundaries, Aufhebung, and the meaning of `one-dimensionality'

Cited In (14)

• Bi-directional models of ``radically synthetic differential geometry
• Monic skeleta, boundaries, Aufhebung, and the meaning of `one-dimensionality'
• The successive dimension, without elegance
• The least subtopos containing the discrete skeleton of \(\Omega\)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proof of a conjecture of A. Pitts
• 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
• Sufficient cohesion over atomic toposes

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)