I’ve added a skeleton of a new chapter on homotopical stuff. In particular, the hope is that this will cover the basic theory of model categories and simplicial sets. The motivation is to discuss applications of homotopical methods in commutative algebra, in particular the cotangent complex.

So far the material is largely taken from these notes on algebraic topology.