Products of coalgebras

Algebra Universalis

Volumn 46, Issue 1-2, 2001, Pages 163-185

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

^a PHILIPPS UNIVERSITY MARBURG   (Germany)

Author keywords

Bisimulation; Coalgebra; Mono source; Product

Indexed keywords

EID: 0040438428     PISSN: 00025240     EISSN: None     Source Type: Journal    
DOI: 10.1007/PL00000334     Document Type: Article

References (13)

1. [Adá00] ADÁMEK, J., Personal communication, 2000.
2. [AM89] ACZEL, P. and MENDLER, N., A final coalgebra theorem, Proceedings category theory and computer science (D. H. Pitt et al, ed.), Lecture Notes in Computer Science, Springer, 1989, 357-365.
3. [Bar93] BARR, M., Terminal coalgebras in well-founded set theory, Theoretical Computer Science (1993) no. 114(2), 299-315.
4. [GS00] GUMM, H. P. and SCHRÖDER, T., Coalgebraic structure from weak limit preserving functors, Co- algebraic Methods in Computer Science (H. Reichel, ed.), Electronic Notes in Theoretical Computer Science, vol. 33, Elsevier Science, 2000, 113-133.
5. [Gum98] GUMM, H. P., Functors for coalgebras, Algebra Universalis, to appear, 1998.
6. [Gum99a] GUMM, H. P., Elements of the general theory of coalgebras, LUATCS 99, Rand Afrikaans University, Johannesburg, South Africa, 1999.
7. [Gum99b] GUMM, H. P., Equational and implicational classes of coalgebras, Theoretical Computer Science, to appear, 1999.
8. [Kur99] ALEXANDER KURZ, Limits in categories of coalgebras, Preprint, 1999.
9. [Lan71] MAC LANE, S., Categories for the working mathematician, Springer, 1971.
10. [Rut96] RUTTEN, J. J. M. M., Universal coalgebra: a theory of systems, Theoretical Computer Science (2000) no. 249, 3-80.
11. [Trn71] VERA TRNKOVÁ, On descriptive classification of set functors I, Comm. Math. Univ. Carolinae (1971) no. 12, 1, 143-174.
12. [Wor98] WORRELL, J., Toposes of coalgebras and hidden algebras, Coalgebraic Methods in Computer Science (B. Jacobs et al, ed.), Electronic Notes in Theoretical Computer Science, vol. 11, Elsevier Science, 1998, 215-233.
13. [Wor99] WORRELL, J., Terminal sequences for accessible endofunctors, Coalgebraic Methods in Computer Science (B. Jacobs et al, ed.), Electronic Notes in Theoretical Computer Science, vol. 19, Elsevier Science, 1999, 39-53.