CHAPITRE 1

CATÉGORIES ET FONCTEURS

1.1. Univers
La notion d’univers a été introduite par Grothendieck pour éviter les classes propres
en géométrie algébrique.

1.1.1. On appelle univers de Grothendieck toute collection d’ensembles U qui vérifie

les conditions suivantes :
(a) ∅ ∈ U ;
(b) si x ∈ U et si y ∈ x, alors y ∈ U ;
(c) si x et y sont deux éléments de U, alors {x, y} ∈ U ;
(d) si x ∈ U, alors l’enseble des parties P(x) appartient à U ;
(e) si I est un ensemble qui appartient à U et si (xi )i∈I est une famille d’ensembles
S
dans U, alors i∈I xi ∈ U.

1.1.2. Dans la théorie des ensembles à la Zermelo–Fraenkel avec l’axiome du choix

(ZFC), l’énoncé
(U) tout ensemble appartient à un univers de Grothendieck
est indécidable. Il est en outre équivalent à l’existence des cardinaux inaccessibles (un
cardinal est dit inaccessible s’il ne peut pas être construit dans la théorie ZFC à partir
de cardinaux plus petits). Dans ce texte, on travaille avec les axiomes de ZFC plus
l’axiome (U). Dans la théorie ZFC+(U), on peut montrer que tout univers fournit un
modèle pour la théorie ZFC.

1.2. Catégories
1.2.1. Soit U un univers. On appelle U-catégorie (ou simplement catégorie s’il n’y a
pas d’ambiguïté sur l’univers U) toute donnée qui consisite
2 CHAPITRE 1. CATÉGORIES ET FONCTEURS

(i) d’un ensemble C (dont les éléments sont appelés objets de C),
(ii) pour tout couple (X, Y ) d’objets de C, d’un ensemble C(X, Y ) ∈ U (on utilisera
aussi l’expression HomC (X, Y ) pour désigner cet ensemble) dont les éléments
sont appelés morphismes de X dans Y (on utilise l’expression f : X → Y ou
f
X → Y pour désigner l’énoncé «f appartient à C(X, Y )»),
(iii) pour tout triplet (X, Y, Z) d’objets de C, d’une application (applée application
de composition)
C(X, Y ) × C(Y, Z) −→ C(X, Z)
(f, g) 7−→ gf,
qui vérifient les axiomes suivants :
(a) pour tout X ∈ C, il existe un élément 1X ∈ C(X, X) (appelé morphisme d’identité
de X) tel que, pour tout morphisme f : Y → X on ait 1X f = f , et pour tout
morphisme g : X → Y on ait g1X = g ;
f g h
(b) si X → Y → Z → W sont des morphismes dans C, alors on a h(gf ) = (hg)f .
S’il n’y a pas d’ambiguité sur les morphismes, on utilise l’expression désignant l’en-
semble d’objet pour représenter toute la donnée de la catégorie. Si C appartient à U,
on dit que la U-catégorie C est petite.

1.2.2. Soit C une catégorie. Si f : X → Y est un morphisme dans C, on dit que X

est la source de f et que Y est le but de f .

1.2.3. Soient U et V deux univers tels que U ∈ V. Si C est une U-catégorie telle que
C ∈ V mais C 6∈ U, alors elle est une V-catégorie petite mais pas une U-catégorie
petit. En d’autres termes, la petitesse d’une catégorie dépend du univers dans lequel
on travaille.

1.2.4. On dit qu’une catégorie C est finie si la réunion disjointe des C(X, Y ) où
(X, Y ) ∈ C 2 est un ensemble fini. Cela revient à dire que l’ensemble des objets de
C est fini et que, pour tout couple (X, Y ) d’objets de C, l’ensemble de morphismes
C(X, Y ) est fini.

1.2.5. Convention. — Dans le reste du livre, on fixe un univers U qui est un

ensemble infini. Sauf mention au contraire, toute catégorie est supposée être une U-
catégorie, et tout ensemble, sauf s’il s’agit de l’ensemble des objets d’une catégorie,
est supposé appartenir à U.

1.2.6. Soit C une catégorie. Pour tout objet X de C, le morphisme d’identité 1X de

X est unique. En effet, si 10X est aussi un morphisme d’identité de X, par définition
on a 10X = 10X 1X = 1X .
 1.2. CATÉGORIES 3

1.2.7. Soit C une catégorie. On dit qu’un morphisme f : X → Y de C est un isomor-

phisme s’il existe un morphisme f −1 : Y → X tel que f −1 f = 1X et f f −1 = 1Y . Ce
morphisme est appelé inverse de f . Si l’inverse de f existe, alors il est nécessairement
unique. En effet, si g : Y → X est un inverse de f , alors on a
g = g1Y = gf f −1 = 1X f −1 = f −1 .
En particulier, on a (f −1 )−1 = f . Autrement dit, f est l’inverse de son inverse.
Soient X et Y deux objets de C. S’il existe un isomorphisme dans l’ensemble
C(X, Y ), on dit que X est isomorphe à Y et on utilise l’expression X ∼ = Y pour
désigner cette relation. C’est une relation d’équivalence sur l’ensemble des objets C.

1.2.8. Soient C une catégorie et f : X → Y un morphisme dans C. Si α : X → Z et

β : Z → Y sont deux morphismes dans C tels que f = βα, on dit que le morphisme
f se factorise par α, ou par β, ou encore par l’objet Z.

1.2.9. Soient C une catégorie et f : X → Y un morphisme. Si, pour tout objet X 0 et

tout couple de morphismes α, β : X 0 → X, la relation f α = f β entraîne α = β, on dit
que f est un monomorphisme. Si, pour tout objet Y 0 et tout couple de morphismes
a, b : Y → Y 0 , la relation af = bf entraîne a = b, on dit que f est un épimorphisme.
On utilisera les flèches / / et / / pour désigner un monomorphisme et un
épimorphisme respectivement.
Soit f : X → Y un morphisme de C. Il est un monomorphisme si et seulement si,
pour tout objet Z de C, l’application C(Z, X) → C(Z, Y ) qui envoie α ∈ C(Z, X) sur
f α est injective. Il est un épimorphisme si et seulement si, pour tout objet Z de C,
l’application C(Y, Z) → C(X, Z) qui envoie a ∈ C(Y, Z) sur af est injective.
u v
1.2.10. Proposition. — Soient C une catégorie et A → B → C des morphismes
dans C.
(1) Si vu est un monomorphisme, alors u est aussi un monomorphisme.
(2) Si vu est un épimorphisme, alors v est aussi un épimorphisme.

Démonstration. — (1) Soient β1 , β2 : E → A des morphismes tels que uβ1 = uβ2 . On

a vuβ1 = vuβ2 et donc β1 = β2 puisque vu est un monomorphisme. Par conséquent,
u est un monomorphisme.
(2) Soient γ1 , γ2 : C → D des morphismes tels que γ1 v = γ2 v. On a γ1 vu =
γ2 vu et donc γ1 = γ2 puisque vu est un épimorphisme. Par conséquent, v est un
épimorphisme.

1.2.11. Soient C une catégorie et f : X → Y un morphisme de C. Si f est un iso-

morphisme (cf. §1.2.7), alors il est nécessairement un monomorphisme et un épimor-
phisme. En effet, pour tout objet Z de C, l’application C(Z, X) → C(Z, Y ) qui envoie
tout α ∈ C(Z, X) sur f α admet une application inverse, qui envoie tout β ∈ C(Z, Y )
4 CHAPITRE 1. CATÉGORIES ET FONCTEURS

sur f −1 β. Donc cette application est une bijection et est en particulier injective. Si-
milairement, l’application C(Y, Z) → (X, Z) qui envoie tout a ∈ C(Y, Z) sur af admet
aussi une application inverse, qui envoie tout b ∈ C(Z, Y ) sur bf −1 . Elle est ainsi une
bijection et est en particulier injective.
La réciproque de l’énoncé précédent n’est pas vrai. On peut considérer l’applica-
tion d’inclusion Z → Q, vue comme un morphisme de la catégorie des anneaux. Ce
morphisme est un monomorphisme car l’application d’inclusion Z → Q est injective
et les morphismes de la catégorie des anneaux sont des applications d’ensembles. Le
morphisme Z → Q est aussi un épimorphisme. En effet, si R est un anneau et si f et
g sont deux homomorphismes de Q dans R dont les restrictions à Z coïncident, alors
on a f = g puisque tout nombre rationnel s’écrit comme le quotient de deux entiers.
Cependant, le morphisme Z → Q n’est pas un isomorphisme.

