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