Abstract
Finitary endofunctors of locally presentable categories are proved to have equational presentations. Special attention is paid to the Hausdorff functor of non-empty compact subsets of a complete metric space.
Chapter PDF
Similar content being viewed by others
References
Abramsky, S., Jung, A.: Domain Theory. In: Handbook of Logic in Computer Science. Clarendon Press, Oxford (1994)
Adámek, J.: Free algebras and automata realizations in the language of categories. Comment. Math. Univ. Carolinae 15, 589–609 (1974)
Adámek, J., Rosický, J.: Locally Presentable and Accessible Categories. Cambridge University Press (1993)
Adámek, J., Trnková, V.: Automata and Algebras in Categories. Kluwer Academic Publ., Dordrecht (1990)
Adámek, J., Trnková, V.: Relatively terminal coalgebras. To appear in J. Pure Appl. Algebra
Barr, M.: Terminal coalgebras in well-founded set theory. Theoret. Comput. Sci. 114, 299–315 (1993)
Borceux, F.: Handbook of Categorical Algebra, vol. 2. Cambridge University Press (1994)
van Breugel, F., Hermida, C., Makkai, M., Worrell, J.: Recursively defined metric spaces without contraction
Kelly, G.M., Power, J.: Adjunctions whose counits are coequalizers and presentations of finitary enriched monads. J. Pure Appl. Algebra 89, 163–179 (1993)
Lawvere, F.W.: Functional semantics of algebraic theories. Dissertation, Columbia University (1963)
Makkai, M., Paré, R.: Accessible Categories. Amer. Math. Soc., Providence, Rhode Island (1989)
Velebil, J., Kurz, A.: Equational presentations of functors and monads. Math. Structures Comput. Sci. 21, 363–381 (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 IFIP International Federation for Information Processing
About this paper
Cite this paper
Adámek, J., Milius, S., Moss, L.S. (2012). On Finitary Functors and Their Presentations. In: Pattinson, D., Schröder, L. (eds) Coalgebraic Methods in Computer Science. CMCS 2012. Lecture Notes in Computer Science, vol 7399. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32784-1_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-32784-1_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32783-4
Online ISBN: 978-3-642-32784-1
eBook Packages: Computer ScienceComputer Science (R0)