Skip to content

Commit

Permalink
suggest cloning CategoricalTowers meta-repo
Browse files Browse the repository at this point in the history
instead of listing its components.

closes #171
  • Loading branch information
kamalsaleh committed Sep 26, 2023
1 parent a3b96fa commit 1ae4832
Showing 1 changed file with 3 additions and 5 deletions.
8 changes: 3 additions & 5 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -111,15 +111,13 @@ Required packages

* 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)

* You will also need [homalg_project](https://github.com/homalg-project/homalg_project.git)
* You will also need
- [homalg_project](https://github.com/homalg-project/homalg_project.git)
- [CategoricalTowers](https://github.com/homalg-project/CategoricalTowers.git)

* Other needed packages
- https://github.com/homalg-project/Toposes/
- https://github.com/homalg-project/FinSetsForCAP/
- https://github.com/sunnyquiver/QPA2/
- https://github.com/homalg-project/Algebroids/
- https://github.com/homalg-project/CategoryConstructor/
- https://github.com/homalg-project/SubcategoriesForCAP/

* For the installation of Gap see [gap-system-website](https://www.gap-system.org)

Expand Down

0 comments on commit 1ae4832

Please sign in to comment.