##  [Adjoint](/fr/node/59348) 

  ##  [Adjoint](https://natural.quantumdictionary.io/fr/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**

 







 

 

 

 



 

 

 

 

Définition

Donnée d'une paire de foncteurs L : C → D et R : D → C munie, pour tout X dans C et Y dans D, d'une bijection naturelle Hom_D(L(X),Y) ≅ Hom_C(X,R(Y)) naturelle en X et Y. Équivalemment spécifiée par des transformations naturelles unité et counité satisfaisant les identités triangulaires.

 

 

 

 

 





 

 



 ##  [Adjoint](https://puremath.quantumdictionary.io/fr/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**

 







 

 

 

 



 

 

 

 

Définition

Une relation entre deux foncteurs L : C → D et R : D → C donnée par une bijection naturelle Hom_D(L(X), Y) ≅ Hom_C(X, R(Y)) naturelle en X∈C et Y∈D, spécifiable de façon équivalente par une unité η : Id_C ⇒ R∘L et une counité ε : L∘R ⇒ Id_D satisfaisant les identités triangulaires.