Singular coverings of toposes

Lecture Notes in Mathematics

Volumn 1890, Issue , 2006, Pages 1-229

  Bunge, Marta ^a   Funk, Jonathon ^b  

^a MCGILL UNIVERSITY   (Canada)

^b UNIVERSITY OF THE WEST INDIES   (Jamaica)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33846510881     PISSN: 00758434     EISSN: None     Source Type: Book Series    
DOI: 10.1007/3-540-36359-9     Document Type: Article

References (94)

1. [AGV72a] M. Artin, A. Grothendieck, and J. L. Verdier, Théorie des topos, SGA4, exposés I-VI, second edition. LNM 420, Springer-Verlag, Berlin, 1972, pp. 1-340.
2. [AGV72b] _, Théorie, des topos et cohornologie étale des schémas, LNM 269, 270, and 305, Springer-Verlag, Berlin, 1972.
3. [Arn00] V. I. Arnold, Singularity theory, Development of Mathematics: 1950 - 2000 (Jean-Paul Pier, ed.), Birkhäuser, Basel-Boston-New York, 2000, pp. 63-95.
4. [BC95] M. Bunge and A. Carboni, The symmetric topos, J. Pure Appl. Alg. 105 (1995), 233-249.
5. [BD80] M. Barr and R. Diaconescu, Atomic toposes, J. Pure Appl. Alg. 17 (1980), 1-24.
6. [BD81] _, On locally simply connected toposes and their fundamental groups, Cahiers de Top. et Géom. Diff. Catégoriques 22 (1981), no. 3, 301-314.
7. [Ben75] J. Benabou, Fibrations petites et localement petites, C. R. Acad. Sc. Paris 281 (1975), 897-900.
8. [Ber91] G. M. Bergman, Co-rectangular bands and cosheaves in categories of algebras, Algebra Universalis 28 (1991), 188-213.
9. [BF96a] M. Bunge and J. Funk, Constructive theory of the lower power locale, Math. Struct. Comp. Sci. 6 (1996), 1-15.
10. [BF96b] _, Spreads and the symmetric topos, J. Pure Appl. Alg. 113 (1996), 1-38.
11. [BF98] _, Spreads and the symmetric topos II, J. Pure Appl. Alg. 130 (1998), no. 1, 49-84.
12. [BF99] _, On a bicomma object condition for KZ-doctrines, J. Pure Appl. Alg. 143 (1999), 69-105.
13. [BF00] M. Bunge and M. Fiore, Unique factorization lifting functors and categories of processes, Math. Structures in Comp. Sci. 10 (2000), no. 2, 137-163.
14. [BFJS00] M. Bunge, J. Funk, M. Jibladze, and T. Streicher, Distribution algebras and duality, Advances in Mathematics 156 (2000), 133-155.
15. [BFJS02] _, The Michael completion of a topos spread, J. Pure Appl. Alg. 175 (2002), 63-91.
16. [BFJS04a] _, Definable completeness, Cahiers de Top. et Géom. Diff. Catégoriques XLV-4 (2004), 1-24.
17. [BFJS04b] _, Distribution classifiers, in preparation, 2004.
18. [Bir84] G. J. Bird, Limits in 2-categories of locally presentable categories, Ph.D. thesis, University of Sydney, 1984.
19. [BK02] M. Barr and J. Kennison, Interesting topos, June 2002, Email communication: categories@mta.ca.
20. [BL03] M. Bunge and S. Lack, Van kampen theorems for toposes, Advances in Mathematics 179/2 (2003), 291-317.
21. [BM60] A. Borel and J. Moore, Homology theory for locally compact spaces, Michigan Math. J. 7 (I960), 137-159.
22. [BM97] M. Bunge and I. Moerdijk, On the construction of the Grothendieck fundamental group of a topos by paths, J. Pure Appl. Alg. 116 (1997), 99-113.
23. [BN00] M. Bunge and S. Niefield, Exponentiability and single universes, J. Pure Appl. Alg. 148 (2000), 217-250.
24. [BP79] M. Bunge and R. Paré, Stacks and equivalences of categories, Cahiers de Top. et Géom. Diff. Catégoriques 20 (1979), no. 4, 373-399.
25. [BP80] M. Barr and R. Paré, Molecular toposes, J. Pure Appl. Alg. 17 (1980), 127-152.
26. [Bre67] G. Bredon, Sheaf theory, Mc-Graw-Hill, New York, St. Louis, San Francisco, Toronto, London, Sydney, 1967.
27. [Bro88] R. Brown, Topology, Ellis Horwood Ltd., Chichester, England, 1988.
28. [Bun74] M. Bunge, Coherent extensions and relational algebras, Trans. Amer. Math. Soc. 197 (1974), 355-390.
29. [Bun95] _, Cosheaves and distributions on toposes, Algebra Universalis 34 (1995), 469-484.
30. [Bun04] _, Galois groupoids and covering morphisms in topos theory, Proceedings of the Fields Institute: Workshop on Descent, Galois Theory and Hopf algebras, Fields Institute Communications, American Mathematical Society, 2004, pp. 131-162.
31. [CJ95] A. Carboni and P. T. Johnstone, Connected limits, familial representability and Artin glueing, Math. Struct. Comp. Sci. 5 (1995), 441-449.
32. [Deh94] P. Dehornoy, Braid groups and left distributive operations, Trans. Amer. Math. Soc. 345 (1994), no. 1, 115-150.
33. [Fio95] M. Fiore, Lifting as a KZ-doctrine, Category Theory and Computer Science, LNCS 953 (D. Pitt et al., eds.), Springer, 1995, pp. 146-158.
34. [Fox57] R. H. Fox, Covering spaces with singularities, Algebraic Geometry and Topology: A Symposium in Honor of S. Lefschetz (R. H. Fox et al., eds.), Princeton University Press, Princeton, 1957, pp. 243-257.
35. [FT01] J. Funk and E. D. Tymchatyn, Unramified maps, JP Journal of Geometric Topology 1(3) (2001), 249-280.
36. [Fun95] J. Funk, The display locale of a cosheaf, Cahiers de Top. et Géom. Diff. Catégoriques 36 (1995), no. 1, 53-93.
37. [Fun99] _, The locally connected coclosure of a Grothendieck topos, J. Pure Appl. Alg. 137 (1999), 17-27.
38. [Fun00] _, On branched covers in topos theory, Theory and Applications of Categories 7 (2000), no. 1, 1-22.
39. [Fun01] _, The Hurwitz action and braid group orderings, Theory and Applications of Categories 9 (2001), no. 7, 121-150.
40. [Gle63] A. M. Gleason, Universal locally connected refinements, Illinois. J. Math 7 (1963), 521-531.
41. [Gro55] A. Grothendieck, Produits tensorieles topologiques et espaces nucléaires, Memoirs of the American Mathematical Society, vol. 16, American Mathematical Society, 1955.
42. [Jan90] G. Janelidze, Pure galois theory in categories, J. of Algebra 132 (1990), 249-280.
43. [JJ82] P. T. Johnstone and A. Joyal, Continuous categories and exponentiable toposes, J. Pure Appl. Algebra 25 (1982), 255-296.
44. [JJ91] M. Jibladze and P. T. Johnstone, The frame of fibrewise closed nuclei, Cahiers de Top. et Géom. Diff. Catégoriques 32 (1991), no. 2, 99-112.
45. [Joh77] P. T. Johnstone, Topos theory, Academic Press, Inc., London, 1977.
46. [Joh82a] _, Factorization theorems for geometric morphisms II, Categorical aspects of topology and analysis, Proc. Carleton University, Ottawa 1980, LNM 915, Springer, Berlin, 1982, pp. 216-233.
47. [Joh82b] _, Stone spaces, Cambridge University Press, Cambridge, 1982.
48. [Joh89] _, A constructive "closed subgroup theorem" for localic groups and groupoids, Cahiers de Top. et Géom. Diff. Catégoriques 30 (1989), 3-23.
49. [Joh92] _, Partial products, bagdomains and hyperlocal toposes, Applications of Categories in Computer Science (M. P. Fourman, P. T. Johnstone, and A. M. Pitts, eds.), London Mathematical Society Lecture Notes Series 177, Cambridge University Press, 1992, pp. 315-339.
50. [Joh99] _, A note of discrete Conduché fibrations, Theory and Applications of Categories 5 (1999), no. 1, 1-11.
51. [Joh02] _, Sketches of an elephant: A topos theory compendium, Clarendon Press, Oxford, 2002.
52. [JT84] A. Joyal and M. Tierney, An extension of the Galois theory of Grothendieck, vol. Memoirs of the American Mathematical Society 309, American Mathematical Society, 1984.
53. [Kel82] G. M. Kelly, Basic concepts of enriched category theory, London Mathematical Society Lecture Note Series, vol. 64, Cambridge University Press, Cambridge, 1982.
54. [Koc75] A. Kock, Monads for which structure are adjoints to units, J. Pure Appl. Alg. 104 (1975), 41-59.
55. [Koc83] _, Some problems and results in synthetic functional analysis, Category Theoretic Methods in Geometry (Aarhus) (A. Kock, ed.), Matematisk Institut, Aarhus Universitet, Various Publications Series 35, 1983, pp. 168-191.
56. [Koc90] _, Relatively Boolean toposes, Aahus Preprint Series 21, Aahus University, 1989/90.
57. [KR94] A. Kock and G. E. Reyes, Relatively Boolean and de Morgan toposes and locales, Cahiers de Top. et Géom. Diff. Catégoriques 35 (1994), 249-261.
58. [KR99] _, A note on frame distributions, Cahiers de Top. et Géom. Diff. Catégoriques 40 (1999), no. 2, 127-140.
59. [Law66] F. W. Lawvere, Integration on presheaf toposes, Proc. Meeting Oberwolfach, 1966.
60. [Law68] _, Equality in hyperdoctrines and the comprehension schema as an adjoint functor, Proc. Symp. Pure Math. 17, Amer. Math. Soc., 1968, pp. 1-14.
61. [Law83] _, Intensive and extensive quantities, Notes for the lectures given at the workshop on Categorical Methods in Geometry, Aarhus, 1983.
62. [Law92] _, Categories of space and of quantity, The Space of Mathematics (J. Echeverria et al., eds.), W. de Gruyter, Berlin-New York, 1992, pp. 14-30.
63. [Law00a] _, Comments on the development of topos theory, Development of Mathematics 1950-2000 (Jean-Paul Pier, ed.), Birkhäuser, Basel-Boston-Berlin, 2000, pp. 715-734.
64. [Law00b] _, Volterra's functional and covariant cohesion of space, Supplemento del Rendiconti del Circolo Matematico di Palermo 64 (2000), 24-204.
65. [Mic63] E. Michael, Completing a spread (in the sense of Fox) without local connectedness, Indag. Math. 25 (1963), 629-633.
66. [Mik76] C.-J. Mikkelsen, Lattice theoretic and logical aspects of elementary topoi, Ph.D. thesis, Aarhus Universiteit, Matematisk Institut, 1976.
67. [MM92] S. Mac Lane and I. Moerdijk, Sheaves in geometry and logic, Springer-Verlag, Berlin-Heidelberg-New York, 1992.
68. [Moe82] J. -L. Moens, Charactérisation des topos des faisceaux sur un site interne à un topos, Ph.D. thesis, Université Catholique de Louvain-la-Neuve, 1982.
69. [Mul98] M. A. Mulero, Algebraic characterization of finite (branched) coverings, Fundamenta Mathematicae 158 (1998), 165-180.
70. [MV00] I. Moerdijk and J. J. C. Vermeulen, Proper maps of toposes, Memoirs of the American Mathematical Society 148 (2000), no. 705, 108.
71. [Nie27] J. Nielsen, Untersuchungen zur Topologie der geschlossenen zweiseitigen Flachen, Acta Math. 50 (1927), 189-358.
72. [Nie82] S. B. Niefield, Cartesianness: topological spaces, uniform spaces, and affine schemes, J. Pure Appl. Alg. 23 (1982), 147-167.
73. [Par74] R. Paré, Colimits in topoi, Bull. Amer. Math. Soc. 80 (1974), 556-561.
74. [Par80] _, Indexed categories and generated topologies, J. Pure Appl. Alg. 19 (1980), 385-400.
75. [Pit85] A. M. Pitts, On product and change of base for toposes, Cahiers de Top. et Géom. Diff. Catégoriques 26 (1985), no. 1, 43-61.
76. [PS78] R. Paré and D. Schumacher, Abstract families and the adjoint functor theorems, Indexed Categories and Their Applications, LNM 661, Springer-Verlag, Berlin, 1978, pp. 1-125.
77. [PS96] V. V. Prasolov and A. B. Sossinsky, Knots, links, braids and 3-manifolds, Translations of Mathematical Monographs 154, American Mathematical Society, Providence, Rhode Island, 1996.
78. [Ros86] G. Rosolini, Continuity and effectiveness in topoi, Ph.D. thesis, Oxford University, 1986.
79. [Sch66] L. Schwartz, Théorie des distributions, Hermann, Paris, 1966.
80. [Spr57] G. Springer, Introduction to Riemann surfaces, Addison-Wesley, 1957.
81. [Sti86] J. Stillwell, Jakob Nielsen, collected mathematical papers, Birkhäuser, Boston-Basel-Stuttgart, 1986.
82. [Str] R. Street, Conspectus of variable categories, Unpublished.
83. [Str74] _, Fibrations and Yoneda's lemma in a 2-category, Category Seminar, Sydney 1972/73, LNM 420, Springer-Verlag, Berlin, 1974, pp. 104-133.
84. [Str03] T. Streicher, Fibered categories à la Jean Bénabou, Unpublished, 2003.
85. [SW73] R. Street and R. F. C. Walters, The comprehensive factorization of a functor, Bull. Amer. Math. Soc. 79 (1973), 936-941.
86. [SW00] H. Short and B. Wiest, Orderings of mapping class groups after Thurston, Ens. Math. 46 (2000), 279-312.
87. [Tie74] M. Tierney, Forcing topologies and classifying topoi, in Alex Heller, Myles Tierney (eds.), Algebra, Topology, and Category Theory, Academic Press, New York, 1974, pp. 211-219.
88. [Ver94] J. J. C. Vermeulen, Proper maps of locales, J. Pure Appl. Alg. 92 (1994), 79-107.
89. [Vic89] S. Vickers, Topology via logic, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge, UK, 1989.
90. [Vic92] _, Geometric theories and databases, Applications of Categories in Computer Science, London Math. Soc. Lecture Note Series (P. T. Johnstone M. P. Fourman and A. M. Pitts, eds.), vol. 177, Cambridge University Press, Cambridge, 1992, pp. 288-314.
91. [Vic95] _, Locales are not pointless, Theory and Formal Methods 1994: Proceedings of the Second Imperial College, Department of Computing, Workshop on Theory and Formal Methods (Cambridge) (Chris Hankin et al., eds.), Imperial College Press, 1995.
92. [Wae67] L. Waelbroeck, Differentiable mappings into b-spaces, Journal of Functional Analysis 1 (1967), 409-418.
93. [Wil68] S. Willard, General topology, Addison-Wesley Series in Mathematics, Addison-Wesley Publishing Company, Reading, Massachusetts. Menlo Park, California. London. Amsterdam. Don Mills, Ontario. Sydney, 1968.
94. [Zoe76] V. Zoeberlein, Doctrines on 2-categories, Math. Zeit (1976), 267-279.