Conceptual Mathematics by F. William Lawvere & W. Lawvere