Definition 4.5.2. We say the category \mathcal{C} has coproducts of pairs of objects if a coproduct x \amalg y exists for any x, y \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C}).
Definition 4.5.2. We say the category \mathcal{C} has coproducts of pairs of objects if a coproduct x \amalg y exists for any x, y \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C}).
Comments (0)