Teoria das categorias

Na matemática, a teoria das categorias provê uma linguagem interdisciplinar capaz de delinear resultados e construções gerais, separando-os dos específicos a cada área, possibilitando a simplificação e clarificação de demonstrações. A teoria centra-se nos conceitos de categoria, que é uma abstração do conceito de composição de funções, de functor, transformações entre categorias, e de transformação natural, a qual provê um significado preciso para expressões como "natural" e "canônico".

O conceito de categorias, functores e transformações naturais, em maior generalidade, foi introduzido por Samuel Eilenberg e Saunders Mac Lane, em 1945, em seu artigo "General Theory of Natural Equivalences". Nos anos seguintes, a teoria das categorias foi empregada na topologia algébrica e álgebra homológica, por Norman Steenrod, Alexander Grothendieck e outros. Em 1958, Daniel Kan descobre o conceito de functores adjuntos, que, segundo Mac Lane, são "onipresentes na matemática". Desde então, houve diversos desenvolvimentos.

Sendo de alto nível de abstração, é recomendada, antes do estudo de teoria das categorias, familiaridade de conceitos básicos de álgebra linear, álgebra abstrata e topologia, por exemplo.

Categoria

Predefinição:Artigo principal Uma categoria Predefinição:Math consiste nos seguintes elementos:

• Uma coleção de objetos de Predefinição:Math.
• Para cada dupla Predefinição:Math de objetos, uma coleção de setas (ou morfismos) do domínio (ou origem) Predefinição:Math até o contradomínio (ou destino) Predefinição:Math, para as quais são usadas a notações Predefinição:Math e Predefinição:Math.
• Para cada objeto Predefinição:Math, uma seta de Predefinição:Math até Predefinição:Math, chamada identidade Predefinição:Math.
• Para cada tripla de objetos Predefinição:Math, uma operação de composição, levando

  cada seta Predefinição:Math e cada seta Predefinição:Math a uma seta Predefinição:Math.

• Devem ser satisfeitas as igualdades:

  (Lei da identidade) Para todos objetos Predefinição:Math e todas as setas Predefinição:Math, vale Predefinição:Math.

  (Associatividade) Para todos objetos Predefinição:Math e todas as setas Predefinição:Math, Predefinição:Math e Predefinição:Math, vale Predefinição:Math.

Há, por exemplo, categorias:

• cujos objetos são conjuntos, e cujos morfismos são funções entre conjuntos;
• cujos objetos são grupos, e cujos morfismos são homomorfismos de grupos;
• cujos objetos são espaços topológicos, e cujos morfismos são funções contínuas;
• cujos objetos são os elementos de um conjunto pré-ordenado fixo Predefinição:Math, e tal que, para quaisquer objetos Predefinição:Math, o número de morfismos Predefinição:Math é exatamente um se Predefinição:Math, e zero se Predefinição:Math.
• cujos objetos são vértices de um grafo, e cujos morfismos são caminhos nesse grafo.

Nestes dois últimos exemplos, percebe-se que os objetos podem não ter "elementos", e os morfismos podem não ter relação com funções.

O diagrama acima é comutativo exatamente quando Predefinição:Math.

Para a representação de relações entre os morfismos, usam-se diagramas consistindo de alguns dos objetos e setas de uma categoria; uma sequência de setas, cada uma tendo destino coincidindo com a origem da seguinte, representa a composição de morfismos correspondentes. Um desses diagramas é chamado diagrama comutativo quando quaisquer duas sequências de setas que iniciam num mesmo objeto, e que terminam também num mesmo objeto, têm composições iguais.

Dualizar consiste em inverter o sentido de cada uma das setas em um diagrama; cada categoria tem uma categoria oposta. Desse modo, os teoremas e definições em teoria das categorias se organizam em duplas, um enunciado sendo obtido do outro trocando cada categoria pela oposta; por exemplo, um epimorfismo é um monomorfismo na categoria oposta, um coproduto é um produto na categoria oposta etc.

Tipos de morfismos

Predefinição:Artigo principal Como os objetos de uma categoria podem não ter "elementos", generalizações de conceitos como função injetiva e função sobrejetiva devem envolver somente setas, e pode haver mais de uma generalização possível.

Como exemplo, generalizando o conceito de função injetiva, um morfismo Predefinição:Math é chamado monomorfismo se e só se

para todo objeto Predefinição:Math e morfismos Predefinição:Math satisfazendo Predefinição:Math, vale Predefinição:Math.

Na categoria dos conjuntos, na categoria dos grupos e na categoria dos espaços topológicos, os monomorfismos são exatamente as funções injetivas. Já um morfismo Predefinição:Math é chamado seção se e só se existe Predefinição:Math tal que Predefinição:Math. Toda seção é um monomorfismo, mas a recíproca pode falhar; com efeito, na categoria dos grupos abelianos, as seções são exatamente os homomorfismos de grupos abelianos Predefinição:Math que são injetivos e tais que Predefinição:Math é a soma direta da imagem de Predefinição:Math com algum subgrupo de Predefinição:Math.

