An elementary theory of the category of sets (1964)

by F W Lawvere
Venue:Proceedings of the National Academy of Science of the U.S.A