📝Category Theory: Coproduct
A dual of Product.
See also:
Cocartesian monoidal category—a monoidal category with coproduct and initial object
A dual of Product.
See also:
Cocartesian monoidal category—a monoidal category with coproduct and initial object