|
|
|
|
A cottage industry of lax extensions
|
|
|
|
|
|
|
|
نویسنده
|
- - ,- -
|
|
منبع
|
categories and general algebraic structures with applications - 2015 - دوره : 3 - شماره : 1 - صفحه:113 -151
|
|
چکیده
|
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.
|
|
کلیدواژه
|
Monad ,lax extension ,quantale ,enriched category
|
|
آدرس
|
Departamento de Matem ́atica, Universidade, Departamento de Matem ́atica, Universidade de Aveiro, 3810-193 Aveiro, Portugal , ایران, Ecole Polytechnique F ́ed ́erale de Lausanne,, Ecole Polytechnique F ́ed ́erale de Lausanne, Station 8, CH-1015 Lausanne, Switzerland, ایران
|
|
پست الکترونیکی
|
gavin.seal@fastmail.fm
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|