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.
Similar content being viewed by others
References
ALMKVIST, G.: Fractional categories. Arkiv for Math.7, 449–476 (1969).
BUNGE, M.: Relative functor categories and categories of algebras. J. of Algebra.11, 64–101 (1969).
DUBUC, E.: Kan extensions in enriched category theory. Lecture Notes in Mathematics144, Springer-Verlag 1970.
EILENBERG, S. and KELLY, G.M.: Closed categories. Proceedings of the Conference on Categorical Algebra, Springer-Verlag, 1966.
GABRIEL, P. and OBERST, U.: Spektralkategorien und regulare Ringe in Von-Neumannschen Sinn. Math. Z.92, 389–395 (1966).
GABRIEL, P. and ZISMAN, M.: Calculus of Fractions and Homotopy Theory. Springer-Verlag 1967.
HARTSHONE, R.: Residues and duality. Lecture Notes in Mathematics20, Springer-Verlag, 1966.
KOCK, A.: Monads on symmetric monoidal closed categories. Arch. Math.21, 1–10 (1970).
KOCK, A.: Closed categories generated by commutative monads. J. of the Australian Math. Soc., XII, 405–424 (1971).
MEYER, J.P.: Induced functors on categories of algebras. Preprint.
MITCHELL, B.: Theory of Categories. Academic Press 1965.
QUILLEN, D.G.: Rational homotopy theory. Annals of Math.90, 205–295 (1969).
STREET, R.: The formal theory of monads. J. of Pure and Applied Algebra2, 149–168 (1972).
WOLFF, H.:V-Localizations andV-Monads. J. of Algebra24, 405–438 (1973).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Wolff, H. V-localizations andV-Kleisli algebras. Manuscripta Math 16, 203–228 (1975). https://doi.org/10.1007/BF01164425
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01164425