- class (FreeUnitalAlgebra r h, FreeCounitalCoalgebra r h) => Hopf r h where
- antipode :: (h -> r) -> h -> r
Documentation
class (FreeUnitalAlgebra r h, FreeCounitalCoalgebra r h) => Hopf r h whereSource
a Hopf algebra on a semiring, where the module is a free.
If antipode . antipode = id
then we are Involutive