Metadata
Author: WikiMatrix
Data
English[en]
The individual models of the theory, i.e. the groups in our example, then correspond to functors from the encoding topos to the category of sets that respect the topos structure.
Spanish[es]
Los modelos individuales de la teoría, es decir los grupos en nuestro ejemplo, corresponden entonces a los funtores del topos de codificación a la categoría de conjuntos que respetan la estructura de topos.