{"id":20751021,"url":"https://github.com/homalg-project/cap_project","last_synced_at":"2026-04-22T20:00:56.977Z","repository":{"id":30168226,"uuid":"33718565","full_name":"homalg-project/CAP_project","owner":"homalg-project","description":"CAP project -- Categories, Algorithms, and Programming","archived":false,"fork":false,"pushed_at":"2026-03-30T11:46:48.000Z","size":54677,"stargazers_count":41,"open_issues_count":88,"forks_count":18,"subscribers_count":6,"default_branch":"master","last_synced_at":"2026-03-30T13:25:49.263Z","etag":null,"topics":["additive-closure","adelman-category","category-theory","freyd-category","homological-algebra","internalization","modules","vector-spaces"],"latest_commit_sha":null,"homepage":"https://homalg-project.github.io/docs/CAP_project-based/","language":"GAP","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/homalg-project.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2015-04-10T08:52:40.000Z","updated_at":"2026-03-30T11:32:11.000Z","dependencies_parsed_at":"2023-10-16T19:55:33.880Z","dependency_job_id":"ea22f68c-a105-4059-b6ec-21bbc58fe17c","html_url":"https://github.com/homalg-project/CAP_project","commit_stats":null,"previous_names":[],"tags_count":1740,"template":false,"template_full_name":null,"purl":"pkg:github/homalg-project/CAP_project","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/homalg-project%2FCAP_project","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/homalg-project%2FCAP_project/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/homalg-project%2FCAP_project/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/homalg-project%2FCAP_project/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/homalg-project","download_url":"https://codeload.github.com/homalg-project/CAP_project/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/homalg-project%2FCAP_project/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":31313860,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-04-02T12:59:32.332Z","status":"ssl_error","status_checked_at":"2026-04-02T12:54:48.875Z","response_time":89,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["additive-closure","adelman-category","category-theory","freyd-category","homological-algebra","internalization","modules","vector-spaces"],"created_at":"2024-11-17T08:29:43.049Z","updated_at":"2026-04-02T19:02:28.302Z","avatar_url":"https://github.com/homalg-project.png","language":"GAP","readme":"\u003c!-- BEGIN HEADER --\u003e\n# CAP project\u0026ensp;\u003csup\u003e\u003csup\u003e[![View code][code-img]][code-url]\u003c/sup\u003e\u003c/sup\u003e\n\n### Categories, Algorithms, and Programming\n\n| Build Status | Code Coverage |\n| ------------ | ------------- |\n| [![Build Status][tests-img]][tests-url] | [![Code Coverage][codecov-img]][codecov-url] |\n\n\u003c!-- END HEADER --\u003e\n\nWelcome to the CAP project, a computer algebra software project for **Algorithmic Category Theory**.\n\nThis repository contains the GAP package [CAP](CAP#readme) and many packages based on it (see the [table below](#packages-of-cap_project)). For more packages based on CAP which are not part of this repository, see the table on [this page](https://homalg-project.github.io/docs/CAP_project-based/).\n\n## Manual\n\nPlease take a look at our [manual](https://github.com/homalg-project/CAP_project/raw/master/Manual/CAPManual.pdf) for a first introduction to CAP.\n\n\u003c!-- BEGIN FOOTER --\u003e\n### Packages of [CAP_project](/../../):\n| Name | Description | Documentation |\n| ---- | ----------- | ------------- |\n| [CAP](CAP#readme) | Categories, Algorithms, Programming | [![HTML stable documentation][html-CAP-img]][html-CAP-url] [![PDF stable documentation][pdf-CAP-img]][pdf-CAP-url] |\n| [ActionsForCAP](ActionsForCAP#readme) | Actions and Coactions for CAP | [![HTML stable documentation][html-ActionsForCAP-img]][html-ActionsForCAP-url] [![PDF stable documentation][pdf-ActionsForCAP-img]][pdf-ActionsForCAP-url] |\n| [AdditiveClosuresForCAP](AdditiveClosuresForCAP#readme) | Additive closures for pre-additive categories | [![HTML stable documentation][html-AdditiveClosuresForCAP-img]][html-AdditiveClosuresForCAP-url] [![PDF stable documentation][pdf-AdditiveClosuresForCAP-img]][pdf-AdditiveClosuresForCAP-url] |\n| [AttributeCategoryForCAP](AttributeCategoryForCAP#readme) | Automatic enhancement with attributes of a CAP category | [![HTML stable documentation][html-AttributeCategoryForCAP-img]][html-AttributeCategoryForCAP-url] [![PDF stable documentation][pdf-AttributeCategoryForCAP-img]][pdf-AttributeCategoryForCAP-url] |\n| [CartesianCategories](CartesianCategories#readme) | Cartesian and cocartesian categories and various subdoctrines | [![HTML stable documentation][html-CartesianCategories-img]][html-CartesianCategories-url] [![PDF stable documentation][pdf-CartesianCategories-img]][pdf-CartesianCategories-url] |\n| [CompilerForCAP](CompilerForCAP#readme) | Speed up and verify categorical algorithms | [![HTML stable documentation][html-CompilerForCAP-img]][html-CompilerForCAP-url] [![PDF stable documentation][pdf-CompilerForCAP-img]][pdf-CompilerForCAP-url] |\n| [ComplexesAndFilteredObjectsForCAP](ComplexesAndFilteredObjectsForCAP#readme) | Implementation of complexes, cocomplexes and filtered objects for CAP | [![HTML stable documentation][html-ComplexesAndFilteredObjectsForCAP-img]][html-ComplexesAndFilteredObjectsForCAP-url] [![PDF stable documentation][pdf-ComplexesAndFilteredObjectsForCAP-img]][pdf-ComplexesAndFilteredObjectsForCAP-url] |\n| [FreydCategoriesForCAP](FreydCategoriesForCAP#readme) | Freyd categories - Formal (co)kernels for additive categories | [![HTML stable documentation][html-FreydCategoriesForCAP-img]][html-FreydCategoriesForCAP-url] [![PDF stable documentation][pdf-FreydCategoriesForCAP-img]][pdf-FreydCategoriesForCAP-url] |\n| [GeneralizedMorphismsForCAP](GeneralizedMorphismsForCAP#readme) | Implementations of generalized morphisms for the CAP project | [![HTML stable documentation][html-GeneralizedMorphismsForCAP-img]][html-GeneralizedMorphismsForCAP-url] [![PDF stable documentation][pdf-GeneralizedMorphismsForCAP-img]][pdf-GeneralizedMorphismsForCAP-url] |\n| [GradedModulePresentationsForCAP](GradedModulePresentationsForCAP#readme) | Presentations for graded modules | [![HTML stable documentation][html-GradedModulePresentationsForCAP-img]][html-GradedModulePresentationsForCAP-url] [![PDF stable documentation][pdf-GradedModulePresentationsForCAP-img]][pdf-GradedModulePresentationsForCAP-url] |\n| [GroupRepresentationsForCAP](GroupRepresentationsForCAP#readme) | Skeletal category of group representations for CAP | [![HTML stable documentation][html-GroupRepresentationsForCAP-img]][html-GroupRepresentationsForCAP-url] [![PDF stable documentation][pdf-GroupRepresentationsForCAP-img]][pdf-GroupRepresentationsForCAP-url] |\n| [GroupsAsCategoriesForCAP](GroupsAsCategoriesForCAP#readme) | Groups as categories on one object | [![HTML stable documentation][html-GroupsAsCategoriesForCAP-img]][html-GroupsAsCategoriesForCAP-url] [![PDF stable documentation][pdf-GroupsAsCategoriesForCAP-img]][pdf-GroupsAsCategoriesForCAP-url] |\n| [HomologicalAlgebraForCAP](HomologicalAlgebraForCAP#readme) | Homological algebra algorithms for CAP | [![HTML stable documentation][html-HomologicalAlgebraForCAP-img]][html-HomologicalAlgebraForCAP-url] [![PDF stable documentation][pdf-HomologicalAlgebraForCAP-img]][pdf-HomologicalAlgebraForCAP-url] |\n| [InternalExteriorAlgebraForCAP](InternalExteriorAlgebraForCAP#readme) | Constructions for Modules over the Internal Exterior Algebra for CAP | [![HTML stable documentation][html-InternalExteriorAlgebraForCAP-img]][html-InternalExteriorAlgebraForCAP-url] [![PDF stable documentation][pdf-InternalExteriorAlgebraForCAP-img]][pdf-InternalExteriorAlgebraForCAP-url] |\n| [LinearAlgebraForCAP](LinearAlgebraForCAP#readme) | Category of Matrices over a Field for CAP | [![HTML stable documentation][html-LinearAlgebraForCAP-img]][html-LinearAlgebraForCAP-url] [![PDF stable documentation][pdf-LinearAlgebraForCAP-img]][pdf-LinearAlgebraForCAP-url] |\n| [LinearClosuresForCAP](LinearClosuresForCAP#readme) | Linear closures | [![HTML stable documentation][html-LinearClosuresForCAP-img]][html-LinearClosuresForCAP-url] [![PDF stable documentation][pdf-LinearClosuresForCAP-img]][pdf-LinearClosuresForCAP-url] |\n| [ModulePresentationsForCAP](ModulePresentationsForCAP#readme) | Category R-pres for CAP | [![HTML stable documentation][html-ModulePresentationsForCAP-img]][html-ModulePresentationsForCAP-url] [![PDF stable documentation][pdf-ModulePresentationsForCAP-img]][pdf-ModulePresentationsForCAP-url] |\n| [ModulesOverLocalRingsForCAP](ModulesOverLocalRingsForCAP#readme) | Category of modules over a local ring modeled by Serre quotients for CAP | [![HTML stable documentation][html-ModulesOverLocalRingsForCAP-img]][html-ModulesOverLocalRingsForCAP-url] [![PDF stable documentation][pdf-ModulesOverLocalRingsForCAP-img]][pdf-ModulesOverLocalRingsForCAP-url] |\n| [MonoidalCategories](MonoidalCategories#readme) | Monoidal and monoidal (co)closed categories | [![HTML stable documentation][html-MonoidalCategories-img]][html-MonoidalCategories-url] [![PDF stable documentation][pdf-MonoidalCategories-img]][pdf-MonoidalCategories-url] |\n| [ToricSheaves](ToricSheaves#readme) | Toric sheaves as Serre quotients | [![HTML stable documentation][html-ToricSheaves-img]][html-ToricSheaves-url] [![PDF stable documentation][pdf-ToricSheaves-img]][pdf-ToricSheaves-url] |\n\n[html-CAP-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-CAP-url]: https://homalg-project.github.io/CAP_project/CAP/doc/chap0_mj.html\n\n[pdf-CAP-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-CAP-url]: https://homalg-project.github.io/CAP_project/CAP/download_pdf.html\n\n\n[html-ActionsForCAP-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-ActionsForCAP-url]: https://homalg-project.github.io/CAP_project/ActionsForCAP/doc/chap0_mj.html\n\n[pdf-ActionsForCAP-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-ActionsForCAP-url]: https://homalg-project.github.io/CAP_project/ActionsForCAP/download_pdf.html\n\n\n[html-AdditiveClosuresForCAP-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-AdditiveClosuresForCAP-url]: https://homalg-project.github.io/CAP_project/AdditiveClosuresForCAP/doc/chap0_mj.html\n\n[pdf-AdditiveClosuresForCAP-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-AdditiveClosuresForCAP-url]: https://homalg-project.github.io/CAP_project/AdditiveClosuresForCAP/download_pdf.html\n\n\n[html-AttributeCategoryForCAP-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-AttributeCategoryForCAP-url]: https://homalg-project.github.io/CAP_project/AttributeCategoryForCAP/doc/chap0_mj.html\n\n[pdf-AttributeCategoryForCAP-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-AttributeCategoryForCAP-url]: https://homalg-project.github.io/CAP_project/AttributeCategoryForCAP/download_pdf.html\n\n\n[html-CartesianCategories-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-CartesianCategories-url]: https://homalg-project.github.io/CAP_project/CartesianCategories/doc/chap0_mj.html\n\n[pdf-CartesianCategories-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-CartesianCategories-url]: https://homalg-project.github.io/CAP_project/CartesianCategories/download_pdf.html\n\n\n[html-CompilerForCAP-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-CompilerForCAP-url]: https://homalg-project.github.io/CAP_project/CompilerForCAP/doc/chap0_mj.html\n\n[pdf-CompilerForCAP-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-CompilerForCAP-url]: https://homalg-project.github.io/CAP_project/CompilerForCAP/download_pdf.html\n\n\n[html-ComplexesAndFilteredObjectsForCAP-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-ComplexesAndFilteredObjectsForCAP-url]: https://homalg-project.github.io/CAP_project/ComplexesAndFilteredObjectsForCAP/doc/chap0_mj.html\n\n[pdf-ComplexesAndFilteredObjectsForCAP-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-ComplexesAndFilteredObjectsForCAP-url]: https://homalg-project.github.io/CAP_project/ComplexesAndFilteredObjectsForCAP/download_pdf.html\n\n\n[html-FreydCategoriesForCAP-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-FreydCategoriesForCAP-url]: https://homalg-project.github.io/CAP_project/FreydCategoriesForCAP/doc/chap0_mj.html\n\n[pdf-FreydCategoriesForCAP-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-FreydCategoriesForCAP-url]: https://homalg-project.github.io/CAP_project/FreydCategoriesForCAP/download_pdf.html\n\n\n[html-GeneralizedMorphismsForCAP-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-GeneralizedMorphismsForCAP-url]: https://homalg-project.github.io/CAP_project/GeneralizedMorphismsForCAP/doc/chap0_mj.html\n\n[pdf-GeneralizedMorphismsForCAP-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-GeneralizedMorphismsForCAP-url]: https://homalg-project.github.io/CAP_project/GeneralizedMorphismsForCAP/download_pdf.html\n\n\n[html-GradedModulePresentationsForCAP-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-GradedModulePresentationsForCAP-url]: https://homalg-project.github.io/CAP_project/GradedModulePresentationsForCAP/doc/chap0_mj.html\n\n[pdf-GradedModulePresentationsForCAP-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-GradedModulePresentationsForCAP-url]: https://homalg-project.github.io/CAP_project/GradedModulePresentationsForCAP/download_pdf.html\n\n\n[html-GroupRepresentationsForCAP-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-GroupRepresentationsForCAP-url]: https://homalg-project.github.io/CAP_project/GroupRepresentationsForCAP/doc/chap0_mj.html\n\n[pdf-GroupRepresentationsForCAP-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-GroupRepresentationsForCAP-url]: https://homalg-project.github.io/CAP_project/GroupRepresentationsForCAP/download_pdf.html\n\n\n[html-GroupsAsCategoriesForCAP-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-GroupsAsCategoriesForCAP-url]: https://homalg-project.github.io/CAP_project/GroupsAsCategoriesForCAP/doc/chap0_mj.html\n\n[pdf-GroupsAsCategoriesForCAP-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-GroupsAsCategoriesForCAP-url]: https://homalg-project.github.io/CAP_project/GroupsAsCategoriesForCAP/download_pdf.html\n\n\n[html-HomologicalAlgebraForCAP-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-HomologicalAlgebraForCAP-url]: https://homalg-project.github.io/CAP_project/HomologicalAlgebraForCAP/doc/chap0_mj.html\n\n[pdf-HomologicalAlgebraForCAP-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-HomologicalAlgebraForCAP-url]: https://homalg-project.github.io/CAP_project/HomologicalAlgebraForCAP/download_pdf.html\n\n\n[html-InternalExteriorAlgebraForCAP-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-InternalExteriorAlgebraForCAP-url]: https://homalg-project.github.io/CAP_project/InternalExteriorAlgebraForCAP/doc/chap0_mj.html\n\n[pdf-InternalExteriorAlgebraForCAP-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-InternalExteriorAlgebraForCAP-url]: https://homalg-project.github.io/CAP_project/InternalExteriorAlgebraForCAP/download_pdf.html\n\n\n[html-LinearAlgebraForCAP-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-LinearAlgebraForCAP-url]: https://homalg-project.github.io/CAP_project/LinearAlgebraForCAP/doc/chap0_mj.html\n\n[pdf-LinearAlgebraForCAP-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-LinearAlgebraForCAP-url]: https://homalg-project.github.io/CAP_project/LinearAlgebraForCAP/download_pdf.html\n\n\n[html-LinearClosuresForCAP-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-LinearClosuresForCAP-url]: https://homalg-project.github.io/CAP_project/LinearClosuresForCAP/doc/chap0_mj.html\n\n[pdf-LinearClosuresForCAP-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-LinearClosuresForCAP-url]: https://homalg-project.github.io/CAP_project/LinearClosuresForCAP/download_pdf.html\n\n\n[html-ModulePresentationsForCAP-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-ModulePresentationsForCAP-url]: https://homalg-project.github.io/CAP_project/ModulePresentationsForCAP/doc/chap0_mj.html\n\n[pdf-ModulePresentationsForCAP-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-ModulePresentationsForCAP-url]: https://homalg-project.github.io/CAP_project/ModulePresentationsForCAP/download_pdf.html\n\n\n[html-ModulesOverLocalRingsForCAP-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-ModulesOverLocalRingsForCAP-url]: https://homalg-project.github.io/CAP_project/ModulesOverLocalRingsForCAP/doc/chap0_mj.html\n\n[pdf-ModulesOverLocalRingsForCAP-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-ModulesOverLocalRingsForCAP-url]: https://homalg-project.github.io/CAP_project/ModulesOverLocalRingsForCAP/download_pdf.html\n\n\n[html-MonoidalCategories-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-MonoidalCategories-url]: https://homalg-project.github.io/CAP_project/MonoidalCategories/doc/chap0_mj.html\n\n[pdf-MonoidalCategories-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-MonoidalCategories-url]: https://homalg-project.github.io/CAP_project/MonoidalCategories/download_pdf.html\n\n\n[html-ToricSheaves-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-ToricSheaves-url]: https://homalg-project.github.io/CAP_project/ToricSheaves/doc/chap0_mj.html\n\n[pdf-ToricSheaves-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-ToricSheaves-url]: https://homalg-project.github.io/CAP_project/ToricSheaves/download_pdf.html\n\n\n[tests-img]: https://github.com/homalg-project/CAP_project/actions/workflows/Tests.yml/badge.svg?branch=master\n[tests-url]: https://github.com/homalg-project/CAP_project/actions/workflows/Tests.yml?query=branch%3Amaster\n\n[codecov-img]: https://codecov.io/gh/homalg-project/CAP_project/branch/master/graph/badge.svg\n[codecov-url]: https://app.codecov.io/gh/homalg-project/CAP_project\n\n[code-img]: https://img.shields.io/badge/-View%20code-blue?logo=github\n[code-url]: https://github.com/homalg-project/CAP_project#top\n\u003c!-- END FOOTER --\u003e\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhomalg-project%2Fcap_project","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fhomalg-project%2Fcap_project","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhomalg-project%2Fcap_project/lists"}