Back in November Anton Geraschenko had an interesting post at the Secret Blogging Seminar based on a preprint by George Bergman. Homological algebra is full of diagram chasing arguments that lead to scary-looking theorems like the Snake Lemma. Bergman claims that these are all special cases of an even-scarier looking but more obvious result he christens the Salamander Lemma. I’ll definitely be looking more closely at this when I get a chance.