Product (Category)

up:: 027 MOC Category Theory

Given a Category , and objects , we have that their product is defined by the diagram above:

• For every , there is a projection morphism
• If there is some other object which has morphisms to the individual objects , then there is a unique morphism from it to the product

Examples

• Cartesian products in Set are categorical products

---

References

• MAC LANE, Saunders, Categories for the Working Mathematician, New York, NY: Springer New York, 1978.