I'm skimming through Turaev's "Quantum invariants of knots and 3-manifolds". One of the main results is Theorem 2.5. In my opinion, this Theorem is conceptually half-baked: 1) The ribbon structure on $\mathrm{Rib}_\mathcal{V}$ is not used. 2) We don't need a ribbon structure on $\mathcal{V}$ in order to describe functors on $\mathrm{Rib}_\mathcal{V}$. Therefore, I propose the following generalization:

**Theorem**(?). Let $\mathcal{V}$ be a small strict monoidal category with duality. Then the category of $\mathcal{V}$-colored ribbon graphs $\mathrm{Rib}_\mathcal{V}$ is a strict ribbon category and $i : \mathcal{V} \to \mathrm{Rib}_\mathcal{V}$, $V \mapsto (V,+)$, $f \mapsto$ (a coupon colored by $f$) is a morphism of strict monoidal categories with duality. It is universal: If $\mathcal{C}$ is any strict ribbon category and $F : \mathcal{V} \to \mathcal{C}$ is a morphism of strict monoidal categories with duality, then there is a unique morphism of strict ribbon categories $\overline{F} : \mathrm{Rib}_\mathcal{V} \to \mathcal{C}$ with $\overline{F} \circ i = F$.

Is this correct? If yes, does someone know a reference for this result?

*Sketch of proof.* On objects we map for example $((V_1,+),(V_2,-),(V_3,+))$ to $F(V_1) \otimes F(V_2)^* \otimes F(V_3)$. As for morphisms, we decompose ribbon graphs into "basic" ribbon graphs $[f]$, $\cup$, $\cap$, $\varphi$ with appropriate colorings $V_i$ and map them to the morphisms $f$, $b$, $d$, $\theta$ w.r.t. the objects $F(V_i)$. The hard part is to show that every isotopy between colored ribbon graphs is a finite sequence of certain moves which correspond to commutative diagrams in $\mathcal{C}$.