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 :


 * For all finite sets of objects $\CC \subseteq \mathbf C_0$, there is a product $\ds \prod \CC$ for $\CC$.

Also see

 * Definition:Cartesian Closed Category
 * Definition:Finitely Complete Category