search

homalg-project / FinSetsForCAP

The elementary topos of (skeletal) finite sets
https://homalg-project.github.io/FinSetsForCAP/
GNU General Public License v2.0
4 stars 7 forks source link

comply with CartesianCategories v2024.02-02 #245

Closed mohamed-barakat closed 10 months ago

mohamed-barakat commented 10 months ago

Needs analogous changes in Toposes, will merge with failing CI.