Dualizando, um morfismo Predefinição:Math é um epimorfismo se e só se

para todo objeto Predefinição:Math e morfismos Predefinição:Math satisfazendo Predefinição:Math, vale Predefinição:Math.

Na categoria dos conjuntos, os epimorfismos são precisamente as funções sobrejetivas. Na categoria dos anéis, no entanto, a inclusão Predefinição:Math é um epimorfismo não sobrejetivo.

Como outro exemplo, um isomorfismo é um morfismo Predefinição:Math tal que há Predefinição:Math satisfazendo Predefinição:Math e Predefinição:Math. Na categoria dos espaços topológicos, os isomorfismos são precisamente os homeomorfismos.

Propriedade universal

Predefinição:Artigo principal Construções como produto cartesiano, soma direta, e espaço funcional podem ser generalizadas para todas as categorias. Com exemplo, dados objetos Predefinição:Math numa categoria Predefinição:Math, um objeto Predefinição:Math, junto a morfismos Predefinição:Math e Predefinição:Math, forma um sistema de produto categorial (binário) se e só se, para qualquer outro objeto Predefinição:Math e quaisquer morfismos Predefinição:Math e Predefinição:Math, existe único morfismo Predefinição:Math tal que Predefinição:Math e Predefinição:Math.

Diagrama representado o produto categorial.

Dualmente, há o conceito de coproduto (binário). Na categoria dos conjuntos, os produtos correspondem aos produtos cartesianos, e os coprodutos correspondem às uniões disjuntas. Na categoria dos grupos abelianos, os produtos e coprodutos binários coincidem, e são chamados de soma direta.

Uma propriedade universal é uma propriedade que envolve a existência de único morfismo que faz certo diagrama comutar. Maneiras de definir rigorosamente o conceito incluem functores representáveis e limites e colimites.

Functor

Um functor é uma correspondência entre objetos de duas categorias que pode ser estendida a uma correspondência entre morfismos, de modo que sejam preservadas as identidades e as composições. Mais precisamente, dadas categorias Predefinição:Math e Predefinição:Math, um functor (covariante) de Predefinição:Math até Predefinição:Math, escrito Predefinição:Math, consiste

• de uma atribuição, a cada objeto Predefinição:Math, de um objeto Predefinição:Math,
• de uma atribuição, a cada morfismo Predefinição:Math, de um morfismo Predefinição:Math,

satisfazendo

• Predefinição:Math para cada objeto Predefinição:Math,
• Predefinição:Math para cada dupla de morfismos Predefinição:Math e Predefinição:Math.

Exemplos de correspondências que podem ser estendidas a functores são: a correspondência entre cada conjunto Predefinição:Math e seu conjunto de partes Predefinição:Math (levando cada Predefinição:Math à função Predefinição:Math, de imagens de subconjuntos de Predefinição:Math); a correspondência entre cada anel comutativo Predefinição:Math e seu grupo de matrizes invertíveis Predefinição:Math de ordem Predefinição:Math.

Noutros casos, há um functor contravariante, atribuindo um morfismo Predefinição:Math a cada morfismo Predefinição:Math, e invertendo a ordem das composições. Exemplos de correspondências que podem ser estendidas a functores contravariantes são: a correspondência entre cada conjunto e seu conjunto de partes (levando cada Predefinição:Math à função Predefinição:Math, de pré-imagens de subconjuntos de Predefinição:Math); a correspondência entre cada espaço vetorial e seu espaço dual; a correspondência entre cada anel comutativo e seu espaço de ideais primos.

Transformação natural

Intuitivamente, uma transformação natural é uma família de morfismos numa categoria dados simultaneamente por uma mesma definição, sem depender de escolhas "arbitrárias". Por exemplo, para cada Predefinição:Math espaço vetorial, há mapeamento linear natural Predefinição:Math de Predefinição:Math ao dual de seu dual, dado por Predefinição:Math. Mais precisamente, uma transformação natural entre functores Predefinição:Math é uma família de morfismos Predefinição:Math, para cada Predefinição:Math objeto de Predefinição:Math, satisfazendo

para qualquer morfismo Predefinição:Math, Predefinição:Math.

Diagrama comutativo da condição de naturalidade.

Eis exemplos:

• A projeção Predefinição:Math de cada grupo em sua abelianização (quociente pelo subgrupo comutador) pode ser representada como uma transformação natural.
• A dualidade de Pontryagin pode ser descrita como a existência de isomorfismo natural Predefinição:Math, para cada Predefinição:Math grupo abeliano localmente compacto, onde Predefinição:Math denota o grupo topológico dos homomorfismos contínuos de Predefinição:Math a Predefinição:Math, grupo multiplicativo dos complexos de valor absoluto um.

Functores e transformações naturais permitem definir o conceito de equivalência de categorias.

Adjunção

Predefinição:Artigo principal Uma adjunção entre functores Predefinição:Math e Predefinição:Math é uma família natural de isomorfismos, para quaisquer objetos Predefinição:Math de Predefinição:Math e Predefinição:Math de Predefinição:Math,$${\mathrm{hom}}_D(F(c),d)\cong {\mathrm{hom}}_C(c,G(d)).$$Neste caso, diz-se que Predefinição:Math é adjunto esquerdo e Predefinição:Math é adjunto direito. Exemplos de adjunções incluem:

