@misc{indiciae0c9e06e41e6b,
  title = {Generation of Grothendieck topologies, provability and operations on subtoposes},
  author = {Olivia Caramello and Laurent Lafforgue},
  year = {2025},
  url = {https://arxiv.org/abs/2508.21134},
  note = {Source identifier: 2508.21134}
}