equip Add-methods for CategoryConstructor with operation weight

[mohamed-barakat]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 85.05747% with 39 lines in your changes missing coverage. Please review.

Project coverage is 66.70%. Comparing base (160bf26) to head (cb040d1).
Report is 2 commits behind head on master.

Files with missing lines	Patch %	Lines
PreSheaves/gap/PreSheaves.gi	76.47%	20 Missing ⚠️
SubcategoriesForCAP/gap/Subcategory.gi	37.50%	5 Missing ⚠️
...ebroidFromDataTablesInCategoryOfRowsPrecompiled.gi	33.33%	4 Missing ⚠️
...gebroidWithRelationsInCategoryOfRowsPrecompiled.gi	33.33%	4 Missing ⚠️
...eavesOfFreeAlgebroidInCategoryOfRowsPrecompiled.gi	33.33%	4 Missing ⚠️
LazyCategories/gap/LazyCategory.gi	93.93%	2 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #608      +/-   ##
==========================================
+ Coverage   65.58%   66.70%   +1.12%     
==========================================
  Files         367      401      +34     
  Lines       64361    68321    +3960     
==========================================
+ Hits        42212    45575    +3363     
- Misses      22149    22746     +597     

Flag	Coverage Δ
Algebroids	53.25% <ø> (ø)
CatReps	83.54% <100.00%> (ø)
CategoriesWithAmbientObjects	89.28% <ø> (ø)
ExteriorPowersCategories	43.70% <ø> (ø)
FiniteCocompletions	85.32% <100.00%> (?)
FpCategories	86.28% <ø> (ø)
FunctorCategories	53.30% <69.23%> (+<0.01%)	⬆️
GradedCategories	86.57% <ø> (ø)
InternalModules	81.60% <ø> (ø)
IntrinsicCategories	82.47% <100.00%> (ø)
IntrinsicGradedModules	50.83% <ø> (ø)
IntrinsicModules	82.15% <ø> (ø)
LazyCategories	68.60% <94.28%> (+0.10%)	⬆️
Locales	86.44% <100.00%> (ø)
PreSheaves	88.72% <81.13%> (+0.56%)	⬆️
QuotientCategories	92.19% <100.00%> (+0.06%)	⬆️
SubcategoriesForCAP	81.90% <88.88%> (+0.66%)	⬆️
ToolsForCategoricalTowers	84.60% <ø> (-0.10%)	⬇️
Toposes	90.00% <ø> (-0.84%)	⬇️
ZariskiFrames	74.30% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.