Formal category theory in $\infty$-equipments I

Jaco Ruit

We generalize proarrow equipments from strict category theory to the $\infty$-categorical setting, introducing the concept of $\infty$-equipments. These are specific double $\infty…