@misc{indiciaea961ab7d3f7e,
  title = {Cauchy-completions and the rule of unique choice in relational doctrines},
  author = {Francesco Dagnino and Fabio Pasquali},
  year = {2024},
  url = {https://arxiv.org/abs/2402.19266},
  note = {Source identifier: 2402.19266}
}