1.3. Constructions et exemples

1.3.1. Soit C une catégorie. On désigne par C o la catégorie dont l’ensemble d’objets
s’identifie à celui de C et telle que C o (X, Y ) s’identifie à C(Y, X) pour tous objets X
et Y de C et que les applications de composition de C o proviennent de celles de C, qui
sont de la forme
C o (Z, Y ) × C o (Y, X) −→ C o (Z, X)
(g, f ) 7−→ gf,
La catégorie C o est appelée l’opposée de C.
On voit aussitôt de la définition qu’un morphisme f dans C est un monomorphisme
(resp. épimorphisme) (cf. §1.2.9) si et seulement si, vu comme un morphisme dans la
catégorie opposée C o , f est un épimorphisme (resp. monomorphisme).

1.3.2. Soient C et C 0 deux catégories. On dit que C 0 est une sous-catégorie de C si

les conditions suivantes sont satisfaites :
(a) C 0 est un sous-ensemble de C,
(b) pour tout couple (X, Y ) d’objets de C 0 , l’ensemble C 0 (X, Y ) est un sous-ensemble
de C(X, Y ),
(c) pour tout objet X de C 0 , le morphisme d’identité de X dans C 0 coincide avec celui
dans C,
(d) les applications de composition de C 0 proviennent de celles de C par restriction.
Si de plus C 0 (X, Y ) = C(X, Y ) pour tout couple (X, Y ) d’objets de C 0 , on dit que C 0
est une sous-catégorie pleine de C.

1.3.3. Soient I un ensemble et (Ci )i∈I une famille de catégories. On construit une
Q Q
nouvelle catégorie i∈I Ci comme suit. Les objets de i∈I Ci sont de la forme (Xi )i∈I ,
 1.3. CONSTRUCTIONS ET EXEMPLES 5

Q
où Xi est un objet de Ci . Si (Xi )i∈I et (Yi )i∈I sont deux objets de i∈I Ci , on a
Y 
Y
Ci (Xi )i∈I , (Yi )i∈I := Ci (Xi , Yi ).
i∈I i∈I

Enfin, si (ui )i∈I : (Xi )i∈I → (Yi )i∈I et (vi )i∈I : (Yi )i∈I → (Zi )i∈I sont des morphismes
Q
de i∈I Ci , on a
(vi )i∈I (ui )i∈I := (vi ui )i∈I .

1.3.4. Les ensembles dans l’univers U et les applications d’ensembles forment une
catégorie (cf. la convention 1.2.5) que l’on note U-Ens, ou simplement Ens.

1.3.5. On appelle structure algébrique admissible toute théorie du premier ordre L

égalitaire qui consiste
(1) d’un ensemble V (L ) de symboles de variables et d’un seul symbol de relation
égalitaire = ;
(2) pour tout entier n ∈ N, d’un ensemble Fn (L ) de symbols de fonction n-aires ;
(3) d’un ensemble (éventuellement infini) d’axiomes E (L ) de la forme ϕ = ψ, où ϕ
et ψ sont des éléments du plus petit ensemble T (L ) de mots d’alphabet V ∪
n∈N Fn qui contient V et est stable par toute opération de la forme
S

(m1 , . . . , mn ) ∈ T (L ) 7−→ f m1 . . . mn .
Par exemple, la structure de groupe commutatif est une structure algébrique ad-
missible. On rappelle que cette théorie à premier ordre contient un symbol binaire
d’addition +, un symbole unaire d’inversion − et un symbole zéro-aire 0. Les axiomes
sont
(a) commutativité : +xy=+yx,
(b) associativité : +x+yz =++xyz,
(c) élément neutre : +x0 = x,
(d) élément inverse : +x−x = 0,
où x, y et z sont des symboles de variables. On peut rendre ces formules plus com-
préhensible en mettant le symbol d’addition au milieu de ses arguments :
x + y = y + x, x + (y + z) = (x + y) + z, x + 0 = x, x + (−x) = 0.
De façon similaire, les structures de semi-groupe, monoïde, groupe, anneau, module
sont des structures algébriques admissibles. Par contre, la structure de corps n’est
pas une structure algébrique admissible. En effet, l’inversion par rapport à la loi
de multiplication n’est pas partout définie. Son système d’axiomes doit contenir des
formules plus compliquées que les formules égalitaires.
Étant donnée une structure algébrique admissible, ou plus généralement une théorie
du premier ordre L , la collection des modèles de L (dont les ensembles sous-jacents
6 CHAPITRE 1. CATÉGORIES ET FONCTEURS

appartiennent à U), ainsi que les applications entre eux respectant les réalisations des
symboles de fonctions, forment une catégorie. On désigne par Ab, An les catégories
des groupes abéliens et des anneaux commutatifs unifères respectivement. Si k est un
anneau commutatif unifère, on désigne par k-Mod la catégorie des k-modules et par
Ank la catégorie des k-algèbres commutatives.

1.3.6. Exemple. — Soit I un ensemble ordonné. Pour tout couple d’élément (i, j)
de I, soit I(i, j) l’ensemble à un élément φi,j si i 6 j et l’ensemble vide si i 66 j. Si
i, j et k sont trois éléments de I tels que i 6 j 6 k, on convient que la composée
φj,k φi,j soit égale à φi,k . Ainsi on obtient une catégorie, appelée catégorie associée à
l’ensemble ordonné I.

1.3.7. Exemple. — Soit M un espace topologique. On désigne par TM l’ensemble

des parties ouvertes de M . Cet ensemble est ordonné par la relation d’inclusion. Par
abus de notation, on désigne encore par TM sa catégorie associée.

1.3.8. Soit C une catégorie. On appelle diagramme de morphismes de C tout graphe

orienté dont les sommets sont des occurrences d’objets de C et toute flèche est marquée
par un morphisme de sa source dans son but. Si X et Y sont deux sommets du
diagramme, à tout chemin du graphe reliant X et Y on peut associer un morphisme
de X dans Y formé par la composition des morphismes successifs dans le chemin.
Si, pour tout couple (X, Y ) de sommets du graphe, les morphismes de X dans Y
associés aux chemin reliant X et Y sont identiques, alors on dit que le diagramme est
commutatif.
Soit Γ un diagramme de morphismes de C. En inversant les flèches de Γ et gardant
les sommets et marques on obtient un diagramme de la catégorie opposée C o (cf.
§1.3.1), noté Γo et appelé opposée de Γ. Le diagramme Γ est commutatif si et seulement
si son diagramme opposé est commutatif.

1.4. Foncteurs
1.4.1. Soient C et D deux catégories. On appelle foncteur de C dans D toute donnée
qui consiste
(i) d’une application F : C → D,
(ii) pour tout couple (X, Y ) d’objets de C, d’une application
F : C(X, Y ) → D(F (X), F (Y )),
soumise aux axiomes suivants :
(a) pour tout objet X de C, on a F (1X ) = 1F (X) ;
f g
(b) pour tous morphismes X → Y → Z de C, on a F (gf ) = F (g)F (f ).
On utilise l’expression F : C → D pour désigner l’énoncé
 1.4. FONCTEURS 7

«F est un foncteur de C dans D»,

et on désigne par Fon(C, D) l’ensemble des foncteurs de C dans D. En général,
Fon(C, D) n’appartient pas à U, mais appartient à un univers plus grand.

1.4.2. Notation. — Soient I et C deux catégories, et F : I → C un foncteur. Alors

(F (i))i∈I définit une famille d’objets de C paramétrées par les objets de I. Dans le cas
où il n’y a pas d’ambiguïté sur la correspondance des morphismes par le foncteur F ,
on utilise l’expression de cette famille d’objets de C pour représenter toute la donnée
du foncteur F . Il faut cependant être conscient que, pour tout morphisme f : i → j
dans la catégorie I on se dispose aussi d’un morphisme de F (i) dans F (j) donné par
la structure de foncteur F .

1.4.3. Soient L une théorie du premier ordre et C la catégorie des modèles de L .

Le foncteur naturel de C dans Ens qui envoie tout objet de C sur son ensemble sous-
jacent est appelé foncteur d’oubli. Similairement, si L 0 est une théorie du premier
ordre obtenue de L en enlevant une partie de symboles de fonction et une partie
d’axiomes, et si C 0 est la catégorie des modèles de L 0 , alors le foncteur naturel de C
dans C 0 est aussi appelé foncteur d’oubli.

1.4.4. Soient C une catégorie et X un objet de C. On définit un foncteur hX de C

