Definition:Category with Products/Binary

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\mathbf C$ be a metacategory.

Then $\mathbf C$ is said to have binary products or to be a (meta)category with binary products if and only if:

For all objects $C, D \in \mathbf C_0$, there is a binary product $C \times D$ for $C$ and $D$.


Examples


Sources