Cone over a diagram
= Cone over a diagram
{wiki=Limit_(category_theory)#Cones}
A cone over $D:\mathcal J\to\mathcal C$ with vertex $A$ is a natural family $\gamma_j:A\to D(j)$ satisfying $D(u)\gamma_i=\gamma_j$ for every $u:i\to j$. Cone morphisms are maps of vertices commuting with every leg.