algebra-4.1: Constructive abstract algebra

Safe HaskellSafe-Inferred

Numeric.Covector

Contents

Synopsis

Documentation

newtype Covector r a Source

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

Constructors

Covector 

Fields

($*) :: (a -> r) -> r
 

Covectors as linear functionals

comultM :: Algebra r a => a -> Covector r (a, a)Source

multM :: Coalgebra r c => c -> c -> Covector r cSource

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

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

convolveM :: (Algebra r c, Coalgebra r a) => (c -> Covector r a) -> (c -> Covector r a) -> c -> Covector r aSource