A cottage industry of lax extensions
Category Theory
2015-07-30 v1
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.
Keywords
Cite
@article{arxiv.1507.08172,
title = {A cottage industry of lax extensions},
author = {Dirk Hofmann and Gavin J. Seal},
journal= {arXiv preprint arXiv:1507.08172},
year = {2015}
}