Exponential Kleisli Monoids as Eilenberg-Moore Algebras

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.


Published in:
Applied Categorical Structures, 23, 2, 137-157
Year:
2015
Publisher:
Dordrecht, Springer
ISSN:
0927-2852
Keywords:
Laboratories:




 Record created 2015-04-13, last modified 2018-09-13


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)