TY - RPRT TI - On lax protomodularity of Ord-enriched categories AU - Maria Manuel Clementino AU - Andrea Montoli AU - Diana Rodelo PY - 2022 UR - https://arxiv.org/abs/2210.14332 ID - 2210.14332 ER -