5
$\begingroup$

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.

  • 0
    yes I also looked for it unsuccessfully.2011-12-21

1 Answers 1

3

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)

  • 0
    I know this is many years later, but it doesn't formalize CAT as intended by Lawvere. For one, there is no notion of functor or natural transformation. It's true that a functor is a morphism between models, but this means that we need something outside of category theory to obtain this.2019-01-27