Foncteur

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Cet article ne cite pas suffisamment ses sources (juillet 2017).

Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».

En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?

En mathématiques, plus précisément en théorie des catégories, un foncteur est une construction transformant les objets et morphismes d'une catégorie en ceux d'une autre catégorie, d'une façon compatible. On parle alors d'une construction fonctorielle ou de fonctorialité.

Un foncteur peut être vu comme un morphisme de catégories.

Histoire

Les foncteurs furent introduits en topologie algébrique, associant aux espaces topologiques et aux applications continues des objets algébriques tels que les groupes d'homotopie et les morphismes de groupes, permettant ainsi un véritable calcul d'invariants caractérisant ces espaces.

Définitions

Foncteur covariant

Un foncteur covariant (ou simplement foncteur) $F$ d'une catégorie ${\mathcal {C}}$ dans une catégorie ${\mathcal {D}}$ est constitué des données suivantes :

pour tout objet $X$ de ${\mathcal {C}}$ , un objet de ${\mathcal {D}}$ , noté $F(X){\text{ ou }}F_{X}$ ;
pour toute flèche $X\xrightarrow {f} Y$ de ${\mathcal {C}}$ , une flèche de ${\mathcal {D}}$ , notée $F(f){\text{ ou }}F_{f}$ , de source $F(X)$ et de but $F(Y)$ .

De plus, on impose les deux axiomes suivants :

pour tout objet $X$ de ${\mathcal {C}}$ , $F(\mathrm {I} _{X})=\mathrm {I} _{F(X)}$ , autrement dit le foncteur $F$ envoie le morphisme identité $\mathrm {I} _{X}$ sur $X$ , sur morphisme identité $\mathrm {I} _{F(X)}$ sur $F(X)$ ;
pour tout couple $(f,g)$ de flèches composables de ${\mathcal {C}}$ , $F(gf)=F(g)F(f)$ , autrement dit le foncteur $F$ respecte la composition des morphismes.

Pour résumer, un foncteur préserve les domaines et codomaines des morphismes, les flèches identités et la composition.

Foncteur contravariant

Un foncteur contravariant G d'une catégorie ${\mathcal {C}}$ dans une catégorie ${\mathcal {D}}$ est un foncteur covariant de la catégorie opposée ${\mathcal {C}}$ ^op dans ${\mathcal {D}}$ , où ${\mathcal {C}}$ ^op est la catégorie obtenue en inversant le sens des flèches dans ${\mathcal {C}}$ . Ainsi, à tout morphisme $f:X\rightarrow Y$ de ${\mathcal {C}}$ , il associe donc un morphisme $G(f):G(Y)\rightarrow G(X)$ de ${\mathcal {D}}$ , et l'on a la « relation de compatibilité » $G(gf)=G(f)G(g)$ .

Exemples

