An elementary theory of the category of sets, Proc (1964)

by F W Lawvere
Venue:Nat. Acad. Sci. USA