V-localizations andV-Kleisli algebras |
| |
Authors: | Harvey Wolff |
| |
Institution: | (1) Department of Mathematics, The University of Texas, 78712 Austin, Texas, USA |
| |
Abstract: | We prove a pushout theorem for localizations and Kleisli categories over a symmetric monoidal closed categoryV. That is, suppose is aV-localizable subcategory of aV-categoryA and thatT=(T, , ) is aV-monad onA. Then under suitable relations betweenT and we show that there is aV-monadT induced onA -1] such that the Kleisli category ofT is the pushout of the localization functor :A A -1] and the free functor F:A K(T). Consequently,K(T ) K(T) S-1] for some S K(T). We give several examples of this situation. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|