arxiv: 1507.08172 · v1 · pith:CCLT3NFXnew · submitted 2015-07-29 · 🧮 math.CT

A cottage industry of lax extensions

Dirk Hofmann , Gavin J. Seal This is my paper

classification 🧮 math.CT

keywords categoryextensionsmonadmonadsset-basedv-relationsadjunctionassociative

0 comments p. Extension

Add this Pith Number to your LaTeX paper

\usepackage{pith}
\pithnumber{CCLT3NFX}

Prints a linked pith:CCLT3NFX badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more

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.

A cottage industry of lax extensions

discussion (0)