A cottage industry of lax extensions
Dirk Hofmann, Gavin J. Seal · arXiv (Cornell University) · 2015
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.