Closed categories, star-autonomy, and monoidal comonads

This paper determines what structure is needed for internal homs in a monoidal category C to be liftable to the category CG of Eilenberg–Moore coalgebras for a monoidal comonad G on C. We apply this to lift ∗-autonomy with the view to recasting the definition of quantum groupoid.