Abstract
A well-known construction associates with every monad on a category a new category, called the Kleisli category of the given monad. Following M.A. Batanin, in this section we endow the homotopy category H(pro-Top) with the structure of a monad and show that its Kleisli category is isomorphic to the coherent homotopy category CH(pro-Top). This fact is not used in other sections of the book.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliographic notes
Huber, P. (1961): Homotopy theories in general categories. Math. Ann. 444, 361–385
Mac Lane, S. (1971): Categories. For the working mathematician. Springer, Berlin Heidelberg New York
Kleisli, H. (1965): Every standard construction is induced by a pair of adjoint functors. Proc. Amer. Math. Soc. 16, 544–546
Batanin, M.A. (1986): On the coherent prohomotopy category of LisicaMardesié and generalized Steenrod homology theories. USSR Academy of Sci., Siberian Section, Novosibirsk, preprint, pp. 1–23 (Russian)
Batanin, M.A. (1993): Coherent categories with respect to monads and coherent prohomotopy theory. Cahiers Topol. Géom. Diff. Categor. 34, No. 4, 279–304
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Mardešić, S. (2000). Coherent homotopy as a Kleisli category. In: Strong Shape and Homology. Springer Monographs in Mathematics. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-13064-3_6
Download citation
DOI: https://doi.org/10.1007/978-3-662-13064-3_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-08546-8
Online ISBN: 978-3-662-13064-3
eBook Packages: Springer Book Archive