Colimit

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

• An object $C$ with injections ${\iota }_j:D(j)\to C$
• Such that for any cocone $(D(j)\to X)$ there exists a unique map $C\to X$

Universal property: initial object in category of cocones.