The category of all categories as a foundation for mathematics (1966)

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