 Categorical limit

A limit of a diagram $D:\mathcal{J}\to \mathcal{C}$ is a terminal cone over $D$: every other cone factors through it uniquely.