[jonjacky]

There is one in the book, Mathematics: Form and Function by Saunders Mac Lane (who was one of the creators of category theory).