2-filteredness and the point of every Galois topos
From MaRDI portal
Publication:969693
DOI10.1007/S10485-008-9145-4zbMATH Open1220.18001arXiv0801.0010OpenAlexW2104236645MaRDI QIDQ969693FDOQ969693
Authors: Eduardo J. Dubuc
Publication date: 7 May 2010
Published in: Applied Categorical Structures (Search for Journal in Brave)
Abstract: A 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.
Full work available at URL: https://arxiv.org/abs/0801.0010
Recommendations
Cites Work
Cited In (1)
This page was built for publication: 2-filteredness and the point of every Galois topos
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q969693)