title: Limite (théorie des catégories)
text: # Limite (théorie des catégories)
  
  La notion de limite est une construction catégorique abstraite, qui rend compte d'objets tels que les produits, les produits fibrés et les limites projectives. La construction duale, la colimite, rend compte entre autres des coproduits, sommes amalgamées et limites inductives. Dans certains cas, cette notion coïncide avec la limite au sens de l'analyse.
  
  ## Définition
  
  Soit ${\mathcal {C}}$ une catégorie. On considère un diagramme dans ${\mathcal {C}}$, traduit par un foncteur $F:{\mathcal {D}}^{\mathrm {op} }\to {\mathcal {C}}$. Dans de nombreux cas, on considère ${\mathcal {D}}$ une petite catégorie, voire finie, et on parle respectivement de petit diagramme ou de diagramme fini.
  
  Un cône (en) dans F est la donnée d'un objet N de ${\mathcal {C}}$ et d'une famille $\psi _{X}:N\to F(X)$ de morphismes indicés par les objets X de ${\mathcal {D}}^{\mathrm {op} }$, telle que pour tout morphisme f : X → Y dans $D^{\mathrm {op} }$, on a $F(f)\circ \psi _{X}=\psi _{Y}$. Une limite du diagramme $F:{\mathcal {D}}^{\mathrm {op} }\to {\mathcal {C}}$ est un cône $(L,\phi )$ dans F tel que, pour tout autre cône $(N,\psi )$ dans F, il existe un unique morphisme médiateur u : N → L vérifiant $\phi _{X}\circ u=\psi _{X}$ pour tout X dans ${\mathcal {D}}^{\mathrm {op} }$. Ainsi, tout cône se factorise par la limite, de manière unique. En d'autres termes, on a le diagramme suivant :
  
  De manière équivalente, les limites sont les objets terminaux de la catégorie des cônes (en) dans F. Encore un autre point de vue est le suivant : la catégorie de foncteurs $[{\mathcal {D}}^{\mathrm {op} },{\mathcal {C}}]$ correspond à la catégorie des diagrammes de type ${\mathcal {D}}$ dans ${\mathcal {C}}$. On a le foncteur diagonal (en) $\Delta :{\mathcal {C}}\to [{\mathcal {D}}^{\mathrm {op} },{\mathcal {C}}]$ qui envoie tout objet N de ${\mathcal {C}}$ vers le foncteur constant. Alors les transformations naturelles (qui sont des foncteurs au sens de la catégorie de foncteurs) $\Delta (N)\to F$ sont exactement les cônes de N dans F. Une limite de F n'est alors rien d'autre qu'un morphisme universel de $\Delta$ vers F. Ce point de vue rend visible que les limites sont des constructions universelles, ainsi que leur caractère fonctoriel : le foncteur Lim est adjoint à droite au foncteur diagonal.
  
  Il est tout à fait possible qu'un diagramme ne possède aucune limite, mais si elle existe, elle est unique à isomorphisme près. D'une manière générale, les objets et morphismes précis qui interviennent dans le diagramme dont on prend la limite sont moins importants que les relations qui les lient. En ce sens, un égaliseur est essentiellement la limite d'un diagramme de type $\bullet \rightrightarrows \bullet$. Une catégorie est dite complète si toutes les petites limites existent, c'est-à-dire les limites des diagrammes de type ${\mathcal {D}}$ avec ${\mathcal {D}}$ une petite catégorie.
  
  La notion duale de colimite est obtenue en renversant le sens des flèches, avec une notion de cocône et de catégorie cocomplète.
  
  ## Exemples
  
  * La limite du diagramme vide ${\mathcal {D}}=\emptyset$ est, lorsqu'il existe, l'objet terminal de ${\mathcal {C}}$.
  * Si ${\mathcal {D}}$ est une catégorie discrète, alors la limite correspond au produit.
  * Si ${\mathcal {D}}=a\rightrightarrows b$, alors $\lim F$ est l'égaliseur des morphismes $F(a)\to F(b)$.
  * Si ${\mathcal {D}}=\bullet \rightarrow \bullet \leftarrow \bullet$, la limite correspond à un produit fibré.
  
  ## Propriétés
  
  * Le foncteur Hom covariant commute aux limites, c'est un foncteur continu (en).
  * Tout foncteur représentable préserve les limites (mais pas nécessairement les colimites).
  * Une catégorie admettant les égaliseurs et tous les produits indexés par $\operatorname {Ob} ({\mathcal {D}})$ et $\operatorname {Hom} ({\mathcal {D}})$, admet toutes les limites de forme ${\mathcal {D}}$.
  
  La limite du diagramme $F:{\mathcal {D}}\to {\mathcal {C}}$ peut être construite comme étant l'égaliseur des deux morphismes
  
      $s,t:\prod _{i\in \operatorname {Ob} ({\mathcal {D}})}F(i)\rightrightarrows \prod _{f\in \operatorname {Hom} ({\mathcal {D}})}F(\operatorname {cod} (f))$
  
  donnés par
  
      ${\begin{aligned}s&={\biglF(f)\circ \pi _{F(\operatorname {dom} (f))}{\bigr )}_{f\in \operatorname {Hom} ({\mathcal {D}})}\\t&={\bigl\pi _{F(\operatorname {cod} (f))}{\bigr )}_{f\in \operatorname {Hom} ({\mathcal {D}})}.\end{aligned}}$
  
  ## Limite dans la catégorie des ensembles
  
  On peut considérer les limites dans la catégorie ${\mathcal {C}}$ = Set des ensembles. Alors en posant le foncteur constant $\mathrm {pt} :d\mapsto \{\star \}$, on a
  
      $\lim F=\operatorname {Hom} _{[{\mathcal {D}}^{\mathrm {op} },{\mathsf {Set}}]}(\mathrm {pt} ,F)$
  
  ## Limite pondérée
  
  En théorie des catégories ${\mathcal {V}}$-enrichies, il est naturel de chercher à remplacer les cônes en introduisant un poids $W:{\mathcal {D}}^{\mathrm {op} }\to {\mathcal {V}}$ : on peut définir la limite pondérée $\lim _{W}F$ (parfois notée $\lim^{W}F$ ou encore $\{W,F\}$) comme l'objet de ${\mathcal {C}}$ qui, lorsqu'il existe, vérifie la relation naturelle en c objet de ${\mathcal {C}}$ :
  
      $\operatorname {Hom} _{\mathcal {C}}(c,\lim _{W}F)\simeq \operatorname {Hom} _{[{\mathcal {D}}^{\mathrm {op} },{\mathcal {V}}]}(W(-),\operatorname {Hom} _{\mathcal {C}}(c,F(-)))$
  
  En particulier, lorsque ${\mathcal {V}}={\mathcal {C}}$, on a
  
      $\lim _{W}F=\operatorname {Hom} _{[{\mathcal {D}}^{\mathrm {op} },{\mathcal {V}}]}(W,F)$
  