@misc{indiciae5a45da9f7f25,
  title = {Reflexive graph lenses in univalent foundations},
  author = {Jonathan Sterling},
  year = {2026},
  doi = {10.1017/s0960129526100565},
  url = {https://arxiv.org/abs/2404.07854},
  note = {Source identifier: 2404.07854}
}