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