An axiomatics for categories of coalgebras

Electronic Notes in Theoretical Computer Science

Volumn 11, Issue , 1998, Pages 158-175

  Power, John ^a   Watanabe, Hiroshi ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b HOKKAIDO UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER SIMULATION; FUNCTIONS; SET THEORY; THEOREM PROVING;

AXIOMATICS; BISIMULATION; BRANCHING TRANSITION SYSTEM; COALGEBRAS;

COMPUTER SCIENCE;

EID: 19044379366     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00057-X     Document Type: Article

References (17)

1. P. Aczel, Non-well founded sets, CSLI Lecture Notes 14, Stanford (1988).
2. Barr M. Terminal coalgebras in well-founded set theory. Theoretical Computer Science. 114:1993;299-315
3. P. Gabriel and F. Ulmer, Lokal prasentierbare Kategorien, Lecture Notes in Math 221, Springer (1971).
4. B. Jacobs and J. Rutten, A tutorial on (Co)Algebras and (Co)Induction, EACTS Bulletin 62 (1997) 222-259.
5. P.T. Johnstone, A.J. Power, T. Tsujishita, H. Watanabe, and J. Worrell, The structure of categories of coalgebras (in preparation).
6. Joyal A., Neilsen M., Winskel G. Bisimulation and open maps. Information and Computation. 127:1996;164-185
7. Kelly G.M. Basic concepts of enriched category theory. London Math. Soc. Lecture Notes Series 64. 1982;Cambridge University Press
8. G.M. Kelly, Structures defined by finite limits in the enriched context 1, Cahiers de Top. et Geom. Diff. 23 (1982) 3-42.
9. Mac Lane S. Categories for the working mathematician. 1971;Springer
10. M. Makkai and R. Pare, Accessible categories: the foundations of categorical model theory, Contemporary Mathematics 104, Amer. Math Soc (1989)
11. Jan Rutten, Universal Coalgebra: a Theory of Systems, CWI Report CS-R9652 (1996).
12. T. Tsujishita, Hypersets as truth values (draft).
13. T. Tsujishita and H. Watanabe, Monoidal closedness of the category of simulations, Hokkaido University Preprint Series in Mathematics 392 (1997).
14. H. Watanabe, A criterion for the existence of subobject classifiers (submitted).
15. H. Watanabe, The subobject classifier of the category of functional bisimulations (submitted).
16. H. Watanabe, The category of functional bisimulations (in preparation).
17. James Worrell, Toposes of Coalgebras and Hidden Algebras (in this volume).