余極限
colimit
WIP.icon
定義
https://gyazo.com/5e354490050166ae7197a8fc28f3a99a
余極限$ \langle \operatorname{colim} T , \mu \rangle : $ T から$ \Delta への普遍射
where
添字圏 index category
$ J :圏
図式 diagram
$ T\colon J \to C : 函手
$ \mu \colon T \Rightarrow (\operatorname{colim} T).\Delta : 普遍な自然変換
where
対角函手$ \Delta \colon C \to C^J
余極限は同型を除いて一意
余極限は左Kan拡張
$ {\operatorname{colim} T} =\ !^\dagger T\colon 1 \to C
https://gyazo.com/f00ca655b906194477bc7f9b6f8f1f4cLaTeX#5d5387c9611542000008c3a7
シャープ格上げされている
dual.icon : 極限