余錐
definition.icon
$ \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
code: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.icon
省略して$ \left\{ μ_j \colon T_j → x \right\} とだけ示されることが多い