Conceptual Mathematics: A First Introduction to Categories

F. William Lawvere, Stephen Hoel Schanuel