Definition:Product (Category Theory)/General Definition/Finite Product

Definition
Let $\mathbf C$ be a metacategory. Let $\ds \prod \CC$ be a product for a finite set $\CC$ of objects of $\mathbf C$.

Then $\ds \prod \CC$ is called a finite product.

Also see

 * Category has Finite Products iff Terminal Object and Binary Products
 * Binary Product is Finite Product