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