Conceptual Mathematics: A First Introduction to Categories

Book by Stephen Schanuel and William Lawvere