1: \begin{definition}

2: Define a functor $\diag : QMM^*(\C) \to QM^*(\C)$ via the diagonal functor $\Delta_{**} \to \Delta_{**} \by \Delta_{**}$. Explicitly, $(\diag E)^n=E^{nn}$, with the same product and identity as $E$, and operations $\pd^i=\pd^i_h\pd^i_v$ and $\sigma^i= \sigma^i_h\sigma^i_v$.

3: 

4: The functor $\diag$ preserves all limits, so by the Special Adjoint Functor Theorem (\cite{mac} Theorem V.8.2), it will have  a left adjoint $\diag^*$ for all the categories $\C$ which we will encounter, since they all satisfy the solution set condition. \end{definition}

5: