Finitary Functors: From Set to Preord and Poset

DOI10.1007/978-3-642-22944-2_7MaRDI QIDQ3090863zbMATH OpenOpenAlexFDO

Authors Adriana Balan, Alexander Kurz

Publication date 2 September 2011

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-22944-2_7

zbMATH Keywords

(final) coalgebraembeddingexact squareextensionliftingrelatorsimulation

Mathematics Subject Classification ID

Special properties of functors (faithful, full, etc.) (18A22) Categories of sets, characterizations (18B05) Preorders, orders, domains and lattices (viewed as categories) (18B35) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• On the final sequence of a finitary set functor
• On finitary functors
• On Finitary Functors and Their Presentations
• On finitary functors and their presentations
• Functors on the Category of Finite Sets
• Finitary monads on the category of posets
• scientific article; zbMATH DE number 3906549
• Posets of finite functions
• Finite preorders and topological descent. II: étale descent
• Functors and dyadic sets of finite type

Cited in

(10)

• Saturated Kripke structures as Vietoris coalgebras
• Positive monotone modal logic
• On finitary functors and their presentations
• Limits in categories of Vietoris coalgebras
• Extending set functors to generalised metric spaces
• (Metric) bisimulation games and real-valued modal logics for coalgebras
• Minimality Notions via Factorization Systems and Examples
• Finitary monads on the category of posets
• A general account of coinduction up-to
• Up-to techniques for behavioural metrics via fibrations

This page was built for publication: Finitary Functors: From Set to Preord and Poset

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