Lifting theorems for Kleisli categories

DOI10.1007/3-540-58027-1_15OpenAlexW1561269335MaRDI QIDQ5890054

Philip S. Mulry

Publication date: 28 April 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-58027-1_15

zbMATH Keywords

quotient categorynatural transformationadjoint pairleft adjointtensorial strength

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Monads for behaviour, ``Keep definition, change category -- a practical approach to state-based system calculi, Behavioural equivalences for coalgebras with unobservable moves, Restriction categories II: Partial map classification, Unnamed Item, Lax Liftings and Lax Distributive Laws, Interleaving data and effects, Extensional quotient coalgebras, Fusion of recursive programs with computational effects, Galois functors and entwining structures, Restriction categories. I: Categories of partial maps, Monads and comonads on module categories, Categorical Büchi and parity conditions via alternating fixed points of functors, Categories of Timed Stochastic Relations, Unnamed Item, Trace semantics via determinization, Unnamed Item, Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic, Coalgebraic semantics for nominal automata, Combining a monad and a comonad, Lifting results for categories of algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• Extensional PERs
• Monads and algebras in the semantics of partial data types
• Partial map classifiers and partial cartesian closed categories
• Strong functors and monoidal monads
• Adjoint Lifting Theorems for Categories of Algebras