@misc{indiciaec84894e5f23f,
  title = {Constructive higher sheaf models with applications to synthetic mathematics},
  author = {Thierry Coquand and Jonas Höfer and Christian Sattler},
  year = {2026},
  url = {https://arxiv.org/abs/2605.15126},
  note = {Source identifier: 2605.15126}
}