van Kampen theorems for toposes

Advances in Mathematics

Volumn 179, Issue 2, 2003, Pages 291-317

  Bunge, Marta ^a   Lack, Stephen ^b  

^a MCGILL UNIVERSITY   (Canada)

^b UNIVERSITY OF SYDNEY   (Australia)

Author keywords

2 categories; Branched coverings; Descent; Extensive categories; Fundamental groupoids; Intensive and extensive quantities; Locally constant objects; Toposes; Unramified maps; van Kampen theorems

Indexed keywords

EID: 0242511144     PISSN: 00018708     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0001-8708(03)00010-0     Document Type: Article

References (37)

1. M. Artin, A. Grothendieck, J.L. Verdier, Théorie des Topos et Cohomologie Etale des Schḿas Tome 3, in: Lecture Notes Mathmatics, Vol. 305, Springer, Berlin, 1973.
2. M. Barr, R. Diaconescu, On locally simply connected toposes and their fundamental groups, Cahiers Topologie Geom. Differentieile Categoriques 22 (1981) 301-314.
3. M. Barr, R. Paré, Molecular toposes, J. Pure Appl. Algebra 17 (1980) 127-152.
4. J. Bénabou, J. Roubaud, Monades et descente, C.R. Acad. Sci. 270 (1979) 373-399.
5. F. Borceux, G. Janelidze, Galois theories, in: Cambridge Studies in Advanced Mathematics, Vol. 72, Cambridge University Press, Cambridge, 2001.
6. R. Brown, Topology: A Geometric Account of General Topology, Homotopy Types and the Fundamental Groupoid, Ellis Horwood, Chichester, 1988.
7. R. Brown, G. Janelidze, Van Kampen theorems for categories of covering morphisms in lextensive categories, J. Pure Appl. Alegbra 119 (1997) 255-263.
8. M. Runge, Classifying toposes and fundamental localic groupoids, in: R.A.G. Seely (Ed.), Category Theory '91, CMS Conference Proceedings, Vol. 13, 1992, pp. 73-96.
9. M. Bunge, An application of descent to a classification theorem for toposes, Math. Proc. Cambridge Philos. Soc. 107 (1990) 59-79.
10. M. Runge, Galois groupoids and covering morphisms in topos theory, submitted for publication. Available at www.math.mcgill.ca/~bunge/galcov.ps.
11. M. Bunge, J. Funk, Spreads and the symmetric topos, J. Appl. Algebra 113 (1996) 1-38.
12. M. Bunge, J. Funk, Spreads and the symmetric topos II, J. Pure Appl. Algebra 130 (1998) 49-84.
13. M. Bunge, J. Funk, On a bicomma object condition for KZ-doctrines, J. Pure Appl. Algebra 143 (1999) 69-105.
14. M. Bunge, I. Moerdijk, On the construction of the Grothendieck fundamental group of a topos by paths, J. Pure Appl. Algebra 116 (1997) 99-113.
15. M. Bunge, S. Niefield, Exponentiability and single universes, J. Pure Appl. Algebra 148 (2000) 217-250.
16. M. Bunge, R. Paré, Stacks and equivalences of categories, Cahiers Topologie Géom. Differentieile Categoriques 20 (1979) 373-399.
17. A. Carboni, S. Johnson, R. Street, D. Verity, Modulated bicategories, J. Pure Appl. Algebra 94 (1994) 229-282.
18. A. Carboni, S. Lack, R.F.C. Walters, Introduction to extensive and distributive categories, J. Pure Appl. Algebra 84 (1993) 145-158.
19. R.H. Fox, Covering spaces with singularities, Algebraic Geometry and Topology: A Symposium in Honor of S. Lefschetz, Princeton University Press, Princeton, NJ, 1957, pp. 243-257.
20. J. Funk, On branched covers in topos theory, Theory Appl. Categories 7 (2000) 1-22.
21. J. Funk, E.D. Tymchatyn, Unramified maps, JP Jour. Geom. Topol. 1 (2001) 249-280.
22. G. Janelidze, Pure Galois theory in categories, J. Algebra 132 (1990) 270-286.
23. P.T. Johnstone, Topos Theory, Academic Press, London, 1977.
24. A. Joyal, R. Street, Pullbacks equivalent to pseudopullbacks, Cahiers Topologie Géom. Differentieile Categoriques 34 (1993) 153-156.
25. A. Joyal, M. Tierney, An extension of the Galois theory of Grothendieck, Mem. Amer. Math. Soc. 309 (1984).
26. S. Lack, The algebra of distributive and extensive categories, Ph.D. Thesis, University of Cambridge, 1995.
27. F.W. Lawvere, Extensive and intensive quantities, Workshop on Categorical Methods in Geometry, Aarhus, 1983.
28. F.W. Lawvere, Categories of space and quantity, in: J. Echeverria, et al., (Eds.), The Space of Mathematics, de Gruyter, Berlin, New York, 1992.
29. W.S. Massey, A Basic Course in Algebraic Topology, Springer, Berlin, 1991.
30. I. Moerdijk, Continuous fibrations and inverse limits of toposes, Compositio Math. 58 (1986) 45-72.
31. I. Moerdijk, The classifying topos of a continuous groupoid I, Trans. Amer. Math. Soc. 310 (1988) 629-668.
32. A.M. Pitts, Lax descent for essential surjections, Lecture at Cambridge Category Theory Conference, 1986.
33. V.V. Prasolov, A.B. Sossinsky, Knots, links, braids and 3-manifolds, An introduction to the new invariants in low-dimensional topology, in: Translations of Mathematical Monographs, Vol. 154, American Mathematical Society, Providence, RI, 1991.
34. Dale Rolfsen, Knots and Links, Mathematical Lecture Series, Vol. 7, Publish or Perish, 1976, 1990.
35. G. Springer, Introduction to Riemann Surfaces, Addison-Wesley, Reading, MA, 1957.
36. Ross Street, Fibrations in bicategories, Cahiers Topologie Géom. Differentieile categoriques 21 (1980) 111-159.
37. Ross Street, Corrections to Fibrations in bicategories, Cahiers Topologie Géom. Differentieile Categoriques 28 (1987)