Could I use SymPy to simplify category equations?

[Pauli Rikula]

Could the underlying equation simplifying mechanisms be used to simplify category equations on a library I made https://github.com/kummahiih/python-category-equations ?

Is there some set of abstract classes I could try to implement in order to get the thing done?

Thanks for your time and attention.