[I’m happy to introduce Anton, our very first guest blogger.]
The “magic” of diagram-chasing consists in establishing relationships between distant points of a diagram—exactness implications, connecting morphisms, etc.. These “long” connections are in general composits of “short” (unmagical) connections, but the latter, and even the objects they join, are frequently not visible in the diagram-chasing proof. We attempt to remedy this situation here.
If you don’t like diagram chases, it’s likely that you still won’t like them once you know the Salamander lemma. The salamanders chase the diagrams for you, but you still have to chase the salamanders. I think the salamander proofs are easier to explain (once you know the Salamander lemma), and it’s easier…
View original post 1,081 more words