M Buckley, T Fieremans, C Vasilakopoulou… - 2021 - higher-structures.math.cas.cz
We introduce the notion of an oplax Hopf monoid in any braided monoidal bicategory,
generalizing that of a Hopf monoid in a braided monoidal category in an appropriate way …