Galois Groupoids and Covering Morphisms in Topos Theory
SVM HeaderParse 0.1
AUTHOR NAME
Marta Bunge
SVM HeaderParse 0.1
AUTHOR AFFIL
Department of Mathematics and Statistics; McGill University,
SVM HeaderParse 0.2
AUTHOR ADDR
805 Sherbrooke St West, Montreal QC, Canada H3A 2K6
SVM HeaderParse 0.1
ABSTRACT
The goals of this paper are (1) to compare the Galois groupoid that appears naturally in the construction of the fundamental groupoid of a topos E bounded over an arbitrary base topos S given by Bunge (1992), with the formal Galois groupoid defined by Janelidze (1990) in a very general setting given by a pair of adjoint functors, and (2) to discuss a good notion of covering morphism of a topos E over S which is general enough to include, in addition to the covering projections determined by the locally constant objects, also the unramified morphisms of topos theory given by those local homeomorphisms which are at the same time complete spreads in the sense of Bunge-Funk (1996, 1998).