Conceptual Mathematics door F. William Lawvere & W. Lawvere