\begin{definition}[Definition:Category with Products/Finite]
Let $\mathbf C$ be a metacategory.
Then $\mathbf C$ is said to '''have products''' or to be a '''(meta)category with products''' {{iff}}:
:For all finite sets of objects $\CC \subseteq \mathbf C_0$, there is a product $\ds \prod \CC$ for $\CC$.
\end{definition}