See this document in CiteSeerX!

Van Kampen theorems for toposes  (Make Corrections)  (2 citations)
Marta Bunge, Stephen Lack



  Home/Search   Context   Related

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

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

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

Abstract: In this paper we introduce the notion of an extensive 2-category, to be thought of as a "2-category of generalized spaces". We consider an extensive 2-category K equipped with a binary-product-preserving pseudofunctor C : K CAT, which we think of as specifying the "coverings" of our generalized spaces. We prove, in this context, a van Kampen theorem which generalizes and refines one of Brown and Janelidze. The local properties required in this theorem are stated in terms of morphisms of ... (Update)

Context of citations to this paper:   More

.... investigating in section 2 (Locally constant objects in toposes) the connection between the notion of a locally constant object given in [12] (inspired by [8] with that of Janelidze [21, 22] and, in passing, also with that of Barr and Diaconescu [3] with which both agree if...

Cited by:   More
Crossed Complexes And Homotopy Groupoids As Non Commutative Tools.. - Brown   (Correct)
Galois Groupoids and Covering Morphisms in Topos Theory - Bunge   (Correct)

Active bibliography (related documents):   More   All
1.6:   The Michael Completion of a Topos Spread - Bunge, Funk   (Correct)
1.1:   On Branched Covers In Topos Theory - Funk (2000)   (Correct)
1.0:   Constructive Theory of Galois Toposes - Bunge, Dubuc   (Correct)

Similar documents based on text:   More   All
0.4:   Two Results On Branched Coverings Of Grassmannians - Meeyoung Kim And (1996)   (Correct)
0.3:   Abstracts / R ' Esum ' Es De Conf ' Erences - Jeffery-Williams Lecture Conf   (Correct)
0.3:   Van Kampen theorems for categories of covering morphisms in.. - Brown, Janelidze (1995)   (Correct)

Related documents from co-citation:   More   All
2:   Spaces of maps into classifying spaces for equivariant crossed complexes - Brown, Golasi et al. - 1997
2:   Cambridge Studies in Advanced Mathematics (context) - Borceux, Janelidze et al. - 2001

BibTeX entry:   (Update)

M. Bunge and S. Lack, Van Kampen theorems for toposes, Advances in Mathematics, to appear. http://citeseer.ist.psu.edu/607860.html   More

@misc{ bunge-van,
  author = "M. Bunge and S. Lack",
  title = "Van Kampen theorems for toposes",
  text = "M. Bunge and S. Lack, Van Kampen theorems for toposes, Advances in Mathematics,
    to appear.",
  url = "citeseer.ist.psu.edu/607860.html" }
Citations (may not include all citations):
83   Topos Theory (context) - Johnstone - 1977
48   Introduction to extensive and distributive categories (context) - Carboni, Lack et al. - 1993
36   A Basic Course in Algebraic Topology (context) - Massey - 1991
32   An extension of the Galois theory of Grothendieck (context) - Joyal, Tierney - 1984
12   Topology: A geometric account of general topology (context) - Brown - 1988
10   The classifying topos of a continuous groupoid (context) - Moerdijk - 1988
9   Introduction to Riemann surfaces (context) - Springer - 1957
8   On locally simply connected toposes and their fundamental gr.. (context) - Barr, Diaconescu - 1981
7   Spreads and the symmetric topos II (context) - Bunge, Funk - 1998
6   Continuous fibrations and inverse limits of toposes (context) - Moerdijk - 1986
6   Fibrations in bicategories (context) - Street - 1980
6   Categories of space and quantity (context) - Lawvere - 1992
6   Fibrations in bicategories (context) - Street, to - 1987
6   Molecular toposes (context) - Barr, Pare - 1980
5   Exponentiability and single universes (context) - Bunge, Niefield - 2000
5   The algebra of distributive and extensive categories (context) - Lack - 1995
5   a bicomma object condition for KZ-doctrines (context) - Bunge, Funk - 1999
5   Theory and Applications of Categories (context) - Funk, covers et al. - 2000
5   Monades et descente (context) - Benabou, Roubaud - 1979
5   Spreads and the symmetric topos (context) - Bunge, Funk - 1996
4   the construction of the Grothendieck fundamental group of a .. (context) - Bunge, Moerdijk - 1997
3   Cambridge Studies in Advanced Mathematics (context) - Borceux, Janelidze et al. - 2001
3   Classifying toposes and fundamental localic groupoids (context) - Bunge - 1992
3   Pure Galois theory in categories (context) - Janelidze - 1990
3   Mathematical Lecture Series (context) - Rolfsen, Links - 1976
2   Stacks and equivalences of categories (context) - Bunge, Pare - 1979
2   Algebraic Geometry and Topology: A Symposium in Honor of S (context) - Fox, with - 1957
2   Pullbacks equivalent to pseudopullbacks (context) - Joyal, Street - 1993
2   Van Kampen theorems for categories of covering morphisms in .. - Brown, Janelidze - 1997
1   Unramified maps (context) - Funk, Tymchatyn - 2001
1   Workshop on Categorical Methods in Geometry (context) - Lawvere, intensive - 1983
1   An introduction to the new invariants in low-dimensional top.. (context) - Prasolov, Sossinsky et al. - 1991
1   An application of descent to a classification theorem for to.. (context) - Bunge - 1990
1   and Dominic Verity (context) - Carboni, Johnson et al. - 1994
1   Lax descent for essential surjections (context) - Pitts - 1986
1   Theorie des Topos et Cohomologie Etale des Sch mas Tome (context) - Artin, Grothendieck et al. - 1973
1   Covering morphisms in topos theory (context) - Bunge

Documents on the same site (http://www.math.mcgill.ca/~bunge/current-papers.html):
The Michael Completion of a Topos Spread - Bunge, Funk   (Correct)
Galois Groupoids and Covering Morphisms in Topos Theory - Bunge   (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