TY - RPRT TI - Double categorical model of $(\infty,1)$-categories AU - Léonard Guetta AU - Lyne Moser PY - 2024 UR - https://arxiv.org/abs/2412.15715 ID - 2412.15715 ER -