@misc{indiciaed89980233bcc, title = {Proper Ehresmann semigroups}, author = {Ganna Kudryavtseva and Valdis Laan}, year = {2023}, doi = {10.1017/s0013091523000391}, url = {https://arxiv.org/abs/2203.07129}, note = {Source identifier: 2203.07129} }