Better keep track of the type of operations added to a category

[zickgraf]

including various preparations and cleanups to the derivation mechanism

[codecov]

Codecov Report

Attention: Patch coverage is 81.54362% with 55 lines in your changes missing coverage. Please review.

Project coverage is 82.72%. Comparing base (1cc62b1) to head (88eef97).
Report is 11 commits behind head on master.

Files with missing lines	Patch %	Lines
CAP/gap/Derivations.gi	78.92%	47 Missing ⚠️
CAP/gap/CAP.gi	81.81%	6 Missing ⚠️
CAP/gap/InstallAdds.gi	88.88%	1 Missing ⚠️
CAP/gap/ReinterpretationOfCategory.gi	90.90%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1696      +/-   ##
==========================================
- Coverage   83.08%   82.72%   -0.37%     
==========================================
  Files         536      559      +23     
  Lines       75002    77177    +2175     
==========================================
+ Hits        62319    63842    +1523     
- Misses      12683    13335     +652     

Flag	Coverage Δ
ActionsForCAP	64.04% <ø> (ø)
AttributeCategoryForCAP	90.45% <ø> (ø)
CAP	86.22% <81.16%> (+0.02%)	⬆️
CartesianCategories	89.36% <ø> (ø)
CompilerForCAP	95.86% <100.00%> (ø)
ComplexesAndFilteredObjectsForCAP	73.55% <ø> (ø)
FreydCategoriesForCAP	81.98% <100.00%> (ø)
GeneralizedMorphismsForCAP	61.76% <ø> (ø)
GradedModulePresentationsForCAP	44.62% <ø> (ø)
GroupRepresentationsForCAP	71.92% <ø> (ø)
HomologicalAlgebraForCAP	73.21% <ø> (ø)
InternalExteriorAlgebraForCAP	93.09% <ø> (ø)
LinearAlgebraForCAP	66.54% <ø> (ø)
ModulePresentationsForCAP	69.88% <ø> (?)
ModulesOverLocalRingsForCAP	90.70% <ø> (ø)
MonoidalCategories	89.70% <ø> (ø)
ToricSheaves	21.79% <ø> (ø)

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.