search

homalg-project / HigherHomologicalAlgebra

A GAP framework for categorical homological algebra with special focus on homotopy categories and tilting equivalences
https://homalg-project.github.io/HigherHomologicalAlgebra
5 stars 6 forks source link

outsourced QuotientCategories to CategoricalTowers #176

Closed mohamed-barakat closed 1 year ago

mohamed-barakat commented 1 year ago

Please wait until the CI passes and merge https://github.com/homalg-project/HigherHomologicalAlgebra/pull/175 first.

codecov[bot] commented 1 year ago

Codecov Report

All modified lines are covered by tests :white_check_mark:

:loudspeaker: Thoughts on this report? Let us know!.