And now for some algebra, for a change… One of my teachers (not the pedantic one, in fact a fairly well known topologist) once told us that Homological Algebra should be learnt outside of any class, either alone in one’s room, or with friends (this is in keeping with Lang’s sole exercise in the corresponding chapter of some editions of his Algebra, which asks the reader to just take any book on the topic and prove every statement without looking at the proofs).
If you’ve followed this type of advice, there is a fair chance that you’ve only ever proved the Snake Lemma and its friends for categories of modules over a ring. As it turns out, this is not so restrictive, since some abstract theorems show that any abelian category can be embedded in such a simple one, but it might be argued that this is not very elegant, especially if the theorems in question are taken for granted without proof (or reference).
All this to say that T. Bühler gave a lecture today at our Algebra and Topology seminar, where he explained some of his recent paper (to appear in Expositiones Math.) giving complete detailed proofs of all standard diagrams and diagram chasing lemmas, starting from scratch (or more precisely from axioms for exact categories, which seem quite a bit more general than abelian categories). As he remarked at the end, doing it this way is actually shorter, and it is much more satisfactory.