Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / homalg-project/categoricaltowers issues and pull requests
#8 - got rid of dependency from CategoryConstructor & Toposes
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#7 - presheaf_on_morphisms/presheaf_morphism_on_objects now take a single argument
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#6 - fixed ApplyMorphismInPreSheafCategoryToObject
Pull Request -
State: closed - Opened by kamalsaleh about 2 years ago
- 8 comments
#5 - comply with CAP v2022.11-22
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#4 - clean up in PreSheavesOfEnrichedCategory
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#3 - installed PreSheavesOfEnrichedCategory for the initial category
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#2 - d&i ApplyObject/MorphismInPreSheafCategoryToObject/Morphism
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment
#1 - started package PreSheaves
Pull Request -
State: closed - Opened by mohamed-barakat about 2 years ago
- 1 comment