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

From ProofWiki
Jump to navigation Jump to search

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


Sources