From Varieties of Algebras to Covarieties of Coalgebras
Open Access
- 31 May 2001
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 44 (1) , 27-46
- https://doi.org/10.1016/s1571-0661(04)80901-0
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A small final coalgebra theoremTheoretical Computer Science, 2000
- On the greatest fixed point of a set functorTheoretical Computer Science, 1995
- Terminal coalgebras in well-founded set theoryTheoretical Computer Science, 1993
- Accessible Categories: The Foundations of Categorical Model TheoryContemporary Mathematics, 1989
- Identities in CategoriesCanadian Mathematical Bulletin, 1972
- Several new concepts: Lucid and concordant functors, pre-limits, pre-completeness, the continuous and concordant completions of categoriesPublished by Springer Nature ,1969