##  [Adjunción](/es/node/59348) 

  ##  [Adjunción](https://natural.quantumdictionary.io/es/node/59349) 

  

 [![Natural & Formal Sciences Dictionary](/sites/default/files/styles/large/public/2026-01/Natural%20%26%20Formal%20Sciences.png.webp?itok=2kCDRVQv)](/topic-specific-dictionaries/natural-formal-sciences)



**Natural & Formal Sciences Dictionary**

 







 

 

 

 



 

 

 

 

Definición

Dato un par de funtores L : C → D y R : D → C junto con, para cada X en C y Y en D, una biyección natural Hom_D(L(X),Y) ≅ Hom_C(X,R(Y)) natural en X e Y. Equivalente mediante transformaciones naturales unidad y counidad que satisfacen las identidades triangulares. Expresa una relación de mejor aproximación universal: L es adjunto a la izquierda de R y R adjunto a la derecha de L.

 

 

 

 

 





 

 



 ##  [Adjunción](https://puremath.quantumdictionary.io/es/node/61593) 

  

 [![Pure Mathematics Dictionary](/sites/default/files/styles/large/public/2026-01/Pure%20Mathematics.png.webp?itok=5pZnFQ59)](/topic-specific-dictionaries/mathematics-logic/pure-mathematics)

- Mathematics & Logic -

**Pure Mathematics Dictionary**

 







 

 

 

 



 

 

 

 

Definición

Una relación entre dos funtores L : C → D y R : D → C dada por una biyección natural Hom_D(L(X), Y) ≅ Hom_C(X, R(Y)) natural en X∈C y Y∈D, equivalently especificable por una unidad η: Id_C ⇒ R∘L y una counidad ε: L∘R ⇒ Id_D que satisfacen las identidades triangulares.