Abstract
Given a monad T on Set whose functor factors through the category of ordered sets with left adjoint maps, the category of Kleisli monoids is defined as the category of monoids in the hom-sets of the Kleisli category of T . The Eilenberg–Moore category of T is shown to be strictly monadic over the category of Kleisli monoids. If the Kleisli category of T moreover forms an order-enriched category, then the monad induced by the new situation is Kock–Zöberlein. Injective objects in the category of Kleisli monoids with respect to the class of initial morphisms then characterize the objects of the Eilenberg–Moore category of T , a fact that allows us to recuperate a number of known results, and present some new ones.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: 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.