Foncteur adjoint

relation entre deux foncteurs
(Redirigé depuis Adjoint (foncteur))

L'adjonction est une situation omniprésente en mathématiques, et formalisée en théorie des catégories par la notion de foncteurs adjoints. Une adjonction entre deux catégories et est une paire de deux foncteurs et vérifiant que, pour tout objet X dans C et Y dans D, il existe une bijection entre les ensembles de morphismes correspondants

et la famille de bijections est naturelle en X et Y. On dit que F et G sont des foncteurs adjoints et plus précisément, que F est « adjoint à gauche de G » ou que G est « adjoint à droite de F ».

Définition modifier

Soient   et   deux catégories localement petites, et   et   deux foncteurs. On dit que F est adjoint à gauche de G (ou que G est adjoint à droite de F) s'il existe un isomorphisme naturel   du foncteur Hom(F(-), -) vers le foncteur Hom(-, G(-)), ces deux foncteurs allant de la catégorie   vers la catégorie des ensembles. Autrement dit :

  • pour tout objet X de   et Y de  ,   est une bijection de l'ensemble   sur l'ensemble  .
  • pour tout morphisme f : XX' de   (c'est-à-dire f : X'X de  ) et tout morphisme g : YY' de la catégorie  , le diagramme suivant commute :


 


Ainsi, si l'on a un morphisme r : F(X) → Y, alors :  .

Unité et co-unité modifier

En particulier, si, pour tout X de  , on prend Y = F(X) et  , l'image   de r par   est un morphisme de X vers GF(X). La famille de ces morphismes définit une transformation naturelle   du foncteur   vers le foncteur GF, appelée unité de l'adjonction de F et G.

De même, si, pour tout Y, on prend X = G(Y), l'image réciproque   de   par   est un morphisme de FG(Y) vers Y. La famille de ces morphismes définit une transformation naturelle   du foncteur FG vers le foncteur  , appelée co-unité de l'adjonction de F et G.

L'unité et la co-unité permettent de reconstituer les bijections  . En effet, pour tout morphisme r : F(X) → Y, on a  , et pour tout morphisme u : X → G(Y), on a  .

Exemples modifier

  • Le foncteur  -espace vectoriel libre F qui, à un ensemble X, associe l'espace vectoriel libre sur   de base X est l'adjoint du foncteur oubli G qui, à un espace vectoriel Y, associe l'ensemble Y.
  • De même, le foncteur module libre sur un ensemble est l'adjoint du foncteur d'oubli sur les modules.
  • Le foncteur d'oubli de Top dans Ens qui associe à un espace topologique l'ensemble sous-jacent admet un adjoint à gauche et un adjoint à droite. Son adjoint à gauche est le foncteur qui associe à un ensemble le même ensemble muni de la topologie discrète et son adjoint à droite est celui qui le munit de la topologie grossière.
  • Le foncteur de Grp dans Ab qui associe à un groupe son quotient par le groupe dérivé admet un adjoint à droite qui est le foncteur qui associe à un groupe commutatif dans Ab lui-même dans Grp.
  • Pour un anneau commutatif unifère A et un A-module Z fixés, le produit tensoriel par Z est adjoint à gauche du foncteur HomA (Z, –).

Propriétés modifier

  • Si deux foncteurs F et G sont adjoints l'un de l'autre, F à gauche et G à droite comme ci-dessus, alors F est exact à droite et G est exact à gauche. Plus précisément :
  • Si deux foncteurs F :    et G :    définissent une équivalence de catégories alors, F est adjoint de G (et G est adjoint de F) à la fois à gauche et à droite.

Exemple modifier

Le foncteur oubli commute avec les produits mais pas avec les sommes dans les exemples ci-dessus. Un produit direct de modules, d'espaces vectoriels, de groupes, etc., se construit sur le produit cartésien mais la somme ne se construit pas sur l'union disjointe. Dans la catégorie des espaces topologiques par contre, la somme se construit sur l'union disjointe.