The Michael completion of a topos spread

Journal of Pure and Applied Algebra

Volumn 175, Issue 1-3, 2002, Pages 63-91

  Bunge, Marta ^a   Funk, Jonathon ^b   Jibladze, Mamuka ^c,d   Streicher, Thomas ^e  

^a MCGILL UNIVERSITY   (Canada)

^b UNIVERSITY OF SASKATCHEWAN   (Canada)

^c Institut de Mathématique   (Belgium)

^d INSTITUTE OF PHYSICS   (Georgia)

^e DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0037044690     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(02)00129-9     Document Type: Article

References (27)

1. M. Barr, R. Paré, Molecular toposes, J. Pure Appl. Algebra 17 (1980) 127-152.
2. M. Bunge, Cosheaves and distributions on toposes, Algebra Universalis 34 (1995) 469-484.
3. M. Bunge, A. Carboni, The symmetric topos, J. Pure Appl. Algebra 105 (1995) 233-249.
4. M. Bunge, J. Funk, Spreads and the symmetric topos, J. Appl. Algebra 113 (1996) 1-38.
5. M. Bunge, J. Funk, Spreads and the symmetric topos II, J. Pure Appl. Algebra 130 (1998) 49-84.
6. M. Bunge, J. Funk, On a bicomma object condition for KZ-doctrines, J. Pure Appl. Algebra 143 (1999) 69-105.
7. M. Bunge, J. Funk, M. Jibladze, T. Streicher, Distribution algebras and duality, Adv. Math. 156 (2000) 133-155.
8. M. Bunge, M. Jibladze, Geometric resolutions of left exact monads, in preparation.
9. M. Bunge, S. Niefield, Exponentiability and single universes, J. Pure Appl. Algebra 148 (3) (2000) 217-250.
10. 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.
11. J. Funk, The display locale of a cosheaf, Cahiers Top. et Géometrie Diff. Catégoriques 36 (1995) 53-93.
12. J. Funk, On branched covers in topos theory, Theory Appl. Categories 7 (1) (2000) 1-22.
13. P.T. Johnstone, Open maps of toposes, Manuscripta Math. 31 (1980) 217-247.
14. P.T. Johnstone, Factorization theorems for geometric morphisms II, Categorical Aspects of Topology and Analysis, LNM, Springer, Berlin, Vol. 915, 1982, pp. 216-233.
15. P.T. Johnstone, Stone spaces, Cambridge Studies in Advanced Mathematics, Vol. 3, Cambridge University Press, Cambridge, 1982.
16. P.T. Johnstone, A constructive proof of the "closed subgroup theorem" for localic groups and groupoids, Cahiers de Top. et Géo. Diff. Catégoriques 30 (1) (1989) 3-23.
17. P.T. Johnstone, Cartesian monads on toposes, J. Pure Appl. Algebra 116 (1997) 199-220.
18. A. Joyal, M. Tierney, An extension of the Galois theory of Grothendieck, Memoirs Amer. Math. Soc. 51 (309).
19. G.M. Kelly, Basic concepts of enriched category theory, London Mathematical Society Series, Vol. 64, Cambridge University Press, Cambridge, 1982.
20. A. Kock, G.E. Reyes, Relatively Boolean and de Morgan toposes and locales, Cahiers de Top. et Géo. Diff. Catégoriques 35 (1994) 249-261.
21. F.W. Lawvere, Extensive and intensive quantities, Lectures given at the Workshop on Categorical Methods in Geometry, Aarhus University, 1983.
22. E. Michael, Completing a spread (in the sense of R.H. Fox) without local connectedness, Indag. Math. 25 (1963) 629-633.
23. E. Michael, Cuts, Acta Math. 111 (1964) 14-30.
24. I. Moerdijk, Continuous fibrations and inverse limits of toposes, Compositio Math. 58 (1986) 45-72.
25. G. Rosolini, Continuity and effectiveness in topoi, Ph.D. Thesis, University of Oxford, 1986.
26. M. Tierney, Forcing topologies and classifying topoi, in: A. Heller, M. Tierney (Eds.), Algebra, Topology, and Category Theory, Academic Press, New York, 1974, pp. 211-219.
27. J.J.C. Vermeulen, Weak compactness in constructive spaces, Math. Proc. Camb. Phil. Soc. 111 (63) (1992) 63-74.