TY  - RPRT
TI  - Directed univalence for simplicial objects in an $\infty$-topos
AU  - Evan Cavallo
AU  - Emily Riehl
AU  - Christian Sattler
PY  - 2026
UR  - https://arxiv.org/abs/2607.02420
ID  - 2607.02420
ER  -