Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

After having done many tedious, robotic proofs that various arrows in a given diagram have certain properties, I've begun to wonder whether or not someone has made this automatic. You should be able to tell a program where the objects and arrows are, and which arrows have certain properties, and it should be able to list all of the provable implications.

Has this been done? Humans should no longer have to do diagram chases by hand!

share|improve this question
2  
If the answer is yes, then I definitely want it! –  tetrapharmakon Apr 11 '12 at 18:07
4  
Related: mathoverflow.net/questions/9930/… –  Qiaochu Yuan Apr 11 '12 at 18:09
1  
I have a feeling this is going to have the same problems that come when trying to list all possible computer programs. The list is possible to generate, but it's almost useless, because it contains too much noise. Humans are still needed. Checking human-generated diagram chasing would be better bet to work. –  tp1 Apr 11 '12 at 19:48
    
On the other hand even a program that only handled certain classes of diagrams would be of great practical use. –  Eric Gregor Apr 11 '12 at 23:44
add comment

1 Answer

up vote 8 down vote accepted

I am developing a Mathematica package called WildCats which allows the computer algebra system Mathematica to perform category theory computations (even graphical computations).

The posted version 0.36 is available at https://sites.google.com/site/wildcatsformma/

A much more powerful version 0.50 will be available at the beginning of May.

The package is totally free (GPL licence), but requires the commercial Mathematica system available at www.wolfram.com. The educational, student or home editions are very moderately priced.

One of the things you can already do in Wildcats 0.36 is to apply a functor to a diagram and see the resulting diagram. In the new version 0.50, you will also be able to do diagram chasing.

Needless to say, I greatly appreciate users feedback and comments

share|improve this answer
    
Nice, look forward to it. –  Helmut Apr 15 '12 at 20:22
1  
WildCats version 0.50 has been released. It is a major improvement over the previous release. I greatly appreciate users feedback and comments –  magma May 21 '12 at 20:27
    
WildCats version 0.60 has been released. It is a major update over the previous release.Cones, Comma categories and Diagonal functors have been introduced. –  magma Dec 29 '12 at 15:58
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.