TY  - RPRT
TI  - Aczel-Mendler Bisimulations in a Regular Category
AU  - Jeremy Dubut
PY  - 2025
DO  - 10.46298/lmcs-21(3:23)2025
UR  - https://arxiv.org/abs/2303.04442
ID  - 2303.04442
ER  -