Hi David C., in case you're interested, I'm working on a software library for computational category theory, called [Catlab](https://github.com/epatters/Catlab). It's at an early stage--not too much actual computer algebra is implemented--but I'm already using it for some purposes in other projects.