In this paper we construct extensions of Set-monads -- and, more generally, of lax Rel-monads -- into lax monads of the bicategory Mat(V) of generalized V-matrices, whenever V is a well-behaved lattice equipped with a tensor product. We add some guiding examples.
Keywords: relation, lax algebra, lax monad
2000 MSC: 18D05, 18C20, 18D10
Theory and Applications of Categories,
Vol. 13, 2004,
No. 3, pp 41-60.
http://www.tac.mta.ca/tac/volumes/13/3/13-03.dvi
http://www.tac.mta.ca/tac/volumes/13/3/13-03.ps
http://www.tac.mta.ca/tac/volumes/13/3/13-03.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/13/3/13-03.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/13/3/13-03.ps