Results 1 
3 of
3
Van Kampen theorems for categories of covering morphisms in lextensive categories
 JOURNAL OF PURE AND APPLIED ALGEBRA
, 1997
"... We give a form of the Van Kampen Theorem involving covering morphisms in a lextensive category. This includes the usual results for covering maps of locally connected spaces, for light maps of compact Hausdorff spaces, and for locally strong separable algebras. ..."
Abstract

Cited by 12 (8 self)
 Add to MetaCart
We give a form of the Van Kampen Theorem involving covering morphisms in a lextensive category. This includes the usual results for covering maps of locally connected spaces, for light maps of compact Hausdorff spaces, and for locally strong separable algebras.
Galois Theory of Second Order Covering Maps of Simplicial Sets
 J. Pure Appl. Algebra
, 1995
"... this paper is to develop such a theory for simplicial sets, as a special case of Galois theory in categories [6]. The second order notion of fundamental groupoid arising here as the Galois groupoid of a fibration is slightly different from the above notions but ..."
Abstract

Cited by 6 (3 self)
 Add to MetaCart
this paper is to develop such a theory for simplicial sets, as a special case of Galois theory in categories [6]. The second order notion of fundamental groupoid arising here as the Galois groupoid of a fibration is slightly different from the above notions but
Galois Groupoids and Covering Morphisms in Topos Theory
"... 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 ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
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 BungeFunk (1996, 1998).