Is there a computer program that does diagram chases?

category-theory diagram-chasing

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

Related

Nested solutions of a quadratic equation.
Is it necessary to prove everything and solve every problem in the books? [closed]
Adjoint of the covariant derivative on a Riemannian manifold
Permutations with restriction
Asymptotic expression of an oscillatory integral
How to evaluate $\sum\limits_{n=1}^{+\infty}\frac{1}{1^k+2^k+\cdots+n^k}$?
Generalized nontransitive dice
Nontrivial subsequences of the harmonic series that diverge on the order of $\log(\log(\log(n)))$.
Prove that $\frac{x^x}{x+y}+\frac{y^y}{y+z}+\frac{z^z}{z+x} \geqslant \frac32$
Geometric interpretation of ramification of prime ideals.
Out-of-print textbooks that should be reprinted
When does ordinal addition/multiplication commute?