In the mathematical field of category theory, the product of two categories C and D, denoted  and called a product category, is an extension of the concept of the Cartesian product of two sets.
The product of two categories, denoted by  and called a product category, is analogous to the Cartesian product of two sets in that it extends the notion of combining elements from different sets.