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