The Category of Categories as a Foundation for Mathematics (1966)

by F W Lawvere
Venue:Proceedings of the Conference on Categorical Algebra, La Jolla