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.