Re: [Axiom-developer] Axiom, FriCAS, forks and teeth

[Gabriel Dos Reis]

On Wed, 11 Jul 2007, C Y wrote:

| Waldek Hebisch wrote:
| 
| > So while old algorithm
| > remains correct, a superior one may be invented and replace
| > the old.
| 
| Sure.  And I would agree with that.  I was thinking more along the lines
| of the build system, the interpreter, client-server communication, etc.
|  I would expect the mathematics to grow and change, although I DO hope
| that category theory as a framework will endure and scale.

Category theory is just a language.  The most interesting part is how
one exploits that language to tell a story.

-- Gaby