Relation Liftings on Preorders and Posets

DOI10.1007/978-3-642-22944-2_9zbMath1343.18003arXiv1210.1433OpenAlexW1790537001MaRDI QIDQ3090865

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)

Related Items (3)

Relation lifting, a survey ⋮ Coalgebraic completeness-via-canonicity for distributive substructural logics ⋮ Unnamed Item

This page was built for publication: Relation Liftings on Preorders and Posets