Conceptual Mathematics by W. Lawvere, F. William Lawvere & Stephen H. Schanuel