Lifting theorems for Kleisli categories
From MaRDI portal
Publication:5890054
DOI10.1007/3-540-58027-1_15MaRDI QIDQ5890054
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
68Q55: Semantics in the theory of computing
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Fusion of recursive programs with computational effects, Restriction categories. I: Categories of partial maps, Monads and comonads on module categories, Galois functors and entwining structures, Restriction categories II: Partial map classification, Combining a monad and a comonad, Lifting results for categories of algebras