@misc{indiciae6f6fb676c040,
  title = {Aczel-Mendler Bisimulations in a Regular Category},
  author = {Jeremy Dubut},
  year = {2025},
  doi = {10.46298/lmcs-21(3:23)2025},
  url = {https://arxiv.org/abs/2303.04442},
  note = {Source identifier: 2303.04442}
}