“A universal property tells us what an object does, rather than what it is made of.” — Grothendieckipedia