Hi Tim,

On Sun, Nov 9, 2008 at 1:21 PM, root <[EMAIL PROTECTED]> wrote:
> There are at least two possible paths toward a category hierarchy in Sage,
> adopting Axiom's version or designing a new one.
>
> The key advantage of adopting the Axiom category hierarchy is the Sage
> system could reuse a lot of the algorithms in Axiom. The Spad language
> used in Axiom is similar in style and spirit to the Sage python language.
> If the same categories were available it should be possible to use the
> algorithms in Axiom's domains as written.
>
> The temptation to re-design is very seductive but not very productive.

What is the relationship between "categories" in Axiom and the
mathematical notion of a category?

--Mike

--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---

Reply via email to