Hostname: page-component-586b7cd67f-rcrh6 Total loading time: 0 Render date: 2024-11-22T06:04:46.306Z Has data issue: false hasContentIssue false
  • English
  • Français

Final coalgebras in accessible categories†

Published online by Cambridge University Press:  27 July 2011

PANAGIS KARAZERIS ,
APOSTOLOS MATZARIS  and
JIŘÍ VELEBIL
PANAGIS KARAZERIS
Affiliation:
Department of Mathematics, University of Patras, Patras, Greece Email: [email protected]
APOSTOLOS MATZARIS
Affiliation:
Department of Mathematics, University of Patras, Patras, Greece Email: [email protected]
JIŘÍ VELEBIL
Affiliation:
Faculty of Electrical Engineering, Czech Technical University in Prague, Prague, Czech Republic Email: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

We propose a construction of the final coalgebra for a finitary endofunctor of a finitely accessible category and study conditions under which this construction is available. Our conditions always apply when the accessible category is cocomplete, and is thus a locally finitely presentable (l.f.p.) category, and we give an explicit and uniform construction of the final coalgebra in this case. On the other hand, our results also apply to some interesting examples of final coalgebras beyond the realm of l.f.p. categories. In particular, we construct the final coalgebra for every finitary endofunctor on the category of linear orders, and analyse Freyd's coalgebraic characterisation of the closed unit as an instance of this construction. We use and extend results of Tom Leinster, developed for his study of self-similar objects in topology, relying heavily on his formalism of modules (corresponding to endofunctors) and complexes for a module.

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 21 , Issue 5 , October 2011 , pp. 1067 - 1108
Copyright
Copyright © Cambridge University Press 2011

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Aczel, P., Adámek, J., Milius, S. and Velebil, J. (2003) Infinite trees and completely iterative theories: A coalgebraic view. Theoretical Computer Science 300 1–45.CrossRefGoogle Scholar
Adámek, J. (2003) On final coalgebras of continuous functors. Theoretical Computer Science 294 3–29.CrossRefGoogle Scholar
Adámek, J. (1997) A categorical generalisation of Scott domains. Mathematical Structures in Computer Science 7 419–443.CrossRefGoogle Scholar
Adámek, J. and Rosický, J. (1994) Locally presentable and accessible categories, Cambridge University Press.CrossRefGoogle Scholar
Adámek, J., Borceux, F., Lack, S. and Rosický, J. (2002) A classification of accessible categories. Jour. Pure Appl. Alg. 175 7–30.CrossRefGoogle Scholar
Adámek, J., Herrlich, H. and Strecker, G. (1990) Abstract and concrete categories, John Wiley and Sons. (Available electronically as TAC reprint No. 17 at http://www.tac.mta.ca/tac/reprints/articles/17/tr17abs.html.)Google Scholar
Adámek, J., Milius, S. and Velebil, J. (2006) Iterative algebras at work. Mathematical Structures in Computer Science 16 1085–1131.CrossRefGoogle Scholar
America, P. and Rutten, J. J. M. M. (1989) Solving reflexive domain equations in a category of complete metric spaces. J. Comput. System Sci. 39 343–375.CrossRefGoogle Scholar
Borceux, F. (1994) Handbook of categorical algebra (three volumes), Cambridge University Press.Google Scholar
van Breugel, F., Hermida, C., Makkai, M. and Worrell, J. (2007) Recursively defined metric spaces without contraction. Theoretical Computer Science 380 143–163.CrossRefGoogle Scholar
Diers, Y. (1980a) Catégories multialgébriques. Arch. Math. (Basel) 34 193–209.CrossRefGoogle Scholar
Diers, Y. (1980b) Catégories localement multiprésentables. Arch. Math. (Basel) 34 344–356.CrossRefGoogle Scholar
Elgot, C. C. (1975) Monadic computation and iterative algebraic theories. In: Rose, H. E. and Shepherdson, J. C. (eds.) Logic Colloquium '73, North-Holland.Google Scholar
Elgot, C. C., Bloom, S. L. and Tindell, R. (1978) On the algebraic structure of rooted trees. J. Comput. System Sci. 16 361–399.CrossRefGoogle Scholar
Engelking, R. (1989) General topology, Sigma Series in Pure Mathematics, Heldermann.Google Scholar
Freyd, P. (1999) Real coalgebra. (Posting to category theory mailing list, 22 Dec 1999, available electronically at http://www.mta.ca/~cat-dist/catlist/1999/realcoalg.)Google Scholar
Freyd, P. (2008) Algebraic real analysis. Theory and Applications of Categories 20 215–306.Google Scholar
Gabriel, P. and Ulmer, F. (1971) Lokal präsentierbare Kategorien. Springer-Verlag Lecture Notes in Mathematics 221.Google Scholar
Goguen, J. A., Thatcher, S. W., Wagner, E. G. and Wright, J. B. (1977) Initial algebra semantics and continuous algebras. Journal ACM 24 68–95.CrossRefGoogle Scholar
Johnstone, P. and Joyal, A. (1982) Continuous categories and exponentiable toposes. Jour. Pure Appl. Alg. 25 255–296.CrossRefGoogle Scholar
Karazeris, P., Matzaris, A. and Velebil, J. (2011) Cofree coalgebras in accessible categories.CrossRefGoogle Scholar
Klin, B. (2007) Coalgebraic modal logic beyond sets. Electronic Notes in Theoretical Computer Science 173 177–201.CrossRefGoogle Scholar
Lair, C. (1981) Catégories modelables et catégories esquissables. Diagrammes 6 L1–L20.Google Scholar
Leinster, T. (2011) A general theory of self-similarity. Advances in Mathematics 226 2935–3017.CrossRefGoogle Scholar
Mac Lane, S. (1971) Categories for the working mathematician, Springer-Verlag.CrossRefGoogle Scholar
Makkai, M. and Paré, R. (1989) Accessible categories: The foundations of categorical model theory. Contemporary Mathematics 104, American Mathematical Society.CrossRefGoogle Scholar
Paré, R. (1973) Connected components and colimits. Jour. Pure Appl. Alg. 3 21–42.CrossRefGoogle Scholar
Pavlović, D. and Pratt, V. (2002) The continuum as a final coalgebra. Theoretical Computer Science 280 105–122.Google Scholar
Rutten, J. J. M. M. (2000) Universal coalgebra: A theory of systems. Theoretical Computer Science 249 3–80.CrossRefGoogle Scholar
Stone, A. H. (1979) Inverse limits of compact spaces. General Topology Appl. 10 (2)203–211.CrossRefGoogle Scholar
Worrell, J. (2005) On the final sequence of a finitary set functor. Theoretical Computer Science 338 184–199.CrossRefGoogle Scholar