Exponential Kleisli monoids as Eilenberg-Moore algebras
Category Theory
2013-08-08 v2 General Topology
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.
Cite
@article{arxiv.1201.6650,
title = {Exponential Kleisli monoids as Eilenberg-Moore algebras},
author = {Dirk Hofmann and Frédéric Mynard and Gavin J. Seal},
journal= {arXiv preprint arXiv:1201.6650},
year = {2013}
}
Comments
v2: minor typos corrected