Teoría de Topos

Un topos es una categoría que se comporta como la categoría de conjuntos y soporta una lógica interna, generalizando tanto la teoría de conjuntos como la teoría de haces y proporcionando un entorno para los fundamentos categóricos de las matemáticas.

Definition

Un topos elemental es una categoría con límites finitos, objetos exponenciales y un clasificador de subobjetos; posee suficiente estructura para interpretar una lógica intuicionista de orden superior, por lo que funciona como un universo generalizado de conjuntos con su propia matemática interna.

Scope

Este tema cubre los topos elementales definidos por límites finitos, exponenciales y un clasificador de subobjetos, los topos de Grothendieck como categorías de haces en un sitio, la lógica intuicionista interna de orden superior de un topos, y el papel de los topos en la provisión de fundamentos estructurales y alternativos y en la vinculación de la geometría con la lógica.

Core questions

• ¿Qué estructura categórica hace que una categoría se comporte como la categoría de conjuntos?
• ¿Cómo lleva un topos una lógica interna y por qué es intuicionista?
• ¿Cómo generalizan los topos de Grothendieck los haces y codifican la geometría?
• ¿En qué sentido puede un topos servir como fundamento para las matemáticas?

Key theories

Clasificador de subobjetos y lógica interna

Un clasificador de subobjetos representa subobjetos mediante mapas en un objeto de valor de verdad, dotando a cada topos de una lógica interna de orden superior que es, en general, intuicionista en lugar de clásica.

Topos de Grothendieck

Las categorías de haces en un sitio forman topos de Grothendieck, generalizando los espacios topológicos y proporcionando el marco categórico que Grothendieck desarrolló para la cohomología en la geometría algebraica.

Topos como fundamentos

Un topos bien apuntado que satisface un principio de elección modela una teoría de conjuntos estructural, por lo que la teoría de topos proporciona una alternativa categórica a los fundamentos de las matemáticas basados en la pertenencia.

Clinical relevance

La teoría de topos unifica la geometría y la lógica: los topos de Grothendieck subyacen a la geometría algebraica moderna y la cohomología, la lógica intuicionista interna de los topos modela las matemáticas constructivas y proporciona semántica para la teoría de tipos, y los topos elementales ofrecen una explicación estructural de los fundamentos de las matemáticas.

History

Grothendieck y sus colaboradores introdujeron los topos como categorías de haces en la década de 1960 para apoyar la cohomología de esquemas. Lawvere y Tierney luego proporcionaron la axiomatización elemental, puramente categórica, a principios de la década de 1970, revelando la lógica interna de un topos y estableciendo la teoría de topos como un puente entre la geometría, la lógica y los fundamentos de las matemáticas.

Key figures

• Alexander Grothendieck
• F. William Lawvere
• Myles Tierney
• Peter Johnstone

Seminal works

• maclanemoerdijk1994
• johnstone2002
• awodey2010

Frequently asked questions

¿Por qué la lógica interna de un topos es intuicionista?

El clasificador de subobjetos no necesita satisfacer la ley del tercero excluido, porque el retículo de valores de verdad en un topos general es un álgebra de Heyting en lugar de una booleana. Como resultado, la lógica validada internamente es intuicionista, recuperándose la lógica clásica solo en topos especiales.

¿Cómo generaliza un topos la categoría de conjuntos?

La categoría de conjuntos es el topos más simple, y un topos general conserva sus características estructurales clave, límites finitos, espacios de funciones y un clasificador de subconjuntos, al tiempo que permite la variación sobre un espacio o una teoría lógica. Esto permite realizar matemáticas similares a las de conjuntos en contextos como los haces, donde la verdad es local.