Limite Inductive

Le colimite d'un système direct (dirigé) d'objets et de morphismes compatibles : un objet muni d'applications canoniques depuis chaque terme du système, universel pour recevoir des morphismes compatibles depuis le système ; les éléments s'obtiennent comme classes d'équivalence d'éléments provenant d'un certain terme identifiés lorsqu'ils coïncident à un stade ultérieur.