Suppose you have a rigid monoidal category. This means you have a left dual and a right dual. By Frobenius reciprocity, you can move objects from one side of a Hom to the other s …