On 28 Oct 2008, at 3:51 pm, Derek Elkins wrote:
Some variation on a module then: http://en.wikipedia.org/wiki/Module_(mathematics)
When you have M acting on X and X is an abelian group: M is a field => vector space M is a ring => module M is a semiring => module over a semiring M is a monoid => ??? Maybe I can generalise M to a ring after all... _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
