(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