On Thu, Apr 5, 2012 at 7:19 PM, Sergiu Ivanov <[email protected]> wrote: > Hello, > > I have finally managed to draft the proposal for my pet project idea: > > https://github.com/sympy/sympy/wiki/GSoC-2012-Application-Sergiu-Ivanov:-Category-Theory-Module > > I tried very hard to submit it earlier, but it took me much more time > than I had initially expected. Sorry for the late submission :-( > > As far as I remember, it will still be possible to comment on > proposals after the deadline (which is coming in less than 24 hours), > which, I think, can be a good way for fixing something in a proposal. > I will still be able to edit the version on the wiki. > > I hope this is acceptable.
Some off-the-top-of-my-head comments after a brief scan of the proposal. 1. You say "I have not found any software implementation of anything closely related to category theory." There is a combinatorics group (email list sage-combinat), composed of mostly French and German mathematicians, who are implementing this type of thing in Sage. It is a mammoth undertaking on their part, but you might want to try to look at the structure of the classes for that project. 2. You list 3 "Benefits for SymPy". I would add a fourth. I often use the latex string output in for creating matrices in a paper. I think for writing a commutative diagram in a paper, it would be nice to have a latex output (as you say you will do, using Tikz). It is not clear to me how easy it will be to use your proposed set-up to simply output a commutative diagram in Tikz. For example, a casual user who simply wants a commutative diagram is not going to want to be setting up categories, etc. I guess I am wondering if you can "factor out" the diagram-drawing functionality you re planning on and thereby give more casual users a tool to draw diagrams for their papers. > > I will get back to answer E-mails very soon. > > Sergiu > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group at > http://groups.google.com/group/sympy?hl=en. > -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
