Adding a reference to Heiko's intro to category theory