2-Filtered inverse limits of topoi.

EDUARDO J. DUBUC

Cavoeiro, Portugal.

Congreso; International Conference in Category Theory 2007; 2007

University of Coimbra and University of Faro

Recall that an object A in a topos E is a galois object if it is an Aut(A)-torsor,and that a galois topos is an atomic topos generated by its galois objects. As an aplication of the construction of 2-filtered colimits of categories we derive a theorem of existence of 2-filtered inverse limits of topoi. We show then that every Galois topos has a point.A in a topos E is a galois object if it is an Aut(A)-torsor,and that a galois topos is an atomic topos generated by its galois objects. As an aplication of the construction of 2-filtered colimits of categories we derive a theorem of existence of 2-filtered inverse limits of topoi. We show then that every Galois topos has a point.