Mon 11 Jul 2011

## Free Modules and Functional Linear Functionals

Posted by Edward Kmett under Algorithms , Category Theory , Data Structures , Haskell , Linear Algebra , Monads , Monoids , Type Hackery[10] Comments

Today I hope to start a new series of posts exploring constructive abstract algebra in Haskell.

In particular, I want to talk about a novel encoding of linear functionals, polynomials and linear maps in Haskell, but first we're going to have to build up some common terminology.

Having obtained the blessing of Wolfgang Jeltsch, I replaced the algebra package on hackage with something... bigger, although still very much a work in progress.