Le foncteur identité d'une catégorie ${\mathcal {C}}$ , souvent noté 1_{${\mathcal {C}}$} ou id_{${\mathcal {C}}$} : ${\mathcal {C}}$ → ${\mathcal {C}}$ , qui envoie chaque objet et morphisme de ${\mathcal {C}}$ sur lui-même.
Considérons trois villes : Paris, Rome et Amsterdam. La catégorie a pour objets ces trois villes. Hom(Paris, Rome) est l'ensemble des chemins de Paris à Rome par exemple. Prenons une carte qui représente ces chemins ; un foncteur consiste à représenter la situation sur une carte avec une perte d'information du fait de l'échelle.
Les foncteurs d'oubli qui envoient les objets d'une catégorie sur des objets d'une autre catégorie en « oubliant » certaines propriétés de ces objets :
- le foncteur de Ab dans Grp qui à un groupe abélien associe le groupe lui-même, mais dans la catégorie des groupes (on a « oublié » le fait que le groupe est abélien). On a de même des foncteurs d'oubli de Grp dans la catégorie Mon des monoïdes et dans celle des H-espaces, et de Ab dans la catégorie des monoïdes commutatifs ;
- le foncteur de Grp dans Set qui à un groupe associe son ensemble sous-jacent (on a « oublié » la structure de groupe) et à tout homomorphisme de groupes f l'application sous-jacente |f|. On définit de même d'autres foncteurs "d'oubli de structure", par exemple: de Top dans Ens; de la catégorie des anneaux dans Ab, de la catégorie des groupes topologiques dans Gr, de la catégorie des variétés analytiques dans la catégorie des variétés différentielles...
Pour tout objet X d'une catégorie ${\mathcal {C}}$ localement petite, les deux foncteurs Hom : ${\mathcal {C}}$ → Set : $Y\mapsto \operatorname {Hom} (X,Y)$ (covariant) et $Y\mapsto \operatorname {Hom} (Y,X)$ (contravariant). Ces foncteurs sont liés au lemme de Yoneda et à la notion de foncteur représentable.
Le foncteur constant est le foncteur qui envoie tous les objets de la catégorie de départ sur le même objet de la catégorie d'arrivée et qui envoie chaque flèche de la catégorie de départ sur l'identité de l'objet image. C'est l'objet terminal de la catégorie des foncteurs.
Entre deux monoïdes (qui sont des catégories à un seul objet), les foncteurs covariants sont simplement les morphismes de monoïdes.
Un foncteur défini d'une catégorie produit ${\mathcal {C}}\times {\mathcal {D}}$ vers une catégorie ${\mathcal {E}}$ est souvent appelé bifoncteur.
Le théorème de dérivation des fonctions composées exprime la fonctorialité de la différentiation. En effet, notons $Mat_{\mathbb {R} }$ la catégorie dont les objets sont les entiers naturels, et dont les morphismes $n\rightarrow m$ sont les matrices réelles à $m$ lignes et $n$ colonnes avec la multiplication matricielle pour composition. Soit ${\mathcal {E}}$ la catégorie dont les objets sont les couples $(\mathbb {R} ^{n},a)$ avec $n\in \mathbb {N}$ et $a\in \mathbb {R} ^{n}$ , ayant pour morphismes les fonctions différentiables pointées. Soit $f:(\mathbb {R} ^{n},a)\rightarrow (\mathbb {R} ^{m},b)$ un tel morphisme (on a donc $f(a)=b$ ). La différentielle de $f$ en $a$ s'exprime par la matrice jacobienne $J_{f}(a)$ de $f$ en $a$ , données par les dérivées partielles de ses fonctions coordonnées. Cela définit l'action sur les morphismes d'un foncteur $D:{\mathcal {E}}\rightarrow Mat_{\mathbb {R} }$ . Pour les objets, $D$ envoie $(\mathbb {R} ^{n},a)$ vers l'entier $n$ . Étant donné $g:(\mathbb {R} ^{m},f(a))\rightarrow (\mathbb {R} ^{k},g(f(a))$ un autre morphisme, la fonctorialité de $D$ correspond à l'égalité $J_{g}(f(a))\cdot J_{f}(a)=J_{gf}(a)$ , c'est-à-dire au théorème de dérivation des fonctions composées. Plus généralement, on aurait pu définir les objets de ${\mathcal {E}}$ comme les couples ( $(U,a)$ avec $U$ un ouvert de $\mathbb {R} ^{n}$ pour un certain $n\geq 0$ , et $a\in U$ , avec les applications différentiables pointées entre de tels ouverts comme morphismes.
Soit $A$ un anneau commutatif et $M$ un $A$ -module. Le produit tensoriel $-\otimes _{A}M$ par $M$ , qui associe à un $A$ -module $N$ le produit tensoriel $N\otimes _{A}M$ , est un foncteur de la catégorie des $A$ -modules vers elle-même. Un autre exemple est donné par l'extension des scalaires.
Le foncteur ${\cal {P}}$ , Ensemble des parties, associe à chaque ensemble $S$ l'ensemble ${\cal {P}}(S)$ de tous ses sous-ensembles et à chaque fonction $f:S\rightarrow T$ la fonction ${\cal {P}}(f)$ qui applique chaque sous-ensemble $X$ de $S$ sur son image $f(X)$ (incluse dans $T$ ).
Soit la catégorie des espaces vectoriels sur un corps K. On définit un foncteur contravariant de la catégorie dans elle-même en faisant correspondre à tout-espace vectoriel E son dual E* et à toute application linéaire $u:E\rightarrow F$ sa transposée $^{t}u:F^{*}\rightarrow E^{*}$
Soit $E$ et $E'$ deux ensembles préordonnés et f une application croissante de E dans E'. On définit un foncteur ${\bar {f}}$ de la catégorie ${\bar {E}}$ associée à E dans la catégorie ${\bar {E'}}$ associée à E' en posant ${\bar {f}}(x):=f(x)$ pour tout objet $x$ de ${\bar {E}}$ , l'action sur les flèches étant alors évidentes.

Morphismes de foncteurs

Transformations naturelles

Article détaillé : Transformation naturelle.

Etant données deux catégories ${\mathcal {C}}$ et ${\mathcal {D}}$ et une paire de foncteurs parallèles $F,G:{\mathcal {C}}\to {\mathcal {D}}$ entre ces deux catégories, il est possible de définir une notion de morphisme entre ces deux foncteurs comme la donnée, pour tout objet X de la catégorie ${\mathcal {C}}$ , d'une flèche $\eta _{X}:F(X)\to G(X)$ de façon à ce que pour toute flèche $f:X\to Y$ de la catégorie ${\mathcal {C}}$ , le diagramme suivant soit commutatif :

La collection $\eta =(\eta _{X})_{X\in Ob({\mathcal {C}})}$ définit une transformation naturelle entre les foncteurs $F$ et $G$ . Une transformation naturelle est parfois notée, de manière synthétique, comme une flèche $\eta :F\to G$ .

La collection de tous les foncteurs de ${\mathcal {C}}$ vers ${\mathcal {D}}$ ainsi que des transformations naturelles entre eux forme une catégorie, parfois notée ${\mathcal {D}}^{\mathcal {C}}$ ou encore $[{\mathcal {C}},{\mathcal {D}}]$ .

Isomorphismes naturels

Etant données deux catégories ${\mathcal {C}}$ et ${\mathcal {D}}$ , la catégorie $[{\mathcal {C}},{\mathcal {D}}]$ des foncteurs de ${\mathcal {C}}$ vers ${\mathcal {D}}$ et de leurs transformations naturelles fournit une notion d'isomorphisme de foncteurs. Deux foncteurs $F,G:{\mathcal {C}}\to {\mathcal {D}}$ sont dits isomorphes, ou parfois naturellement isomorphes, s'il existe une paire de transformations naturelles $\eta :F\to G$ et $\theta :G\to F$ inverses l'une de l'autre, c'est-à-dire telles que $\eta \circ \theta =1_{G}$ et $\theta \circ \eta =1_{F}$ . Cette situation peut être notée de façon abrégée par $F\cong G$ .

Une transformation naturelle $\eta :F\to G$ est un isomorphisme naturel si, et seulement si, pour tout objet X de ${\mathcal {C}}$ , la flèche $\eta _{X}:F(X)\to G(X)$ est un isomorphisme dans la catégorie ${\mathcal {D}}$ .

Exemple

Soit K un corps (commutatif). Dans la catégorie ${\boldsymbol {\operatorname {Vect} _{K}^{f.d.}}}$ des K-espaces vectoriels de dimension finie et de leurs applications linéaires, le foncteur de bidualité qui à un K-espace vectoriel associe son bidual et à une application linéaire associe sa double transposée est naturellement isomorphe au foncteur identité de ${\boldsymbol {\operatorname {Vect} _{K}^{f.d.}}}$ . L'isomorphisme naturel entre ces deux foncteurs est donné par la famille d'isomorphismes linéaires définis pour tout K-espace vectoriel E par : ${\begin{aligned}J_{E}:E&\to E^{**}\\x&\mapsto (\varphi \mapsto \varphi (x))\end{aligned}}$ De façon informelle, cet isomorphisme naturel traduit le fait que les isomorphismes linéaires $J_{E}$ ne reposent sur aucun choix arbitraire dépendant de l'espace vectoriel E considéré.

Équivalence de catégories

Article détaillé : Équivalence de catégories.

Un foncteur F : ${\mathcal {C}}$ → ${\mathcal {D}}$ est appelé une équivalence de catégories s'il existe un foncteur G : ${\mathcal {D}}$ → ${\mathcal {C}}$ tel que les $G\circ F$ et $F\circ G$ soient naturellement isomorphes, respectivement, au foncteur identité sur ${\mathcal {C}}$ et sur ${\mathcal {D}}$ . Lorsque les catégories ${\mathcal {C}}$ et ${\mathcal {D}}$ sont équivalentes, il est d'usage de noter ${\mathcal {C}}\simeq {\mathcal {D}}$ .

L'équivalence de catégorie est une relation strictement plus faible que l'égalité ou l'isomorphisme de catégories : deux catégories égales ou isomorphes sont toujours équivalentes, mais la réciproque est fausse. De nombreuses propriétés intrinsèques aux catégories sont toutefois préservées par la relation d'équivalence, comme par exemple l'existence d'un objet initial ou terminal. En ce sens, l'équivalence entre deux catégories traduit l'idée intuitive que celles-ci puissent être "essentiellement les mêmes".

Propriétés de foncteurs

Foncteurs fidèles, pleins, pleinement fidèles

Article détaillé : Foncteur plein et fidèle.

On dit qu'un foncteur F : ${\mathcal {C}}$ → ${\mathcal {D}}$ est :

fidèle si deux morphismes f, g : X → Y dans ${\mathcal {C}}$ sont égaux dès que leurs images F(f), F(g) : F(X) → F(Y) dans ${\mathcal {D}}$ le sont ;
plein si tout morphisme F(X) → F(Y) est égal à un F(f) ;
pleinement fidèle s'il est à la fois fidèle et plein.

Exemples

Un morphisme de monoïdes (cf. § « Exemples » ci-dessus) est fidèle si et seulement s'il est injectif, et plein si et seulement s'il est surjectif.
Les foncteurs d'oubli de Ab dans Grp et de Grp dans Mon sont pleinement fidèles.
Le foncteur d'oubli de Grp dans Set est fidèle (mais pas plein) ; plus généralement, si F est l'inclusion d'une sous-catégorie ${\mathcal {C}}$ dans une catégorie ${\mathcal {D}}$ , alors il est fidèle.

Image essentielle d'un foncteur

Etant donné un foncteur $F:{\mathcal {C}}\to {\mathcal {D}}$ , la sous-catégorie pleine de ${\mathcal {D}}$ dont les objets sont exactement ceux qui sont isomorphes à un objet de la forme $F(X)$ pour un certain objet X de ${\mathcal {C}}$ est appelée image essentielle de F. Un foncteur est dit essentiellement surjectif sur les objets si son image essentielle est ${\mathcal {D}}$ tout entière.

Intuitivement, un foncteur essentiellement surjectif sur les objets atteint au moins un objet de chaque "type" dans la catégorie d'arrivée, bien que certains objets puissent ne pas être atteints. Par exemple, si ${\mathcal {C}}$ est une sous-catégorie pleine de la catégorie des ensembles dont les objets sont exactement les entiers naturels, le foncteur "K-espace vectoriel libre" restreint à ${\mathcal {C}}$ est essentiellement surjectif sur les objets de la catégorie des K-espaces vectoriels de dimension finie, bien que certains K-espaces vectoriels de dimension finie ne soient pas atteints.

Plus généralement, l'inclusion du squelette d'une catégorie dans cette catégorie est toujours essentiellement surjective sur les objets.

Foncteurs conservatifs

Trivialement, tout foncteur F : ${\mathcal {C}}$ → ${\mathcal {D}}$ préserve les isomorphismes, c'est-à-dire que si f est un isomorphisme dans ${\mathcal {C}}$ alors F(f) est un isomorphisme dans ${\mathcal {D}}$ .

Le foncteur F est dit conservatif si réciproquement, un morphisme f dans ${\mathcal {C}}$ est un isomorphisme dès que F(f) en est un dans ${\mathcal {D}}$ .

Exemples

Un morphisme F de monoïdes (cf. § « Exemples » ci-dessus) est conservatif si et seulement si tout antécédent par F d'un élément inversible est inversible.
Tout foncteur pleinement fidèle est conservatif.
Le foncteur d'oubli de Grp dans Set est conservatif.

Foncteurs adjoints

Article détaillé : Foncteur adjoint.

Soient ${\mathcal {C}}$ et ${\mathcal {D}}$ deux catégories, F un foncteur de ${\mathcal {C}}$ dans ${\mathcal {D}}$ et G de ${\mathcal {D}}$ dans ${\mathcal {C}}$ , tels que pour tout objet $X\in {\mathcal {C}}$ et $Y\in {\mathcal {D}}$ on ait une bijection, naturelle en X et Y,

{\rm {Hom}}_{D}\left(F\left(X\right),Y\right)\cong {\rm {Hom}}_{C}\left(X,G\left(Y\right)\right).

Alors F est dit adjoint à gauche de G, et G adjoint à droite de F^,.

Notes et références

1 2 3 4 (en) Emily Riehl, Category Theory in Context [détail de l’édition] (lire en ligne), p. xii.
1 2 3 Georges Poitou et Paul Jaffard, Introduction aux catégories et aux problèmes universels, Paris, Ediscience, p. 65.
↑ Cet exemple est proposé par Anatole Khelif (maître de conférences à l'université Paris Diderot) dans « Les catégories pour les nuls », sur YouTube, juillet 2016.
↑ (en) Horst Schubert, Categories, Springer, 1972 (lire en ligne).
1 2 3 4 5 6 7 (en) Tom Leinster, Basic Category Theory, 2025, 183 p. (lire en ligne)
↑ Riehl, Example 1.3.2 (x) page 14.
↑ Saunders MacLane et Garrett Birkhoff (trad. de l'anglais par Jean Weil), Algèbre et solutions développées des exercices : structures fondamentales, les grands théorèmes, théorie de Galois, Paris, J. Gabay, 1996 (ISBN 978-2-87647-138-2, OCLC 490130463), p. 28.
↑ Cet exemple est proposé par Richard Ewen Borcherds dans « Categories2:Functors », sur YouTube.

Voir aussi

Articles connexes

Bibliographie

(en) Saunders Mac Lane, Categories for the Working Mathematician [détail de l’édition]
Régine et Adrien Douady, Algèbre et théories galoisiennes [détail des éditions]

Portail des mathématiques

[:1-1] 1 2 3 4 (en) Emily Riehl, Category Theory in Context [détail de l’édition] (lire en ligne), p. xii.

[:0-2] 1 2 3 Georges Poitou et Paul Jaffard, Introduction aux catégories et aux problèmes universels, Paris, Ediscience, p. 65.

[3] Cet exemple est proposé par Anatole Khelif (maître de conférences à l'université Paris Diderot) dans « Les catégories pour les nuls », sur YouTube, juillet 2016.

[4] (en) Horst Schubert, Categories, Springer, 1972 (lire en ligne).

[Leinster_Basic_Cat-5] 1 2 3 4 5 6 7 (en) Tom Leinster, Basic Category Theory, 2025, 183 p. (lire en ligne)

[RiehlExample_1.3.2_(x)_page_14-6] Riehl, Example 1.3.2 (x) page 14.

[7] Saunders MacLane et Garrett Birkhoff (trad. de l'anglais par Jean Weil), Algèbre et solutions développées des exercices : structures fondamentales, les grands théorèmes, théorie de Galois, Paris, J. Gabay, 1996 (ISBN 978-2-87647-138-2, OCLC 490130463), p. 28.

[8] Cet exemple est proposé par Richard Ewen Borcherds dans « Categories2:Functors », sur YouTube.

v · m Théorie des catégories
Catégories	abélienne préabélienne pseudo-abélienne (en) additive préadditive (en) cartésienne complète concrète dérivée discrète duale exacte fermée fibrée (en) libre (en) monoïdale monoïdale tressée *-autonome simpliciale triangulée
Catégories usuelles	Cat Rel Set Ord Mon Grp Ab Ring k-Mod Top k-Vect (en) hTop (en) Met (en) Sch
Objets	Groupe (en) Groupoïde Monoïde initial/final injectif (en) exponentiel projectif Sous-objet (en)
Morphismes	Automorphisme Épimorphisme Endomorphisme Isomorphisme Monomorphisme Morphisme zéro Section
Foncteurs	Catégorie de foncteurs Distributeur Équivalence de catégories Isomorphisme de catégories F-algèbre (en) F-coalgèbre Foncteur adjoint dominant dérivé exact Ext Hom représentable d'oubli plein et fidèle Préfaisceau Transformation naturelle
Adjonctions	Adjonction ⊗-Hom Catégorie de Kleisli Monade
Limites	Égaliseur Extension de Kan Fin Limite inductive Limite projective Noyau Produit Produit fibré Réunion disjointe Somme Somme amalgamée
Opérations	Enveloppe de Karoubi Nerf Squelette Symétrisation
Outils	Diagramme Diagramme commutatif Équivalence de Morita Lemme des cinq Lemme du serpent Lemme de Yoneda Propriété universelle
Extensions et catégories supérieures	Catégorification Catégorie enrichie 2-catégorie 2-Lemme de Yoneda (n,m)-catégorie (en) Quasi-catégorie Site Topos
Personnalités en théorie des catégories nLab Abstract nonsense