Topos theory

Handbook of Algebra

Volumn 1, Issue , 1996, Pages 501-528

  MacLane, S ^a   Moerdijk, I ^b  

^a UNIVERSITY OF CHICAGO   (United States)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 31444444863     PISSN: 15707954     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S1570-7954(96)80018-0     Document Type: Chapter

References (44)

1. Artin M., Grothendieck A., and Verdier J.L. Théorie de Topos et Cohomologie Etale des Schémas. SLNM 269 and 270 (1972), Springer, Berlin
2. Artin M., and Mazur B. Etale Homotopy. SLNM 100 (1969), Springer, Berlin
3. Barr M. Toposes without points. J. Pure Appl. Algebra 5 (1974) 265-280
4. Beth E.W. Semantical construction of intuitionistic logic Kon.Ned.Ak.Wet. Afd.Let.Med. Nwe Serie 19/11 (1956) 357-388
5. Birkhäuser. Breen L. Bitorseurs et cohomologie non-abélienne. The Grothendieck Festschrift I (1990) 401-476
6. Brown K.S. Abstract homotopy sheaf cohomology. Trans. Amer. Math. Soc. 186 (1973) 419-458
7. Diaconescu R. Change of base for toposes with generators. J. Pure Appl. Algebra 6 (1975) 191-218
8. Fourman M.P. Sheaf models for set theory. J. Pure Appl. Algebra 19 (1980) 91-101
9. Freyd P.J. The axiom of choice. J. Pure Appl. Algebra 19 (1980) 103-125
10. Freyd P.J. All topoi are localic, or: why permutation models prevail. J. Pure Appl. Algebra 46 (1987) 49-58
11. Gabriel P., and Zisman M. Calculus of Fractions and Homotopy Theory (1967), Springer, Berlin
12. Godement R. Topologie Algébrique et Théorie des Faisceaux (1958), Hermann, Paris
13. Grothendieck A. Revêtements Etales et Groupe Fondamental. SLNM 224 (1971), Springer, Berlin
14. Gruenberg K. Profinite groups. In: Cassels J., and Fröhlich A. (Eds). Algebraic Number Theory, (1967), Academic Press, New York
15. Halmos P. Boolean Algebras (1974), Springer, Berlin
16. Hartshorne R. Algebraic Geometry (1977), Springer, Berlin
17. Hyland J.M.E. The effective topos. The L.E.J. Brouwer Centenary Symposium (1982), North-Holland, Amsterdam 165-216
18. Iversen B. Sheaf Cohomology (1986), Springer, Berlin
19. Jardine J.F. Simplicial objects in a Grothendieck topos. Contemp. Math. 55 1 (1986) 153-239
20. Johnstone P.T., and Joyal A. Continuous categories and exponentiable toposes. J. Pure Appl. Algebra 25 (1982) 255-296
21. Johnstone P.T. The art of pointless thinking: a students guide to the category of locales. Category Theory at Work (1991), Heldermann Verlag
22. Johnstone P.T. Stone Spaces (1982), Cambridge Univ. Press, Cambridge
23. Joyal A., and Tierney M. An extension of the Galois theory of Grothendieck. Mem. Amer. Math. Soc. 309 (1984)
24. Joyal A., and Moerdijk I. Toposes as homotopy groupoids. Adv. Math. 80 (1990) 22-38
25. Joyal A., and Moerdijk I. Toposes are cohomologically equivalent to spaces. Amer. J. Math. 112 (1990) 87-96
26. Kleene S.C. On the interpretation of intuitionistic number theory. J. Symb. Logic 10 (1945) 109-124
27. Kripke S.A. Semantical analysis of intuitionistic logic. In: Crossley J., and Dummett M. (Eds). Formal Systems and Recursive Functions (1965), North-Holland, Amsterdam 92-130
28. Lambek J., and Scott P. Introduction to Higher Order Categorical Logic (1986), Cambridge Univ. Press, Cambridge
29. Lawvere F.W. Quantifiers as sheaves. Proc. Int. Congress on Math. (1971), Gauthier-Villars, Paris 1506-1511
30. Lawvere F.W. An elementary theory of the category of sets. Proc. Nat. Acad. Sci. USA 52 (1964) 1506-1511
31. MacLane S., and Moerdijk I. Sheaves in Geometry and Logic (1992), Springer, Berlin
32. MacLane S. Categories for the Working Mathematician (1971), Springer, Berlin
33. MacLane S. Homology. Grundlehren der math. Wissenschaften 114 (1963), Springer, Berlin
34. Makkai M., and Pare R. Accessible Categories: The Foundations of Categorical Model Theory. Con-temp. Math. vol.104 (1989)
35. Milne J.S. Etale Cohomology (1980), Princeton Univ. Press, Princeton
36. Moerdijk I. Continuous fibrations inverse limits of topoi. Compositio Math. 58 (1986) 45-72
37. Moerdijk I. The classifying topos of a continuous groupoid I. Trans. Amer. Math. Soc. 310 (1988) 629-668
38. Moerdijk I. Prodiscrete groups Galois toposes. Indag. Math. 51 (1989) 219-234
39. Paré R. Colimits in topoi. Bull. Amer. Math. Soc. 80 (1974) 556-561
40. Quillen D. Homotopy Algebra. SLNM 43 (1967), Springer, Berlin
41. Quillen D. Higher order K-theory, I. SLNM 341 (1973), Springer, Berlin 85-147
42. Roos J. Sur les fondeurs dérivés de lim. Applications. C. R. Acad. Sci. Paris 252 (1961) 3702-3704
43. Thomason R.W. Algebraic K-theory étale cohomology. Ann. Sci. École Norm. Sup. 18 (1985) 437-552
44. Tierney M. Sheaf theory and continuum hypothesis. SLNM 274 (1972), Springer, Berlin 13-42