Conceptual Mathematics: A First Introduction to Categories. By F. William Lawvere & Steven Schanuel