When do completion processes give rise to extensive categories?

Journal of Pure and Applied Algebra

Volumn 159, Issue 2-3, 2001, Pages 203-230

  Lack, Stephen ^a   Vitale, E M ^b  

^a UNIVERSITY OF SYDNEY   (Australia)

^b UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

Author keywords

18A35; 18D99; 18E10

Indexed keywords

EID: 0013204390     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(00)00060-8     Document Type: Article

References (41)

1. J. Adámek, J. Rosický, Locally Presentable Categories and Accessible Categories, LMS Lecture Notes Series, vol. 189, Cambridge University Press, Cambridge, 1994.
2. J. Adámek, J. Rosický, On sifted colimits and generalized varieties, preprint, 1999.
3. M. Barr, Exact categories, Exact Categories of Sheaves, Lecture Notes in Mathematics, vol. 236, Springer, Berlin, 1971.
4. Bénabou J. Some remarks on 2-categorical algebra. Bull. Soc. Math. Belgique. 41:1989;127-194.
5. L. Birkedal, A. Carboni, G. Rosolini, D.S. Scott, Type theory via exact categories, Proceedings of the 13th Symposium in Logic and Computer Science, IEEE Computer Society, Silver Spring, MD, 1998, pp. 188-198.
6. Borceux F. Handbook of Categorical Algebra, Vol. 2. 1994;Cambridge University Press, Cambridge.
7. Borceux F., Day B.J. On product-preserving Kan extensions. Bull. Austral. Math. Soc. 17:1977;247-255.
8. Bunge M., Carboni A. The symmetric topos. J. Pure Appl. Algebra. 105:1995;233-250.
9. Carboni A. Some free constructions in realizability and proof theory. J. Pure Appl. Algebra. 103:1995;117-148.
10. Carboni A., Celia Magno R. The free exact category on a left exact one. J. Austral. Math. Soc. (Ser. A). 33:1982;295-301.
11. Carboni A., Janelidze G. Decidable (. = separable) objects and morphisms in lextensive categories J. Pure Appl. Algebra. 110:1996;219-240.
12. Carboni A., Janelidze G., Kelly G.M., Paré R. On localization and stabilization for factorization systems. Appl. Categorical Struct. 5:1997;1-58.
13. Carboni A., Lack S., Walters R.F.C. Introduction to extensive and distributive categories. J. Pure Appl. Algebra. 84:1993;145-158.
14. Carboni A., Mantovani S. An elementary characterization of categories of separated objects. J. Pure Appl. Algebra. 89:1993;63-92.
15. A. Carboni, M.C. Pedicchio, J. Rosický, Syntactic characterizations of various classes of locally presentables categories, J. Pure Appl. Algebra, to appear.
16. A. Carboni, G. Rosolini, Locally cartesian closed exact completions, J. Pure Appl. Algebra 154 (2000) 103-116.
17. Carboni A., Vitale E.M. Regular and exact completions. J. Pure Appl. Algebra. 125:1998;79-116.
18. Cockett J.R.B. Introduction to distributive categories. Math. Struct. Comput. Sci. 3:1993;277-307.
19. Cruciani R.S. La teoria delle relazioni nello studio di categorie regolari e categorie esatte. Riv. Mat. Univ. Parma. 4:1975;143-158.
20. Day B.J., Street R.H. Localisations of locally presentable categories II. J. Pure Appl. Algebra. 63:1990;225-229.
21. Freyd P. Stable homotopy, Proceedings of the Conference on Categorical Algebra, La Jolla, 1965. 1966;Springer, Berlin.
22. Gabriel P., Zisman M. Calculus of Fractions and Homotopy Theory. 1967;Springer, Berlin.
23. Gran M., Vitale E.M. On the exact completion of the homotopy category. Cahiers Top. Géom. Diff. Catégorique. 39:1998;287-297.
24. Grandis M. Weak subobjects and weak limits in categories and homotopy categories. Cahiers Top. Géom. Diff. Catégorique. 38:1997;301-326.
25. M. Grandis, Weak subobjects and the epi-monic completion of a category, J. Pure Appl. Algebra 154 (2000) 193-212.
26. Hu H., Tholen W. A note on free regular and exact completions and their infinitary generalizations. Theory Appl. Categories. 2:1996;113-132.
27. Janelidze G., Kelly G.M. Galois theory and a general notion of central extension. J. Pure Appl. Algebra. 97:1994;135-161.
28. G.M. Kelly, Basic Concepts of Enriched Category Theory, LMS Lecture Notes Series, vol. 64, Cambridge University Press, Cambridge, 1982.
29. G.M. Kelly, A note on relations relative to a factorization system, in: Category Theory, Proceedings of the International Conference, Como, 1990, Lecture Notes in Mathematics, vol. 1448, Springer, Berlin, pp. 249-261.
30. Kelly G.M., Lack S., Walters R.F.C. Coinverters and categories of fractions for categories with structure. Appl. Categorical Struct. 1:1993;95-102.
31. Kennison J.F. On limit preserving functors. Illinois J. Math. 12:1968;616-619.
32. Lack S. A note on the exact completion of a regular category, and its infinitary generalizations. Theory Appl. Categories. 5:1999;70-80.
33. Lair C. Sur le genre d'esquissabilité des catégories modelables (accessibles) possédant les produits de deux. Diagrammes. 35:1996;25-52.
34. F.W. Lawvere, Category theory over a base topos (the "Perugia notes"), unpublished manuscript, 1973.
35. F.W. Lawvere, Some thoughts on the future of category theory, in: Category Theory, Proceedings of the International Conference, Como, Lecture Notes in Mathematics, vol. 1448, Springer, Berlin, 1990, pp. 1-14.
36. I. Le Creurer, Descent of internal categories, Ph.D. Thesis, Louvain-la-Neuve, 1999.
37. Mather M. Pull-backs in homotopy theory. Canadian J. Math. 28:1976;225-263.
38. M.C. Pedicchio, E.M. Vitale, On the abstract characterization of quasi-varieties, preprint, 1998.
39. Rosický J. Cartesian closed exact completions. J. Pure Appl. Algebra. 142:1999;261-270.
40. Vitale E.M. Localizations of algebraic categories. J. Pure Appl. Algebra. 108:1996;315-320.
41. Vitale E.M. Localizations of algebraic categories II. J. Pure Appl. Algebra. 133:1998;317-326.