关于每个函子直换的研究

我们证明了任意函子都可以直换。更准确地说，我们证明了对于任意$\infty$范畴$\mathcal{C}$，$\infty$范畴$(\mathrm{Cat}_{\infty})_{/\mathcal{C}}$中$\infty$范畴的仿射范畴与从$\mathcal{C}$到双$\infty$范畴$\mathrm{Corr}$（对应关系的双$\infty$范畴）的单位宽松函子的$\infty$范畴之间存在等价。该证明依赖于某种Morita范畴的普适性质，这一性质本身也具有独立的兴趣。