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.
In category theory, the product of two categories, denoted by  and termed a product category, is an extension of the concept of combining elements from two sets into a new set.