Does anybody know where I can find this article "Lawvere, F. W., 1966, “The Category of Categories as a Foundation for Mathematics”?
I've looked long for the web without any luck, I'll be grateful to anyone who can find it.
Does anybody know where I can find this article "Lawvere, F. W., 1966, “The Category of Categories as a Foundation for Mathematics”?
I've looked long for the web without any luck, I'll be grateful to anyone who can find it.
Lawvere work on CAT cannot be found online, but I found this page in nlab very interesting: http://ncatlab.org/nlab/show/fully+formal+ETCS . Altough the title only mentions ETCS, it really formalizes CAT (the quasicategory of categories)