Relation liftings on preorders and posets

DOI10.1007/978-3-642-22944-2_9zbMATH Open1343.18003arXiv1210.1433OpenAlexW1790537001MaRDI QIDQ3090865FDOQ3090865

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)

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.

Full work available at URL: https://arxiv.org/abs/1210.1433

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

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)

Cited In (11)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Relation lifting, a survey
• Stone duality for relations
• Lax Liftings and Lax Distributive Laws
• Preorders on monads and coalgebraic simulations
• Title not available (Why is that?)
• Relation lifting, with an application to the many-valued cover modality
• Lifting as a KZ-doctrine
• Coalgebraic completeness-via-canonicity for distributive substructural logics
• Many-valued relation lifting and Moss' coalgebraic logic

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)