錐
definition.icon
$ \left\lang x; \mu \right\rang が図式$ T\colon J → C 上の錐 $ \iff \left\lang\textrm{Cone}\colon J,C ;x, T; μ \right\rang
where
$ x\colon C
i.e $ x^♯ \colon 1 → C
$ μ \colon \Delta_{x} ⇒ T
i.e.
$ μ \colon {! * x^♯} ⇒ T
$ j.μ \colon x → j.T
code:cocone.sig
2-signature <Cone: J, C; x, T; μ> 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
μ : ! * x => T
: J -> C
etc.icon
省略して$ \left\{ μ_j \colon x → T_j \right\} とだけ示されることが多い
dragoon8192.icon 指標の要素の順番を入れ替えた