Isomorphism Theorems for Coalgebras

[1] P. Aczel and N. Mendler, A final coalgebra theorem, in: D.H. Pitt et al. (Eds.), Category Theory and Computer Science, Lecture Notes in Comput. Sci., 389, Springer, Berlin, 1989, pp. 357–365.10.1007/BFb0018361Search in Google Scholar

[2] M. Barr and C. Wells, Toposes, Triples and Theories. Corrected reprint of the 1985 original. Repr. Theory Appl. Categ. 12 (2005), 1–288.10.1007/978-1-4899-0021-0_8Search in Google Scholar

[3] H.P. Gumm, Elements of the general theory of coalgebras, LUATCS’99, Rand Africaans University, Johannesburg, South Africa, 1999.Search in Google Scholar

[4] P.T. Johnstone, Topos Theory, Academic Press, London-New York, 1977.Search in Google Scholar

[5] P. Johnstone, J. Power, T. Tsujishita, H. Watanabe, and J. Worrell, On the structure of categories of coalgebras, Theoret. Comput. Sci. 260 (2001), no. 1–2, 87–117.10.1016/S0304-3975(00)00124-9Search in Google Scholar

[6] J.J.M.M. Rutten, Universal coalgebra: a theory of systems, Theoret. Comput. Sci. 249 (2000), no. 1, 3–80.10.1016/S0304-3975(00)00056-6Search in Google Scholar

[7] S. Staton, Relating coalgebraic notions of bisimulation, Log. Methods Comput. Sci. 7 (2011), no. 1, 1:13, 21 pp.10.2168/LMCS-7(1:13)2011Search in Google Scholar