La colimite d'un système dirigé (souvent filtrant), aussi appelée limite directe ou inductive, qui produit un objet obtenu en recollant de façon cohérente les objets du système le long des morphismes de connexion et caractérisé par une propriété universelle pour les applications issues du système.

Principe

Recoller les objets d'un diagramme dirigé le long des applications de transition spécifiées, en identifiant librement les éléments qui sont images les uns des autres par les morphismes de connexion ; la limite inductive est le plus petit objet recevant des applications compatibles depuis le système et universel pour cette propriété.

Démonstration

Un exemple élémentaire en algèbre : prendre les espaces vectoriels V_n = k^n avec les inclusions standard i_n: k^n ↪ k^{n+1} (ajout d'une coordonnée nulle) ; la limite directe est l'espace des suites finies (l'union des images), c'est‑à‑dire l'union dénombrable de ces espaces de dimension finie munie de la structure de colimite.

Mauvaise application

Confondre limites inductives et unions ensemblistes sans tenir compte des identifications imposées par les morphismes, ou supposer que des propriétés topologiques ou catégoriques se transmettent au limite sans vérification (par ex. complétude, propriété de Hausdorff pour les colimites topologiques).

Conséquence

On obtient des injections canoniques de chaque étape dans la colimite et une propriété universelle : toute famille compatible d'applications des étapes vers un autre objet se factorise de façon unique par la limite inductive, permettant des constructions par approximation successive ou par union.

Inversion

La notion duale est la limite projective : tandis que les limites inductives recollent les étapes en les adjoignant librement et en identifiant le long des morphismes, les limites projectives sélectionnent des familles compatibles qui satisfont simultanément toutes les contraintes de transition.

Limite

Existe dans toute catégorie cocomplète ; dans des catégories enrichies ou topologiques une précaution supplémentaire est nécessaire car les colimites peuvent ne pas préserver la finitude, la compacité ou les propriétés de séparation, et les colimites topologiques peuvent avoir des topologies quotient subtiles.

Tension sémantique

La tension entre voir une limite inductive comme une colimite catégorique (propriété universelle) et comme une union croissante (construction concrète) peut engendrer de la confusion lorsque les identifications sont non triviales ou quand une structure additionnelle (topologie, notion de convergence) doit être prise en compte.

Synthèse

Une limite inductive est l'objet colimite obtenu en recollant de manière cohérente une famille dirigée d'objets le long de morphismes de connexion : concrètement une union explicite avec identifications, et abstraitement un destinataire universel de cartes compatibles, utilisée pour construire des objets plus grands à partir d'éléments successifs.