dans Ens comme suit. Pour tout objet Y de C, soit hX (Y ) = C(X, Y ). Si f : Y → Z
est un morphisme dans C, soit hX (f ) : C(X, Y ) → C(X, Z) l’application qui envoie
tout u ∈ C(X, Y ) sur f u ∈ C(X, Z). D’après l’axiome (b) de la définition 1.2.1, on
obtient que hX est un foncteur de C dans Ens.

1.4.5. Soient C, D et E trois catégories, F : C → D et G : D → E deux foncteurs. On

désigne par GF le foncteur de C dans E qui envoie tout objet X de C en G(F (X)) et
tout morphisme f : X → Y de C en G(F (f )) : G(F (X)) → G(F (Y )). Ce foncteur est
appelé composée de F et G.

1.4.6. Soient C et D deux catégorie, et F et G deux foncteurs de C dans D. On appelle

transformation naturelle (ou morhisme de foncteurs) de F dans G toute famille ϕ =
(ϕX : F (X) → G(X))X∈C de morphismes de D paramétrée par les objets de C telle
que, pour tout morphisme f : X → Y dans C, le diagramme

F (X)
ϕX
/ G(X)

F (f ) G(f )
 
F (Y ) / G(Y )
ϕY

est commutatif (cf. 1.3.8). On désigne par Nat(F, G) l’ensemble des transformations
naturelles de F dans G.
8 CHAPITRE 1. CATÉGORIES ET FONCTEURS

Si F est un foncteur de C dans D, alors la collection 1F = (1F (X) )X∈C est une
transformation naturelle de F dans F . En outre, si F , G et H sont trois foncteurs
de C dans D, et ϕ : F → G et ψ : G → H sont des transformations naturelles, alors
ψϕ := (ψX ϕX )X∈C est une transformation naturelle de F dans H. Pour tous foncteurs
Q
F et G de C dans D, Nat(F, G) est un sous-ensemble de X∈C D(F (X), G(X)). On
obtient donc que, si C est une catégorie petite, alors les foncteurs de C dans D et les
transformations naturelles forment une catégorie que l’on note Fon(C, D).

1.4.7. Soient C et D deux catégories, et F et G deux foncteurs de C dans D. On

dit qu’une transformation naturelle ϕ = (ϕX )X∈C de F dans G est un isomorphisme
naturel si chaque morphisme ϕX est un isomorphisme. Dans le cas où C est une
catégorie petite, cela revient à dire que ϕ est un isomorphisme dans la catégorie des
foncteurs Fon(C, D). S’il existe un isomorphisme naturel de F dans G, on dit que les
foncteurs F et G sont isomorphes.

1.5. Foncteurs représentables

1.5.1. Soient C une catégorie et F : C → Ens un foncteur. On dit que F est repré-
sentable s’il existe un objet X de C tel que F soit isomorphe à hX (cf. §1.4.4). On dit
aussi que le foncteur F est représenté par l’objet X.
Si F : C → Ens est un foncteur représentable et si X ∈ C est un objet qui
représente F , alors l’isomorphisme naturel F → hX définit une bijection entre F (X)
et hX (X) = C(X, X). L’élément de F (X) qui correspond à 1X ∈ C(X, X) par cette
bijection est appelé élément universel du foncteur représentable F .

1.5.2. Exemple. — Soit An la catégorie des anneaux commutatifs et unifères. Le

foncteur An : An → Ens qui envoie R ∈ An sur l’ensemble Rn est représenté par
l’anneau Z[T1 , . . . , Tn ]. De façon similaire, pour tout anneau k dans An, le foncteur
Ank : Ank → Ens est représenté par k[T1 , . . . , Tn ], où Ank désigne la catégorie des
k-algèbres commutatives.n L’élément universel du foncteur représentable Ank est le
vecteur (T1 , . . . , Tn ) dans k[T1 , . . . , Tn ]n .

1.5.3. Exemple. — Soient k un anneau et M et N deux k-module. Soit k-Mod

la catégorie des k-modules. On considère le foncteur F : k-Mod → Ens qui envoie
tout k-module H en l’ensemble des applications k-bilinéaires de M × N dans H. Ce
foncteur est représenté par le module libre k ⊕(M ×N ) modulo le sous-module engenré
par les éléments de la forme
(ax1 + bx2 , y) − a(x1 , y) − b(x2 , y) ou(x, ay1 + by2 ) − a(x, y1 ) − b(x, y2 ),
où a, b ∈ k, x, x1 , x2 ∈ M et y, y1 , y2 ∈ N . On désigne par M ⊗k N ce k-module.
L’image canonique de (x, y) ∈ M ×N dans M ⊗k N est noté x⊗y. L’élément universel
 1.5. FONCTEURS REPRÉSENTABLES 9

de ce foncteur est l’application k-bilinéaire de M × N dans M ⊗ N qui envoie (x, y)

sur x ⊗ y.

1.5.4. Théorème (Lemme de Yoneda). — Soient C une catégorie et F : C →

Ens un foncteur. Si X est un objet de C, alors l’application de Nat(hX , F ) dans
F (X), qui envoie ϕ ∈ Nat(hX , F ) sur l’image de 1X ∈ hX (X) dans F (X) par ϕX ,
est une bijection.
Démonstration. — On construit l’inverse de l’application Nat(hX , F ) → F (X) dé-
crite dans le théorème. Pour tout x ∈ F (X), soit α(x) = (α(x)Y )Y ∈C la famille d’ap-
plications d’ensembles, où α(x)Y : hX (Y ) → F (Y ) envoie f ∈ C(X, Y ) sur F (f )(x).
Cette famille est une transformation naturelle de hX dans F car, pour tout morphisme
u : A → B de C et tout f ∈ hX (A), on a
F (u)(α(x)A (f )) = F (u)(F (f )(x)) = F (uf )(x)
= α(x)B (uf ) = α(x)B (hX (u)(f )).
On vérifie que α est l’inverse de l’application ϕ 7→ ϕX (1X ). Pour tout morphisme
f : X → Y de C, on a
α(ϕX (1X ))Y (f ) = F (f )(ϕX (1X )) = ϕY (hX (f )(1X )) = ϕY (f ).
Réciproquement, pour tout x ∈ F (X),
α(x)X (1X ) = F (1X )(x) = 1F (X) (x) = x.
Le résultat est donc démontré.

1.5.5. Soient C et D deux catégories, et F : C → D un foncteur. Si, pour tout couple

(X, Y ) d’objets de C, l’application F : C(X, Y ) → D(F (X), F (Y )) est injective (resp.
surjective), on dit que le foncteur F est fidèle (resp. plein). Si le foncteur F est fidèle
à la fois plein, on dit qu’il est pleinement fidèle.

1.5.6. Corollaire. — Soit C une catégorie petite. Le foncteur y de C o dans

Fon(C, Ens), appelé foncteur de Yoneda, qui envoie tout objet X de C sur le foncteur
hX : C → Ens, est pleinement fidèle. En particulier, un morphisme f : X → Y dans
C est un isomorphisme si et seulement si y(f ) : hY → hX est un isomorphisme de
foncteurs.
Démonstration. — Si X et Y sont deux objets de C, le lemme de Yoneda établit une
bijection fonctorielle entre Nat(hX , hY ) et hY (X) = C(Y, X) qui envoie 1hX sur 1X
lorsque Y = X. Donc le foncteur de Yoneda est pleinement fidèle.
Soit f : X → Y un morphisme dans C. Comme le foncteur y est pleinement fidèle,
si f est inversible, alors y(f f −1 ) = y(f −1 )y(f ) = 1hY , et y(f −1 f ) = y(f )y(f −1 ) =
1hX . D’où y(f ) est un isomorphisme dans la catégorie de foncteurs Fon(C, Ens).
Réciproquement, si y(f ) est un isomorphisme de foncteurs et si ψ est son inverse,
correspondant à un morphisme g : Y → X par le lemme de Yoneda (i.e. on a y(g) =
10 CHAPITRE 1. CATÉGORIES ET FONCTEURS

ψ). On a alors y(f g) = y(g)y(f ) = ψy(f ) = 1hY et y(gf ) = y(f )y(g) = 1hX . D’où
f g = 1Y et gf = 1X , qui montre que f est un isomorphisme dans C.

1.5.7. Corollaire. — Soient C une catégorie et F : C → Ens un foncteur représen-

