2015/07/29 by Dirk Hofmann, Gavin J. Seal, Hofmann, Dirk +1
Computer Science · Mathematics · #18C20 #18D20 #18D35 #Advanced Algebra and Logic #Category Theory (math.CT) #Constraint Satisfaction and Optimization #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #math.CT #msc:18C20 #msc:18D20 #msc:18D35
paper · pdf · doi:10.48550/arxiv.1507.08172
arxiv created 2015/07/29 · openalex publication_date 2015/07/29 · arxiv updated 2015/07/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this work, we describe an adjunction between the comma category of SET-based monads under the V-powerset monad and the category of associative lax extensions of SET-based monads to the category of V-relations. In the process, we give a general construction of the Kleisli extension of a monad to the category of V-relations.