Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm interested in learning homotopical algebra (by which I mean: model categories, simplicial methods, etc.) However, I've been unable to make heads or tails of any of the "standards" (Jardine&Goerss, Hovey, Hirschorn); they seem to presuppose knowledge of the subject material. What are some accessible introductions to this subject? (+ reading paths to get to the aforementioned "classics"?)

Background: I'm very comfortable with category theory and homological algebra, am learning enriched category theory, and have had a course in algebraic topology (and am currently studying more).

share|cite|improve this question
I found the appendix to "Higher Topos Theory" helpful (as a supplement). Also, another thing you might enjoy, while learning this, is working out (since you've studied homological algebra) the fact that the (unbounded) derived category of $R$-modules is the homotopy category of the category of chain complexes of $R$-modules with the usual model structure. Many of the techniques when working with the derived category are kind of analogous to this model category formalism (e.g. the "derived functors" work out the same). – Akhil Mathew Sep 15 '11 at 2:29
Also, I found the article by Goerss on the subject at really fun. One application of the fact (explained in this article) that one can construct model structures on simplicial $R$-algebras for $R$ a commutative ring is the construction of the "cotangent complex": it is a nice concrete example of a (non-abelian!) derived functor. – Akhil Mathew Sep 15 '11 at 2:31
up vote 7 down vote accepted

Have you tried to read Hirschhorn, but starting on Part 2? -The first part is the real purpose of the book -localization of model category structures-, but more specialized and advanced. The second part is designed to serve as a support of that, more advanced, first part, and contains all the basics of homotopy theory (model categories). I would try, at least, with chapters 7, 8 and 9 -see what happens: I think it's not intended to be a "pedagogical" book on model categories, but a reference for the results on the first part. Nevertheless it is, first of all, systematic, and secondly, quite readable.

share|cite|improve this answer
I second this. Let me add: A gentle introduction is in the survey by Dwyer and Spaliński, Homotopy theories and model categories. Handbook of algebraic topology, North-Holland, 1995, MR55014. It's availablee.g. on Dwyer's home page. There is a sequel to May's Concise course in press, written by May and Ponto, More Concise Algebraic Topology: Localization, completion, and model categories. – t.b. Sep 14 '11 at 10:40
I've started reading Part 2, and it's perfect! Thanks; that'll teach me to skip introductions. – Yuri Sulyma Sep 21 '11 at 4:20
I'm glad you're liking the second part. Don't forget Theo's advice: Dwyer and Spalinski is a great introduction. I particularly liked their very specific example about the necessity of deriving colim -and thus giving raise to hocolim. – a.r. Sep 21 '11 at 8:04

I don't know if it is quite an introductory book but Quillen is not bad at all.

Dwyer and Spalinski is good as well.

There is a section in the Motivic homotopy theory book written by Bjorn Dundas (the section is by Dundas, the whole book is by a few other people as well). This might give the overall picture before you look for something more detailed.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.