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