colimit

colimitは、圏論における非常に強力な概念であり、複数の対象をある種の制約の下で一つにまとめる操作を一般化したものです。直感的には、図式に含まれるすべての対象から射が伸びており、かつそれらが図式の構造と整合的であるような最小の対象を構築することに相当します。

具体的な構成要素との関係

colimitは、より単純な構成概念を包括する一般化された概念です。例えば、図式が単に離散的な対象の集合である場合はcoproduct（余積）となり、2つの対象とそれらを結ぶ射がある場合はpushout（押し出し）となります。また、有向集合上の図式である場合はdirect limit（直極限）と呼ばれます。このように、どのような図式から出発するかによって、得られる結果の数学的な意味合いが異なります。

limitとの対比

limit（極限）がすべての対象から射を出すという制約を持つ普遍的な対象を求めるのに対し、colimitはすべての対象から射を受けるという逆方向の性質を持ちます。圏論における双対性の観点から、ある圏におけるcolimitは、その反対圏におけるlimitと完全に一致します。このため、一方の性質を理解していれば、もう一方の概念を対称的に理解することが可能です。