TY - RPRT TI - Formal category theory in $\infty$-equipments II: Lax functors, monoidality and fibrations AU - Jaco Ruit PY - 2024 UR - https://arxiv.org/abs/2408.15190 ID - 2408.15190 ER -