Here is an example of some work that I would really like to do in Axiom and/or Aldor

Hopf Algebra = Group + Monad

http://sigfpe.blogspot.com/2008/08/hopf-algebra-group-monad.html

by sigfpe on the blog: A Neighborhood of Infinity.

This work was done using the programming language Haskell which although it does have a strong formal definition is not nearly as "categorical" as Axiom about the way it expressions mathematics. I hope that someday that people interested in this subject will be able to use Axiom this way.

Perhaps you know some other people working on this sort of thing? It would be great to get together.