On the structure of categories of coalgebras
- 1 June 2001
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 260 (1-2) , 87-117
- https://doi.org/10.1016/s0304-3975(00)00124-9
Abstract
No abstract availableThis publication has 20 references indexed in Scilit:
- Regular and exact completionsJournal of Pure and Applied Algebra, 1998
- Bisimulation from Open MapsInformation and Computation, 1996
- Connected limits, familial representability and Artin glueingMathematical Structures in Computer Science, 1995
- Terminal coalgebras in well-founded set theoryTheoretical Computer Science, 1993
- Elementary observations on 2-categorical limitsBulletin of the Australian Mathematical Society, 1989
- Exponentiable morphisms, partial products and pullback complementsJournal of Pure and Applied Algebra, 1987
- The free exact category on a left exact oneJournal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics, 1982
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so onBulletin of the Australian Mathematical Society, 1980
- Finiteness and decidability: IIMathematical Proceedings of the Cambridge Philosophical Society, 1978
- SubequalizersCanadian Mathematical Bulletin, 1970