TY  - RPRT
TI  - Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
AU  - Nima Rasekh
PY  - 2025
UR  - https://arxiv.org/abs/2508.07737
ID  - 2508.07737
ER  -