The formal template for a universal property consists of three parts: first, specify the given things; second, specify the object or construction being defined; and third, state a condition that holds for every other thing in the same category.
Conditions: The quantified condition ranges over other things in the same category.; The example uses objects and morphisms as possible “things.”
The formal template for a universal property consists of three parts: first, specify the given things; second, specify the object or construction being defined; and third, state a condition that holds for every other thing in the same category.
Conditions: The quantified condition ranges over other things in the same category.; The example uses objects and morphisms as possible “things.”