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.html

in Reprints in theory and applications of categories