錐
\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
cocone.sig2-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省略して\left\{ μ_j \colon x → T_j \right\}とだけ示されることが多い
コンマ圏に合わせて