Colimit: coequalizer

A coequalizer is a kind of colimit. Given a pair of parallel arrows, considered as a diagram in some category, a coequalizer is the colimit of that pair of parallel arrows in that category.

limits: pair of parallel arrows, 1, coequalizer

This data as json

diagram is_colimit construction
pair of parallel arrows 1 coequalizer