@misc{indiciaeb350283fde5d,
  title = {Simplicial Homotopy Type Theory is not just Simplicial: What are \$\textbackslash{}infty\$-Categories?},
  author = {Nima Rasekh},
  year = {2025},
  url = {https://arxiv.org/abs/2508.07737},
  note = {Source identifier: 2508.07737}
}