Lax Liftings and Lax Distributive Laws

DOI10.4204/eptcs.380.14arXiv2307.16552OpenAlexW4385342833MaRDI QIDQ6190599

Ezra Schoen

Publication date: 5 March 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relation lifting, a survey
• Simulations in coalgebra
• Lax extensions of coalgebra functors and their logic
• Introduction to Coalgebra
• Bialgebraic Methods in Structural Operational Semantics
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• Relational algebras
• Lifting theorems for Kleisli categories