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: