William Lawvere, Stephen Schanuel, Conceptual Mathematics, 2nd Edition,Cambridge University Press, 2009,