In this 2nd edition a new chapter 13 on MacLane (co)homology is added.
It is compared with a variant of algebraic K-theory called stable
K-theory. It turns out that these two theories are isomorphic. The main
tool for this comparison is a third theory constructed from derived
functors over the category of polynomial functors. This chapter is a
transition from the content of the first 12 ch.