Topos
Na matemática, topos elementares (ou brevemente topos) podem ser analisados à base de diversas perspectivas. Do ponto de vista da teoria das categorias, um topos é uma categoria com limites finitos e "objetos de potência". Do ponto de vista da geometria algébrica, topos assemelham-se a categorias de feixes, e, sendo "espaços generalizados", admitem conceitos de "pontos" e "morfismos geométricos". Do ponto de vista da lógica matemática, topos são universos da lógica intuicionista de ordem superior, satisfazendo possíveis axiomas adicionais. Do ponto de vista da álgebra universal, existem "topos classificadores", para teorias como a dos anéis.[1][2]
O conceito de topos elementar surgiu a partir de uma generalização de topos de Grothendieck, como parte da pesquisa por William Lawvere e Myles Tierney em busca de uma fundação natural para matemática baseada em categorias.[3][4]
Definição
[editar | editar código-fonte]Antes de estudar topos, é necessário conhecimento em teoria das categorias.
Classificador de subobjetos
[editar | editar código-fonte]O classificador de subobjetos é uma generalização do conceito de função característica de subconjunto.
Seja E uma categoria com produtos fibrados. Define-se functor de subobjetos Sub : Eop → Conj por:
- Sub E é a coleção dos subobjetos de E,
- Sub (f : F → E) leva um subobjeto m : A → E ao subobjeto f* m : B → F, onde
é diagrama de produto fibrado.[5][6]
Um classificador de subobjetos para E é um morfismo vero : 1 → Ω (onde 1 é o objeto terminal), tal que para cada monomorfismo m : A → E, existe único morfismo car m : E → Ω, chamado morfismo característico, tal que é diagrama de produto fibrado. (Noutras palavras, para cada morfismo x : X → E, vale que car m ∘ x = vero ∘ () se e só se existe x′ : X → A tal que x = m ∘ x′.)
Uma categoria E com produtos fibrados admite classificador de subobjetos se e só se existe isomorfismo natural
Topos elementar
[editar | editar código-fonte]Um topos elementar (ou brevemente topos) é uma categoria E que
Pode-se mostrar que, se E é finitamente completa, e admite objetos de potência, isto é, existe functor P : Eop → E tal que há isomorfismo natural
- homE(A, P B) ≅ Sub(A × B)
em A, B, então E é um topos (isto é, também admite exponenciais); com efeito, assim como funções em teoria dos conjuntos são definidas como certas relações, o exponencial BA pode ser definido com um certo subobjeto de P(A × B). Num topos, P(A) := ΩA define os objetos de potência.[9][10]
Exemplos
[editar | editar código-fonte]- A categoria dos conjuntos pequenos Conj é um topos elementar. Mais geralmente, todo topos de Grothendieck é topos elementar.
- O produto de dois topos é um topos.[11]
- A categoria dos conjuntos finitos é um topos elementar que não é topos de Grothendieck.[8]
- O topos efetivo, essencialmente consistindo de "funções computáveis", é um topos elementar que não é topos de Grothendieck.[12]
Propriedades
[editar | editar código-fonte]Topos gerais satisfazem várias propriedades similares a um "universo construtivo de conjuntos".
Para cada objeto A de um topos E, existe monomorfismo (id, id) : A → A × A, admitindo logo morfismo característico
- [=] := car (id, id) : A × A → Ω,
que é um análogo à relação de igualdade, no aspecto de que, dados morfismos x, y : X → A, vale que
- [=] ∘ (x, y) = vero ∘ () se e só se x = y.
Adjunção exponencial leva a morfismo
- [{}] : A → ΩA
análogo à formação de subconjuntos unitários, no aspecto de que
Também, é possível definir [∧] : Ω × Ω → Ω como o morfismo característico do monomorfismo (vero, vero) : 1 → Ω × Ω; assim, [∧] é análogo à operação de conjunção em valores lógicos.[13]
Dado monomorfismo m : A → B, existe transformação natural
- Sub(– × A) → Sub(– × B)
dada por composição com id × m, que induz transformação natural
- hom(–, ΩA) → hom(–, ΩB)
e consequentemente morfismo ∃m : ΩA → ΩB, com propriedades similares à operação de imagem de subconjuntos.[14]
A condição de Beck–Chevalley interna diz que, dados monomorfismos k : B′ → B e m : C′ → C, de modo que é diagrama de produto fibrado, então o diagrama é comutativo, isto é,
- Ωg ∘ ∃k = ∃m ∘ Ωg′.[14]
Teorema de Paré
[editar | editar código-fonte]Dado topos E, o teorema de monadicidade de Beck implica que o functor P = Ω(–) : Eop → E é monádico. Em particular, topos também admitem todos os colimites finitos.[15][16]
Com isso é possível fatorar setas em topos, similarmente à fatoração de uma função como uma função sobrejetiva seguida de função injetiva (inclusão da imagem no contradomínio). Para seta f : A → B, seja x : B → B′ com y : B → B′ o pushout de f com f, que é colimite finito; seja m : M → B equalizador de x com y. Então, f = m ∘ e para único morfismo e : A → M, com e sendo epimorfismo; ainda mais, m é a imagem de f, isto é, o menor subobjeto de B pelo qual f se fatora.[17]
Como aplicação, existem uniões (supremos) de subobjetos. Com efeito, dados monomorfismos m : M → A e n : N → A, o morfismo ⟨m, n⟩ : M + N → A admite alguma imagem p : P → A. Vale que p é o supremo de m e n na ordem de subobjetos de A. Esta definição induz morfismo
- [∨] : Ω × Ω → Ω
análogo à operação de disjunção em valores lógicos.[17]
Topos de morfismos
[editar | editar código-fonte]Dado topos E, e objeto X seu, denote por E/X a categoria de setas em E de contradomínio A. (Noutras palavras, é a categoria vírgula idE ↓ (• ↦ X).)
Então, E/X é um topos.[18] Para cada f : Y → X em E/X, objeto de potência P f : D → X pode ser construído como o pullback onde ∨ : P X × P X → P X é induzido pela união de subobjetos, e onde ∃f (sendo que f não precisa ser monomorfismo) é análogo à operação de imagem de subconjuntos. (Para melhor entendimento, é útil tratar objetos de E/X como "famílias X-indexadas de objetos de E".)[19]
Em particular, cada E/X é cartesiana fechada, logo E é localmente cartesiana fechada. Isto implica, para cada k : Y → X, a existência de adjunções
- Σk ⊣ k* ⊣ Πk
onde k* : E/X → E/Y é functor de pullback por k : Y → X. Por sua vez, isto implica que pullbacks num topos preservam epimorfismos e se distribuem em coprodutos, por exemplo.[18]
Linguagem de Mitchell–Bénabou
[editar | editar código-fonte]A linguagem de Mitchell–Bénabou é uma linguagem formal que permite facilitar a demonstração de propriedades de topos. Com ela é possível tratar os objetos e morfismos de um topos como se fossem conjuntos e funções num universo satisfazendo as regras da lógica intuicionista de ordem superior.
Como um exemplo básico, dados morfismos f : A → C e g : B → C num topos E, a fórmula
- x : A, y : B ⊢ (f x = g y) : Ω
é interpretada como um morfismo A × B → Ω, que é precisamente o morfismo característico da inclusão do produto fibrado A ×C B → A × B.[20]
Modalidade de Lawvere–Tierney
[editar | editar código-fonte]Uma modalidade (ou topologia) de Lawvere–Tierney num topos E é um morfismo j : Ω → Ω em E tal que j ∘ vero = vero, j ∘ j = j e j ∘ [∧] = [∧] ∘ (j × j).[21]
Num topos de pré-feixes ConjCop, as modalidades de Lawvere–Tierney estão em correspondência biunívoca com as topologias de Grothendieck. Com efeito, uma topologia de Grothendieck J pode ser levada a j : Ω → Ω tal que jC(S) é o J-fecho de S, isto é, a família das setas g : D → C tais que g* S ∈ J(D); por outro lado, uma modalidade j : Ω → Ω pode ser levada a J tal que J(C) consiste precisamente das peneiras S (isto é, membros de Ω(C)) tais que jC(S) é a peneira máxima. Esta equivalência sugere as definições abaixo.[22]
Cada subobjeto A → E admite fecho A− → E, dado por ser subobjeto caracterizado por j ∘ χ, onde χ : E → Ω é morfismo característico de A → E. Esta operação de fecho tem as propriedades A ⊆ A−, (A−)− = A− e (A ∩ B)− = A− ∩ B−. Um monomorfismo A → E é dito ser denso quando o fecho A− é o maior subobjeto de E.
Um objeto G ∈ E é dito ser separado (respectivamente, feixe) para a modalidade j quando, para cada monomorfismo denso m : A → E, composição com m induz função
- hom(E, F) → hom(A, F)
que é uma injeção (respectivamente bijeção). Denota-se por Fxj E a subcategoria plena de E consistindo dos feixes.[23]
Como no caso de topos de Grothendieck, Fxj E é fechada em limites finitos, e também exponenciações (_)E, para E ∈ E qualquer. Também, Fxj E é um topos, cujo classificador de subobjetos é r ∘ vero : 1 → Ωj, onde Ω → Ωj → Ω é a fatoração de j em epimorfismo seguido de monomorfismo.
Também, é possível provar a existência de feixificação a : E → Fxj E (o adjunto esquerdo da inclusão Fxj E → E). Para cada objeto E ∈ E, a fórmula
- f : E → Ωj ⊢ j (∃ (e : E), ∀ (x : E), f x = r (x = e))
na linguagem de Mitchell–Bénabou é interpretada como um morfismo χ : (Ωj)E → Ω, classificando subobjeto F → (Ωj)E; assim, F é feixificação de E. (A aplicação de j a valores lógicos indica sua relação com a lógica modal.)[24]
Um exemplo de modalidade é a dupla negação j = [¬] ∘ [¬], também chamada de modalidade densa. Neste caso, Fx¬¬ E é sempre um topos satisfazendo a lógica clássica. (Compare com a tradução da dupla negação.)[25][26]
Referências
- ↑ (Mac Lane & Moerdijk 1992, §Prólogo)
- ↑ «topos – nLab». Consultado em 12 de fevereiro de 2021
- ↑ (Barr & Wells 2005, §2.Notas)
- ↑ Illusie, Luc (2004). «What is...A Topos?» (PDF). Notices of the AMS. 51 (9): 160–161. Consultado em 31 de maio de 2013
- ↑ (Barr & Wells 2005, §1.6)
- ↑ a b (Mac Lane & Moerdijk 1992, §I.3)
- ↑ a b (Streicher 2004, §12)
- ↑ a b c (Mac Lane & Moerdijk 1992, §IV.1)
- ↑ (Mac Lane & Moerdijk 1992, §IV.2)
- ↑ (Barr & Wells 2005, §5.4)
- ↑ (Mac Lane & Moerdijk 1992, exercício V.8)
- ↑ «effective topos – nLab». Consultado em 12 de fevereiro de 2021
- ↑ a b (Streicher 2004, §13)
- ↑ a b (Barr & Wells 2005, §2.2)
- ↑ (Mac Lane & Moerdijk 1992, §IV.5)
- ↑ (Barr & Wells 2005, §5.1)
- ↑ a b (Mac Lane & Moerdijk 1992, §IV.6)
- ↑ a b (Mac Lane & Moerdijk 1992, §IV.7)
- ↑ (Mac Lane & Moerdijk 1992, exercício IV.7)
- ↑ (Streicher 2004, §13)
- ↑ (Mac Lane & Moerdijk 1992, §V.1)
- ↑ (Mac Lane & Moerdijk 1992, §V.4)
- ↑ (Mac Lane & Moerdijk 1992, §V.2)
- ↑ (Mac Lane & Moerdijk 1992, §V.3)
- ↑ (Mac Lane & Moerdijk 1992, §VI.1)
- ↑ Goldblatt, Robert (2003). «Mathematical modal logic: A view of its evolution». Journal of Applied Logic. 1. doi:10.1016/S1570-8683(03)00008-9
Bibliografia
[editar | editar código-fonte]- Mac Lane, Saunders; Moerdijk, Ieke (1992), Sheaves in Geometry and Logic: A First Introduction to Topos Theory, ISBN 978-0-387-97710-2, Universitext 1 ed. , Springer
- Barr, Michael; Wells, Charles (2005), «Toposes, Triples and Theories», Reprints in Theory and Applications of Categories
- Streicher, Thomas (2004), Introduction to Category Theory and Categorical Logic (PDF), consultado em 12 de fevereiro de 2021