On Wed, May 7, 2008 at 8:50 AM, David Kohel wrote: > ... > A good design is very important. > > In fact this is a vey generic categorical construction of (a sum or > coproduct in the category of rings). We should first consider how > general products and coproducts should be constructed, and set > up a common infrastructure and syntax. It needs to be (1) easy > and natural to use, (2) mathematically correct and complete. >
+1 I strongly agree with this. I think a more direct representation of categorical constructions in Sage would be a very good thing. Some similar work along these lines has been done by Saul Youssef in the Aldor language. Perhaps something like this is possible in Python/Sage? See for example the links at: http://axiom-wiki.newsynthesis.org/SandBoxAldorCategoryTheory Most of the coding is done in terms of Aldor "categories" (something like generic interfaces in Java) and there is no direct counterpart to this in Python programming language as far as I know. I have seen here on this list a mention of some ideas for implementing generic programming in Sage but I do not know where to go for details. I think that whatever one might do with category theory in Sage is likely to require or at least interact with such generic programming features. Regards, Bill Page. --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
