Hopf monoidal comonads

Dimitri Chikhladze, Stephen Lack, and Ross Street

We generalize to the context internal to an autonomous monoidal bicategory
the work of Bruguieres, Virelizier, and the second-named author on lifting
closed structure on a monoidal category to the category of Eilenberg-Moore
algebras for an opmonoidal monad. The result then applies to quantum
categories and bialgebroids.