Product (category theory)
= Product (category theory)
{wiki=Product_(category_theory)}
In category theory, a **product** is a fundamental construction that generalizes the notion of the Cartesian product from set theory to arbitrary categories. The concept of a product allows us to describe the way in which objects and morphisms (arrows) can be combined in a categorical context.