Hofmann, Dirk
Mynard, Frederic
Seal, Gavin J.
Exponential Kleisli Monoids as Eilenberg-Moore Algebras
Applied Categorical Structures
Applied Categorical Structures
Applied Categorical Structures
Applied Categorical Structures
21
23
2
Exponentiable object
Monad
Monoidal category
Topological category
2015
2015
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.
Springer
0927-2852
Applied Categorical Structures
Journal Articles
000350870400002