Definiciones formales

Un par de funtores adjuntos entre dos categor�as C y D consiste en dos funtores F:

C ? D y G: D ? C y un isomorfismo natural que consiste en funciones biyectivas

fX, Y: MorD(F(X), Y) ? MorC(X, G(Y)) para todos los objetos X en C y Y en D.

Entonces decimos que F es adjunto izquierdo de G y que G es adjunto derecho de F.
Cada par de funtores adjuntos define una unidad ?, una transformaci�n natural del
funtor IdC a GF que consisten en morfismos

?X: X -> GF(X) para cada X en C. ?X se define como fX, F(X) (idF(X)). An�logamente,
se puede definir una co-unidad e, una transformaci�n natural que consiste en
morfismos
eY: FG(Y) ? Y. para cada Y en D.
Ejemplos
Objetos libres. Si F: Set ? Grp es el funtor que asigna a cada conjunto X el grupo
libre sobre X, y si G: Grp ? Set es el funtor de olvido que asigna a cada grupo su
conjunto subyacente, entonces la propiedad universal del grupo libre demuestra que
F es el adjunto izquierdo de G. La unidad de este par adjunto es la inclusi�n de un
conjunto X en el grupo libre sobre X.

anillos libres, grupos abelianos libres, y los m�dulos libres siguen el mismo
patr�n.

Productos. Sea F: Grp ? Grp� sea el funtor que asigna a cada grupo X el par (X, X)
en la categor�a producto Group2, y G: Group� ? Grp el funtor que asigna a cada par
(Y1, Y2) el grupo producto Y1xY2. La propiedad universal del grupo producto
demuestra que G es adjunto derecho de F. La co-unidad da las proyecciones naturales
del producto a los factores.

El producto cartesiano de conjuntos, el producto de anillos, el producto de

espacios topol�gicos etc. sigue el mismo patr�n; puede tambi�n ser ampliado de una
manera directa a m�s que solamente dos factores.

Coproductos. Si F: Ab� ? Ab asigna a cada par (X1, X2) de grupos abelianos su suma
directa y si G: Ab ? Ab� es el funtor que asigna a cada grupo abeliano Y el par (Y,
Y), entonces F es el adjunto izquirdo de G, otra vez consecuencia de la propiedad
universal de las sumas directas. La unidad del par adjunto proporciona las
inmersiones naturales de los factores en la suma directa. Los ejemplos an�logos son
dados por suma directa de espacios vectoriales y m�dulos, por producto libre de
grupos y por la uni�n disjunta de conjuntos.

N�cleos. Considere la categor�a D de homomorfismos de grupos abelianos. Si f1: A1 ?

B1 y f2: A2 ? B2 son dos objetos de D, entonces un morfismo de f1 a f2 es un par
(gA, gB) de morfismos tales que gBf1 = f2gA. Sea G: D ? Ab el funtor que asigna a
cada homomorfismo su n�cleo y sea F: Ab ? D el morfismo que mapea al grupo A al
homomorfismo A ? 0. Entonces G es el adjunto derecho de F, lo que expresa la
propiedad universal de los n�cleos, y la co-unidad de esta adjunci�n da el encaje
natural del n�cleo de un homomorfismo en el dominio del homomorfismo.

Una variaci�n conveniente de este ejemplo tambi�n demuestra que los funtores de
n�cleo para los espacios vectoriales y para los m�dulos son adjuntos derechos.
An�logamente, uno puede demostrar que los funtores de cokernel para los grupos
abelianos, los espacios vectoriales y los m�dulos son adjuntos izquierdos.

Haciendo un anillo unital. Este ejemplo fue discutido en la secci�n 1.3 arriba.
Dado un anillo no unitario R, un elemento multiplicativo identidad puede ser
agregado tomando RxZ y definiendo un producto Z-bilineal por (r, 0)(0, 1) = (0,1)
(r,0) = (r,0), (r, 0)(s, 0) = (rs, 0), (0,1)(0,1) = (0, 1). Esto construye un
adjunto izquierdo al funtor que lleva un anillo al anillo no unital subyacente.
Extensiones de anillo. Suponga que R y S son anillos, y ? : R ? S es un
homomorfismo de anillo. Entonces S se puede considerar como un R-m�dulo
(izquierdo), y el producto tensorial con S da un funtor F: R-Mod ? S-Mod. Entonces
F es adjunto izquierdo del funtor de olvido G: S-Mod ? R-Mod.

