Each of these may be defined by requiring it to satisfy a universal property. A universal property is a property of some construction which boils down to (is manifestly equivalent to) the property that an associated object is a universal initial object of some (auxiliary) category.

In good cases, every single one of these is a special case of every other, so somehow one single concept here comes to us with many different faces.