Symmetric monoidal functor category

Definition 14.2.3. Let \(C\) and \(D\) be symmetric monoidal \(\infty \)-categories. We define \(\Fun ^{\otimes }(C,D)\) to be the \(\infty \)-category whose associated complete Segal anima is \[ N(\Fun ^{\otimes }(C,D))_n := \Map ^{\otimes }(C,\Fun ([n],D)), \] where \(\Fun ([n],D)\) carries the pointwise symmetric monoidal structure. This is a complete Segal anima because \(\Map ^{\otimes }(C,-)\) preserves limits; see Proposition 1.8.6.