Fibrations of $\infty$-categories

David Ayala, John Francis

We construct a flagged $\infty$-category $\mathsf{Corr}$ of $\infty$-categories and bimodules among them. We prove that $\mathsf{Corr}$ classifies exponentiable fibrations. This represen…