An essential, hyperconnected, local geometric morphism that is not\n locally connected

2020/09/25 by Jens Hemelaer, Morgan Rogers, Hemelaer, Jens +1
Computer Science · Mathematics · #Category Theory (math.CT) #FOS: Mathematics #Geometric and Algebraic Topology #Rings, Modules, and Algebras #semigroups and automata theory

paper · pdf · doi:10.48550/arxiv.2009.12241

openalex publication_date 2020/09/25 · openalex created_date 2022/07/25 · openalex updated_date 2026/07/28

Abstract

We give an example of an essential, hyperconnected, local geometric morphism\nthat is not locally connected, arising from our work-in-progress on geometric\nmorphisms \PSh(M) \→ \PSh(N), where M and N are monoids.\n

Related

• An Essential Local Geometric Morphism which is not Locally Connected\n though its Inverse Image Part defines an Exponential Ideal
• Representing geometric morphisms using power locale monads
• Triposes as a Generalization of Localic Geometric Morphisms
• Geometric morphisms between toposes of monoid actions: factorization\n systems
• Generically finite morphisms and formal neighborhoods of arcs