TY  - RPRT
TI  - Formal category theory in $\infty$-equipments I
AU  - Jaco Ruit
PY  - 2025
UR  - https://arxiv.org/abs/2308.03583
ID  - 2308.03583
ER  -