Definition:Product Category

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

Define the product category $\mathbf C \times \mathbf D$ to be the category with:

By Product Category is Category, this is indeed a category.