[eru]

Do we have two category theorists here, or has the unlikely happened and commutative diagrams found an application in the real world?

[yummyfajitas]

They are used fairly often in geometry and analysis. Other times should be used but are not (I assume due to authors who don't know much latex).

Regardless, I'm drooling over this. If only you didn't need to use MS word to make it work...