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