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 |