A cottage industry of lax extensions (Q2834670)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A cottage industry of lax extensions |
scientific article; zbMATH DE number 6655473
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A cottage industry of lax extensions |
scientific article; zbMATH DE number 6655473 |
Statements
23 November 2016
0 references
monad
0 references
lax extension
0 references
quantale
0 references
enriched category
0 references
math.CT
0 references
A cottage industry of lax extensions (English)
0 references
Let \(V\) be a quantale. The main theorem of this paper establishes that the comma category of Set-based monads under the \(V\)-powerset monad can be viewed as a full reflective subcategory of the category of associative lax extensions of Set-based monads to the category of \(V\)-relations. In the process, the authors give a general construction of the Kleisli extension of a monad to the category of \(V\)-relations.
0 references
