Loading...
research article
Exponential Kleisli Monoids as Eilenberg-Moore Algebras
Hofmann, Dirk
•
Mynard, Frederic
•
Seal, Gavin J.
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.
Type
research article
Web of Science ID
WOS:000350870400002
Authors
Hofmann, Dirk
•
Mynard, Frederic
•
Seal, Gavin J.
Publication date
2015
Publisher
Published in
Volume
23
Issue
2
Start page
137
End page
157
Peer reviewed
REVIEWED
EPFL units
Available on Infoscience
April 13, 2015
Use this identifier to reference this record