Proposition 3.1.6. ([Lur17, Prop. 4.8.1.15, Prop. 4.8.1.10]).
The \(\infty\)-category \(\mathrm{Pr}^\mathrm{L}\) can be equipped with a symmetric monoidal structure for which the Yoneda embedding defines a symmetric monoidal functor \[\mathcal P\colon \mathrm{Cat}_{\infty}\rightarrow\mathrm{Pr}^\mathrm{L}\] where \(\mathrm{Cat}_{\infty}\) is equipped with its Cartesian symmetric monoidal structure.