Numeric.Algebra.Free.Hopf

Documentation

class (FreeUnitalAlgebra r h, FreeCounitalCoalgebra r h) => Hopf r h where

A Hopf algebra on a semiring, where the module is free.

If antipode . antipode = id then we are Involutive

Methods

antipode :: (h -> r) -> h -> r

Instances

Hopf () h

(Hopf r a, Hopf r b) => Hopf r (a, b)

(Hopf r a, Hopf r b, Hopf r c) => Hopf r (a, b, c)

(Hopf r a, Hopf r b, Hopf r c, Hopf r d) => Hopf r (a, b, c, d)

(Hopf r a, Hopf r b, Hopf r c, Hopf r d, Hopf r e) => Hopf r (a, b, c, d, e)

(FreeUnitalAlgebra r a, Hopf r h) => Hopf (a -> r) h