Teoria dos Topos

Um topos é uma categoria que se comporta como a categoria de conjuntos e suporta uma lógica interna, generalizando tanto a teoria dos conjuntos quanto a teoria dos feixes, e fornecendo um cenário para os fundamentos categóricos da matemática.

Definition

Um topos elementar é uma categoria com limites finitos, objetos exponenciais e um classificador de subobjetos; possui estrutura suficiente para interpretar uma lógica intuicionista de ordem superior, funcionando assim como um universo generalizado de conjuntos com sua própria matemática interna.

Scope

Este tópico abrange topos elementares definidos por limites finitos, exponenciais e um classificador de subobjetos, topos de Grothendieck como categorias de feixes em um sítio, a lógica intuicionista interna de ordem superior de um topos, e o papel dos topos em fornecer fundamentos estruturais e alternativos e em ligar a geometria à lógica.

Core questions

• Que estrutura categórica faz uma categoria se comportar como a categoria de conjuntos?
• Como um topos carrega uma lógica interna, e por que ela é intuicionista?
• Como os topos de Grothendieck generalizam os feixes e codificam a geometria?
• Em que sentido um topos pode servir como fundamento para a matemática?

Key theories

Classificador de subobjetos e lógica interna

Um classificador de subobjetos representa subobjetos por mapeamentos em um objeto de valor-verdade, conferindo a cada topos uma lógica interna de ordem superior que é, em geral, intuicionista em vez de clássica.

Topos de Grothendieck

Categorias de feixes em um sítio formam topos de Grothendieck, generalizando espaços topológicos e fornecendo o arcabouço categórico que Grothendieck desenvolveu para a cohomologia em geometria algébrica.

Topos como fundamentos

Um topos bem-apontado que satisfaz um princípio de escolha modela uma teoria de conjuntos estrutural, de modo que a teoria dos topos oferece uma alternativa categórica aos fundamentos da matemática baseados em pertinência.

Clinical relevance

A teoria dos topos unifica geometria e lógica: os topos de Grothendieck sustentam a geometria algébrica moderna e a cohomologia, a lógica intuicionista interna dos topos modela a matemática construtiva e fornece semântica para a teoria dos tipos, e os topos elementares oferecem uma explicação estrutural dos fundamentos da matemática.

History

Grothendieck e seus colaboradores introduziram os topos como categorias de feixes na década de 1960 para apoiar a cohomologia de esquemas. Lawvere e Tierney então forneceram a axiomatização elementar, puramente categórica, no início da década de 1970, revelando a lógica interna de um topos e estabelecendo a teoria dos topos como uma ponte entre a geometria, a lógica e os fundamentos da matemática.

Key figures

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

Seminal works

• maclanemoerdijk1994
• johnstone2002
• awodey2010

Frequently asked questions

Por que a lógica interna de um topos é intuicionista?

O classificador de subobjetos não precisa satisfazer a lei do terceiro excluído, porque a rede de valores-verdade em um topos geral é uma álgebra de Heyting em vez de booleana. Como resultado, a lógica validada internamente é intuicionista, com a lógica clássica sendo recuperada apenas em topos especiais.

Como um topos generaliza a categoria de conjuntos?

A categoria de conjuntos é o topos mais simples, e um topos geral retém suas características estruturais chave, limites finitos, espaços de funções e um classificador de subconjuntos, enquanto permite variação sobre um espaço ou uma teoria lógica. Isso permite fazer matemática semelhante a conjuntos em contextos como feixes, onde a verdade é local.