Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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|cite|improve this question
If the answer is yes, then I definitely want it! – Fosco Loregian Apr 11 '12 at 18:07
Related:… – Qiaochu Yuan Apr 11 '12 at 18:09
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. – user21725 Apr 11 '12 at 23:44
up vote 9 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

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 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|cite|improve this answer
Nice, look forward to it. – Helmut Apr 15 '12 at 20:22
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

Your Answer


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.