Remark 8.4.5.11. The $\operatorname{\mathcal{K}}$-cocompletion construction of this section has been studied in more detail by Rezk; we refer the reader to [rezk2022free] for more details.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Remark 8.4.5.11. The $\operatorname{\mathcal{K}}$-cocompletion construction of this section has been studied in more detail by Rezk; we refer the reader to [rezk2022free] for more details.