余極限
定義
余極限\langle \operatorname{colim} T , \mu \rangle:
Tから
\Deltaへの
普遍射 where
J:圏
T\colon J \to C: 函手
\mu \colon T \Rightarrow (\operatorname{colim} T).\Delta: 普遍な自然変換
where
対角函手\Delta \colon C \to C^J
余極限は同型を除いて一意
{\operatorname{colim} T} =\ !^\dagger T\colon 1 \to C
シャープ格上げされている
