Proper maps of toposes

Memoirs of the American Mathematical Society

Volumn 148, Issue 705, 2000, Pages

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

^a NONE

Author keywords

Coherent topos; Compact; Descent theory; Galois theory; Profinite groupoid; Proper map; Reeb stability; Separated; Topos

Indexed keywords

EID: 33748835345     PISSN: 00659266     EISSN: None     Source Type: Journal    
DOI: 10.1090/memo/0705     Document Type: Article

References (42)

1. M. Artin. Grothendieck Topologies. (Benjamin, 1968).
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. J. Bénabou and J. Roubaud. Monades et descente. C.R.A.S. 270 série A (1970), 96-98.
4. N. Bourbaki. Éléments de Mathématique: Topologie Générale. (Hermann, 1966).
5. C. Camacho and A. Neto. Geometric Theory of Foliations. (Birkhäuser, 1985).
6. K.R. Edwards. Relative finiteness and the preservation of filtered colimits. Thesis, University of Chicago (1980).
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. R. Godement. Topologie Algébrique et Théorie des Faisceaux. (Hermann, 1958).
9. A. Grothendieck. Technique de descente et théorèmes d'existence en Géométrie Algébrique. Séminaire Bourbaki 1959.
10. A. Grothendieck. Rêvetements étales et groupe fondamental (SGA 4). Springer Lecture Notes in Math. 224 (1971).
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. A. Haefliger. Structures feuilletées et cohomologie à valeur dans un faisceau de groupoïdes. Comm. Math. Helv. 32 (1958), 248-329.
13. J.R. Isbell. Atomless parts of spaces. Math. Scand. 31 (1972), 5-32.
14. P.T. Johnstone. Topos Theory. L.M.S. Monographs no. 10 (Academic Press, 1977).
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. P.T. Johnstone. The Gleason cover of a topos, II. J. Pure Appl. Algebra 22 (1981), 229-247.
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. P.T. Johnstone. Stone Spaces. Cambridge Studies in Advanced Math. no. 3 (Cambridge University Press, 1982).
19. P.T. Johnstone and A. Joyal. Continuous categories and exponentiable toposes. J. Pure Appl. Algebra 25 (1982), 255-296.
20. P.T. Johnstone and I. Moerdijk. Local maps of toposes. Proc. London Math. Soc. (3) 58 (1989), 281-305.
21. A. Joyal and I. Moerdijk. A completeness theorem for open maps. Ann. Pure Appl. Logic 70 (1994), 51-86.
22. A. Joyal and M. Tierney. An extension of the Galois theory of Grothendieck. Memoirs Amer. Math. Soc. 309 (1984).
23. A. Kock. A Godement Theorem for locales. Math. Proc. Cambridge Philos. Soc. 105(3) (1989), 463-471.
24. A. Kock and I. Moerdijk. Presentations of étendues. Cahiers Topologie Géom. Différentielle Catégoriques 32(2) (1991), 145-164.
25. T. Lindgren. Ph.D. Thesis, Rutgers University (1986).
26. S. Mac Lane and I. Moerdijk. Sheaves in Geometry and Logic. (Springer-Verlag, 1992).
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. M. Makkai. Stone duality for first order logic. Adv. Math. 65(2) (1987), 97-170.
29. M. Makkai. Duality and definability in first order logic. Memoirs Amer. Math. Soc. 503 (1993).
30. I. Moerdijk. Continuous fibrations and inverse limits of toposes. Compositio Math. 58 (1986), 45-72.
31. I. Moerdijk. Morita equivalence for continuous groups. Math. Proc. Cambridge Phil. Soc. 103 (1988), 97-115.
32. I. Moerdijk. The classifying topos of a continuous groupoid I. Trans. Amer. Math. Soc. 310 (1988), 629-668.
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. I. Moerdijk. Descent theory for toposes. Bull. Soc. Math. Belgique 41(2) (1989), 373-391.
35. I. Moerdijk. Foliations, groupoids and Grothendieck étendues. Rev. Academia Ciencas Zaragoza 48 (1993), 5-33.
36. I. Moerdijk and D. Pronk. Orbifolds, sheaves and groupoids, K-Theory 12 (1997), 3-21.
37. I. Moerdijk and J.J.C. Vermeulen. Proof of a conjecture of A. Pitts. J. Pure Appl. Algebra 143 (1999), 329-338.
38. J. Mrcun. Stability and invariants of Hilsum-Skandalis maps. Ph.D. Thesis, University of Utrecht (1996).
39. A. Pitts. Talk, Cambridge Category Meeting, July 1985.
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. J.J.C. Vermeulen. Proper maps of locales. J. Pure Appl. Algebra 92 (1994), 79-107.
42. M.W. Zawadowski. Descent and duality. Ann. Pure Appl. Logic 71 (1995), 131-188.