Limit

A limit of a diagram $D:J\to \mathcal{C}$ is:

• An object $L$ with projections ${\pi }_j:L\to D(j)$
• Such that for any cone $(X\to D(j))$ there exists a unique map $X\to L$

Universal property: terminal object in category of cones.