An Essential Local Geometric Morphism which is not Locally Connected\n though its Inverse Image Part defines an Exponential Ideal

2021/05/21 by Richard Garner, Garner, Richard, Thomas Streicher +1
Mathematics · #Category Theory (math.CT) #Commutative Algebra and Its Applications #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Rings, Modules, and Algebras

paper · pdf · doi:10.48550/arxiv.2105.10143

openalex publication_date 2021/05/21 · openalex created_date 2022/07/25 · openalex updated_date 2026/07/28

Abstract

We describe an essential local geometric morphism which is not locally\nconnected, though its inverse image part defines an exponential ideal\n

Related

• An essential, hyperconnected, local geometric morphism that is not\n locally connected
• Representing geometric morphisms using power locale monads
• Triposes as a Generalization of Localic Geometric Morphisms
• Generically finite morphisms and formal neighborhoods of arcs
• On a (terminally connected, pro-etale) factorization of geometric morphisms