[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Re: [sage-devel] Categories for the working progra
Re: [Axiom-developer] Re: [sage-devel] Categories for the working programmer
Sun, 9 Nov 2008 15:19:00 -0800
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?