{"construction": "directed colimit", "qualifier_hr": "of any preorder"}
{"construction": "directed limit", "qualifier_hr": "of any preorder"}