generated at
余錐
余コーン
cocone

definition
\left\lang x; \mu \right\rangが図式T\colon J → C上の余錐
\iff \left\lang\textrm{Cocone}\colon J,C ;T,x; μ \right\rang
where
x\colon C
i.e x^♯ \colon 1 → C
シャープ格上げ
自然変換
μ \colon T ⇒ {! * x^♯}
i.e.j.μ \colon j.T → x
cocone.sig
2-signature <Cocone: J, C; T, x; μ> fixed-in CAT Inherit <Diagram: J, C; T> --Data -- 0-morph -- J : Cat -- C : CAT -- 1-morph -- T : J -> C Data 1-morph x : 1 -> C 2-morph μ : T => ! * x : J -> C
etc
省略して\left\{ μ_j \colon T_j → x \right\}とだけ示されることが多い
dual 錐
Ref cocone in nLab

余極限で使ってる