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

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

Then $\displaystyle \prod \mathcal C$ is called a finite product.