極限
極限\langle \lim T , \pi \rangle:
\Deltaから
Tへの
右普遍射 where
J: 圏
T\colon J \to C: 函手
\pi \colon (\lim T).\Delta \Rightarrow T: 普遍な自然変換
where
\Delta \colon C \to C^J:
対角函手 右普遍射なので
コンマ圏\Delta ↓ \left\lang T \right\rang^♯の
終対象と同一視できる
(\lim T)^♯ =\ \operatorname{Ran}_! T\colon 1 \to C
