outsourced QuotientCategories to CategoricalTowers

homalg-project · Sep 30, 2023 · a8be5ed · a8be5ed
1 parent b5e6950
commit a8be5ed
Show file tree

Hide file tree

Showing 24 changed files with 5 additions and 1,254 deletions.
diff --git a/.github/workflows/Tests.yml b/.github/workflows/Tests.yml
@@ -56,6 +56,7 @@ jobs:
           git clone --depth 1 -vv https://github.com/homalg-project/QPA2.git
           git clone --depth 1 -vv https://github.com/homalg-project/Algebroids.git
           git clone --depth 1 -vv https://github.com/homalg-project/PreSheaves.git
+          git clone --depth 1 -vv https://github.com/homalg-project/QuotientCategories.git
           git clone --depth 1 -vv https://github.com/homalg-project/FiniteCocompletions.git
           git clone --depth 1 -vv https://github.com/homalg-project/FunctorCategories.git
           git clone --depth 1 -vv https://github.com/homalg-project/SubcategoriesForCAP.git

diff --git a/QuotientCategories/.gitignore b/QuotientCategories/.gitignore
diff --git a/QuotientCategories/LICENSE b/QuotientCategories/LICENSE
diff --git a/QuotientCategories/PackageInfo.g b/QuotientCategories/PackageInfo.g
diff --git a/QuotientCategories/README.md b/QuotientCategories/README.md
diff --git a/QuotientCategories/doc/Doc.autodoc b/QuotientCategories/doc/Doc.autodoc
diff --git a/QuotientCategories/doc/clean b/QuotientCategories/doc/clean
diff --git a/QuotientCategories/examples/doc/quotient_by_projectives.g b/QuotientCategories/examples/doc/quotient_by_projectives.g
diff --git a/QuotientCategories/examples/left_presentations_over_Z.g b/QuotientCategories/examples/left_presentations_over_Z.g
diff --git a/QuotientCategories/gap/QuotientCategories.gd b/QuotientCategories/gap/QuotientCategories.gd