Na teoria das categorias, uma adjunção é uma tripla consistindo de dois functores , e uma família de isomorfismos
Diagrama comutativo da condição de naturalidade de φ
|
natural em ; a condição de naturalidade é expressa por
- para cada , e ,
ou equivalentemente por
- para cada , e .
Nesse caso, é dito adjunto esquerdo a , e é dito adjunto direito a , e escreve-se .[1]
Segundo Saunders Mac Lane, "functores adjuntos são onipresentes". Com efeito, vários conceitos da matemática, como grupos livres, corpo de quocientes e completação de espaços métricos são casos particulares do conceito de adjunção.[2]