On corelations, cokernels, and coequations

Electronic Notes in Theoretical Computer Science

Volumn 33, Issue , 2000, Pages 317-336

  Wolter, Uwe ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; MATHEMATICAL MODELS; SEMANTICS; SET THEORY; THEOREM PROVING;

ARBITARARY FUNCTORS; COALGEBRAS; COEQUATIONS; COKERNELS;

ALGEBRA;

EID: 18944380180     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80355-X     Document Type: Conference Paper

References (13)

1. Claßen I., Große-Rhode M., Wolter U. Categorical concepts for parameterized partial specifications. MSCS. 5:(2):1995;153-188
2. Gumm H.P. Equational and implicational classes of coalgebras. TCS. 1998;. Submitted
3. R. Hennicker and A. Kurz. (ω, ξ)-Logic: On the Algebraic Extension of Coalgebraic Specifications. In B. Jacobs and J. Rutten, editors, CMCS'99, Proceedings, volume 19 of ENTCS, pages 195-211. Elsevier Science, 1999.
4. H. Herrlich and G. Strecker. Category Theory. Allyn and Bacon, Rockleigh, New Jersey, 1973.
5. Jacobs B., Rutten J. A tutorial on (Co)Algebras and (Co)Induction. Bulletin of the EATCS. 62:June 1997;222-259
6. A. Kurz. Modal Logic is dual to Equational Logic. In H. Reichel, editor, CMCS'2000, Proceedings, ENTCS. Elsevier Science, 2000. Submitted.
7. Lawvere F.W., Schanuel S.H. Conceptual Mathematics: A first Introduction to categories. 1997;Cambridge University Press
8. Reichel H. Initial Computability, Algebraic Specifications, and Partial Algebras. 1987;Oxford University Press, Oxford
9. M. Rößiger. Languages for Coalgebras on Datafunctors. In B. Jacobs and J. Rutten, editors, CMCS'99, Proceedings, volume 19 of ENTCS, pages 55-76. Elsevier Science, 1999.
10. Rutten J.J.M.M. Universal coalgebra: a theory of systems. Technical Report CS-R9652, CWI. 1996;. To appear in TCS
11. Wechler W. Universal Algebra for Computer Scientists. volume 25 of EATCS Monographs on Theoretical Computer Science. 1992;Springer, Berlin
12. Wolter U. An Algebraic Approach to Deduction in Equational Partial Horn Theories. J. Inf. Process. Cybern. EIK. 27:(2):1990;85-128
13. U. Wolter. A coalgebraic introduction to CSP. In B. Jacobs and J. Rutten, editors, CMCS'99, Proceedings, volume 19 of ENTCS, pages 77-96. Elsevier Science, 1999.