Teoría de conjuntos estructurales

En matemáticas, la teoría estructural de conjuntos es un enfoque de la teoría de conjuntos que enfatiza el aspecto de los conjuntos como estructuras abstractas. Se contrapone a la teoría de conjuntos ZFC más tradicional, que enfatiza la pertenencia. Un ejemplo destacado es la Teoría Elemental de la Categoría de Conjuntos de Lawvere , que identifica conjuntos en términos de relaciones entre sí mediante funciones. Otro ejemplo es SEAR (Conjuntos, Elementos y Relaciones). ^{[ 1 ]}

El adjetivo "estructural" proviene del estructuralismo en la filosofía de las matemáticas.

• Shulman, Michael (1 de abril de 2019). "Comparación de teorías de conjuntos materiales y estructurales" . Annals of Pure and Applied Logic . 170 (4): 465– 504. arXiv : 1808.05204 . doi : 10.1016/j.apal.2018.11.002 . ISSN 0168-0072 . 
• François G. Dorais, ¿De vuelta a Cantor? , una publicación de blog

• Teoría estructural de conjuntos en nLab
• https://mathoverflow.net/questions/90820/set-theories-without-junk-theorems