2-filteredness and the point of every Galois topos
Category Theory
2008-01-03 v1 Algebraic Geometry
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.
Keywords
Cite
@article{arxiv.0801.0010,
title = {2-filteredness and the point of every Galois topos},
author = {Eduardo J. Dubuc},
journal= {arXiv preprint arXiv:0801.0010},
year = {2008}
}
Comments
5 pages, result presented at CT2007, Cavoeiro