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

Antes de estudar topos, é necessário conhecimento em teoria das categorias.

Classificador de subobjetos

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 : EopConj por:

Sub E é a coleção dos subobjetos de E,
Sub (f : FE) leva um subobjeto m : AE ao subobjeto f* m : BF, 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 : AE, existe único morfismo car m : E → Ω, chamado morfismo característico, tal que é diagrama de produto fibrado. (Noutras palavras, para cada morfismo x : XE, vale que car mx = vero ∘ () se e só se existe x′ : XA tal que x = mx.)

Uma categoria E com produtos fibrados admite classificador de subobjetos se e só se existe isomorfismo natural

Sub(–) ≅ homE(–, Ω).[6][7]

Topos elementar

Um topos elementar (ou brevemente topos) é uma categoria E que

  • é finitamente completa,
  • admite objetos exponenciais,
  • e admite classificador de subobjetos.[7][8]

Pode-se mostrar que, se E é finitamente completa, e admite objetos de potência, isto é, existe functor P : EopE 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

  • 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

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) : AA × 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 : XA, 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

ap ∘ ([{}] ∘ x, y) = vero ∘ () se e só se x = y, para quaisquer x, y : XA.[13][8]

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 : AB, 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é

Dado topos E, o teorema de monadicidade de Beck implica que o functor P = Ω(–) : EopE é 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 : AB, seja x : BB com y : BB o pushout de f com f, que é colimite finito; seja m : MB equalizador de x com y. Então, f = me para único morfismo e : AM, 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 : MA e n : NA, o morfismo m, n⟩ : M + NA admite alguma imagem p : PA. 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

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 : YX em E/X, objeto de potência P f : DX pode ser construído como o pullback onde ∨ : P X × P XP 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 : YX, a existência de adjunções

Σkk* ⊣ Πk

onde k* : E/XE/Y é functor de pullback por k : YX. Por sua vez, isto implica que pullbacks num topos preservam epimorfismos e se distribuem em coprodutos, por exemplo.[18]

Linguagem de Mitchell–Bénabou

Ver artigo principal: Linguagem de Mitchell–Bénabou

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 : AC e g : BC 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 BA × B.[20]

Modalidade de Lawvere–Tierney

Uma modalidade (ou topologia) de Lawvere–Tierney num topos E é um morfismo j : Ω → Ω em E tal que j ∘ vero = vero, jj = 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 : DC tais que g* SJ(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 AE admite fecho AE, dado por ser subobjeto caracterizado por jχ, onde χ : E → Ω é morfismo característico de AE. Esta operação de fecho tem as propriedades AA, (A) = A e (AB) = AB. Um monomorfismo AE é dito ser denso quando o fecho A é o maior subobjeto de E.

Um objeto GE é dito ser separado (respectivamente, feixe) para a modalidade j quando, para cada monomorfismo denso m : AE, 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 EE 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 EE). Para cada objeto EE, a fórmula

f : E → Ωjj (∃ (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

  1. (Mac Lane & Moerdijk 1992, §Prólogo)
  2. «topos – nLab». Consultado em 12 de fevereiro de 2021 
  3. (Barr & Wells 2005, §2.Notas)
  4. Illusie, Luc (2004). «What is...A Topos?» (PDF). Notices of the AMS. 51 (9): 160–161. Consultado em 31 de maio de 2013 
  5. (Barr & Wells 2005, §1.6)
  6. a b (Mac Lane & Moerdijk 1992, §I.3)
  7. a b (Streicher 2004, §12)
  8. a b c (Mac Lane & Moerdijk 1992, §IV.1)
  9. (Mac Lane & Moerdijk 1992, §IV.2)
  10. (Barr & Wells 2005, §5.4)
  11. (Mac Lane & Moerdijk 1992, exercício V.8)
  12. «effective topos – nLab». Consultado em 12 de fevereiro de 2021 
  13. a b (Streicher 2004, §13)
  14. a b (Barr & Wells 2005, §2.2)
  15. (Mac Lane & Moerdijk 1992, §IV.5)
  16. (Barr & Wells 2005, §5.1)
  17. a b (Mac Lane & Moerdijk 1992, §IV.6)
  18. a b (Mac Lane & Moerdijk 1992, §IV.7)
  19. (Mac Lane & Moerdijk 1992, exercício IV.7)
  20. (Streicher 2004, §13)
  21. (Mac Lane & Moerdijk 1992, §V.1)
  22. (Mac Lane & Moerdijk 1992, §V.4)
  23. (Mac Lane & Moerdijk 1992, §V.2)
  24. (Mac Lane & Moerdijk 1992, §V.3)
  25. (Mac Lane & Moerdijk 1992, §VI.1)
  26. 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

Ícone de esboço Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.