On Finitary Functors and Their Presentations

DOI10.1007/978-3-642-32784-1_4MaRDI QIDQ2914676zbMATH OpenOpenAlexFDO

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

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

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

Cited in

(8)

• A complete logic for behavioural equivalence in coalgebras of finitary set functors
• On finitary functors and their presentations
• Lax extensions of coalgebra functors and their logic
• The p-adic integers as final coalgebra
• Finitary Functors: From Set to Preord and Poset
• LNL-FPC: the linear/non-linear fixpoint calculus
• A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors
• Sum and tensor of quantitative effects

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2914676)