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, e são equivalentes quando são relacionadas por dois functores que são inversos a menos de isomorfismos naturais.[1][2]
Definição
Uma equivalência entre as categorias é uma quádrupla consistindo de dois functores e , e dois isomorfismos naturais e .[nota 1] Compare com o conceito de isomorfismo na categoria , que exige e . Escreve-se quando são equivalentes. A relação é relação de equivalência.
Uma condição suficiente e necessária para um functor ser parte de uma equivalência de categorias é ser functor pleno, fiel e essencialmente sobrejetivo (isto é, para cada , há tal que ).[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
Uma equivalência adjunta é uma equivalência formando uma adjunção.
Toda equivalência de categorias pode ser promovida a uma equivalência adjunta:[5]
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.[6][7]
Notas
- ↑ O porquê de não ser escrito , na ordem contrária, é que também pode ser counidade de uma adjunção; ver seção equivalência adjunta.
Referências
- ↑ (Aluffi, §VIII.1.3)
- ↑ «Equivalence of categories – nLab». Consultado em 23 de fevereiro de 2020
- ↑ (Riehl, §1.5)
- ↑ «Principle of equivalence – nLab». Consultado em 23 de fevereiro de 2020
- ↑ (Riehl, §4.4, proposição 4.4.5)
- ↑ (Mac Lane, §IV.4)
- ↑ «Gelfand duality – nLab». Consultado em 21 de abril de 2020
Bibliografia
- 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.
|