{"id":20751051,"url":"https://github.com/homalg-project/higherhomologicalalgebra","last_synced_at":"2026-05-11T11:08:15.128Z","repository":{"id":39706787,"uuid":"286592390","full_name":"homalg-project/HigherHomologicalAlgebra","owner":"homalg-project","description":"A GAP framework for categorical homological algebra with special focus on homotopy categories and tilting equivalences ","archived":false,"fork":false,"pushed_at":"2026-05-05T10:37:43.000Z","size":7335,"stargazers_count":8,"open_issues_count":5,"forks_count":7,"subscribers_count":2,"default_branch":"master","last_synced_at":"2026-05-05T12:37:04.939Z","etag":null,"topics":["complex-categories","derived-category","derived-equivalences","gap","homological-algebra","homotopy-category","triangulated-categories"],"latest_commit_sha":null,"homepage":"https://homalg-project.github.io/HigherHomologicalAlgebra","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":"2020-08-10T22:37:55.000Z","updated_at":"2026-05-05T10:37:47.000Z","dependencies_parsed_at":"2023-12-01T21:25:19.955Z","dependency_job_id":"e851d4ea-eac0-43c4-9339-fa87142117b0","html_url":"https://github.com/homalg-project/HigherHomologicalAlgebra","commit_stats":null,"previous_names":[],"tags_count":284,"template":false,"template_full_name":null,"purl":"pkg:github/homalg-project/HigherHomologicalAlgebra","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/homalg-project%2FHigherHomologicalAlgebra","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/homalg-project%2FHigherHomologicalAlgebra/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/homalg-project%2FHigherHomologicalAlgebra/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/homalg-project%2FHigherHomologicalAlgebra/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/homalg-project","download_url":"https://codeload.github.com/homalg-project/HigherHomologicalAlgebra/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/homalg-project%2FHigherHomologicalAlgebra/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":32892014,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-05-10T13:40:02.631Z","status":"online","status_checked_at":"2026-05-11T02:00:05.975Z","response_time":120,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"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":["complex-categories","derived-category","derived-equivalences","gap","homological-algebra","homotopy-category","triangulated-categories"],"created_at":"2024-11-17T08:29:51.758Z","updated_at":"2026-05-11T11:08:15.097Z","avatar_url":"https://github.com/homalg-project.png","language":"GAP","funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003c!-- BEGIN HEADER --\u003e\n# HigherHomologicalAlgebra\u0026ensp;\u003csup\u003e\u003csup\u003e[![View code][code-img]][code-url]\u003c/sup\u003e\u003c/sup\u003e\n\n### Higher Homological Algebra\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\nIntroduction\n------------\nThe repository is a collection of the Gap packages. The aim of these packages is to carry out categorical and homological constructions on complexes, homotopy or derived categories. The main focus is the construction of derived equivalences that arise via full strong exceptional collections.\n\n\u003c!-- BEGIN FOOTER --\u003e\n### Packages of [HigherHomologicalAlgebra](/../../):\n| Name | Description | Documentation |\n| ---- | ----------- | ------------- |\n| [Bicomplexes](Bicomplexes#readme) | Bicomplexes for Abelian categories | [![HTML stable documentation][html-Bicomplexes-img]][html-Bicomplexes-url] [![PDF stable documentation][pdf-Bicomplexes-img]][pdf-Bicomplexes-url] |\n| [ComplexesCategories](ComplexesCategories#readme) | Category of (co)chain complexes of an additive category | [![HTML stable documentation][html-ComplexesCategories-img]][html-ComplexesCategories-url] [![PDF stable documentation][pdf-ComplexesCategories-img]][pdf-ComplexesCategories-url] |\n| [DerivedCategories](DerivedCategories#readme) | Derived categories of Abelian categories | [![HTML stable documentation][html-DerivedCategories-img]][html-DerivedCategories-url] [![PDF stable documentation][pdf-DerivedCategories-img]][pdf-DerivedCategories-url] |\n| [HomotopyCategories](HomotopyCategories#readme) | Homotopy categories of additive categories | [![HTML stable documentation][html-HomotopyCategories-img]][html-HomotopyCategories-url] [![PDF stable documentation][pdf-HomotopyCategories-img]][pdf-HomotopyCategories-url] |\n| [StableCategories](StableCategories#readme) | Stable categories of additive categories | [![HTML stable documentation][html-StableCategories-img]][html-StableCategories-url] [![PDF stable documentation][pdf-StableCategories-img]][pdf-StableCategories-url] |\n| [ToolsForHigherHomologicalAlgebra](ToolsForHigherHomologicalAlgebra#readme) | Tools for the Higher Homological Algebra project | [![HTML stable documentation][html-ToolsForHigherHomologicalAlgebra-img]][html-ToolsForHigherHomologicalAlgebra-url] [![PDF stable documentation][pdf-ToolsForHigherHomologicalAlgebra-img]][pdf-ToolsForHigherHomologicalAlgebra-url] |\n| [TriangulatedCategories](TriangulatedCategories#readme) | Framework for triangulated categories | [![HTML stable documentation][html-TriangulatedCategories-img]][html-TriangulatedCategories-url] [![PDF stable documentation][pdf-TriangulatedCategories-img]][pdf-TriangulatedCategories-url] |\n\n[html-Bicomplexes-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-Bicomplexes-url]: https://homalg-project.github.io/HigherHomologicalAlgebra/Bicomplexes/doc/chap0_mj.html\n\n[pdf-Bicomplexes-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-Bicomplexes-url]: https://homalg-project.github.io/HigherHomologicalAlgebra/Bicomplexes/download_pdf.html\n\n\n[html-ComplexesCategories-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-ComplexesCategories-url]: https://homalg-project.github.io/HigherHomologicalAlgebra/ComplexesCategories/doc/chap0_mj.html\n\n[pdf-ComplexesCategories-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-ComplexesCategories-url]: https://homalg-project.github.io/HigherHomologicalAlgebra/ComplexesCategories/download_pdf.html\n\n\n[html-DerivedCategories-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-DerivedCategories-url]: https://homalg-project.github.io/HigherHomologicalAlgebra/DerivedCategories/doc/chap0_mj.html\n\n[pdf-DerivedCategories-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-DerivedCategories-url]: https://homalg-project.github.io/HigherHomologicalAlgebra/DerivedCategories/download_pdf.html\n\n\n[html-HomotopyCategories-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-HomotopyCategories-url]: https://homalg-project.github.io/HigherHomologicalAlgebra/HomotopyCategories/doc/chap0_mj.html\n\n[pdf-HomotopyCategories-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-HomotopyCategories-url]: https://homalg-project.github.io/HigherHomologicalAlgebra/HomotopyCategories/download_pdf.html\n\n\n[html-StableCategories-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-StableCategories-url]: https://homalg-project.github.io/HigherHomologicalAlgebra/StableCategories/doc/chap0_mj.html\n\n[pdf-StableCategories-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-StableCategories-url]: https://homalg-project.github.io/HigherHomologicalAlgebra/StableCategories/download_pdf.html\n\n\n[html-ToolsForHigherHomologicalAlgebra-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-ToolsForHigherHomologicalAlgebra-url]: https://homalg-project.github.io/HigherHomologicalAlgebra/ToolsForHigherHomologicalAlgebra/doc/chap0_mj.html\n\n[pdf-ToolsForHigherHomologicalAlgebra-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-ToolsForHigherHomologicalAlgebra-url]: https://homalg-project.github.io/HigherHomologicalAlgebra/ToolsForHigherHomologicalAlgebra/download_pdf.html\n\n\n[html-TriangulatedCategories-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-TriangulatedCategories-url]: https://homalg-project.github.io/HigherHomologicalAlgebra/TriangulatedCategories/doc/chap0_mj.html\n\n[pdf-TriangulatedCategories-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-TriangulatedCategories-url]: https://homalg-project.github.io/HigherHomologicalAlgebra/TriangulatedCategories/download_pdf.html\n\n\n[tests-img]: https://github.com/homalg-project/HigherHomologicalAlgebra/actions/workflows/Tests.yml/badge.svg?branch=master\n[tests-url]: https://github.com/homalg-project/HigherHomologicalAlgebra/actions/workflows/Tests.yml?query=branch%3Amaster\n\n[codecov-img]: https://codecov.io/gh/homalg-project/HigherHomologicalAlgebra/branch/master/graph/badge.svg\n[codecov-url]: https://app.codecov.io/gh/homalg-project/HigherHomologicalAlgebra\n\n[code-img]: https://img.shields.io/badge/-View%20code-blue?logo=github\n[code-url]: https://github.com/homalg-project/HigherHomologicalAlgebra#top\n\u003c!-- END FOOTER --\u003e\n\nInstallation\n-----------\nThe packages can easily be obtained by cloning the repository\n[HigherHomologicalAlgebra](https://github.com/homalg-project/HigherHomologicalAlgebra)\nin the pkg directory of the Gap installation.\n\nRequired packages\n-----------------\n\n* This package is written to handle categories that are already implemented in CAP, so you will need a fresh version of CAP. You may install it from [CAP_project](https://github.com/homalg-project/CAP_project)\n\n* You will also need\n  - [homalg_project](https://github.com/homalg-project/homalg_project.git)\n  - [CategoricalTowers](https://github.com/homalg-project/CategoricalTowers.git)\n\n* Other needed packages\n  - https://github.com/homalg-project/FinSetsForCAP/\n  - https://github.com/sunnyquiver/QPA2/\n \n* For the installation of Gap see [gap-system-website](https://www.gap-system.org)\n\nLicense\n-------\nThese packages are free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as\npublished by the Free Software Foundation; either version 2 of the License, or (at your opinion) any later version.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhomalg-project%2Fhigherhomologicalalgebra","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fhomalg-project%2Fhigherhomologicalalgebra","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhomalg-project%2Fhigherhomologicalalgebra/lists"}