@misc{indiciaef04cc79eb851,
  title = {The Patch Topology in Univalent Foundations},
  author = {Igor Arrieta and Martín Hötzel Escardó and Ayberk Tosun},
  year = {2024},
  doi = {10.1017/s0960129525000088},
  url = {https://arxiv.org/abs/2402.03134},
  note = {Source identifier: 2402.03134}
}