An elementary theory of the category of sets / - Lawvere, F. William, (University of Chicago, Dept. of Mathematics,, 1960)