Cocone under a diagram
= Cocone under a diagram
A cocone under $D:\mathcal J\to\mathcal C$ with vertex $A$ is a natural family $\lambda_j:D(j)\to A$ satisfying $\lambda_kD(u)=\lambda_j$ for every $u:j\to k$. Cocones are cones in the <opposite category>.