Transformations need my will
100% natural
All hail the fully abstract
Elements are just a hack
Come quietly to the fold
Theorems with meat are boring and old
Diagrams are here to stay
Make them commute or you will pay (x 2)
Categories über alles ...
Now it is 1989
Your morphisms are all in line
But there's a knock at your office door
Functors that you can't ignore
Out of your job till you pass an exam
On the glory of the diagram
Forget the primes, remember this fact:
They're just a sequence, not even exact
Die for algebraic cohomology
So what if it's content-free
You little snot, you will crack
If you mess with Saunders Mac (x 2)
Categories über alles ...