La situation d'adjonction, omniprésente en mathématiques, se formalise en théorie des catégories par la notion de foncteur adjoint. Deux foncteursF : C → D et G : D → C sont adjoints l'un de l'autre s'ils relient d'une manière particulière les morphismes de C et D.