Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
