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?