@misc{indiciae0d289322b954,
  title = {Syntactic presentations for glued toposes and for crystalline toposes},
  author = {Matthias Hutzler},
  year = {2022},
  url = {https://arxiv.org/abs/2206.11244},
  note = {Source identifier: 2206.11244}
}