Conceptual Mathematics: A First Introduction To Categories (1997)

by F W Lawvere, S H Schanuel