Document Type
Article
Publication Date
2013
Publication Title
Applied Categorical Structures
DOI
10.1007/s10485-013-9328-5.
Abstract
Lax monoidal powerset-enriched monads yield a monoidal structure on the category of monoids in the Kleisli category of a monad. Exponentiable objects in this category are identified as those Kleisli monoids with algebraic structure. This result generalizes the classical identification of exponentiable topological spaces as those whose lattice of open subsets forms a continuous lattice.
Recommended Citation
Hofmann, Dirk, Frédéric Mynard, Gavin J. Seal.
2013.
"Exponential Kleisli Monoids as Eilenberg-Moore Algebras."
Applied Categorical Structures.
doi: 10.1007/s10485-013-9328-5.
https://digitalcommons.georgiasouthern.edu/math-sci-facpubs/268
Comments
ArXIV.org: This version of the paper was obtained from arXIV.org. In order for the work to be deposited in arXIV.org, it must be available under the Creative Commons Attribution license, Creative Commons Attribution-Noncommercial-ShareAlike license, or Create Commons Public Domain Declaration. The publisher's final edited version of this article is available at Applied Categorical Structures.