Proper maps of Toposes

Memoirs of the American Mathematical Society

Volumn , Issue 705, 2000, Pages 1-108

  Moerdijk, I ^a   Vermeulen, J J C ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0034311540     PISSN: 00659266     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (42)

1. [1] M. Artin. Grothendieck Topologies. (Benjamin, 1968).
2. [2] M. Artin, A. Grothendieck, J.L. Verdier. Théorie des topos et cohomologie étale des schémas (SGA 4). Springer Lecture Notes in Math. 269 (1972).
3. [3] J. Bénabou and J. Roubaud. Monades et descente. C.R.A.S. 270 série A (1970), 90-98.
4. [4] N. Bourbaki. Éléments de Mathématique: Topologie Générale. (Hermann, 1966).
5. [5] C. Camacho and A. Neto. Geometric Theory of Foliations. (Birkhäuser, 1985).
6. [6] K.R. Edwards. Relative finiteness and the preservation of filtered colimits. Thesis, University of Chicago (1980).
7. [7] M.P. Fourman and D.S. Scott. Sheaves and Logic. In Applications of Sheaves. Springer Lecture Notes in Math. 753 (1979), 302-401.
8. [8] R. Godement. Topologie Algébrique et Théorie des Faisceaux. (Hermann, 1958).
9. [9] A. Grothendieck. Technique de descente et théorèmes d'existence en Géométrie Algébrique. Séminaire Bourbaki 1959.
10. [10] A. Grothendieck. Rêvetements étales et groupe fondamental (SGA 4). Springer Lecture Notes in Math. 224 (1971).
11. [11] J.M.E. Hyland. Function-spaces in the category of locales. In Continuous Lattices. Springer Lecture Notes in Math. 871 (1981), 264-281.
12. [12] A. Haefliger. Structures feuilletées et cohomologie à valeur dans un faisceau de groupoïdes. Comm. Math. Helv. 32 (1958), 248-329.
13. [13] J.R. Isbell. Atomless parts of spaces. Math. Scand. 31 (1972), 5-32.
14. [14] P.T. Johnstone. Topos Theory. L.M.S. Monographs no. 10 (Academic Press, 1977).
15. [15] P.T. Johnstone. Factorization and pullback theorems for localic geometric morphisms. Univ. Catholique de Louvain, Séminaire de Math. Pure, Rapport no. 79 (1979).
16. [16] P.T. Johnstone. The Gleason cover of a topos, II. J. Pure Appl. Algebra 22 (1981), 229-247.
17. [17] P.T. Johnstone. Factorization theorems for geometric morphisms, II. In Aspects of Topology and analysis. Springer Lecture Notes in Math. 915 (1982), 216-233.
18. [18] P.T. Johnstone. Stone Spaces. Cambridge Studies in Advanced Math. no. 3 (Cambridge University Press, 1982).
19. [19] P.T. Johnstone and A. Joyal. Continuous categories and exponentiable toposes. J. Pure Appl. Algebra 25 (1982), 255-296.
20. [20] P.T. Johnstone and I. Moerdijk. Local maps of toposes. Proc. London Math. Soc. (3) 58 (1989), 281-305.
21. [21] A. Joyal and I. Moerdijk. A completeness theorem for open maps. Ann. Pure Appl. Logic 70 (1994), 51-86.
22. [22] A. Joyal and M. Tierney. An extension of the Galois theory of Grothendieck. Memoirs Amer. Math. Soc. 309 (1984).
23. [23] A. Kock. A Godement Theorem for locales. Math. Proc. Cambridge Philos. Soc. 105(3) (1989), 463-471.
24. [24] A. Kock and I. Moerdijk. Presentations of étendues. Cahiers Topologie Géom. Différentielle Catégoriques 32(2) (1991), 145-164.
25. [25] T. Lindgren. Ph.D. Thesis, Rutgers University (1986).
26. [26] S. Mac Lane and I. Moerdijk. Sheaves in Geometry and Logic. (Springer-Verlag, 1992).
27. [27] M. Makkai. Ultraproducts and categorical logic. In Methods in Mathematical Logic. Proceedings, Caracas 1983, C.D. Priscoe ed. Springer Lecture Notes in Math. 1130 (1985), 167-215.
28. [28] M. Makkai. Stone duality for first order logic. Adv. Math. 65(2) (1987), 97-170.
29. [29] M. Makkai. Duality and definability in first order logic. Memoirs Amer. Math. Soc. 503 (1993).
30. [30] I. Moerdijk. Continuous fibrations and inverse limits of toposes. Compositio Math. 58 (1986), 45-72.
31. [31] I. Moerdijk. Morita equivalence for continuous groups. Math. Proc. Cambridge Phil. Soc. 103 (1988), 97-115.
32. [32] I. Moerdijk. The classifying topos of a continuous groupoid I. Trans. Amer. Math. Soc. 310 (1988), 629-668.
33. [33] I. Moerdijk. The classifying topos of a continuous groupoid II. Cahiers Topologie Géom. Différentielle Catégoriques 31(2) (1990), 137-168.
34. [34] I. Moerdijk. Descent theory for toposes. Bull Soc. Math. Belgique 41(2) (1989), 373-391.
35. [35] I. Moerdijk. Foliations, groupoids and Grothendieck étendues. Rev. Academia Ciencas Zaragoza 48 (1993), 5-33.
36. [36] I. Moerdijk and D. Pronk. Orbifolds, sheaves and groupoids, K-Theory 12 (1997), 3-21.
37. [37] I. Moerdijk and J.J.C. Vermeulen. Proof of a conjecture of A. Pitts. J. Pure Appl. Algebra 143 (1999), 329-338.
38. [38] J. Mrcun. Stability and invariants of Hilsum-Skandalis maps. Ph.D. Thesis, University of Utrecht (1996).
39. [39] A. Pitts. Talk, Cambridge Category Meeting, July 1985.
40. [40] J.J.C. Vermeulen. Some constructive results related to compactness and the (strong) Hausdorff property for locales. Springer Lecture Notes in Math. 1488 (1991), 401-409.
41. [41] J.J.C. Vermeulen. Proper maps of locales. J. Pure Appl. Algebra 92 (1994), 79-107.
42. [42] M.W. Zawadowski. Descent and duality. Ann. Pure Appl. Logic 71 (1995), 131-188.