A connected locally connected topos is a Galois topos if the Galois objects generate the topos. We show that the full subcategory of Galois objects in any connected locally connected topos is an inversely 2-filtered 2-category, and as an application of the construction of 2-filtered bi-limits of topoi, we show that every Galois topos has a point. © Springer Science + Business Media B.V. 2008.
Documento: | Artículo |
Título: | 2-Filteredness and the point of every Galois topos |
Autor: | Dubuc, E.J. |
Filiación: | Dpto. de Matematicas, F.C.E. y N., University of Buenos Aires, F.C.E. y N. UBA, 1428 Buenos Aires, Buenos Aires 1428, Argentina |
Palabras clave: | Galois topos 2-filtered; 2-categories |
Año: | 2010 |
Volumen: | 18 |
Número: | 2 |
Página de inicio: | 115 |
Página de fin: | 121 |
DOI: | http://dx.doi.org/10.1007/s10485-008-9145-4 |
Título revista: | Applied Categorical Structures |
Título revista abreviado: | Appl Categorical Struct |
ISSN: | 09272852 |
CODEN: | ACASE |
Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09272852_v18_n2_p115_Dubuc |