2-Filteredness and the point of every Galois topos
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 top...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | JOUR |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_09272852_v18_n2_p115_Dubuc |
| Aporte de: |
| id |
todo:paper_09272852_v18_n2_p115_Dubuc |
|---|---|
| record_format |
dspace |
| spelling |
todo:paper_09272852_v18_n2_p115_Dubuc2023-10-03T15:46:54Z 2-Filteredness and the point of every Galois topos Dubuc, E.J. Galois topos 2-filtered 2-categories 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. JOUR info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_09272852_v18_n2_p115_Dubuc |
| institution |
Universidad de Buenos Aires |
| institution_str |
I-28 |
| repository_str |
R-134 |
| collection |
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) |
| topic |
Galois topos 2-filtered 2-categories |
| spellingShingle |
Galois topos 2-filtered 2-categories Dubuc, E.J. 2-Filteredness and the point of every Galois topos |
| topic_facet |
Galois topos 2-filtered 2-categories |
| description |
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. |
| format |
JOUR |
| author |
Dubuc, E.J. |
| author_facet |
Dubuc, E.J. |
| author_sort |
Dubuc, E.J. |
| title |
2-Filteredness and the point of every Galois topos |
| title_short |
2-Filteredness and the point of every Galois topos |
| title_full |
2-Filteredness and the point of every Galois topos |
| title_fullStr |
2-Filteredness and the point of every Galois topos |
| title_full_unstemmed |
2-Filteredness and the point of every Galois topos |
| title_sort |
2-filteredness and the point of every galois topos |
| url |
http://hdl.handle.net/20.500.12110/paper_09272852_v18_n2_p115_Dubuc |
| work_keys_str_mv |
AT dubucej 2filterednessandthepointofeverygaloistopos |
| _version_ |
1807324248889360384 |