Funtores adjuntos

Este artículo o sección necesita referencias que aparezcan en una publicación acreditada. Busca fuentes: «Funtores adjuntos» – noticias · libros · académico · imágenes Este aviso fue puesto el 4 de mayo de 2017.

En matemáticas, específicamente en teoría de categorías, la adjunción es una relación entre dos funtores que aparece frecuentemente a través de las distintas ramas de las matemáticas y que captura una noción intuitiva de solución a un problema de optimización. Dos funtores ${\displaystyle F\colon {\cal {D}}\to {\cal {C}}}$ y ${\displaystyle G\colon {\cal {C}}\to {\cal {D}}}$ se dicen adjuntos entre sí, si existe una familia de biyecciones

${\displaystyle \mathrm {hom} _{\mathcal {C}}(FY,X)\cong \mathrm {hom} _{\mathcal {D}}(Y,GX)}$

que es natural para cualesquiera ${\displaystyle X}$ e ${\displaystyle Y}$. La relación de que ${\displaystyle F}$ sea adjunto a izquierda de ${\displaystyle G}$, o, equivalentemente, que ${\displaystyle G}$ sea adjunto a derecha de ${\displaystyle F}$, se nota como ${\displaystyle F\dashv G}$.