[0M2P] Definition 2.2.6. The ∞\infty-category of pointed ∞\infty-categories is denoted by 𝐂𝐚𝐭∞,∗=(𝐂𝐚𝐭∞)Δ0/\mathbf{Cat}_{\infty,*}=\left(\mathbf{Cat}_{\infty}\right)_{\Delta^{0}/}. The ∞\infty-category of pointed ∞\infty-operads is denoted by 𝐎𝐩∞,∗=𝐎𝐩∞×𝐂𝐚𝐭∞𝐂𝐚𝐭∞,∗\mathbf{Op}_{\infty,*}=\mathbf{Op}_{\infty}\times_{\mathbf{Cat}_{\infty}}\mathbf{Cat}_{\infty,*}. We also denote by 𝐎𝐩∞,∗un\mathbf{Op}_{\infty,*}^{\operatorname{\scriptsize{un}}} and 𝐎𝐩∞,∗red\mathbf{Op}_{\infty,*}^{\operatorname{\scriptsize{red}}} the corresponding ∞\infty-categories of pointed unital (resp. reduced) ∞\infty-operads.