> I think you might need the flexibility of the constant to get adjoint maps that aren't inverses.

I still don't see the proof. Can you write it up?