Lawvere, F. William & Stephen H. Schanuel. 1998
Conceptual Mathematics, a First Introduction to Categories.
Cambridge, MA. 1998.