This paper gives a sufficient condition for monads P, P′ and T to have an adjunction between the category of P-algebras over T-algebras and the category of P′-algebras over T-algebras. The leading example is an adjunction between the category of idempotent semirings and the category of quantales, where P is the finite powerset monad, P′ is the powerset monad, and T is the free monoid monad. The left adjoint of this leading example is given by ideal completion. Applying our result, we show that ideal completion also gives an adjunction between the category of join semilattices over T-algebras and the category of complete join semilattices over T-algebras for a general monad T satisfying certain distributive law. © 2014 Springer International Publishing.
CITATION STYLE
Nishizawa, K., & Furusawa, H. (2014). A sufficient condition for liftable adjunctions between Eilenberg-Moore categories. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8428 LNCS, pp. 261–276). Springer Verlag. https://doi.org/10.1007/978-3-319-06251-8_16
Mendeley helps you to discover research relevant for your work.