We've discussed catalysts a bit, but is there anything akin to an inhibitor in this setting? In other words, something where an arrow \\(X \to Z\\) exists, but an arrow \\(X \otimes Y \to Z \otimes Y\\) does not?