F. William Lawvere
An elementary theory of the category of sets (long version) with commentary
http://www.tac.mta.ca/tac/reprints/articles/11/tr11abs.htmlin Reprints in theory and applications of categories
F. William Lawvere
in Reprints in theory and applications of categories