Lawvere, “An elementary theory of the category of sets (1964)

by F William