Ah, okay, so this answers my question. Explicitly: since \$$\alpha \$$ is a natural *isomorphism*, we're not making any extra assumptions by talking about its inverse \$$\alpha^{-1}\$$.

I omitted subscripts for \$$\alpha \$$ and 1: I assume this is fine because they can never be ambiguous. Am I right in this assumption?