1: \begin{definition}\label{def:treecatg-presheaf-monoidal}

2: Suppose $\G$ is an action operad, and $X,Y\in \Settotreecatgop$.

3: \begin{description}

4: \item[Monoidal Product] Define the object\index{monoidal product!of presheaves@of $\Treecatg$-presheaves} \[X\tensorsub{\G} Y = \colimover{(x;y)\,\in\, X(T,\sigma)\times Y(T',\sigma')} \Nerveg\bigl(\G^{(T,\sigma)}\tensorg \G^{(T',\sigma')}\bigr) \in \Settotreecatgop\] in which:

5: \begin{itemize}

6: \item $\tensorg$ is the symmetric monoidal product in $\gopset$ in Theorem \ref{goperad-symmetric-monoidal}.

7: \item $\G^{(T,\sigma)}$ is the $\Ed(T)$-colored $\G$-operad freely generated by the set of vertices in $T$ in Definition \ref{def:gtree-goperad}.

8: \item $\Nerveg : \gopset \to \Settotreecatgop$ is the $\G$-nerve functor in Definition \ref{realg-nerveg}.

9: \item The colimit is indexed by the category in which an object is a pair of morphisms \[\Bigl(\narrowxy{\Yonedag(T,\sigma)\ar[r]^-{x} & X}; \narrowxy{\Yonedag(T',\sigma')\ar[r]^-{y} & Y}\Bigr)\] in $\Settotreecatgop$ with $(T,\sigma),(T',\sigma')\in\Treecatg$, i.e., a pair of elements \[(x;y)\in X(T,\sigma)\times Y(T',\sigma').\]  A morphism from such an element $(x;y)$ to an element $(x_1;y_1)\in X(T_1,\sigma_1)\times Y(T'_1,\sigma'_1)$ is a pair of morphisms \[\Bigl(\narrowxy{(T,\sigma)\ar[r]^-{\phi} & (T_1,\sigma_1)}; \narrowxy{(T',\sigma')\ar[r]^-{\phi_1} & (T'_1,\sigma'_1)}\Bigr)\] in $\Treecatg$ such that \[X(\phi^{\op})(x_1)=x \andspace Y(\phi_1^{\op})(y_1)=y.\]

10: \end{itemize}

11: \item[Internal Hom] Define the object\label{not:homsubg} \[\Homsub{\G}(X,Y)\in\Settotreecatgop\] by \[\Homsub{\G}(X,Y)(T,\sigma) = \Settotreecatgop\Bigl(X\tensorsub{\G}\Yonedag(T,\sigma), Y\Bigr)\] for $(T,\sigma)\in\Treecatg$, in which $X\tensorsub{\G}\Yoneda(T,\sigma)$ is defined in the previous item.

12: \end{description}

13: \end{definition}

14: