Coalgebraic structure from weak limit preserving functors

Electronic Notes in Theoretical Computer Science

Volumn 33, Issue , 2000, Pages 111-131

  Gumm, H Peter ^a   Schröder, Tobias ^a  

^a PHILIPPS UNIVERSITY MARBURG   (Germany)

Author keywords

Bisimulation; Coalgebra; Weak pullback

Indexed keywords

AUTOMATA THEORY; COMPUTER SIMULATION; FUNCTIONS; MATHEMATICAL OPERATORS; SET THEORY; TOPOLOGY;

BISIMULATION; COALGEBRA; FUNCTORS; WEAK PULLBACK;

BOOLEAN ALGEBRA;

EID: 18944366872     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80346-9     Document Type: Conference Paper

References (9)

1. P. Aczel and N. Mendler, A final coalgebra theorem, Proceedings category theory and computer science (D.H. Pitt et al, ed.), Lecture Notes in Computer Science, Springer, 1989, pp. 357-365.
2. Barr M. Terminal coalgebras in well-founded set theory. Theoretical Computer Science, no. 114(2). 1993;299-315
3. Carboni A., Kelly G.M., Wood R.J. A 2-categorical approach to change of base and and geometric morphisms I. Tech. report, Department of Pure Mathematics, University of Sydney, ISSN. 1990;1033-2359
4. H.P. Gumm and T. Schröder, Covarieties and complete covarieties, Coalgebraic Methods in Computer Science (B. Jacobs et al, ed.), Electronic Notes in Theoretical Computer Science, vol. 11, Elsevier Science, 1998, To appear in Theoretical Computer Science, pp. 43-56.
5. Gumm H.P. Functors for coalgebras. Algebra Universalis, to appear. 1998
6. Gumm H.P. Elements of the general theory of coalgebras. LUATCS 99, Rand Afrikaans University, Johannesburg, South Africa. 1999
7. Rutten J.J.M.M. Universal coalgebra: a theory of systems. Tech. report, Centrum voor Wiskunde en Informatica, Theoretical Computer Science, to appear. 1996
8. Rutten J.J.M.M. Relators and metric bisimulations. Jacobs B., et al. Coalgebraic Methods in Computer Science, Electronic Notes in Theoretical Computer Science. Vol. 11:1998;257-263 Elsevier Science
9. Worrell J. Toposes of coalgebras and hidden algebras. Jacobs B., et al. Coalgebraic Methods in Computer Science, Electronic Notes in Theoretical Computer Science. Vol. 11:1998;215-233 Elsevier Science