Re: [Axiom-developer] Re: [sage-devel] Categories for the working programmer

[Mike Hansen]

Hi Tim,

On Sun, Nov 9, 2008 at 1:21 PM, root <address@hidden> 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