Equivalência de categorias

Na teoria das categorias, equivalência de categorias é o conceito "correto" para dizer se categorias são "essencialmente as mesmas". Assim como objetos numa categoria são comparados não por serem iguais ou não, mas por haver ou não isomorfismos entre eles, $C$ e $D$ são equivalentes quando são relacionadas por dois functores que são inversos a menos de isomorfismos naturais.

Definição

Uma equivalência entre as categorias $C,D$ é uma quádrupla consistindo de dois functores $F:C\to D$ e $G:D\to C$, e dois isomorfismos naturais $\eta :1\dot{\cong }GF$ e $ϵ:FG\dot{\cong }1$. Compare com o conceito de isomorfismo na categoria $𝖢𝖺𝗍$, que exige $GF=1_C$ e $FG=1_D$. Escreve-se $C\simeq D$ quando $C,D$ são equivalentes. A relação $\simeq$ é relação de equivalência.

Uma condição suficiente e necessária para um functor $F:C\to D$ ser parte de uma equivalência de categorias é ser functor pleno, fiel e essencialmente sobrejetivo (isto é, para cada $d\in D$, há $c\in C$ tal que $F(c)\cong d$).

O princípio de equivalência é a afirmação de que os conceitos estudados em teoria das categorias devem ser invariantes na equivalência de categorias.

Equivalência adjunta

Uma equivalência adjunta é uma equivalência $(F,G,\eta ,ϵ)$ formando uma adjunção.

Toda equivalência de categorias pode ser promovida a uma equivalência adjunta: $$(F,G,\eta :1\dot{\cong }GF,ϵ\cdot F(Gϵ\cdot \eta G{)}^{-1}:FG\dot{\cong }1)$$

Exemplo

• A dualidade de Gelfand implica que a oposta da categoria das C*-álgebras complexas unitárias comutativas é equivalente à categoria dos espaços compactos de Hausdorff.

Bibliografia

• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citar livro