Productos tensoriales. Si R es un anillo y M es un R m�dulo derecho, entonces el

producto tensorial con M da un funtor F: R-Mod ? Ab. el funtor G: Ab ? R-Mod,
definido por G(A) = HomZ(A, M) para cada grupo abeliano A, es un adjunto derecho de
F.

De monoides y grupos a anillos. La construcci�n del anillo monoideda un funtor de

los monoides a los anillos. Este funtor es el adjunto izquierdo al funtor que
asocia a un anillo dado su monoide multiplicativo subyacente. Semejantemente, la
construcci�n del anillo grupo da un funtor de los grupos a los anillos, adjunto
izquierdo al funtor que asigna a un anillo dado su grupo de unidades. Uno puede
tambi�n comenzar con un cuerpo K y considerar la categor�a de las K-�lgebras en vez
de la categor�a de anillos, y conseguir monoides y anillos grupo sobre K.

Im�genes directas e inversas de haces. Cada funci�n continua f: X ? Y entre

espacios topol�gicos induce un funtor f* de la categor�a de haces (de conjuntos, o
de grupos abelianos, o de anillos...) en X a la categor�a correspondiente de haces
en Y, el funtor imagen directa. Tambi�n induce un funtor f* de la categor�a de
haces en Y a la categor�a de haces en X, el funtor imagen inversa. f* es el adjunto
izquierdo a f*.

La construcci�n de Grothendieck. En K-teor�a, el punto de partida es observar que

la categor�a de los fibrados vectoriales en un espacio topol�gico tiene una
estructura conmutativa de monoide usando la suma directa. Para hacer de este
monoide un grupo abeliano, uno puede seguir el m�todo de extender a un grupo,
agregando formalmente el inverso del a�adido para cada fibrado (o la clase de
equivalencia). Alternativamente uno puede observar que el funtor que para cada
grupo toma el monoide subyacente (que ignora el inverso) tiene un adjunto
izquierdo. Esto es una construcci�n de una vez para siempre, en l�nea con el tercer
argumento de la secci�n anterior. Es decir, uno puede imitar la construcci�n de los
n�meros negativos; pero est� la otra opci�n de un teorema de existencia. Para el
caso de estructuras algebraicas finitas, la existencia por s� misma se puede
referir a un �lgebra universal, o a la teor�a de modelos; naturalmente hay tambi�n
una prueba adaptada a la teor�a de categor�as.

Reciprocidad de Frobenius en la teor�a de representaci�n de grupos: vea

representaci�n inducida. Este ejemplo adelant� la teor�a general por alrededor de
medio siglo.

compactificaci�n de Stone-Cech. Sea D la categor�a de los compactos de Hausdorff y

G: D ? Top sea el funtor de olvido que trata cada espacio compacto de Hausdorff
como un espacio topol�gico. Entonces G tiene un adjunto izquierdo F: Top ? D, la
compactaci�n de Stone-Cech. La unidad de este par adjunto da la funci�n continua de
cada espacio topol�gico X en su compactaci�n de Stone-Cech. Esta funci�n es una
inmersi�n (es decir inyectiva, continua y abierta) si y solamente si X es un
espacio de Tychonoff.

Soberification. El art�culo sobre la dualidad de Stone describe una adjunci�n entre

la categor�a de espacios topol�gicos y la categor�a de los espacios sobrios que se
conoce como soberification. Notablemente, el art�culo tambi�n contiene una
descripci�n detallada de otra adjunci�n que prepara el camino para la famosa
dualidad de espacios sobrios y de locales espaciales, explotada en topolog�a sin
puntos.
un funtor con un adjunto izquierdo y uno derecho. Sea G el funtor de los espacios
topol�gicos a los conjuntos que asocia a cada espacio topol�gico su conjunto
subyacente (esto es, que se olvida de la topolog�a). el G tiene un adjunto
izquierdo F, creando el espacio discreto en un conjunto Y, y un adjunto derecho H
creando la topolog�a trivial en Y (cf. estructura trivial).

