TY - RPRT TI - Rewriting and presentations of quasicategories AU - Simon Henry PY - 2026 UR - https://arxiv.org/abs/2608.02529 ID - 2608.02529 ER -