Loubaton's characterization of the image of the right adjoint embedding
Let R :\Cat∞L↪\Cat∞R\colon \Cat^L_\infty\hookrightarrow \Cat_\inftyR:\Cat∞L↪\Cat∞ be the embedding of the category of presentable ∞\infty∞-categories and colimit-preserving functors into the category of…
MathDB