Definition:Category with Products/Finite

From ProofWiki
Jump to navigation Jump to search

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


Sources