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, ${\displaystyle C}$ e ${\displaystyle D}$ são equivalentes quando são relacionadas por dois functores que são inversos a menos de isomorfismos naturais.^[1][2]

Definição[editar | editar código-fonte]

Uma equivalência entre as categorias ${\displaystyle C,D}$ é uma quádrupla consistindo de dois functores ${\displaystyle F:C\to D}$ e ${\displaystyle G:D\to C}$, e dois isomorfismos naturais ${\displaystyle \eta :1{\dot {\cong }}GF}$ e ${\displaystyle \epsilon :FG{\dot {\cong }}1}$.^{[nota 1]} Compare com o conceito de isomorfismo na categoria ${\displaystyle {\mathsf {Cat}}}$, que exige ${\displaystyle GF=1_{C}}$ e ${\displaystyle FG=1_{D}}$. Escreve-se ${\displaystyle C\simeq D}$ quando ${\displaystyle C,D}$ são equivalentes. A relação ${\displaystyle \simeq }$ é relação de equivalência.

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

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.^[4]

Equivalência adjunta[editar | editar código-fonte]

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

Toda equivalência de categorias pode ser promovida a uma equivalência adjunta:^[5]

$${\displaystyle \left(F,G,\eta :1{\dot {\cong }}GF,\epsilon \cdot F(G\epsilon \cdot \eta G)^{-1}:FG{\dot {\cong }}1\right)}$$

Exemplo[editar | editar código-fonte]

• 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.^[6][7]

Notas

Referências

Bibliografia[editar | editar código-fonte]

• RIEHL, Emily (2014). Category Theory in Context. [S.l.: s.n.] 
• ALUFFI, Paolo (2009). Algebra: Chapter 0. Col: Graduate Studies in Mathematics 1 ed. [S.l.]: American Mathematical Society. ISBN 978-0-8218-4781-7 
• MAC LANE, Saunders (1998). Categories for the Working Mathematician. Col: Graduate Texts in Mathematics 2 ed. [S.l.]: Springer. ISBN 0-387-98403-8 

Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o. v d e