Em matemática, categorificação é o processo de substituir teoremas da teoria dos conjuntos por análogos da teoria das categorias. A categorificação, quando feita com sucesso, substitui conjuntos por categorias, funções por funtores e equações por isomorfismos naturais de funtores que satisfazem propriedades adicionais. O termo foi cunhado por Louis Crane.
O inverso da categorificação é o processo de descategorificação. A descategorificação é um processo sistemático pelo qual objetos isomorfos em uma categoria são identificados como iguais. Enquanto a descategorificação é um processo direto, a categorificação é geralmente muito menos direta. Na teoria de representação de álgebras de Lie, os módulos sobre álgebras específicas são os principais objetos de estudo, e existem várias estruturas (frameworks) para o que uma categorificação de tal módulo deveria ser, por exemplo, as chamadas categorificações abelianas (fracas).
Categorificação e descategorificação não são procedimentos matemáticos precisos, mas sim uma classe de possíveis análogos. Elas são usadas de maneira semelhante a palavras como 'generalização', e não como 'feixificação'.
Exemplos Uma forma de categorificação pega uma estrutura descrita em termos de conjuntos e interpreta os conjuntos como classes de isomorfismos de objetos em uma categoria. Por exemplo, o conjunto dos números naturais pode ser visto como o conjunto de cardinalidades de conjuntos finitos (e quaisquer dois conjuntos com a mesma cardinalidade são isomorfos). Nesse caso, as operações no conjunto dos números naturais, como a adição e a multiplicação, podem ser vistas como carregando informações sobre os coprodutos e produtos da categoria de conjuntos finitos. De forma menos abstrata, a ideia aqui é que a manipulação de conjuntos de objetos reais e a tomada de coprodutos (combinando dois conjuntos em uma união) ou produtos (construindo matrizes de coisas para acompanhar um grande número delas) vieram primeiro. Mais tarde, a estrutura concreta dos conjuntos foi abstraída – considerada "apenas até o isomorfismo", para produzir a teoria abstrata da aritmética. Esta é uma "descategorificação" – a categorificação inverte esse passo.
Outros exemplos incluem teorias de homologia na topologia. Emmy Noether deu a formulação moderna da homologia como a ordem (rank) de certos grupos abelianos livres por meio da categorificação da noção de um número de Betti. Veja também a homologia de Khovanov como um invariante de nó na teoria dos nós.
Um exemplo na teoria dos grupos finitos é que o anel de funções simétricas é categorificado pela categoria de representações do grupo simétrico. O mapa de descategorificação envia o módulo de Specht indexado pela partição para a função de Schur indexada pela mesma partição,
basicamente seguindo o mapa de caractere de uma base favorita do grupo de Grothendieck associado para uma base favorita da teoria de representação do anel de funções simétricas. Esse mapa reflete como as estruturas são semelhantes; por exemplo
têm os mesmos números de decomposição sobre suas respectivas bases, ambos dados pelos coeficientes de Littlewood-Richardson.
Categorificações abelianas Para uma categoria , seja o grupo de Grothendieck de .
Seja um anel que é livre como um grupo abeliano, e seja uma base de de modo que a multiplicação seja positiva em , isto é,
com
Seja um módulo-. Então uma categorificação abeliana (fraca) de consiste de uma categoria abeliana , um isomorfismo , e endofuntores exatos tais que
o funtor eleva a ação de sobre o módulo , isto é, , e existem isomorfismos , isto é, a composição se decompõe como a soma direta de funtores da mesma forma que o produto se decompõe como a combinação linear de elementos da base .
Ver também Prova combinatória, o processo de substituir teoremas da teoria dos números por análogos da teoria dos conjuntos. Teoria de categorias superior Álgebra de dimensão superior Anel categórico
Referências
Leitura adicional Postagem de blog de um dos autores acima (Baez): https://golem.ph.utexas.edu/category/2008/10/what_is_categorification.html (em inglês)
Categoria:Teoria das categorias Categoria:Topologia algébrica