search

homalg-project / CategoricalTowers

Towers of category constructors
GNU General Public License v2.0
6 stars 4 forks source link

comply with MonoidalCategories v2024.01-06 and CartesianCategories v2024.01-05 #478

Closed mohamed-barakat closed 9 months ago