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