Adjoint monads and an isomorphism of the Kleisli categories (Q915849)

From MaRDI portal
Revision as of 09:29, 7 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Adjoint monads and an isomorphism of the Kleisli categories
scientific article

    Statements

    Adjoint monads and an isomorphism of the Kleisli categories (English)
    0 references
    0 references
    1990
    0 references
    Let \({\mathbb{U}}\) be a category, \({\mathbb{F}}\) a monad on \({\mathbb{U}}\) and \({\mathbb{G}}\) a comonad on \({\mathbb{U}}\). If \({\mathbb{F}}\) is right adjoint to \({\mathbb{G}}\), then the Kleisli category \({\mathbb{U}}_{{\mathbb{F}}}\) of \({\mathbb{F}}\) is isomorphic to the Kleisli category \({\mathbb{U}}_{{\mathbb{G}}}\) of \({\mathbb{G}}\), or, alternatively, the category \({\mathbb{U}}_ 0^{{\mathbb{F}}}\) of free F-algebras is equivalent to the category \({\mathbb{U}}_ 0^{{\mathbb{G}}}\) of cofree \({\mathbb{G}}\)-coalgebras. This result is illustrated by an example where \({\mathbb{U}}\) is a category of modules.
    0 references
    0 references
    monad
    0 references
    comonad
    0 references
    Kleisli category
    0 references
    category of modules
    0 references

    Identifiers