Theories of presheaf type

Journal of Symbolic Logic

Volumn 69, Issue 3, 2004, Pages 923-934

  Beke, Tibor ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 4644301941     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2178/jsl/1096901776     Document Type: Article

References (18)

1. JIŘÍ ADÁMEK and JIŘÍ ROSICKÝ, Locally presentable and accessible categories, London Mathematical Society Lecture Note Series, no. 189, Cambridge University Press, 1994.
2. G. BAUMSLAG, E. DYER, and A. HELLER, The topology of discrete groups, Journal of Pure and Applied Algebra, vol. 16 (1980), no. 1, pp. 1-47.
3. A. K. BOUSFIELD and D. M. KAN, Homotopy limits, completions and localizations, Lecture Notes in Mathematics, vol. 304, Springer-Verlag, 1972.
4. MICHEL COSTE, Localisation, spectra and sheaf representation, Applications of sheaves, Lecture Notes in Mathematics, vol. 753, Springer-Verlag, 1979, pp. 212-238.
5. PIERRE GABRIEL and MICHEL ZISMAN, Calculus of fractions and homotopy theory, Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 35, Springer-Verlag, 1967.
6. PAUL G. GOERSS and JOHN F. JARDINE, Simplicial homotopy theory, Progress in Mathematics, vol. 174, Birkhäuser Verlag, 1999.
7. WILFRID HODGES, Models built on linear orderings, Orders: description and roles, North-Holland Mathematics Studies, vol. 99, North-Holland, 1984, pp. 207-234.
8. C. U. JENSEN, Some cardinality questions for flat modules and coherence, Journal of Algebra, vol. 12 (1969), pp. 231-241.
9. P. T. JOHNSTONE, Topos theory, London Mathematical Society Monographs, vol. 10, Academic Press, 1977.
10. -, A syntactic approach to Diers' localizable categories, Applications of sheaves, Lecture Notes in Mathematics, vol. 753, Springer-Verlag, 1979, pp. 466-478.
11. -, Stone spaces, Cambridge University Press 1982.
12. ANDRÉ JOYAL and GAVIN WRAITH, Eilenberg-MacLane toposes and cohomology, Mathematical applications of category theory, Contemporary Mathematics, vol. 30, American Mathematical Society, 1984, pp. 117-131.
13. SAUNDERS MACLANE and IEKE MOERDIJK, Sheaves in geometry and logic, Springer-Verlag, 1992.
14. MICHAEL MAKKAI and ROBERT PARÉ, Accessible categories: the foundations of categorical model theory, Contemporary Mathematics, vol. 104, American Mathematical Society, 1989.
15. MICHAEL MAKKAI and GONZALO E. REYES, First order categorical logic. Model-theoretical methods in the theory of topoi and related categories, Lecture Notes in Mathematics, vol. 611, Springer-Verlag, 1977.
16. IEKE MOERDIJK, Cyclic sets as a classifying topos, Unpublished manuscript, Utrecht, 1995.
17. MYLES TIERNEY, Forcing topologies and classifying topoi, Algebra, topology, and category theory, Academic Press, 1976.
18. GAVIN C. WRAITH, Toposes and simplicial sets: the cohomological connection. A report on joint work with A. Joyal, Category theoretic methods in geometry, Various Publications Series, no. 35, Aarhus University, 1983, pp. 281-290.