small coproduct

Let \(\mathcal{C}\) be a category. A small coproduct is a colimit for a discrete, small diagram

see:

• discrete colimit as coproduct