4 Jan
2008
4 Jan
'08
4:31 a.m.
Title: 2-filteredness and the point of every Galois topos Authors: Eduardo J. Dubuc Categories: math.CT math.AG Comments: 5 pages, result presented at CT2007, Cavoeiro MSC-class: 18B25 \\ 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. \\ ( http://arxiv.org/abs/0801.0010 , 6kb) NOTE: in definition 1.2 iii) "Z" is supposed to be locally constant.