Closed categories, star-autonomy, and monoidal comonads (Q834844): Difference between revisions

From the authors' abstract: This paper determines what structure is needed for internal homs in a monoidal category \(\mathcal C\) to be liftable to the category \(\mathcal C^G\) of Eilenberg-Moore coalgebras for a monoidal comonad \(G\) on \(\mathcal C\). We apply this to lift *-autonomy with the view to recasting the definition of quantum groupoid.