table. Si X et Y sont deux objets de C qui représentent le foncteur F , alors il existe un
unique isomorphisme ϕ : X → Y tel que F (ϕ) envoie l’élément universel (cf. §1.5.1)
de F (X) sur celui de F (Y ).

Démonstration. — Soient X et Y deux objets de C qui représentent le foncteur F .

Il existe un unique isomorphisme de foncteurs γ : hY → hX tel que le diagramme
suivant soit commutatif
hY C
γ
/ hX
CC
CC
C
β CC 
α
!
F
où α : hX → F et β : hY → F sont des isomorphismes de foncteurs représentant
le foncteur F . Par définition, x := αX (1X ) et y := βY (1Y ) sont respectivement les
éléments universels dans F (X) et dans F (Y ).
Soit ϕ : X → Y le morphisme qui correspond à γ : hY → hX par le lemme de
Yoneda. Par définition on a ϕ = γY (1Y ). D’après le corollaire 1.5.6, le morphisme ϕ
est un isomorphisme. Montrons que F (ϕ) envoie x sur y. On a
F (ϕ)(x) = F (ϕ)(αX (1X )) = αY (hX (ϕ)(1X )) = αY (ϕ) = αY (γY (1Y )) = βY (1Y ) = y,
où la deuxième égalité provient du fait que α : hX → F est un morphisme de foncteurs.
Supposons que ψ : X → Y est un autre isomorphisme dans C tel que F (ψ)(x) = y.
Encore par le fait que α : hX → F est un morphisme de foncteurs on obtient
βY (1Y ) = y = F (ψ)(x) = F (ψ)(αX (1X )) = αY (hX (ψ)(1X )) = αY (ψ),
d’où ψ = αY−1 (βY (1Y )) = γY (1Y ). L’unicité est donc démontrée.

1.5.8. Soient C une catégorie petite, F : C → Ens un foncteur représentable, X un

objet de C qui représente le foncteur F et ξ ∈ F (X) l’élément universel (cf. §1.5.1).
Si f : X → Y est un morphisme dans C, qui correspond à un morphisme de foncteurs
hf : hY → hX par le lemme de Yoneda, alors la composée de f avec l’isomorphisme
hX → F représentant le foncteur F donne un morphisme de foncteurs de hY dans F ,
qui correspond à un élément de F (Y ) par le lemme de Yoneda. Cet élément n’est rien
d’autre que l’image de ξ dans F (Y ) par l’application F (f ).

1.6. Limites
Les limites sont des constructions importantes dans la théorie des catégories. Elles
vérifient des propriétés universelles.
 1.6. LIMITES 11

1.6.1. Soient I une catégorie petite et C une catégorie. Si X est un objet de C, on

désigne par ∆X le foncteur de I dans C qui envoie tout objet de I sur X et envoie
tout morphisme de I sur 1X . Le foncteur ∆X est appelé foncteur diagonal de X.
La correspondance X 7→ ∆X définit en fait un foncteur de I dans la catégorie de
foncteurs Fon(I, C).

1.6.2. Soient I une catégorie petite, C une catégorie et F : I → C un foncteur.

(a) Si le foncteur de C o dans Ens qui envoie tout objet X ∈ C o sur Nat(∆X , F ) est
représentable, on dit que F admet une limite projective, et on désigne par lim F
←−
tout objet de C o qui représente ce foncteur. Si la limite projective de F existe, on
a une bijection fonctorielle en X
Nat(∆X , F ) ∼
= C o (lim F, X) = C(X, lim F );
←− ←−
de plus, l’élément universel du foncteur représentable (X ∈ C o ) 7→ Nat(∆X , F )
est un morphisme de foncteurs ∆lim F → F , qui peut être écrit sous forme d’une
←−
famille (pi : lim F → F (i))i∈I de morphismes dans la catégorie C tel que F (f )pi =
←−
pj pour tout morphisme f : i → j dans la catégorie I.
(b) Si le foncteur de C dans Ens qui envoie tout objet X ∈ C sur Nat(F, ∆X ) est
représentable, on dit que F admet une limite inductive, et on désigne par lim F
−→
tout objet de C qui représente ce foncteur. Si la limte inductive de F existe, alors
on a une bijection fonctorielle en X
Nat(F, ∆X ) ∼
= C(lim F, X);
−→
de plus, l’élément universel du foncteur représentable (X ∈ C) 7→ Nat(F, ∆X )
est un morphisme de foncteurs F → ∆lim F , qui peut être écrit sous forme
−
→
d’une famille (qi : F (i) → lim F )i∈I de morphismes dans la catégorie C telle
−→
que qj F (f ) = qi pour tout morphisme f : i → j dans la catégorie I.
On dit que la catégorie C est complète (resp. cocomplète) si tout foncteur d’une caté-
gorie petite dans C admet une limite projective (resp. limite inductive).

1.6.3. On peut interpréter la limite projective comme une propriété universelle. En

effet, toute transformation naturelle ϕ ∈ Nat(∆X , F ) correspond à une famille de
morphismes (ϕi : X → F (i))i∈I telle que, pour tout morphisme f : i → j dans I, on
ait F (f )ϕi = ϕj . Le foncteur F admet une limite projective si et seulement s’il existe
un objet lim F de C et une (unique) famille de morphismes (pi : lim F → F (i))i∈I
←− ←−
(appelés morphismes universels), qui satisfont aux conditions suivantes :
(a) pour tout morphisme f : i → j dans I, on a F (f )pi = pj ;
(b) si (ui : X → F (i))i∈I est une famille de morphismes dans C telle que, pour tout
morphisme f : i → j de I on ait F (f )ui = uj , alors il existe un unique morphisme
u : X → lim F tel que pi u = ui quel que soit i ∈ I.
←−
12 CHAPITRE 1. CATÉGORIES ET FONCTEURS

De façon similaire, on a aussi une interprétation de la limite inductive par propriété

universelle. Le foncteur F admet une limite inductive si et seulement s’il existe un
objet lim F de C et une (unique) famille de morphismes (qi : F (i) → lim F )i∈I qui
−→ −→
satisfont aux conditions suivantes :
(a) pour tout morphisme f : i → j dans I, on a qj F (f ) = qi ;
(b) si (vi : F (i) → X)i∈I est une famille de morphismes dans C telle que, pour
tout morphisme f : i → j dans I on ait vj F (f ) = vi , alors il existe un unique
morphisme v : lim F → X tel que vqi = vi quel que soit i ∈ I.
−→
1.6.4. Soient I une catégorie petite, C une catégorie et F un foncteur de I dans C.
Alors F détermine un foncteur F o : I o → C o entre les catégories opposées. Par les
propriétés universelles décrites dans le sous-paragraphe précédent, on obtient que F
admet une limite projective (resp. limite inductive) si et seulement si F o admet une
limite inductive (resp. limite projective). En outre, un objet X de C est une limite
projective (resp. limite inductive) de F si et seulement si, vu comme objet de C o , X
est une limite inductive (resp. limite projective) du foncteur opposé F o .

1.6.5. Soit I une catégorie petite. Tout foncteur de I dans une catégorie C peut être
illustré par un diagramme de morphismes de C. Les limites projectives/injectives de
certains diagrammes portent de noms spéciaux (cf. la liste au-dessous, où dans les
graphes on omit les flèches correspondant aux morphismes d’identité).
diagramme limite projective limite inductive
∅ objet terminal objet initial
• • ··· • • produit coproduit
• // • noyau conoyau
• /•
coproduit cofibré

•
•
produit fibré
• / •

1.6.6. Soit C une catégorie. Il existe un unique foncteur de la catégorie vide dans
C. Si ce foncteur admet une limite projective, on dit que la catégorie C admet un
objet terminal et on appelle la limite projective du foncteur objet terminal de C. Par
la propriété universelle de la limite projective, pour tout objet X de C, il existe un
unique morphisme de X dans l’objet terminal de C (si ce dernier existe). De façon
similaire, si le foncteur de la catégorie vide dans C admet une limite inductive, on dit
que C admet un objet initial, qui est la limite inductive du foncteur. Pour tout objet
X de C il existe un unique morphisme de l’objet initial dans X.
 1.6. LIMITES 13

1.6.7. Soit I un ensemble. On le considère comme une catégorie où l’ensemble des

