On the structure of categories of coalgebras
暂无分享,去创建一个
[1] S. Lane,et al. Sheaves In Geometry And Logic , 1992 .
[2] A. Carboni,et al. The free exact category on a left exact one , 1982 .
[3] Peter Aczel,et al. Non-well-founded sets , 1988, CSLI lecture notes series.
[4] Jan J. M. M. Rutten,et al. On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders , 1992, REX Workshop.
[5] G. M. Kelly. Elementary observations on 2-categorical limits , 1989, Bulletin of the Australian Mathematical Society.
[6] Erik P. de Vink,et al. Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach , 1997, Theor. Comput. Sci..
[7] Peter T. Johnstone,et al. Algebraic theories in toposes , 1978 .
[8] Jiří Rosický,et al. Cartesian closed exact completions , 1999 .
[9] Peter T. Johnstone,et al. Connected limits, familial representability and Artin glueing , 1995, Mathematical Structures in Computer Science.
[10] Jan J. M. M. Rutten,et al. Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..
[11] James Worrell,et al. An axiomatics for categories of transition systems as coalgebras , 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
[12] Michael Barr,et al. Terminal Coalgebras in Well-Founded Set Theory , 1993, Theor. Comput. Sci..
[13] Jan J. M. M. Rutten. Relators and Metric Bisimulations , 1998, CMCS.
[14] A. R. D. Mathias,et al. NON‐WELL‐FOUNDED SETS (CSLI Lecture Notes 14) , 1991 .
[15] Michael Barr,et al. Exact categories and categories of sheaves , 1971 .
[16] Lars Birkedal,et al. Type theory via exact categories , 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
[17] G. M. Kelly,et al. A $2$-categorical approach to change of base and geometric morphisms I , 1991 .
[18] Peter Aczel,et al. A Final Coalgebra Theorem , 1989, Category Theory and Computer Science.
[19] F. E. J. Linton,et al. Coequalizers in categories of algebras , 1969 .
[20] Colin McLarty,et al. Elementary categories, elementary toposes , 1992 .
[21] James Worrell. Toposes of Coalgebras and Hidden Algebras , 1998, CMCS.
[22] Hiroshi Watanabe. The subobject classifier of the category of functional bisimulations , 1999 .
[23] Robert Rosebrugh,et al. Pullback Preserving Functors , 1991 .
[24] Oswald Wyler,et al. Lecture notes on Topoi and Quasitopoi , 1991 .
[25] Glynn Winskel,et al. Bisimulation and open maps , 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
[26] Roy Dyckhoff,et al. Exponentiable morphisms, partial products and pullback complements , 1987 .
[27] J. Hyland. First steps in synthetic domain theory , 1991 .
[28] Michael Makkai,et al. Accessible categories: The foundations of categorical model theory, , 2007 .
[29] Horst Reichel,et al. An approach to object semantics based on terminal co-algebras , 1995, Mathematical Structures in Computer Science.
[30] John Power,et al. An axiomatics for categories of coalgebras , 1998, CMCS.
[31] G. Kelly. A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on , 1980, Bulletin of the Australian Mathematical Society.
[32] P. T. Johnstone,et al. Finiteness and decidability: II , 1978, Mathematical Proceedings of the Cambridge Philosophical Society.
[33] Toru Tsujishita,et al. Monoidal closedness of the category of simulations , 1997 .
[34] A. Carboni,et al. Regular and exact completions , 1998 .
[35] Hiroshi Watababe. A criterion for the existence of subobject classifiers , 1999 .