Universal property
= Universal property
{wiki}
A universal property characterizes an object by a prescribed family of <morphisms> and a unique factorization of every competing family. It determines that object up to a unique compatible <isomorphism>. Examples include the <pushout in a category> and the <universal property of the tensor product of modules>.