morphismes de i ∈ I vers j ∈ I est vide lorsque i 6= j, et égal à {1i } lorsque i = j.
Si C est une catégorie, tout foncteur F de I dans C s’identifie à une famille (Xi )i∈I
d’objets de C. Si le foncteur F admet une limite projective, on dit que la famille
Q
d’objets (Xi )i∈I admet un produit, et on désigne par i∈I Xi la limite projective du
foncteur F . Par la propriété universelle de la limite projective, pour tout j ∈ I on a
Q
un morphisme universel prj : i∈I Xi → Xj . En outre, si Y est un objet de C et si
(fi : Y → Xi )i∈I est une famille de morphismes, alors il existe un unique morphisme
Q
f : Y → i∈I Xi tel que pri f = fi pour tout i ∈ I. On utilisera l’expression (fi )i∈I
pour désigner le morphisme f .
De façon similaire, si le foncteur F admet une limite inductive, on dit que la
`
famille d’objets (Xi )i∈I admet un coproduit, noté i∈I Xi . Pour tout j ∈ I, on a un
`
morphisme universel inj : Xj → i∈I Xi de sorte que la famille (inj )i∈I forme l’objet
universel du foncteur représentable X 7→ Nat(∆X , F ) (cf. §§1.6.2–1.6.3). Si Y est un
objet de C et si (gi : Xi → Y ) est une famille de morphismes, alors il existe un unique
`
morphisme g : i∈I Xi → Y tel que g ini = gi pour tout i ∈ I.

1.6.8. Soient C une catégorie et

X
f

Y /S
g

un diagramme de morphismes de C. Si le diagramme admet une limite projective,

on dit que f et g admettent un produit fibré, et on utilise l’expression X ×S Y pour
désigner le produit fibré de f et g. Par la propriété universelle de la limite projective,
on a des morphismes universels pr1 : X ×S Y → X et pr2 : X ×S Y → Y qui vérifient
f pr1 = g pr2 . En outre, si Z est un objet de C et si u : Z → X et v : Z → Y sont
des morphismes tels que f u = gv, alors il existe un unique morphisme (u, v)S : Z →
X ×S Y tel que le diagramme suivant soit commutatif :

Z
u
(u,v)S
#
X ×S Y /& X
v pr1
pr2 f
 
Y /S
g
14 CHAPITRE 1. CATÉGORIES ET FONCTEURS

Si un diagramme de morphisme
Z
u /X
v f
 
Y /S
g

identifie (Z, u, v) au produit fibré de f et de g, on dit que le diagramme est cartésien,

noté
u /
Z X
v  f
 
Y /S
g

1.6.9. Proposition. — Soit C une catégorie et

Z
g
/Y f
/X
γ ¬ β ­ α
  
U /T /S
t s

un diagramme commutatif de morphismes de C.

(1) Si les deux carrés ¬ et ­ sont cartésiens, alors le carré extérieur

Z
fg
/X
γ ® α
 
U /S
st

est cartésien.
(2) Si le carré ­ et le carré extérieur ® sont cartésiens, alors le carré à gauche ¬ est
aussi cartésien.
Démonstration. — (1) Soient W un objet de C et u : W → X et v : W → U des
morphismes tels que αu = stv.
W u
ϕ
ψ
# #
Z
g
/Y f
/X
v
γ ¬ β ­ α
#  /T

/S

U t s

Comme le carré ­ est cartésien, il existe un unique morphisme ϕ : W → Y tel que

u = f ϕ et tv = βϕ. Comme le carré ¬ est cartésien, il existe un unique morphisme
 1.6. LIMITES 15

ψ : W → Z tel que v = γψ et ϕ = gψ. On en déduit que ψ est l’unique morphisme

de W dans Z tel que u = f gψ et v = γψ. Le carré extérieur ® est donc cartésien.
(2) Soient R un objet de C et a : R → Y et b : R → U deux morphismes tels que
βa = tb.
R
a
η
 "
Z
g
/Y f
/X
b
γ ¬ β ­ α
#  /T

/S

U t s

On a αf a = sβa = stb. Comme le carré extérieur ® est cartésien, il existe un unique

morphisme η : R → Z tel que f a = f gη et b = γη. En outre, comme le carré ­
est cartésien, le morphisme a est le seul morphism de R dans Y tel que αf a = stb.
Comme
αf gη = sβgη = stγη = stb,
on obtient a = gη et donc η est l’unique morphisme de R dans Z tel que a = gη et
b = γη. Le carré ¬ est donc cartésien.

1.6.10. Proposition. — Soient C une catégorie et f : X → Y un morphisme dans

C. Alors f est un monomorphisme si et seulement si le carré suivant est cartésien

X
1X
/X
1X f
 
X /Y
f

Démonstration. — Par la propriété universelle du produit fibré, le carré est cartésien

si et seulement si, pour tout objet Z de C et tous morphismes u : Z → X et v : Z → X,
si f u = f v, alors il existe un unique morphisme w : Z → X tel que u = 1X w = w et
v = 1X w = w (c’est-à-dire u = v). Cela revient à dire que f est un monomorphisme
dans C.

1.6.11. Soient C une catégorie et

S
f
/X
g

Y
un diagramme de morphismes dans C. Si le diagramme admet une limite inductive,
on dit que f et g admettent un coproduit cofibré, et on utilise l’expression X qS Y
pour désigner le coproduit cofibré de f et g. Par la propriété universelle de la limite
16 CHAPITRE 1. CATÉGORIES ET FONCTEURS

inductive, on a des morphismes universels i1 : X → X qS Y et i2 : Y → X qS Y . En

outre, si Z est un objet de C et si u : X → Z et v : Y → Z sont des morphismes tels
que uf = vg, alors il existe un unique morphisme u qS v :→ X qS Y → Z tel que le
diagramme suivant soit commutatif

S
f
/X
g i1
  u
Y
i2
/ X qS Y

uqS v

,# Z
v

Si un diagramme de morphismes

S
f
/X
g u
 
Y /Z
v

identifie (Z, u, v) au coproduit cofibré de f et de g, on dit que le diagramme est

cocartésien.

1.6.12. Proposition. — Soit C une catégorie et

Z
g
/Y f
/X
γ ¬ β ­ α
  
U /T /S
t s

un diagramme commutatif de morphismes de C.

(1) Si les deux carrés ¬ et ­ sont cocartésiens, alors le carré extérieur

Z
fg
/X
γ ® α
 
U /S
st

est cocartésien.
(2) Si le carré ¬ et le carré extérieur ® sont cocartésiens, alors le carré ­ est aussi
cocartésien.

Démonstration. — Le résultat provient de la proposition 1.6.9 par passage à la caté-

gorie opposée.
 1.6. LIMITES 17

// Y un diagramme de morphismes dans C.

f
1.6.13. Soient C une catégorie et X
g
Si ce diagramme admet une limite projective, on dit que f et g admet un noyau et on
désigne par Ker(f, g) la limite projective du digramme. Par la propriété universelle
de la limite projective, on a un morphisme universel i dans Ker(f, g) vers X tel que
f i = gi. En outre, pour tout objet Z et tout morphisme h : Z → X vérifiant la
relation f h = gh, il existe un unique morphisme h0 : Z → Ker(f, g) tel que ih0 = h.

// Y
f
Ker(f, g)
i/X
O vv: g
v
vv
h0
vvv h
vv
Z
Si un digramme

X0
j
/X
f
// Y
g

identifie j : X 0 → X au noyau de (f, g), on dit que le diagramme est exact à gauche.

// Y admet une limite inductive, on dit

f
De façon similaire, si le diagramme X
g
que f et g admettent un conoyau et on désigne par Coker(f, g) la limite inductive du
diagramme. D’après la propriété universelle de la limite inductive, on a un morphisme
universel π de Y vers Coker(f, g) tel que, pour tout objet W de C et tout morphisme
u : Y → W vérifiant uf = ug, il existe un unique morphisme u0 : Coker(f, g) → W
tel que u0 π = u.
f
// Y π / Coker(f, g)
X JJ
g JJ
JJ
J
u JJJ u0
J$ 
W
Si un digramme

// Y
f
X
p
/ Y0
g

identifie p : Y → Y 0 au conoyau de (f, g), on dit que le diagramme est exact à droite.

// Y
f
1.6.14. Proposition. — Soient C une catégorie, X un diagramme de
g
morphismes dans C, et h : Y → Z un monomorphisme. Soit i : Ker(f, g) → X le
noyau de (f, g). Alors i est également le noyau de (hf, hg).

Démonstration. — Soient A un objet de C et ϕ : A → X un morphisme tel que

hf ϕ = hgϕ. Comme h est un monomorphisme, on a f ϕ = gϕ. Donc il existe un
e : A → Ker(f, g) tel que iϕ
unique morphisme ϕ e = ϕ.
18 CHAPITRE 1. CATÉGORIES ET FONCTEURS

1.6.15. Proposition. — Soit C une catégorie. Si le produit de toute famille d’objets

dans C existe et si tout diagramme de la forme X // Y de morphismes dans C
admet un noyau, alors tout foncteur d’une catégorie petite vers C admet une limite
projective.
Démonstration. — Soient I une catégorie petite et F : I → C un foncteur. Soient X
le produit des F (i) et pri : X → F (i) les morphismes universels. Soit
Y
Y = F (k).
(j,k)∈I 2
f :j→k

Soient s et t deux morphismes de X vers Y , où s est induit par la famille (prk )f :j→k ,
et t est induit par (F (f ) prj )f :j→k . Alors le noyau de s et t est la limite projective du
foncteur F .

1.6.16. Proposition. — Soit C une catégorie. Si le coproduit de toute famille d’ob-

jets dans C existe et si tout diagramme de la forme X // Y de morphismes dans C
admet un conoyau, alors tout foncteur d’une catégorie petite vers C admet une limite
inductive.
Démonstration. — Le résultat provient de la proposition 1.6.15, quitte à passer à la
catégorie opposée.

1.6.17. Les deux propositions précédentes admettent des variants. Par la même mé-
thode, on peux démontrer que, si dans une catégorie C tout produit (resp. coproduit)
d’une famille finie d’objets existe et que tout couple de morphismes des mêmes source
et but (cf. §1.2.2) admet un noyau (resp. conoyau), alors tout foncteur d’une catégorie
finie (cf. §1.2.4) dans C admet une limite projective (resp. inductive).

1.6.18. Les limites projectives et inductives sont des constructions fonctorielles. Soit
I une catégorie petite et C une catégorie. Si tout foncteur de I vers C admet une limite
projective (resp. inductive), alors lim (resp. lim) définit un foncteur de la catégorie
←− −→
Fon(I, C) vers C. Cela résulte des propriétés universelles des limites. En outre, pour
toute catégorie petite J, tout foncteur de I dans Fon(J, C) admet aussi une limite
projective (resp. limite inductive), qui peut être construite point par point, comme
expliqué au-dessous.
Tout foncteur F de I dans Fon(J, C) peut être considéré comme un foncteur de la
catégorie produit I × J dans C qui envoie (i, j) ∈ I × J en F (i)(j), ou encore comme
un foncteur (Fj )j∈J de J dans Fon(I, C) (cf. la notation 1.4.2). Par la fonctorialité
de la limite projective (resp. limite inductive), on obtient un foncteur (lim Fj )j∈J
←−
(resp. (lim Fj )j∈J ) de J dans C, sous condition que tout foncteur de I dans C admet
−→
une limite projective (resp. limite inductive). Ce foncteur, vu comme un objet de la
catégorie Fon(J, C) est la limite projective (resp. limite inductive) de F (considéré
comme un foncteur de I dans la catégorie de foncteurs Fon(J, C)). En effet, si G =
 1.6. LIMITES 19

(Xj )j∈J est un foncteur de J dans C et si ϕ ∈ Nat(∆G , F ) est un morphisme dans

la catégorie Fon(I, Fon(J, C)), alors ϕ détermine pour chaque j ∈ J un morphisme
de foncteurs ϕj : ∆Xj → Fj dans la catégorie de foncteurs Fon(I, C). Dans le cas
où tout foncteur de I dans C admet une limite projective, le morphisme de foncteur
ϕj induit par la propriété universelle de la limite projective un unique morphisme
ej : Xj → lim Fj . Les morphismes (ϕ
ϕ ej )j∈J forment un morphisme de foncteurs ϕe:
←−
(Xj )j∈J → (lim Fj )j∈J qui est l’unique morphisme tel que ϕ se factorise par ∆(ϕ).
←−
e
Ainsi le foncteur (lim Fj )j∈J est la limite projective de F .
←−
Similairement, si ψ ∈ Nat(F, ∆G ) est un morphisme dans la catégorie de foncteurs
Fon(I, Fon(J, C)), alors ψ détermine pour chaque j ∈ J un morphisme de foncteurs
ψj : Fj → ∆Xj dans la catégorie de foncteurs Fon(I, C). Dans le cas où tout foncteur
de I dans C admet une limite inductive, le morphisme de foncteurs ψj induit par
la propriété universelle de la limite inductive un unique morphisme ψej : lim Fj →
−→
Xj . Les morphismes (ψej )j∈J forment un morphisme de foncteurs ψe : (lim Fj )j∈J →
−→
(Xj )j∈J qui est l’unique morphisme tel que ψ se factorise par ∆(ψ).
e Ainsi le foncteur
(lim Fj )j∈J est la limite inductive de F .
−→

1.6.19. Exemple. — Soit (Ei )i∈I une famille d’ensembles. Le produit cartésien
des Ei est le produit de cette famille dans la catégorie des ensembles. La réunion
disjointe des Ei est le coproduit de cete famille dans la catégorie des ensembles. Si
f, g : E → F sont deux applications d’ensembles, leur noyau est le sous-ensemble de E
des x ∈ E tels que f (x) = g(x) ; leur conoyau est le quotient de F modulo la relation
d’équivalence engendrée par
«y1 ∼ y2 si et seulement s’il existe x ∈ E vérifiant f (x) = y1 et g(x) = y2 ».
D’après les propositions 1.6.15 et 1.6.16, tout foncteur d’une catégorie petite vers Ens
admet une limite projective et une limite inductive.
Soient I une catégorie petite et F : I → Ens un foncteur. On peut construire
Q
explicitement la limite projective de F comme le sous-ensemble de i∈I F (i) des
éléments (xi )i∈I tel que F (u)(xi ) = xj pour tout morphisme u : i → j dans I.

1.6.20. Soient C une catégorie petite et D une catégorie. On suppose que la catégorie
D est complète (resp. cocomplète) (cf. §1.6.2). Si I est une catégorie petite et F : I →
Fon(C, D) est un foncteur, alors F détermine un foncteur de C dans la catégorie de
foncteurs Fon(I, D) dont la limite projective (resp. limite inductive) point par point
donne un foncteur de C dans D, qui s’identifie à la limite projective (resp. limite
inductive) du foncteur F (cf. §1.6.18). On obtient donc que la catégorie de foncteurs
Fon(C, D) est complète (resp. cocomplète). En particulier, pour toute catégorie petite
C, la catégorie de foncteurs Fon(C, Ens) est complète et cocomplète, où Ens désigne
la catégorie des ensembles.
20 CHAPITRE 1. CATÉGORIES ET FONCTEURS

1.6.21. Proposition. — Soient C une catégorie, I une catégorie petite, F et G

deux foncteurs de I dans C, et ϕ : F → G un morphisme de foncteurs.
(1) Si, pour tout i ∈ I, le morphisme ϕi : F (i) → G(i) dans C est un monomorphisme,
alors ϕ est un monomorphisme dans la catégorie de foncteur Fon(I, C).
(2) La réciproque de l’énoncé précédent est vraie si tout produit fibré existe dans la
catégorie C.

Démonstration. — (1) Soit i ∈ I. Comme ϕi est un monomorphisme, le carré

1F (i)
F (i) / F (i)

1F (i) ϕi
 
F (i) / G(i)
ϕi

est cartésien (cf. la proposition 1.6.10). On en déduit que le carré

F
1F
/F
1F ϕ
 
F /G
ϕ

de morphismes de foncteurs est cartésien (cf. §Rem :limite dans une catégorie de
foncteurs). Encore par la proposition 1.6.10 on obtient que le morphisme de foncteur
ϕ est cartésien.
(2) On suppose que ϕ : F → G est un monomorphisme de foncteurs. C’est-à-dire
que le carré
F
1F
/F
1F ϕ
 
F /G
ϕ

de morphismes de foncteurs est cartésien. Comme tout produit fibré existe dans la
catégorie C, on peut déterminer le produit fibré F ×G F point par point (cf. §1.6.18).
On obtient alors que le carré
1F (i)
F (i) / F (i)

1F (i) ϕi
 
F (i) / G(i)
ϕi

de morphismes dans C est cartésien et donc ϕi est un monomorphisme pour tout

i.
 1.7. FONCTEURS PRÉSERVANT DES LIMITES 21

1.7. Foncteurs préservant des limites

1.7.1. Proposition. — Soient C une catégorie et F un foncteur d’une catégorie
petite I dans C. Si F admet une limite projective, alors pour tout objet X de C, on a
lim(hX F ) ∼
= hX (lim F)
←− ←−
dans la catégorie des ensembles. En d’autres termes, on a un isomorphisme fonctoriel
lim C(X, F (i)) ∼
= C(X, lim F ).
←− ←−
i∈I

Démonstration. — On note Y = lim F et on désigne par pi : Y → F (i) les mor-

←−
phismes universels. Si f : i → j est un morphisme de I, alors on a pj = F (f )pi , d’où
hX (pj ) = hX (F (f ))hX (pi ). Si M est un ensemble et si (qi : M → C(X, F (i)))i∈I
est une famille de morphismes tels que qj (x) = hX (F (f ))qi (x) = F (f )qi (x) pour
tout morphisme f : i → j et tout x ∈ M , alors il existe un unique morphisme
g(x) ∈ C(X, Y ) tel que qi (x) = pi g(x) quel que soit i ∈ I. On obtient alors une unique
application g : M → hX (Y ) tel que qi = hX (pi )g pour tout i. Ainsi hX (Y ) et les mor-
phismes hX (pi ) vérifient les propriétés universelles définissant lim(hX F ). Le résultat
←−
est donc démontré.

1.7.2. Corollaire. — Soient C une catégorie et F un foncteur d’une catégorie petite

I dans C. Si F admet une limite inductive, alors pour tout objet X de C, on a un
isomorphisme fonctoriel
lim C(F (i), X) ∼
= C(lim F, X).
←− −→
i∈I

Démonstration. — Par passage aux catégories opposées, on obtient le résultat en

s’appuyant sur la proposition 1.7.1.

1.7.3. Soit I une catégorie petite. On dit que I est filtrante si elle est non-vide et si
les conditions suivantes sont vérifiée :
(a) pour tout couple (i, j) d’objets de I, il existe un objet k de I et des morphismes
i → k et j → k ;
(b) si i et j sont deux objets de I et si u et v sont des morphismes de i vers j, il
existe un objet k de I et un morphisme w : j → k tels que wu = wv.

1.7.4. Proposition. — Soient I une catégorie petite filtrante et J une catégorie

finie. Si (Fj )j∈J est un foncteur de J dans Fon(I, Ens), alors on a un isomorphisme
fonctoriel
lim(lim Fj ) ∼
= lim lim F .
−→ ←− ←− −→ j
j∈J j∈J
22 CHAPITRE 1. CATÉGORIES ET FONCTEURS

Démonstration. — Soit G la limite projective limj Fj . Par la propriété universelle de

←−
la limite projective, on a des morphismes universels (G → Fj )j∈I . Chaque morphisme
universel G → Fj induit, par la fonctorialité de la limite inductive, un morphisme de
lim G vers lim Fj que l’on note comme λj . Ces morphismes induisent, par la propriété
−→ −→
universelle de la limite projective, un morphisme Φ de lim G vers limj∈J lim Fj .
−→ ←− −→
Il reste à montrer que Φ est un isomorphisme dans la catégorie des ensembles,
c’est-à-dire une bijection entre des ensembles. On peut construire lim Fj comme
−→
a .
Fj (i) ∼,
i∈I
0
où pour a ∈ Fj (i) et b ∈ Fj (i ), a ∼ b si et seulement s’il existe des morphismes (1)
ϕ : i → i00 et ψ : i0 → i00 on a Fj (ϕ)(a) = Fj (ψ)(b).
Montrons d’abord que Φ est une application injective. Soient i et i0 deux objets de
I, et
a = (aj )j∈J ∈ lim Fj (i), b = (bj )j∈J ∈ lim Fj (i0 ).
←− ←−
j∈J j∈J
On utilise les expressions [a] et [b] pour désigner les images de a et b dans lim limj∈J Fj
−→ ←−
respectivement. Si Φ([a]) = Φ([b]), alors pour tout j ∈ J, [a] et [b] on la même image
dans lim Fj par l’application λj . On en déduit que aj et bj représente la même classe
−→
d’équivalence dans lim Fj . Comme J est une catégorie finie et I est une catégorie
−→
filtrante, il existe alors deux morphismes ϕ : i → i00 et ψ : i0 → i00 dans I tels que
Fj (ϕ)(aj ) = Fj (ψ)(bj ). On obtient donc [a] = [b].
Il reste à vérifier que Φ est une application surjective. Soit ([uj ])j∈J un élément
`
de limj∈J lim Fj , où on considère uj comme un élément de i∈I Fj (i). Comme I est
←− −→
une catégorie filtrante et J est une catégorie finie, sans perte de généralité on peut
supposer qu’il existe i ∈ I tel que uj ∈ Fj (i) pour tout j ∈ J. Si j → j 0 est un
morphisme dans J, qui correspond à une transformation naturelle f : Fj → Fj 0 , alors
il existe des morphismes ϕ, ψ : i → i0 dans I tels que
fi0 (Fj (ϕ)(uj )) = Fj (ϕ)(fi (uj )) = Fj 0 (ψ)(uj 0 ).
Comme J est une catégorie finie (où on utilise la finitude des morphismes), et I est une
catégorie filtrante (où on utilise la deuxième condition dans la définition de catégorie
filtrante), il existe un morphisme η : i → i00 tel que, pour tout morphisme f : j → j 0
de J (considéré aussi comme une transformation naturelle de Fj vers Fj 0 ) on a
fi (Fj (η)(uj )) = Fj 0 (η)(uj 0 ).
Cela montre que (Fj (η)(uj ))j∈J ∈ limj∈J Fj (i00 ) et
←−
([uj ])j∈J = Φ([(Fj (η)(uj ))j∈J ]).

