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.


Publié dans:
Applied Categorical Structures, 23, 2, 137-157
Année
2015
Publisher:
Dordrecht, Springer
ISSN:
0927-2852
Mots-clefs:
Laboratoires:




 Notice créée le 2015-04-13, modifiée le 2018-12-03


Évaluer ce document:

Rate this document:
1
2
3
 
(Pas encore évalué)