2012/01/31 by Dirk Hofmann, Hofmann, Dirk, Frédéric Mynard +3
Computer Science · Mathematics · #18B30 #18C20 #54A05 #Advanced Algebra and Logic #Category Theory (math.CT) #Constraint Satisfaction and Optimization #FOS: Mathematics #General Topology (math.GN) #Logic, Reasoning, and Knowledge #math.CT #math.GN #msc:18B30 #msc:18C20 #msc:54A05
paper · pdf · doi:10.48550/arxiv.1201.6650
v2: minor typos corrected
openalex publication_date 2012/01/31 · arxiv created 2013/08/07 · arxiv updated 2013/08/08 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.