Tags:
#higher-algebra/category-theory 

A [colimit](colimit.md) indexed by a discrete category (that is, a set) is the same thing as a sum (coproduct).