Completeness of cocompletions

Journal of Pure and Applied Algebra

Volumn 196, Issue 2-3, 2005, Pages 229-250

  Karazeris, Panagis ^a   Rosický, Jiří ^b   Velebil, Jiří ^c  

^a UNIVERSITY OF PATRAS   (Greece)

^b MASARYK UNIVERSITY   (Czech Republic)

^c CZECH TECHNICAL UNIVERSITY IN PRAGUE   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 12944295152     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jpaa.2004.08.019     Document Type: Article

References (17)

1. J. Adámek J. Rosický Locally Presentable and Accessible Categories 1994 Cambridge University Press Cambridge
2. M. Artin, A. Grothendieck, J.L. Verdier, Théorie des Topos et Cohomologie Etale des Schémas, Lecture Notes in Mathematics, Vol. 269, 270, Springer, 1971.
3. T. Beke Theories of presheaf type J. Symbolic Logic 69 3 2004 923-934
4. T. Beke, P. Karazeris, J. Rosický, When is flatness coherent? submitted, available electronically at: www.math.lsa.umich.edu/~tbeke/.
5. M. Bunge A. Carboni The symmetric topos J. Pure Appl. Algebra 105 1995 233-249
6. A. Carboni E. Vitale Regular and exact completions J. Pure Appl. Algebra 125 1998 79-116
7. G.L. Cattani, J. Power, G. Winskel, A categorical axiomatics for bisimulation, in: Proceedings of the Nineth International Conference on Concurrency Theory, CONCUR '98, Lecture Notes in Computer Science, Vol. 1466, pp. 581-596.
8. P. Freyd, Several new concepts: Lucid and concordant functors, pre-limits, pre-completeness, the continuous and concordant completions of categories, in: Lecture Notes in Mathematics, Vol. 99, Springer, Berlin, 1971, pp. 196-241.
9. H. Hu W. Tholen Limits in free coproduct completions J. Pure Appl. Algebra 105 1995 277-291
10. P.T. Johnstone Topos Theory 1977 Academic Press New York
11. P.T. Johnstone Sketches of an Elephant: A Topos Theory Compendium 2002 Oxford University Press Oxford
12. P. Karazeris Categorical domain theory: Scott topology, powercategories, coherent categories Theory Appl. Categories 9 2001 106-120
13. P. Karazeris Notions of flatness relative to a Grothendieck topology Theory Appl. Categories 12 2004 225-236
14. A. Kock, Postulated colimits and left exactness of Kan extensions, Matematisk Institut, Aarhus Universitet, Preprint Series No. 9, 1989, available electronically at: Home.imf.au.dk/kock/.
15. S. Lack E. Vitale When do completion processes give rise to extensive categories? J. Pure Appl. Algebra 159 2001 203-229
16. M. Makkai, G. Reyes, First Order Categorical Logic, Lecture Notes in Mathematics, Vol. 611, Springer, Berlin, 1977.
17. M.C. Pedicchio J. Rosický Comparing coequalizer and exact completions Theory Appl. Categories 6 1999 67-72