Conceptual Mathematics A First Introduction to Categories 2nd Edition by F. William Lawvere