Safe Haskell | Safe-Inferred |
---|---|

Language | Haskell98 |

- newtype Covector r a = Covector {
- ($*) :: (a -> r) -> r

- counitM :: UnitalAlgebra r a => a -> Covector r ()
- unitM :: CounitalCoalgebra r c => Covector r c
- comultM :: Algebra r a => a -> Covector r (a, a)
- multM :: Coalgebra r c => c -> c -> Covector r c
- invM :: InvolutiveAlgebra r h => h -> Covector r h
- coinvM :: InvolutiveCoalgebra r h => h -> Covector r h
- antipodeM :: HopfAlgebra r h => h -> Covector r h
- convolveM :: (Algebra r c, Coalgebra r a) => (c -> Covector r a) -> (c -> Covector r a) -> c -> Covector r a

# Documentation

Linear functionals from elements of an (infinite) free module to a scalar

# Covectors as linear functionals

counitM :: UnitalAlgebra r a => a -> Covector r () Source

unitM :: CounitalCoalgebra r c => Covector r c Source

invM :: InvolutiveAlgebra r h => h -> Covector r h Source

coinvM :: InvolutiveCoalgebra r h => h -> Covector r h Source

antipodeM :: HopfAlgebra r h => h -> Covector r h Source

convolveM antipodeM return = convolveM return antipodeM = comultM >=> uncurry joinM