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.
The current version of this package is version 2024.11-02. For more information, please refer to the package manual. There is also a README file.
Dependencies
This package requires GAP version >= 4.13.0
The following other GAP packages are needed:
- ToolsForHomalg >= 2023.11-01
The following additional GAP packages are not required, but suggested:
- Browse >= 1.5
- CompilerForCAP >= 2021.12-05
Authors
Sebastian Gutsche, Sebastian Posur, Øystein Skartsæterhagen, Fabian Zickgraf
Feedback
For bug reports, feature requests and suggestions, please use the issue tracker.