Tengo una pregunta sobre el universo de Grothendieck:
Fijemos un GUniverso $U$ . Es un $U$ -ser lo mismo que un $U$ -categoría o hay una sutil diferencia?
Respuesta
¿Demasiados anuncios?
El término " $\mathcal{U}$ -set" no existe. Existen los términos " $\mathcal{U}$ -conjunto pequeño", " $\mathcal{U}$ -categoría pequeña", " $\mathcal{U}$ -categoría". Las definiciones de las mismas pueden diferir, pero todas las variantes son más o menos las mismas que en SGA. Dichas definiciones se recogen en una de mis respuestas anteriores .
