Universal construction
A universal construction is a construction — usually a collection of objects and morphisms — characterised by a universal property up to isomorphism.
A universal construction is a construction — usually a collection of objects and morphisms — characterised by a universal property up to isomorphism.