- 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 free.
If antipode . antipode = id
then we are Involutive