TY - RPRT TI - Quantaloidal Completions of Order-enriched Categories and Their Applications AU - Min Liu AU - Yulin Li PY - 2023 DO - 10.46298/entics.10339 UR - https://arxiv.org/abs/2211.10932 ID - 2211.10932 ER -