## EnglishModificar

Wikipedia### NounModificar

Singular |
Plural |

**Adjunction**(

*plural*

**Adjunctions**)

- Patrono:Category theory A form of similarity between a pair of categories and which is weaker than equivalence, which in turn is weaker than isomorphism. Given functors and ,
*F*is "left adjoint" of*G*, and*G*"right adjoint" of*F*, denoted as , if- there are a pair of natural transformations and satisfying the following "triangle identities":

- composed with commutes with and
- composed with commutes with .
^{[1]}

- there is a natural isomorphism , which is natural in the sense of being "natural in
*X*and*Y*", where- "natural in
*X*" means that for every , composed with commutes with composed with ; - "natural in
*Y*" means that for every , composed with commutes with composed with .^{[2]}

- "natural in

- there are a pair of natural transformations and satisfying the following "triangle identities":

### ReferencesModificar

#### TranslationsModificar

- Bulgarian: съединение