Colimit: binary sum

A binary sum is a kind of colimit. Given a pair of points, considered as a diagram in some category, a binary sum is the colimit of that pair of points in that category.

limits: pair of points, 1, binary sum

This data as json