Definition:Category with Products/Finite

Definition
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 $\mathcal C \subseteq \mathbf C_0$, there is a product $\displaystyle \prod \mathcal C$ for $\mathcal C$.

Also see

 * Cartesian Closed Category
 * Finitely Complete Category