Artículo
The hyperconnected maps that are local
Fecha de publicación:
05/2021
Editorial:
Elsevier Science
Revista:
Journal Of Pure And Applied Algebra
ISSN:
0022-4049
Idioma:
Inglés
Tipo de recurso:
Artículo publicado
Clasificación temática:
Resumen
A level j : Ej → E of a topos E is said to have monic skeleta if, for every X in E, the counit j!(j∗X) → X is monic. For instance, the centre of a hyperconnected geometric morphism is such a level. We establish two related sufficient conditions for an adjunction to extend to a level with monic skeleta. As an application, we characterize the hyperconnected geometric morphisms that are local providing an interesting expression for the associated centres that suggests a generalization of open subtoposes. As a corollary, we obtain that a hyperconnected p : E→S is precohesive if and only if p∗ : E→S preserves coequalizers and p∗ : S→E is cartesian closed
Palabras clave:
Topos Theory
,
Axiomatic Cohesion
Archivos asociados
Licencia
Identificadores
Colecciones
Articulos(CCT - LA PLATA)
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - LA PLATA
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - LA PLATA
Citación
Menni, Matías; The hyperconnected maps that are local; Elsevier Science; Journal Of Pure And Applied Algebra; 225; 5; 5-2021; 1-14
Compartir
Altmétricas