Conceptual mathematics: A first introduction to categories (1995)

by F W Lawvere, S H Schanuel