An elementary theory of the category of sets (1964)

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