Definition 4.4.2. We say the category $\mathcal{C}$ has products of pairs of objects if a product $x \times y$ exists for any $x, y \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$.
Definition 4.4.2. We say the category $\mathcal{C}$ has products of pairs of objects if a product $x \times y$ exists for any $x, y \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$.
Comments (0)
There are also: