Definition:Product Category

Definition
Let $\mathbf C$ and $\mathbf D$ be metacategories.

The product category $\mathbf C \times \mathbf D$ is the category with:

Also see

 * Product Category is Category