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