@misc{indiciaeec66e2e90ebd,
  title = {The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations},
  author = {Daniel Gratzer and Håkon Gylterud and Anders Mörtberg and Elisabeth Stenholm},
  year = {2024},
  doi = {10.1017/s0960129524000288},
  url = {https://arxiv.org/abs/2402.04893},
  note = {Source identifier: 2402.04893}
}