On Finitary Functors and Their Presentations

DOI10.1007/978-3-642-32784-1_4zbMath1328.18004OpenAlexW2057431742MaRDI QIDQ2914676

Jiří Adámek, Lawrence S. Moss, Stefan Milius

Publication date: 20 September 2012

Published in: Coalgebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32784-1_4

zbMATH Keywords

finitary functorsHausdorff functorpresentation of functors

Mathematics Subject Classification ID

Categorical methods in general topology (54B30) Special properties of functors (faithful, full, etc.) (18A22) Theories (e.g., algebraic theories), structure, and semantics (18C10) Accessible and locally presentable categories (18C35)

Related Items (5)

The p-adic Integers as Final Coalgebra ⋮ Unnamed Item ⋮ A complete logic for behavioural equivalence in coalgebras of finitary set functors ⋮ A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors ⋮ Lax extensions of coalgebra functors and their logic

This page was built for publication: On Finitary Functors and Their Presentations