Implement the category constructors EmptyCoproduct/ProductCompletion and use it to refactor IntervalCategory - Githubissues

homalg-project / CategoricalTowers

Towers of category constructors

GNU General Public License v2.0

6 stars 4 forks source link

Implement the category constructors EmptyCoproduct/ProductCompletion and use it to refactor IntervalCategory #488

Open mohamed-barakat opened 8 months ago