Spreads and the symmetric topos

Journal of Pure and Applied Algebra

Volumn 113, Issue 1, 1996, Pages 1-38

  Bunge, M ^a   Funk, J ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030602132     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/0022-4049(95)00150-6     Document Type: Article

References (32)

1. [1] M. Barr, Fuzzy set theory and topos theory, Canad. Math. Bull. 29 (1986) 501-508.
2. [2] M. Barr and R. Paré, Molecular toposes, J. Pure Appl. Algebra 17 (1980) 127-152.
3. [3] J. Bénabou, Introduction to bicategories, Reports of the Midwest Category Seminar, Lecture Notes in Mathemathics, Vol. 47 (Springer, Berlin, 1967) 1-77.
4. [4] M. Bunge, Cosheaves and distributions on toposes, Algebra Universalis 34 (1995) 469-484.
5. [5] M. Bunge and A. Carboni, The symmetric topos, J. Pure Appl. Algebra 105 (1995) 233-249.
6. [6] M. Bunge and J. Funk, Constructive theory of the lower power locale, Math. Struct. Comput Sci. 6 (1996) 1-15.
7. [7] A. Carboni and P.T. Johnstone, Connected limits, familial representability and Artin glueing, Math. Struct. Comput Sci., to appear.
8. [8] P.J. Collins and R. Dyckhoff, Connexion properties and factorisation theorems, Quaestiones Math. 2 (1977) 103-112.
9. [9] R.H. Fox, Covering spaces with singularities, in: R.H. Fox et al., eds., Algebraic Geometry and Topology: A Symposium in Honor of S. Lefschetz (Princeton Univ. Press, Princeton, 1957) 243-257.
10. [10] J. Funk, The display locale of a cosheaf, Cahiers Topologie Géom. Differentielle Catégoriques 36 (1995) 53-93.
11. [11] P.T. Johnstone, Topos Theory (Academic Press, New York, 1977).
12. [12] P.T. Johnstone, Open maps of toposes, Manuscripts Math. 31 (1980) 217-247.
13. [13] P.T. Johnstone, Factorization theorems for geometric morphisms, II, in: Categorical Aspects of Topology and Analysis, Proc. Carleton University, Ottawa 1980, Lecture Notes in Mathemathics, Vol. 915 (Springer, Berlin, 1982) 216-233.
14. [14] P.T. Johnstone, A constructive "closed subgroup theorem" for localic groups and groupoids, Cahiers Topologie Géom. Differentielle Catégoriques 30 (1989) 3-23.
15. [15] P.T. Johnstone, Fiberwise separation axioms for locales, Math. Proc. Cambridge Philos. Soc. 108 (1990) 247-256.
16. [16] P.T. Johnstone, Partial products, bagdomains and hyperlocal toposes, in: M.P. Fourman, P.T. Johnstone and A.M. Pitts, eds., Applications of Categories in Computer Science, London Mathematical Society Lecture Notes Series, Vol. 177 (Cambridge Univ. Press, Cambridge, 1992) 315-339.
17. [17] A. Kock, Monads for which structures are adjoint to units, J. Pure Appl. Algebra 104 (1995) 41-59.
18. [18] A. Kock, The constructive lift monad, BRICS Report Series, RS-95-20, 1995.
19. [19] A. Kock and G. Reyes, Relatively Boolean and De Morgan toposes and locales, Cahiers Topologie Géom. Differentielle Catégoriques 35 (1994) 249-261.
20. [20] F.W. Lawvere, Measures in toposes, Lectures given at the Workshop on Categorical Methods in Geometry, Aarhus, June 1983.
21. [21] F.W. Lawvere, Categories of space and of quantity, in: J. Echeverria et al., eds., The Space of Mathematics (Walter de Gruyter, Berlin, 1992) 14-30.
22. [22] E. Michael, Cuts, Acta Math. 111 (1964) 1-36.
23. [23] I. Moerdijk, Continuous fibrations and inverse limits of toposes, Composite Math. 58 (1986) 45-72.
24. [24] R. Paré and D. Schumacher, Abstract families and the adjoint functor theorems, in: P.T. Johnstone and R. Paré, eds., Indexed Categories and their Applications, Lecture Notes in Mathemathics, Vol. 661 (Springer, New York, 1978) 1-125.
25. [25] A.M. Pitts, Applications of sup-lattice enriched category theory to sheaf theory, Proc. London Math. Soc. (3) 57 (1988) 433-480.
26. [26] A.M. Pitts, Lax descent for essential morphisms, Lecture, Cambridge Categories Conference, July 1986.
27. [27] R. Street, The comprehensive construction of free colimits, Macquarie Math. Reports 79-0002, Macquarie University, 1979.
28. [28] R. Street, Fibrations on bicategories, Cahiers Topologie Géom. Differenielle Catégoriques 21 (1980) 111-160.
29. [29] R. Street and R.F.C. Walters, The comprehensive factorization of a functor, Bull. Amer. Math. Soc. 79 (1973) 936-941.
30. [30] J.J.C. Vermeulen, private communication, August 1994.
31. [31] S. Vickers, Geometric theories and databases, in: M.P. Fourman, P.T. Johnstone and A.M. Pitts, eds., Applications of Categories in Computer Science, London Mathematical Society Lecture Notes Series, Vol. 177 (Cambridge Univ. Press, Cambridge, 1992) 288-314.
32. [32] S. Vickers, Locales are not pointless, Draft contribution to Theory and Formal Methods Section, Workshop, Dept. of Computing, Imperial College, September 1994.