¿Alguien sabe donde puedo encontrar este artículo "Lawvere, F. W., 1966, "La Categoría de las Categorías, como una base para las Matemáticas"?
He mirado mucho por la web sin ningún tipo de suerte, voy a estar agradecido a cualquiera que pueda encontrar.
Lawvere trabajo en el GATO no se puede encontrar en línea, pero he encontrado esta página en nlab muy interesante: http://ncatlab.org/nlab/show/fully+formal+ETCS . Aunque el título sólo menciona el ETCS, lo que realmente se formaliza GATO (el quasicategory de categorías)
I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
