@misc{indiciae63f98a13a443,
  title = {Orbifolds as microlinear types in synthetic differential cohesive homotopy type theory},
  author = {David Jaz Myers},
  year = {2022},
  url = {https://arxiv.org/abs/2205.15887},
  note = {Source identifier: 2205.15887}
}