1. Ici on utilise la condition que la catégorie I est filtrante.

 1.7. FONCTEURS PRÉSERVANT DES LIMITES 23

1.7.5. Soient L une structure algébrique admissible et C la catégorie des modèles

de L . Soit w : C → Ens le foncteur d’oubli. Si I est une catégorie petite et F : I → C
est un foncteur, alors la limite projective du foncteur composé wF est naturellement
muni de la structure algébrique L , qui devient la limite projective de du foncteur F .
Similairement, si I est une catégorie filtrante et si F : I → C est un foncteur,
alors F admet une limite inductive. En effet, la limite inductive du foncteur wF ,
qui est un quotient de la réunion disjointe de (F (i))i∈I , est naturellement muni de la
structure algébrique L définissant la catégorie C. Le passage au quotient des fonctions
est possible grâce à l’hypothèse que la catégorie I soit filtrante. Si (x` )n`=1 est une
famille finie d’éléments dans la réunion disjointe de (F (i))i∈I , on peut trouver un objet
k ∈ I et des éléments (y` )n`=1 dans F (k) de sorte que y` et x` soient dans la même
classe d’équivalence de l’ensemble lim wF . La structure algébrique se déscend alors
−→
sur l’ensemble quotient. Cette observation sera utile plus loin dans la construction
explicite de la localisation.
La condition que la catégorie I soit filtrante est essentielle pour identifier la limite
inductive de F à celle de wF munie de la structure algébrique naturelle. On peut par
exemple considérer le coproduit cofibré dans la catégorie An des anneaux commutatifs
et unifères. Soient k un anneau commutatifs et unifères et A et B deux k-algèbres. Le
coproduit cofibré de A et B au-dessus de k est donné par le produit tensoriel A ⊗k B
(qui est naturellement muni d’une structure d’anneau telle que (a ⊗ b)(a0 ⊗ b0 ) =
aa0 ⊗ bb0 ). En général, ensemblistement A ⊗k B n’est pas en bijection naturelle avec
le coproduit cofibré de A et B au-dessus de k dans la catégorie des ensembles.
Le résultat de la commutativité de la limite inductive filtrante et la limite pro-
jective finie est encore vrai pour la catégorie des modèles d’une structure algébrique
admissible. La démonstration est identique à celle de la Proposition 1.7.4.

1.7.6. Soit A un anneau. Si (Mi )i∈I est une famille de A-modules, alors le produit
cartésien des Mi est le produit de (Mi )i∈I dans la catégorie A-Mod des A-modules ;
L
la somme directe i∈I Mi est le coproduit de (Mi )i∈I dans la catégorie A-Mod. Si
f, g : M → N sont deux homomorphismes de A-modules, leur noyau est le sous-A-
module de M des x ∈ M tel que f (x) = g(x) (c’est-à-dire Ker(f − g)) ; leur conoyau
est le A-module quotient de N par l’image de f − g. D’après les propositions 1.6.15 et
1.6.16, tout foncteur d’une catégorie petite vers A-Mod admet une limite projective
et une limite inductive.
La localistion est un cas particulier de limite inductive filtrante dans la catégorie des
modules qui jouera un rôle important pour ce livre. On dit qu’un sous-ensemble S de
A est multiplicatif s’il contient l’élément unité 1 et s’il est stable par la multiplication.
On peut le considérer comme une catégorie petite (S est alors l’ensemble des objets)
où l’ensemble des morphismes de s1 vers s2 est {s ∈ S | s1 s = s2 }. Si s1 et s2 sont
deux objets de S, alors s2 : s1 → s1 s2 et s1 : s2 → s1 s2 sont deux morphismes de s1
et s2 vers s1 s2 respectivement. En outre, si s1 et s2 sont deux objets de S et s, t sont
24 CHAPITRE 1. CATÉGORIES ET FONCTEURS

deux morphismes de s1 vers s2 , alors s1 : s2 → s1 s2 est un morphisme dans S tel que

s1 s = s1 t. On obtient alors que la catégorie S est filtrante.
Si M est un A-module et si FM est le foncteur de la catégorie S vers A-Mod
qui envoie tout t ∈ S en M et envoie tout morphisme s : s1 → s2 en l’homothétie
M → M , x 7→ sx, la limite inductive du foncteur FM est appelée la localisation de
M par S, notée comme S −1 M ou M [S −1 ]. Ensemblistement le A-module S −1 M peut
être construit comme le quotient de S × M (dont l’élément (s, x) est noté comme x/s,
où x ∈ M et s ∈ S) modulo la relation d’équivalence (voir la remarque 1.7.5)
x/s ∼ y/t ⇐⇒ ∃ u ∈ S tel que u(tx − sy) = 0.
D’après la proposition 1.7.4 (voir aussi la remarque 1.7.5), le foncteur de A-Mod vers
A-Mod, qui envoie M en S −1 M , préserve les limites projectives finies.

1.8. Foncteurs adjoints

1.8.1. Soient C et D deux catégories, F : C → D et G : D → C deux foncteur. On
dit que F est adjoint à gauche de G et que G est adjoint à droite de F si pour tout
objet X de C et tout objet Y de D on a un isomorphisme fonctoriel en X et Y
C(X, G(Y )) ∼
= D(F (X), Y ).

1.8.2. Exemples. —
(a) Soient I une catégorie petite et C une catégorie telle que tout foncteur de I dans
C admet une limite projective (resp. inductive). Alors le foncteur lim (resp. lim)
←− −→
de la catégorie de foncteur Fon(I, C) dans C est adjoint à droite (resp. gauche)
du foncteur diagonal ∆ : C → Fon(I, C) (cf. §1.6.2) qui envoie tout objet X sur
∆X .
(b) Soient A un anneau et M un A-module. Alors le foncteur − ⊗A M : A-Mod →
A-Mod est adjoint à gauche du foncteur HomA (M, −). En effet, pour tous A-
modules N et P on a des isomorphismes fonctoriels
HomA (N ⊗A M, P ) ∼
= BilA (N × M, P ) ∼
= HomA (N, HomA (M, P )),
où BilA (N × M, P ) désigne l’ensemble des applications A-bilinéaires de N × M
dans P .

1.8.3. Proposition. — Soit F : C → D un foncteur qui est adjoint à gauche d’un

foncteur G : D → C. Soit I une catégorie petite.
(1) Si (Xi )i∈I est un foncteur de I dans C qui admet une limite inductive, alors le
foncteur (F (Xi ))i∈I admet aussi une limite inductive. De plus, on a lim F (Xi ) ∼
=
−→
F (lim Xi ).
−→
 1.9. LIMITES INDUCTIVES DE FONCTEURS REPRÉSENTABLES 25

(2) Si (Yi )i∈I est un foncteur de I dans D qui admet une limite projective, alors
le foncteur (G(Yi ))i∈I admet aussi une limite projective, et on a lim G(Yi ) ∼
=
←−
G(lim Yi ).
←−

Démonstration. — Pour tout Y ∈ D, on a un isomorphisme fonctoriel en Y :

D(F (Xi ), Y ) ∼
= C(Xi , G(Y )).

En prenant la limite projective par rapport à i ∈ I on obtient

lim D(F (Xi ), Y ) ∼

= lim C(Xi , G(Y ))
←− ←−
D’après le corollaire 1.7.2, on en déduit

D(lim F (Xi ), Y ) ∼
= C(lim X , G(Y )) ∼
= D(F (lim X ), Y ),
−→ −→ i −→ i
∼ F (lim Xi ) puisqu’ils représentent le même foncteur.
d’où lim F (Xi ) =
−→ −→
Par passage aux catégories opposées, on déduit le deuxième énoncé du premier.

1.8.4. Soient C une catégorie, I et J deux catégorie petite. On suppose que tout
foncteur de J dans C admet une limite projective. Considérons le foncteur lim :
←−
Fon(J, C) → C qui est adjoint à droite du foncteur diagonal ∆ (cf. §1.8.2). En utilisant
la proposition 1.8.3, on en déduit que, si (Fi )i∈I est un foncteur de I dans la catégorie
de foncteurs Fon(J, C), qui admet une limite projective, alors le foncteur (lim Fi )i∈I
←−
de I dans C admet aussi une limite projective. De plus, on a

lim(lim Fi ) ∼
= lim(lim F ).
←− ←− ←− ←− i
i∈I J J i∈I

1.9. Limites inductives de foncteurs représentables

Dans ce paragraphe, on montre que tout foncteur d’une catégorie petite vers la
catégorie des ensembles est isomorphe à une limite inductive de foncteurs représen-
tables.

1.9.1. Soient C une catégorie petite et F un foncteur de C vers la catégorie des

ensembles. On désigne par IF l’ensemble des couples (A, ρ), où A est un objet de C
et ρ est un élément de F (A). Si (A, ρ) et (A0 , ρ0 ) sont deux éléments de IF , on définit

IF (A, ρ), (A0 , ρ0 ) = {f ∈ C(A, A0 ) | F (f )(ρ) = ρ0 }.

Alors IF est une catégorie petite.

26 CHAPITRE 1. CATÉGORIES ET FONCTEURS

1.9.2. Lemme. — Soient C une catégorie petite et F, G : C → Ens deux foncteurs.

L’application
(1.1) Nat(F, G) −→ lim G(A)
←−
(A,ρ)∈IF

qui envoie ϕ ∈ Nat(F, G) sur (ϕA (ρ))(A,ρ)∈IF est une bijection, où dans la limite
projective on a considéré le foncteur de IF dans Ens qui envoie (A, ρ) sur G(A) et
f : (A, ρ) → (A0 , ρ0 ) sur G(f ) : G(A) → G(A0 ).
Démonstration. — Par définition, Nat(F, G) est le sous-ensemble de
Y Y
Ens(F (A), G(A)) = G(A)
A∈C (A,ρ)∈IF

des éléments
(ϕA : F (A) → G(A))A∈C = (ϕA (ρ))(A,ρ)∈IF
tels que ϕA0 F (f ) = G(f )ϕA pour tout morphisme f : A → A0 . Cette condition
renvient à dire que l’on a
ϕA0 (ρ0 ) = G(f )(ϕA (ρ))
pour tout morphisme f : (A, ρ) → (A0 , ρ0 ) dans IF . Le résultat est donc démontré.

1.9.3. Théorème. — Soient C une catégorie petite et F : C → Ens un foncteur.

La famille de morphismes de foncteurs (ρ : hA → F )(A,ρ)∈IF définit un isomorphisme
(1.2) lim hA = ∼ F,
−→
(A,ρ)∈IF

où on a considéré ρ ∈ F (A) comme un morphisme de foncteurs de hA dans F via le

lemme de Yoneda (cf. §1.5.4).
Démonstration. — Pour tout foncteur G ∈ Fon(C, Ens), on a des isomorphismes
fonctoriels
Nat( lim hA , G) ∼
= lim Nat(hA , G) ∼
= lim G(A) ∼
= Nat(F, G),
−→ ←− ←−
(A,ρ) (A,ρ) (A,ρ)

où le premier isomorphisme provient de la proposition 1.7.1, le deuxième isomorphisme

résulte du lemme de Yoneda et le dernière isomorphisme provient du lemme 1.9.2.
On obtient alors que lim(A,ρ) hA et F représentent le même foncteur de la catégorie
−→
Fon(C, Ens) vers Ens. Ils sont donc isomorphes, compte tenu du corollaire 1.5.7.