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