Hello, Thus quoth [email protected] at 02:59 on Sat, Feb 08 2014: > > http://www.cs.man.ac.uk/~david/categories/ > > do category module have colimit and adjointion function?
Unfortunately, no really high-level concepts have been implemented in the category module as I know it. Keep in mind that the code I managed to more or less finish deals mainly with representation of some very basic notions, like morphisms and diagrams. More sophisticated stuff should in theory be definable via these fundamentae, but nothing of that has been done and reconstructing all category theory from scratch is of course unreasonable. Do also keep in mind please that verification of commutativity of diagrams is only present in some very rudimentary form in my SymPy clone on GitHub and does _not_ work :-( From what I hear from people who do similar stuff I can deduce that the most efficient approach would be rewriting the whole thing in C and exporting that to Python afterwards. I am sorry for the impolite lag with the answers: I am really busy with different matters now (PhD in Theoretical Computer Science), and contributing to a Free/Open-source Project is only a dream for me for now :-( I would really like to use the occasion to thank again the awesome SymPy team for having accepted my intrinsically idiosyncratic project and express my profound regret for having left the work in such unfinished state :-( Wilson, please consider this message as a collective reply to all your questions, since I believe that I do give a sufficiently general explanation. If you feel like contributing to the category theory module, please don't hesitate to change anything as your heart wishes. If you have yet more questions, I will try to be as helpful as I can, but please be aware that providing immediate feedback is generally beyond my possibilities. Thank you for your interest in the category module! -- Sergiu
pgpqpnXImjFgA.pgp
Description: PGP signature
