title: Localisation d'une catégorie
text: # Localisation d'une catégorie
  
  En mathématiques, et plus précisément en théorie des catégories, la localisation de catégorie est une construction algébrique permettant d'inverser une certaine classe de morphismes. Elle a notamment des applications en topologie algébrique et en géométrie algébrique.
  
  ## Définition
  
  Pour une catégorie ${\mathcal {C}}$ et une classe de morphismes ${\mathcal {W}}\subset \mathrm {mor} ({\mathcal {C}})$, la localisation ${\mathcal {C}}[{\mathcal {W}}^{-1}]$ de ${\mathcal {C}}$ par rapport à ${\mathcal {W}}$ est la catégorie universelle où tous les morphismes de ${\mathcal {W}}$ sont inversibles.
  
  Plus précisément, la localisation de ${\mathcal {C}}$ par rapport à ${\mathcal {W}}$ est la donnée d'une catégorie ${\mathcal {C}}[{\mathcal {W}}^{-1}]$ et d'un foncteur $l_{\mathcal {W}}\colon {\mathcal {C}}\rightarrow {\mathcal {C}}[{\mathcal {W}}^{-1}]$ tel que
  
  $w\in {\mathcal {W}}$
  
  $l_{\mathcal {W}}(w)$
  
  ${\mathcal {C}}[{\mathcal {W}}^{-1}]$
  
  et tel que pour toute catégorie ${\mathcal {D}}$ et foncteur $f\colon {\mathcal {C}}\rightarrow {\mathcal {D}}$ satisfaisant
  
  $w\in {\mathcal {W}}$
  
  $f(w)$
  
  ${\mathcal {D}},$
  
  il existe un unique foncteur $g\colon {\mathcal {C}}[{\mathcal {W}}^{-1}]\rightarrow {\mathcal {D}}$ tel que $f=g\circ l_{\mathcal {W}}$. Cette propriété garantit l'unicité (à isomorphisme près) de la localisation, si elle existe.
  
  ## Construction
  
  ### Catégories de zig-zags
  
  Si ${\mathcal {W}}$ est un ensemble de morphismes, il est possible de construire une localisation ${\mathcal {C}}[{\mathcal {W}}^{-1}]$ de ${\mathcal {C}}$ par rapport à ${\mathcal {W}}$ :
  
  * les objets de ${\mathcal {C}}[{\mathcal {W}}^{-1}]$ sont les mêmes que ceux de ${\mathcal {C}}$
  * les morphismes entre deux objets $A$ et $B$ sont des classes d'équivalence de « zig-zags » dans ${\mathcal {C}}$ : $A\xrightarrow {f_{1}} X_{1}\xleftarrow {w_{1}} X_{2}\xrightarrow {f_{2}} \cdots \xleftarrow {w_{n-1}} X_{p-1}\xrightarrow {f_{n}} X_{p}\xleftarrow {w_{n}} B$ avec $w_{1},\ldots ,w_{n}\in {\mathcal {W}}$ et $f_{1},\ldots ,f_{n}$ des morphismes quelconques de ${\mathcal {C}}$. Un tel « zig-zag » représente la composée $w_{n}^{-1}\circ f_{n}\circ w_{n-1}^{-1}\cdots f_{2}\circ w_{1}^{-1}\circ f_{1}$.
  
  ### Calcul des fractions (à gauche)
  
  Une classe de morphismes ${\mathcal {W}}\subset \mathrm {mor} ({\mathcal {C}})$ admet un calcul des fractions à gauche si
  
  * il contient les morphismes identités : $\forall X\in \mathrm {obj} ({\mathcal {C}}),{\text{id}}_{X}\in {\mathcal {W}}$,
  * il est stable par composition : $\forall u,v\in {\mathcal {W}},u\circ v\in {\mathcal {W}}$,
  * tout diagramme $X'\xleftarrow {u} X\xrightarrow {f} Y$ dans ${\mathcal {C}}$, avec $u\in {\mathcal {W}}$ peut être complété en un carré commutatif, avec $v\in {\mathcal {W}}$ : ${\begin{matrix}X&\xrightarrow {f} &Y\\\scriptstyle u\displaystyle \downarrow &&\downarrow \scriptstyle v\displaystyle \\X'&\xrightarrow {g} &Y\end{matrix}}$,
  * pour tous morphismes parallèles $X{\overset {f}{\underset {g}{\rightrightarrows }}}Y$ tel qu'il existe $u\in {\mathcal {W}}$ tel que $fu=gu$, alors il existe $v\in {\mathcal {W}}$ tel que $vf=vg$.
  
  Si ${\mathcal {W}}$ admet un calcul des fractions, alors la localisation de ${\mathcal {C}}$ par rapport à ${\mathcal {W}}$ existe et admet une présentation simple :
  
  * les objets de ${\mathcal {C}}[{\mathcal {W}}^{-1}]$ sont les mêmes que ceux de ${\mathcal {C}}$ ;
  * les morphismes entre deux objets $A$ et $B$ sont des classes d'équivalence de diagrammes dans ${\mathcal {C}}$ de la forme : $A\xrightarrow {f} X\xleftarrow {w} B$ avec $w\in {\mathcal {W}}$ et $f$ des morphismes quelconques de ${\mathcal {C}}$. Un tel diagramme représente la composée $f\circ w^{-1}$ ;
  * deux tels diagrammes $A\xrightarrow {f_{1}} X_{1}\xleftarrow {w_{1}} B$ et $A\xrightarrow {f_{2}} X_{2}\xleftarrow {w_{2}} B$ sont équivalents s'il existe $X_{1}\xrightarrow {v_{1}} X_{3}$ et $X_{2}\xrightarrow {v_{2}} X_{3}$ tels que $v_{1}\circ w_{1}=v_{2}\circ w_{2}$ et $v_{1}\circ f_{1}=v_{2}\circ f_{2}$. Cette relation d'équivalence est similaire à celle intervenant dans la construction du corps des fractions ou, plus généralement, dans une localisation d'un anneau commutatif.
  
  ## Exemples et applications
  
  * La catégorie homotopique associée à un modèle de Quillen est sa localisation par rapport aux équivalences faibles.
  * Étant donné un espace topologique $X$, la catégorie des faisceaux $\mathrm {Sh} (X)$ peut être obtenue comme une certaine localisation de la catégorie des préfaisceaux $\mathrm {PSh} (X)$, tel que la faisceautisation soit le foncteur de localisation.
  * La localisation d'un anneau commutatif est un cas particulier de localisation d'une catégorie, où les anneaux sont vus comme des catégories (préadditive) à un seul objet.
  