Definition:Category with Products/Binary

Definition
Let $\mathbf C$ be a metacategory.

Then $\mathbf C$ is said to have binary products or to be a (meta)category with binary products :


 * For all objects $C, D \in \mathbf C_0$, there is a binary product $C \times D$ for $C$ and $D$.

Examples

 * The category of sets $\mathbf{Set}$ (proof)
 * The category of categories $\mathbf{Cat}$ (proof)