coproduct

Tags: #higher-algebra/category-theory

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