1: \begin{definition} \label{def:D}

2: Let $\mathbb{D}_F^{\otimes}$ denote the full subcategory of $\cat{M}^{\otimes}_{(F^*)^{op}}$ spanned by the objects of $\mathbb{I}_\cat{C}^{\otimes}$ and $\mathbb{I}_{\cat{D}}^{\otimes}$ (which, recall, we are labelling by finite sequences of objects in $\spectra(\cat{C})$ and $\spectra(\cat{D})$ respectively).

3: 

4: Then $\mathbb{D}_F^{\otimes}$ is a $(\mathbb{I}_{\cat{D}}^{\otimes},\mathbb{I}_{\cat{C}}^{\otimes})$-bimodule. The argument of Lemma~\ref{lem:cardinal} implies that, up to equivalence, the definition of $\mathbb{D}_F^{\otimes}$ does not depend on the choice of cardinal $\kappa$, and that we have

5: \[ \begin{split} \Map_{\mathbb{D}_F^{\otimes}}(X_1,\dots,X_n;Y) &\homeq \Nat_{\cat{F}_{\cat{D}}}(\der_1(-)(Y),\der_n(- \circ F)(X_1,\dots,X_n)) \\ &\homeq \der_nF(X_1,\dots,X_n;Y) \end{split} \]

6: by Theorems~\ref{thm:dn} and \ref{thm:dF}. In other words $\mathbb{D}_F^{\otimes}$ encodes the desired bimodule structure on the derivatives of $F$, over the $\infty$-operads formed by the derivatives of $I_\cat{C}$ and $I_{\cat{D}}$.

7: \end{definition}