Propiedades
Relaci�n con las construcciones universales
Todos los pares de funtores adjuntos surgen de construcciones universales. Las
construcciones de los ejemplos anteriores se pueden todos explicar con una
propiedad universal, y de hecho algunos de los art�culos relevantes as� lo hacen.
Las construcciones universales son m�s generales que pares de funtores adjuntos:
seg�n lo mencionado anteriormente, una construcci�n universal es como un problema
de optimizaci�n; da lugar a un par adjunto si y solamente si este problema tiene
una soluci�n para cada objeto de D.

Unicidad de los adjuntos

Si el funtor F: C ? D ten�a dos adjuntos derechos G1 y G2, entonces G1 y G2 son
naturalmente isomorfos. Lo mismo es verdad para adjuntos izquierdos.

Los adjuntos preservan ciertos l�mites

La propiedad m�s importante de los adjuntos es su continuidad: cada funtor que
tiene un adjunto izquierdo (y por lo tanto es un adjunto derecho) es continuo (es
decir conmuta con l�mites en el sentido te�rico de la categor�a); cada funtor que
tiene un adjunto derecho (y por lo tanto es un adjunto izquierdo) es cocontinuo (es
decir conmuta con col�mites).

Puesto que muchas construcciones comunes en matem�tica son l�mites o col�mites,

esto proporciona abundante informaci�n. Por ejemplo:

la aplicaci�n de un funtor adjunto derecho a un producto de objetos da el producto

de las im�genes;
la aplicaci�n de un funtor adjunto izquierdo a un coproducto de objetos dae el
coproducto de las im�genes;
cada funtor adjunto derecho es izquierdo exacto; * cada funtor adjunto izquierdo es
derecho exacto.
Aditividad
Si el funtor F: C ? D es el adjunto izquierdo de G: D ? C y C y D son categor�as
aditivas, entonces F y G son funtores aditivos.

Composici�n
Si el funtor F1: C ? D tiene G1: D ? C como adjunto derecho y el funtor F2: D ? E
tiene a G2: E ? D como adjunto derecho, entonces la composici�n F2oF1: C ? E tiene
G1oG2: E ? C como adjunto derecho.

Caracterizaci�n v�a la unidad y la co-unidad

La unidad ? : 1C ? GF y la co-unidad e: FG ? 1D tienen las propiedades siguientes:
la composici�n (eF)o(F?), una transformaci�n natural F?FGF?F, es igual a 1F, y la
composici�n (Ge)o(?G): G?GFG?G es igual a 1G. Inversamente, dadas dos
transformaciones naturales ? 1C ? GF y e: FG ? 1D con estas propiedades, entonces
los funtores F y G forman un par adjunto.

Los pares de adjuntos extienden las equivalencias

Cada par adjunto ampl�a la equivalencia de ciertas subcategor�as. Espec�ficamente,
si F: C ? D es el adjunto izquierdo de G: D ? C con la unidad ? y la co-unidad e,
defina C1 como subcategor�a completa de C consistente de esos objetos X de C para
los cuales ?X es un isomorfismo, y defina D1 como la subcategor�a completa de D que
consiste en esos objetos Y de D para el cual eY es un isomorfismo. Entonces F y G
se pueden restringir a C1 y D1 y dan equivalencias inversas de estas subcategor�as.
En un sentido, entonces, los adjuntos son inversos "generalizados". Observe sin
embargo que el inverso derecho de F (es decir un funtor G tales que el FG es
naturalmente isomorfo a 1D) no necesita ser un adjunto derecho (o izquierdo) de F.

Adjuntos generaliza inversos bil�teros.

Teorema general de existencia

No todo funtor G: D ? C admite un adjunto izquierdo. Si D es completo, entonces los
funtores con adjuntos izquierdos se pueden caracterizar por el teorema de Freyd del
Functor Adjunto: G tiene un adjunto izquierdo si y solamente si es continuo y
cierta condici�n de peque�ez es satisfecha: para cada objeto X de C existe una
familia de morfismos fi: X ? G(Yi) (donde los �ndices i vienen de un conjunto I, no
una clase propia -- �ste es todo el punto), tales que cada morfismo h: X ? G(Y) se
puede escribir como h = G(t) o fi para alg�n i en I y alg�n morfismo t: Yi ? Y en
D.

Una proposici�n an�loga caracteriza los funtores con un adjunto derecho.