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 _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
