See this document in CiteSeerX!

Constructive Theory of Galois Toposes  (Make Corrections)  
Marta Bunge, Eduardo J. Dubuc



  Home/Search   Context   Related

 
View or download:
math.mcgill.ca/bunge/ctgt.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  math.mcgill.ca/b...currentpapers (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Galois toposes were considered by Grothendieck in connection with the fundamental progroup of a topos. They were subsequently shown by Moerdijk to correspond to the classifying toposes of prodiscrete localic groups. Over an arbitrary base topos S, the (coverings) fundamental group constructed by Bunge is (the classifying topos of) a prodiscrete localic groupoid. We introduce a notion of Galois topos relative to an arbritrary base topos S and show that it reduces to the usual when the base topos ... (Update)

Active bibliography (related documents):   More   All
4.5:   Galois Groupoids and Covering Morphisms in Topos Theory - Bunge   (Correct)
1.0:   Van Kampen theorems for toposes - Bunge, Lack   (Correct)
0.9:   The Michael Completion of a Topos Spread - Bunge, Funk   (Correct)

Similar documents based on text:   More   All
1.3:   Relative Compactness Conditions For Toposes - Moerdijk, Vermeulen   (Correct)
1.3:   Representing Topoi By Topological Groupoids - Butz, Moerdijk (1996)   (Correct)
1.2:   Classifying Toposes for First Order Theories - Butz, Johnstone (1998)   (Correct)

BibTeX entry:   (Update)

@misc{ bunge-constructive,
  author = "Marta Bunge and Eduardo J. Dubuc",
  title = "Constructive Theory of Galois Toposes",
  url = "citeseer.ist.psu.edu/487116.html" }
Citations (may not include all citations):
32   An extension of the Galois theory of Grothendieck (context) - Joyal, Tierney - 1984
10   The classifying topos of a continuous groupoid (context) - Moerdijk - 1988
9   Connected locally connected toposes are pathconnected (context) - Moerdijk, Wraith - 1986
9   Open maps of toposes (context) - Johnstone - 1980
7   Spreads and the Symmetric Topos II (context) - Bunge, Funk - 1998
7   Covering spaces with singularities (context) - Fox - 1957
6   Toposes as homotopy groupoids (context) - Joyal, Moerdijk - 1990
6   Molecular toposes (context) - Barr, Par - 1980
5   The display locale of a cosheaf (context) - Funk - 1995
4   eorie des Topos et Cohomologie Etale des Schemas (context) - Artin, Grothendieck et al. - 1972
4   the construction of the Grothendieck fundamental group of a .. (context) - Bunge, Moerdijk - 1997
3   Classifying toposes and fundamental localic groupoids (context) - Bunge - 1992
3   Atomic Toposes (context) - Barr, Diaconescu - 1980
3   Continuous brations and inverse limits of toposes (context) - Moerdijk - 1986
2   Berlin-Heidelberg-New York (context) - Grothendieck, etales et al. - 1971
2   Prodiscrete groups and Galois toposes (context) - Moerdijk - 1989
2   Stack completions and Morita equivalence for categories in a.. (context) - Bunge - 1979
2   An application of descent to a classication theorem for topo.. (context) - Bunge - 1990
2   The fundamental localic groupoid of a topos (context) - Kennison - 1992
1   On locally simply conected toposes and their fundamental gro.. (context) - Barr, Diaconescu - 1981
1   Universal covering localic toposes (context) - Bunge - 1992
1   the Galois theory of Grothendieck (context) - Dubuc, Vega - 2000
1   Preprint April (context) - Funk, Tymchatyn et al. - 2001
1   An addendum to \Path-lifting for Grothendieck toposes (context) - Moerdijk - 1997
1   Lecture Notes in Mathematics 100 Springer-Verlag (context) - Artin, Mazur et al. - 1969

Documents on the same site (http://www.math.mcgill.ca/bunge/current-papers.html):
Distribution Algebras and Duality - Bunge, Funk (2000)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC