In the mathematical field of category theory, the product of two categories C and D, denoted C × D and called a product category, is an extension of the concept of the Cartesian product of two sets.
Product categories are used to define bifunctors and multifunctors.
A functor whose domain is a product category is known as a bifunctor.
The product operation on categories is commutative and associative, up to isomorphism, and so this generalization brings nothing new from a theoretical point of view.
This category theory-related article is a stub.