CAP project 
Categories, Algorithms, and Programming
| Build Status | Code Coverage |
|---|---|
 |
 |
Welcome to the CAP project.
This repository contains the GAP package CAP and many packages based on it (see the table below). For more packages based on CAP which are not part of this repository, see the table on this page.
Manual
Please take a look at our manual for a first introduction to CAP.
Packages of CAP_project:
| Name | Description | Documentation |
|---|---|---|
| CAP | Categories, Algorithms, Programming |   |
| ActionsForCAP | Actions and Coactions for CAP | |
| AttributeCategoryForCAP | Automatic enhancement with attributes of a CAP category | |
| CartesianCategories | Cartesian and cocartesian categories and various subdoctrines | |
| CompilerForCAP | Speed up and verify categorical algorithms | |
| ComplexesAndFilteredObjectsForCAP | Implementation of complexes, cocomplexes and filtered objects for CAP | |
| FreydCategoriesForCAP | Freyd categories - Formal (co)kernels for additive categories | |
| GeneralizedMorphismsForCAP | Implementations of generalized morphisms for the CAP project | |
| GradedModulePresentationsForCAP | Presentations for graded modules | |
| GroupRepresentationsForCAP | Skeletal category of group representations for CAP | |
| HomologicalAlgebraForCAP | Homological algebra algorithms for CAP | |
| InternalExteriorAlgebraForCAP | Constructions for Modules over the Internal Exterior Algebra for CAP | |
| LinearAlgebraForCAP | Category of Matrices over a Field for CAP | |
| ModulePresentationsForCAP | Category R-pres for CAP | |
| ModulesOverLocalRingsForCAP | Category of modules over a local ring modeled by Serre quotients for CAP | |
| MonoidalCategories | Monoidal and monoidal (co)closed categories | |
| ToricSheaves | Toric sheaves as Serre quotients | |