Hm. It seems my perspective on category theory is indeed skewed towards
applications. I have seen some horrendous diagrams, but only in settings
where the desired method of proof is diagram chasing.
I see.
Diagram chasing is a very cool thing, I would be very glad to give it
a try at implementing.
Is it OK if I add this point to my proposal on the wiki and post a
corresponding comment on Melange? :-)
Sure, go ahead!
--
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.
