Cocone in a multicategory [mde-CKQ2]
Cocone in a multicategory [mde-CKQ2]
For a diagram \(J : D \to M\) in a multicategory, a cocone over \(J\) with nadir \(A\) is a natural transformation of multifunctors \(D \Rightarrow \Delta _A\).
For a diagram \(J : D \to M\) in a multicategory, a cocone over \(J\) with nadir \(A\) is a natural transformation of multifunctors \(D \Rightarrow \Delta _A\).