@misc{indiciae1d2ba79c9b04, title = {On lax protomodularity of Ord-enriched categories}, author = {Maria Manuel Clementino and Andrea Montoli and Diana Rodelo}, year = {2022}, url = {https://arxiv.org/abs/2210.14332}, note = {Source identifier: 2210.14332} }