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