On finitary functors and their presentations

DOI10.1016/J.JCSS.2014.12.002zbMath1328.18005OpenAlexW2174150751MaRDI QIDQ2341699

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

Publication date: 28 April 2015

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2014.12.002

zbMATH Keywords

Kantorovich functorfinitary 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 (7)

On Finitary Functors ⋮ Metric monads ⋮ Presentations and algebraic colimits of enriched monads for a subcategory of arities ⋮ A point-free perspective on lax extensions and predicate liftings ⋮ Extending set functors to generalised metric spaces ⋮ Duality theory for enriched Priestley spaces ⋮ Are Banach spaces monadic?

Cites Work

• Addendum to ``Recursively defined metric spaces without contraction
• Relatively terminal coalgebras
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• A behavioural pseudometric for probabilistic transition systems
• Terminal coalgebras in well-founded set theory
• Recursively defined metric spaces without contraction
• Equational presentations of functors and monads
• Accessible Categories: The Foundations of Categorical Model Theory
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On finitary functors and their presentations