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?