The Category of Categories as a Foundation for Mathematics