@misc{indiciae9cce74bf6135,
  title = {Synthetic Homotopy Theory},
  author = {Yuhang Wei},
  year = {2024},
  url = {https://arxiv.org/abs/2409.15693},
  note = {Source identifier: 2409.15693}
}