diagram,is_colimit,construction
pair of parallel arrows,0,equalizer
pair of parallel arrows,1,coequalizer