construction,qualifier_hr
coequalizer,two parallel arrows
equalizer,two parallel arrows
binary product,two objects
binary sum,two objects
pullback,span
directed colimit,of any preorder
directed limit,of any preorder
idempotent splitting,endomorphism
pushout,cospan
initial object,
terminal object,