A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories
From MaRDI portal
Publication:5410489
DOI10.1007/978-3-319-06251-8_16zbMath1405.18007OpenAlexW962448886MaRDI QIDQ5410489
Koki Nishizawa, Hitoshi Furusawa
Publication date: 16 April 2014
Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-06251-8_16
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Semirings (16Y60) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Quantales (06F07)
This page was built for publication: A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories
