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 if and only if:

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

Also see

• Cartesian Closed Category
• Finitely Complete Category