On varieties and covarieties in a category

Mathematical Structures in Computer Science

Volumn 13, Issue 2, 2003, Pages 201-232

  AdÁmek, JiŘÍ ^a   Porst, Hans E ^b  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

^b UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84867182855     PISSN: 09601295     EISSN: 14698072     Source Type: Journal    
DOI: 10.1017/S0960129502003882     Document Type: Article

References (31)

1. Aczel, P., Adámek, J., Milius, S. and Velebil, J. (2002) Infinite trees and iteration theories: a coalgebraic view. (To appear in Theor. Comp. Science.)
2. Adámek, J. (1974) Free algebras and automata realizations in the language of categories. Comment. Math. Univ. Carolinae 15 589–602.
3. Adámek, J. (1983) Theory of Mathematical Structures, D. Reidel Publ. Comp., Dordrecht.
4. Adámek, J., Herrlich, H. and Strecker, G. E. (1990) Abstract and Concrete Categories, Wiley Interscience.
5. Adámek, J. and Koubek, V. (1995) On the greatest fixed point of a functor. Theor. Comp. Science 150 57–75.
6. Adámek, J., Koubek, V. and Pohlová, V. (1972) The colimits in generalized algebraic categories. Acta Univ. Carolinae 13 29–40.
7. Adámek, J. and Porst, H.-E. (2001) From varieties of algebras to covarieties of coalgebras. Electronic Notes in Theor. Comp. Sci. 44.
8. Adámek, J. and Porst, H.-E. (2002) Tree coalgebras and coalgebra presentations. (Submitted.)
9. Adámek, J. and Rosický, J. (1994) Locally Presentable and Accessible Categories, Cambridge University Press.
10. Adámek, J. and Trnková, V. (1990) Automata and Algebras in Categories, Kluwer Acad. Publ.
11. Awodey, S. and Hughes, J. (2000) The coalgebraic dual of Birkhoff's variety theorem. Tech. Rep. CMU-PHIL-109, Carnegie-Mellon University, Pittsburgh, PA.
12. Banaschewski, B. and Herrlich, H. (1976) Subcategories defined by implications. Houston J. Math. 2 149–171.
13. Barr, M. (1993) Terminal coalgebras in well-founded set theory. Theoretical Computer Science 114 299–315.
14. Cîrstea, C. (2000) An algebra-coalgebra framework for system specification. Electronic Notes in Theor. Comp. Sci. 33.
15. Ghani, N., Lüth, C., de Marchi, F. and Power, J. (2001) Algebras, coalgebras, monads and comonads. Electronic Notes in Theor. Comp. Sci. 44.
16. Gumm, H. P. (1999) Elements of the general theory of coalgebras. (Preprint.)
17. Gumm, H. P. and Schröder, T. (1998) Covarieties and complete covarieties. Electronic Notes in Theor. Comp. Sci. 11.
18. Gumm, H. P. and Schröder, T. (2001) Products of coalgebras. Algebra Univers. 46 163–185.
19. Hales, A.W. (1964) On the non-existence of free complete Boolean algebras. Fund. Math. 54 45–66.
20. Herrlich, H. and Ringel C.M. (1972) Identities in categories. Can. Math. Bull. 15 297–299.
21. Kawahara, Y. and Mori, M. (2000) A small final coalgebra theorem. Theoretical Computer Science 233 129–145.
22. Kurz, A. (2000) Logic for coalgebras and applications to computer science. Dissertation, Ludwig-Maximilians-Universität, Munich.
23. Lambek, J. (1968) A fixpoint theorem for complete categories. Math. Z. 103 151–161.
24. Lawvere, F.W. (1963). Functorial semantics of algebraic theories, Ph. D. thesis, Columbia University.
25. Mac Lane, S. (1971) Categories for the working mathematician, Springer.
26. Manes, E. G. (1976) Algebraic Theories, Springer.
27. Porst, H.-E. (2001) Algebra, Coalgebra, and Dualization. Research Report 319/01(3), University of South Africa.
28. Reiterman, J. (1973) One more categorical model of universal algebra. Math. Z. 161 137–146.
29. Rutten, J. J. M. M. (2000) Universal coalgebra: a theory of systems. Theoret. Comp. Sci. 249 3–80.
30. Sweedler, M. E. (1969) Hopf Algebras, Benjamin.
31. Worell, J. (2000) Terminal sequences of accessible endofunctors. Tech. Rep. Tr-02-00, Oxford.