ad structures on a given monad, and
monoidal structures on its Eilenberg–Moore category that are compatible with the forgetful functor.
This theorem may even be generalised to comodules over a bimonad.
<p></p>
In contrast to these kinds of reconstruction results,
we study reconstruction results that do not require a forgetful functor.
This comes at the cost of not recovering the algebraic object of interest on-the-nose,
but only up to Morita equivalence.
This talk generalises a result of Ostrik about Hopf