• Sendo Predefinição:Math a categoria de conjuntos e Predefinição:Math a categoria de espaços vetoriais sobre um corpo fixo Predefinição:Math, a adjunção$${\mathrm{hom}}_{K-𝐕𝐞𝐭}(K[S],V)\cong {\mathrm{hom}}_{𝐒𝐞𝐭}(S,G(V))$$onde Predefinição:Math é um espaço vetorial de base indexada pelo conjunto Predefinição:Math, e Predefinição:Math é o conjunto de elementos do espaço vetorial Predefinição:Math.
• Sendo Predefinição:Math a categoria de conjuntos e Predefinição:Math a categoria de grupos, a adjunção$${\mathrm{hom}}_{𝐆𝐫𝐩}(F(S),H)\cong {\mathrm{hom}}_{𝐒𝐞𝐭}(S,G(H))$$onde Predefinição:Math é o grupo livre no conjunto Predefinição:Math, e Predefinição:Math é o conjunto de elementos do grupo Predefinição:Math.
• Sendo Predefinição:Math a categoria dos espaços métricos completos (cujos morfismos são os mapeamentos uniformemente contínuos) e Predefinição:Math a categoria dos espaços métricos, a adjunção$${\mathrm{hom}}_{𝐂𝐨𝐦𝐩𝐌𝐞𝐭}(K(M),N)\cong {\mathrm{hom}}_{𝐌𝐞𝐭}(M,G(N))$$onde Predefinição:Math é a completação do espaço métrico Predefinição:Math, e Predefinição:Math.
• Sendo Predefinição:Math a categoria dos grupos abelianos, e sendo Predefinição:Math grupo abeliano fixo, a adjunção$${\mathrm{hom}}_{𝐀𝐛}(A\otimes H,B)\cong {\mathrm{hom}}_{𝐀𝐛}(A,\mathrm{Hom}(H,B))$$onde Predefinição:Math denota o produto tensorial entre grupos abelianos, e Predefinição:Math denota o grupo abeliano de homomorfismos de grupo Predefinição:Math.
• Sendo Predefinição:Math a categoria dos espaços topológicos e Predefinição:Math a categoria dos espaços compactos de Hausdorff, a adjunção$${\mathrm{hom}}_{𝐂𝐇𝐚𝐮𝐬}(F(X),K)\cong {\mathrm{hom}}_{𝐓𝐨𝐩}(X,G(K))$$onde Predefinição:Math é a compactificação de Stone–Čech de Predefinição:Math, e Predefinição:Math.

Se um functor Predefinição:Math é adjunto esquerdo a Predefinição:Math, a composição Predefinição:Math faz parte de uma mônade em Predefinição:Math.

Aplicações

Abaixo, seguem algumas aplicações elementares da teoria das categorias.

• Functores são usados para expressar conceitos de topologia algébrica; com efeito, foi nessa área que o conceito começou a ser reconhecido.
• Os teoremas do functor adjunto podem ser usados para demonstrar a existência (e propriedades) de grupos livres, monoides livres, anéis livres etc. (mas não "corpos livres", que não existem), da compactificação de Stone–Čech e de "maiores quocientes de Hausdorff".
• Como adjuntos esquerdos são functores cocontínuos, Predefinição:Math, onde Predefinição:Math denota o grupo livre, Predefinição:Math denota a união disjunta, e Predefinição:Math denota o produto livre (coproduto de grupos).
• Se Predefinição:Math é um Predefinição:Mathbimódulo, o functor Predefinição:Math é adjunto esquerdo, logo cocontínuo, e em particular é functor exato direito (não "exato esquerdo"); isto tem aplicações à álgebra homológica.
• O grupo Predefinição:Math dos [[inteiro p-ádico|inteiros Predefinição:Math-ádicos]] pode ser descrito como o limite do functor representado diagramaticamente por$$\cdots \twoheadrightarrow \mathbb{Z}/p^3\twoheadrightarrow \mathbb{Z}/p^2\twoheadrightarrow \mathbb{Z}/p$$e o grupo Predefinição:Math de Prüfer pode ser descrito como o colimite do functor representado diagramaticamente por$$\mathbb{Z}/p\stackrel{[n]\mapsto [p\cdot n]}{\to }\mathbb{Z}/p^2\stackrel{[n]\mapsto [p\cdot n]}{\to }\mathbb{Z}/p^3\to \cdots$$
• Mônades são usadas na linguagem de programação Haskell para modelar, por exemplo, a manipulação de estado global e o não determinismo.
• Tom Leinster emprega teoria das categorias para construir um objeto inicial numa categoria envolvendo espaços de Banach, dando, assim, uma caracterização alternativa do espaço Predefinição:Math das funções Lebesgue-integráveis no intervalo Predefinição:Math.

Bibliografia

• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citar periódico
• Predefinição:Citar livro