Apart from all the other answers already given, it will allow you to write automatic unit-tests, proving the properties of your code (using the laws of the give

Apart from all the other answers already given, it will allow you to write automatic unit-tests, proving the properties of your code (using the laws of the given category). Perhaps there are already editors which allow for automatic refactoring, given the homomorphisms of the categories.