How is the product used as an example of a universal property?

Conditions

• The example is set inside a category.
• A and B are given objects in the product example.

Reasoning, step by step

1. Take A and B as the given objects.
2. Introduce $A\times B$ as the product-related object beneath P.
3. Display arrows from P and $A\times B$ to A and B to show the projection-style relationships.

Example

The Product section shows P above A and B, and $A\times B$ above A and B, with arrows toward A and B.

Common misconceptions

• Assuming that the product is the only example of a universal property.
• Confusing the product object with the given objects A and B.

Watch the explanation

Explore next

• What is the universal property of the Cartesian product in terms of function spaces?
• How does the universal property of the Cartesian product differ from other operations?