@misc{indiciae3d70becdd777,
  title = {The \$\textbackslash{}infty\$-category of \$\textbackslash{}infty\$-categories in simplicial type theory},
  author = {Daniel Gratzer and Jonathan Weinberger and Ulrik Buchholtz},
  year = {2026},
  url = {https://arxiv.org/abs/2602.02218},
  note = {Source identifier: 2602.02218}
}