The subobject classifier of the category of functional bisimulations

Hokkaido Mathematical Journal

Volumn 28, Issue 2, 1999, Pages 301-314

  Watanabe, Hiroshi ^a  

^a ELECTROTECHNICAL LABORATORY   (Japan)

Author keywords

Coalgebra; Dense; Functional bisimulation; Nondeterministic dynamical system; Subobject classifier

Indexed keywords

EID: 0004497605     PISSN: 03854035     EISSN: None     Source Type: Journal    
DOI: 10.14492/hokmj/1351001215     Document Type: Article

References (10)

1. Barr M., Terminal coalgebras in well-founded set theory. Theoretical Computer Science, 114 (3), 1993, pp. 299-315.
2. Borceux F., Handbook of Categorical Algebra 1: Basic Category Theory. Cambridge U. P., Cambridge, 1994.
3. Johnstone P., Power J., Tsujishita T., Watanabe H. and Worrell J., An Axiomatics for Categories of Transition Systems as Coalgebras. In Proceedings of Thirteenth Annual IEEE Symposium on Logic in Computer Science, IEEE, 1998, pp. 207-213.
4. Kawahara Y. and Mori M., A smalli final coalgebra theorem. Theoretical Computer Science (To appear), 1998.
5. Mac Lane M., Categories for the Working Mathematician. Springer-Verlag, New York, 1971.
6. Mac Lane M. and Moerdijk I., Sheaves in Geometry and Logic: A first introduction to topos theory. Springer-Verlag, New York, 1992.
7. Power J. and Watanabe H., An axiomatics for categories of coalgebras. Electric Notes in Theoretetical Computer Science 11, Elsevier, 1998, pp. 161-178.
8. Tsujishita T. and Watanabe H., Monoidal closedness of the category of simulations. Hokkaido University Preprint Series in Mathematics #392, 1997.
9. Tsujishita T., Hypersets as truth values. Preprint, 1997.
10. Watanabe H., A criterion for the existence of subobject classifiers. Hokkaido Mathematical Journal 28, 1999, pp. 117-132.