The composite \(\mathrm{Cat}_{\infty}^{\sqcup, \mathrm{idem}}\simeq \mathrm{Pr}^{\mathrm{L},\mathrm{cp}}\rightarrow\mathrm{Pr}^{\mathrm{L},\mathrm{c}}\simeq \mathrm{Cat}_{\infty}^{\mathrm{rex}, \mathrm{idem}}\) is left adjoint to the subcategory inclusion \(\mathrm{Cat}_{\infty}^{\mathrm{rex}, \mathrm{idem}}\rightarrow\mathrm{Cat}_{\infty}^{\sqcup, \mathrm{idem}}\).
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2