AdditiveClosureOfObjectFiniteCategory

[TKuh]

This is the current state of the AdditiveClosureOfObjectFiniteCategory after I stopped working on it in favor of my DirectSumOfAdditiveCategory.

Major drawbacks:

1. it does not utilize a sparse data structure.
2. it does not include the DisconnectedAdditiveClosureOfObjectFiniteCategory.
3. it does not include compiled examples, since they rely on LinearClosureOfFiniteSkeletalDiscreteCategory, and I am unsure if we want to maintain this specific linear closure since there is currently no application?
4. the homomorphism structure is completely untested and mainly adjusted from the original one.
5. the monoidal structure is (largely) untested.

But I'll still keep it here as a draft so we can at least use it as a foundation for (verbal) discussions and identify weaknesses.

It was extracted from the (outdated) branch TKuh:sparse_SGReps

[codecov]

Codecov Report

❌ Patch coverage is 65.11905% with 293 lines in your changes missing coverage. Please review.
✅ Project coverage is 81.00%. Comparing base (9c6986f) to head (f61c63a).
⚠️ Report is 4 commits behind head on master.

Files with missing lines	Patch %	Lines
...orCAP/gap/AdditiveClosureOfObjectFiniteCategory.gi	64.10%	271 Missing ⚠️
...orCAP/gap/AdditiveClosureOfObjectFiniteCategory.gd	73.17%	22 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1874      +/-   ##
==========================================
+ Coverage   80.76%   81.00%   +0.23%     
==========================================
  Files         589      589              
  Lines       86321    87020     +699     
==========================================
+ Hits        69720    70490     +770     
+ Misses      16601    16530      -71     

Flag	Coverage Δ
ActionsForCAP	64.04% <ø> (ø)
AdditiveClosuresForCAP	80.69% <65.11%> (-0.01%)	⬇️
AttributeCategoryForCAP	90.45% <ø> (ø)
CAP	86.43% <ø> (+0.06%)	⬆️
CartesianCategories	84.15% <ø> (-0.10%)	⬇️
CompilerForCAP	95.39% <ø> (ø)
ComplexesAndFilteredObjectsForCAP	73.56% <ø> (ø)
FreydCategoriesForCAP	83.16% <ø> (ø)
GeneralizedMorphismsForCAP	61.73% <ø> (ø)
GradedModulePresentationsForCAP	44.78% <ø> (ø)
GroupRepresentationsForCAP	73.85% <ø> (ø)
GroupsAsCategoriesForCAP	90.90% <ø> (ø)
HomologicalAlgebraForCAP	73.21% <ø> (ø)
InternalExteriorAlgebraForCAP	93.09% <ø> (ø)
LinearAlgebraForCAP	56.00% <ø> (ø)
LinearClosuresForCAP	70.74% <ø> (+34.38%)	⬆️
ModulePresentationsForCAP	75.05% <ø> (ø)
ModulesOverLocalRingsForCAP	90.70% <ø> (ø)
MonoidalCategories	90.10% <ø> (-0.05%)	⬇️
ToricSheaves	21.79% <ø> (ø)

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

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

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.