homalg-project / CategoricalTowers

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

d&i EmbeddingFunctorOfFiniteStrictCoproductCompletionIntoPreSheaves #400

Closed mohamed-barakat closed 1 year ago

mohamed-barakat commented 1 year ago

and enhanced examples/Weierstrass.g

codecov[bot] commented 1 year ago

Codecov Report

All modified lines are covered by tests :white_check_mark:

Files Coverage Δ
FunctorCategories/PackageInfo.g 100.00% <100.00%> (ø)
FunctorCategories/gap/PreSheaves.gd 98.87% <100.00%> (+0.01%) :arrow_up:
FunctorCategories/gap/PreSheaves.gi 88.14% <100.00%> (+0.04%) :arrow_up:

... and 1 file with indirect coverage changes

:loudspeaker: Thoughts on this report? Let us know!.