Relation liftings on preorders and posets

DOI10.1007/978-3-642-22944-2_9MaRDI QIDQ3090865zbMATH OpenOpenAlexFDO

Authors Marta Bílková, Daniela Petrişan, Jiří Velebil, 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://arxiv.org/abs/1210.1433

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Categories of spans/cospans, relations, or partial maps (18B10) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Abstract: The category Rel(Set) of sets and relations can be described as a category of spans and as the Kleisli category for the powerset monad. A set-functor can be lifted to a functor on Rel(Set) iff it preserves weak pullbacks. We show that these results extend to the enriched setting, if we replace sets by posets or preorders. Preservation of weak pullbacks becomes preservation of exact lax squares. As an application we present Moss's coalgebraic over posets.

Recommendations

• Relation lifting, a survey
• Many-valued relation lifting and Moss' coalgebraic logic
• Relation lifting, with an application to the many-valued cover modality
• Lax extensions of coalgebra functors and their logic
• Algebra and Coalgebra in Computer Science

Cited in

(11)

• Many-valued relation lifting and Moss' coalgebraic logic
• scientific article; zbMATH DE number 7577582 (Why is no real title available?)
• Relation lifting, a survey
• scientific article; zbMATH DE number 5356400 (Why is no real title available?)
• Stone duality for relations
• Lax Liftings and Lax Distributive Laws
• Preorders on monads and coalgebraic simulations
• scientific article; zbMATH DE number 2125645 (Why is no real title available?)
• Relation lifting, with an application to the many-valued cover modality
• Lifting as a KZ-doctrine
• Coalgebraic completeness-via-canonicity for distributive substructural logics

This page was built for publication: Relation liftings on preorders and posets

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