Categorical Homotopy Theory
Lecture notes from a graduate topics topics course, entitled Categorical Homotopy Theory, taught in the Spring of 2012 at Harvard, were published in May 2014 by Cambridge University Press.
Thanks to a special arrangement with Cambridge University Press, I am also able to host a free PDF copy, which can be found here. This material has been published by Cambridge University Press as Categorical Homotopy Theory by Emily Riehl. This version is free to view and download for personal use only. Not for re-distribution, re-sale or use in derivative works. © Emily Riehl 2014.
A brief description of the contents can be found here.
I'm grateful to those who have written to point out the following mistakes. Please get in touch if you think you may have found another error. The page numbers refer to the published version.
- [page 49, Definitions 3.7.2-3] The isomorphism in 3.7.2 should be V-natural in n, while the isomorphism in 3.7.3 should be V-natural in m. See here for a discussion of this point. Alternatively, Remark 3.7.4 can be taken as a definition of what it means for a V-category to be tensored and/or cotensored.
- [page 107, Remark 7.2.10] The category C§ introduced by Mac Lane is for computing ends as ordinary limits; to compute coends as colimits, you need to use the opposite category. Taking Mac Lane's definition, the obvious functor C§ → twC is initial (not final).
- [page 111, Definition 9.1.5] The enriched bar and cobar constructions are defined relative to a cosimplicial object in V. Thus, the domain of the functor Δ• should not have an “op”, a typo that appears in the first sentence of Definition 9.1.5 and also in the sentence preceding the definition.
- [page 129, Example 8.3.9] As remarked above, the functor C§ → twC is initial (not final). A final functor, relevant for computing coends as ordinary colimits, is given by replacing both categories by their opposites.
- [page 195, proof of Theorem 12.2.2] In the first displayed diagram, the index of the interior coproduct should be Sq(j,Rnf), not Sq(j,f).
- [page 299, after Theorem 17.1.1] The category of finite ordinals and order-preserving maps is strictly monoidal, with the monoidal product given by ordinal sum, but it is not symmetric monoidal. On objects, we have [n] + [m] = [n+m+1] = [m] + [n], but this (identity) isomorphism is not natural.
- [page 302, end of section 17.1] The proof of Theorem 17.1.1 reveals that you can solve lifting problems between outer horn inclusions and inner fibrations between quasi-categories, provided the image of the initial or terminal edge of the horn, respectively, is an isomorphism. More discussion on a closely related question may be found here.
This brief survey of categorical concepts intends to convey the
philosophy and terminology of category theory by exploring its
implications in elementary examples.
My contact info can be found on my personal website.