A cottage industry of lax extensions
classification
🧮 math.CT
keywords
categoryextensionsmonadmonadsset-basedv-relationsadjunctionassociative
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.