Syntactic characterizations of various classes of locally presentable categories

Journal of Pure and Applied Algebra

Volumn 161, Issue 1-2, 2001, Pages 65-90

  Carboni, A ^a   Pedicchio, M C ^b   Rosicky J ^c  

^a Univ D   (Italy)

^b UNIVERSITY OF TRIESTE   (Italy)

^c MASARYK UNIVERSITY   (Czech Republic)

Author keywords

08A60; 18A30; 18C05

Indexed keywords

EID: 0041367057     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(01)00016-0     Document Type: Article

References (19)

1. J. Adámek, H.E. Porst, Algebraic theories of quasivarieties, J. Algebra 208 (1998) 379-398.
2. Adámek J., Rosický J. Locally Presentable and Accessible Categories. LMS Lecture Notes Series. Vol. 189:1994;Cambridge University Press, Cambridge.
3. M. Artin, A. Grothendieck, J.L. Verdier, Théorie des Topos et Cohomologie Etale des Schemas, Springer Lecture Notes in Mathematics, Vol. 269, Berlin, 1972.
4. M. Artin, A. Grothendieck, J.L. Verdier, Théorie des Topos et Cohomologie Etale des Schemas, Tome 2, Lecture Notes in Mathematics, Vol. 270, Berlin, 1972.
5. Barr M. The point of the empty set. Cahiers Top. Gèom. Diff. 13:1972;357-368.
6. F. Borceux, M.C. Pedicchio, Left exact presheaves on a small topos, J. Pure Appl. Algebra, 135 (1999) 9-22.
7. Bunge M., Carboni A. The symmetric topos. J. Pure Appl. Algebra. 105:1995;233-250.
8. Carboni A., Johnstone P.T. Connected limits, familial representability and Artin glueing. Math. Struct. Comp. Sci. 5:1995;441-459.
9. Carboni A., Lack S., Walters R.F.C. Introduction to extensive and distributive categories. J. Pure Appl. Algebra. 84:1993;145-158.
10. A. Carboni, M.C. Pedicchio, A new proof of Mal'cev Theorem, Rend.Circ.Mat.Palermoll.Ser.,Suppl.61.
11. Carboni A., Vitale E. Regular and exact completions. J. Pure Appl. Algebra. 125:1998;79-117.
12. Cockett J.R.B. Introduction to distributive categories. Math. Struct. Comp. Ser., Suppl. 61 (1999) 13-16 Sci. 3:1993;277-307.
13. Diers Y. Categories of Boolean Sheaves of Simple Algebras. Lecture Notes in Mathematics. Vol. 1187:1986;Springer, Berlin.
14. Johnstone P.T. When is a variety a topos? Algebra Universalis. 21:1985;198-212.
15. F.W. Lawvere, Functorial Semantics of Algebraic Theories, Dissertation, Columbia University, 1963.
16. F.W. Lawvere, Some thoughts on the future of category theory, in: Category Theory, Proceedings of the International Conference, Como, 1990, Lecture Notes in Mathematics, Vol. 1448, Springer, Berlin, 1990 pp. 1-14.
17. Makkai M. Strong conceptual completeness for first order logic. Ann. Pure Appl. Logic. 40:1988;167-215.
18. M.C. Pedicchio, J. Rosicky, Localizations of varieties and of quasivarieties, to appear.
19. M.C. Pedicchio, R.J. Wood, A simple characterization of equalizers completions of categories with products, to appear.