Conceptual Mathematics: A First Introduction to Categories - F.
William Lawvere, Stephen H.
Schanuel.
Conceptual mathematics: a first introduction to categories - f. william lawvere, stephen h. schanuel