Around infinitary categorical logic

Se estudia una generalización de la lógica categórica para lenguajes infinitarios. Principalmente se trabaja con una generalización de los topos de Grothendieck, que también generalizan los topos usados por Espíndola, y se estudia como esta definición para topos se relaciona con una versión del axioma de elección. Se prueban generalizaciones de los resultados de la lógica categórica, como la caracterización de morfismos geométricos y la relación entre topos y locales. Se enfatiza la generalización del Teorema de Deligne, el cual usa cardinales fuertemente compactos y, recíprocamente, se muestra como ciertas versiones del Teorema de Deligne pueden implicar la existencia de grandes cardinales. Para el teorema de Deligne también se introduce la propiedad de omisión de tipos débil para topos y se mira como esta relacionado con generalizaciones de los espacios de Baire. (Texto tomado de la fuente)

• Autores: Roldan Moros, Samuel Felipe
• Fecha de publicación: 2024
• Institución: Universidad Nacional de Colombia
• Repositorio: Universidad Nacional de Colombia
• Idioma: eng
• OAI Identifier: oai:repositorio.unal.edu.co:unal/85476
• Acceso en línea: https://repositorio.unal.edu.co/handle/unal/85476; https://repositorio.unal.edu.co/
• Palabra clave: 510 - Matemáticas::511 - Principios generales de las matemáticas; Topos (Matemáticas); Conjuntos, Teoría axiomática de; Toposes (Mathematics); Axiomatic set theory; Categorías (Matemáticas); Categories (Mathematics); Logic; Categorical logic; Topos; Infinitary logic; Large cardinals; Category theory; Lógica; Lógica categorica; Topos; Lógica infinitara; Grandes cardinales; Teoría de categorias; Lógica infinitaria; Infinitary logic
• Rights: openAccess
• License: Atribución-NoComercial-SinDerivadas 4.0 Internacional