S.: Conceptual Mathematics: A First Introduction to Categories (1997)

by W Lawvere, Schanuel