TY  - RPRT
TI  - The $\infty$-category of $\infty$-categories in simplicial type theory
AU  - Daniel Gratzer
AU  - Jonathan Weinberger
AU  - Ulrik Buchholtz
PY  - 2026
UR  - https://arxiv.org/abs/2602.02218
ID  - 2602.02218
ER  -