GAP Package CAP
CAP (Categories, Algorithms, Programming) is a package for category theory. It facilitates the implementation of specific instances of categories and provides a language for writing generic categorical algorithms.
This package requires GAP version >= 4.11.1
The following other GAP packages are needed:
The following additional GAP packages are not required, but suggested:
For bug reports, feature requests and suggestions, please use the issue tracker.