\begin{definition}[Definition:Category with Products/Binary]
Let $\mathbf C$ be a metacategory.
Then $\mathbf C$ is said to '''have binary products''' or to be a '''(meta)category with binary products''' {{iff}}:
:For all objects $C, D \in \mathbf C_0$, there is a binary product $C \times D$ for $C$ and $D$.
\end{definition}