Product (category theory) (source code)

= 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.