On Finitary Functors and Their Presentations

Adámek J, Milius S, Moss L (2012)

Publication Type: Conference contribution, Conference Contribution

Publication year: 2012

Journal

Lecture Notes in Computer Science Springer Verlag

Publisher: Springer-verlag

Edited Volumes: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Series: Lecture Notes in Computer Science

City/Town: Berlin Heidelberg

Book Volume: 7399

Pages Range: 51-70

Conference Proceedings Title: Coalgebraic Methods in Computer Science

Event location: Tallin, Estonia EE

ISBN: 978-3-642-32783-4

URI: http://link.springer.com/chapter/10.1007%2F978-3-642-32784-1_4

DOI: 10.1007/978-3-642-32784-1_4

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. © 2012 IFIP International Federation for Information Processing.

Authors with CRIS profile

Stefan Milius Lehrstuhl für Informatik 8 (Theoretische Informatik)

Involved external institutions

Technische Universität Braunschweig DE Germany (DE) Indiana University US United States (USA) (US)

How to cite

APA:

Adámek, J., Milius, S., & Moss, L. (2012). On Finitary Functors and Their Presentations. In Coalgebraic Methods in Computer Science (pp. 51-70). Tallin, Estonia, EE: Berlin Heidelberg: Springer-verlag.

MLA:

Adámek, Jiří, Stefan Milius, and Lawrence Moss. "On Finitary Functors and Their Presentations." Proceedings of the CMCS 2012, Tallin, Estonia Berlin Heidelberg: Springer-verlag, 2012. 51-70.

BibTeX: Download