Category as first argument for CategoriesCategory

[TKuh]

Part of #973.

[codecov]

Codecov Report

Patch coverage: 92.59% and project coverage change: -0.01% ⚠️

Comparison is base (318abdf) 79.42% compared to head (f08e768) 79.42%.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1398      +/-   ##
==========================================
- Coverage   79.42%   79.42%   -0.01%     
==========================================
  Files         500      500              
  Lines       62432    62434       +2     
==========================================
+ Hits        49588    49589       +1     
- Misses      12844    12845       +1     

Flag	Coverage Δ
ActionsForCAP	65.09% <ø> (ø)
AttributeCategoryForCAP	88.61% <ø> (ø)
CAP	82.98% <92.59%> (-0.01%)	⬇️
CartesianCategories	93.15% <ø> (ø)
CompilerForCAP	94.35% <ø> (ø)
ComplexesAndFilteredObjectsForCAP	73.68% <ø> (ø)
DeductiveSystemForCAP	25.08% <ø> (ø)
FreydCategoriesForCAP	81.11% <ø> (ø)
GeneralizedMorphismsForCAP	61.40% <ø> (ø)
GradedModulePresentationsForCAP	44.60% <ø> (ø)
GroupRepresentationsForCAP	72.06% <ø> (ø)
HomologicalAlgebraForCAP	73.21% <ø> (ø)
InternalExteriorAlgebraForCAP	93.08% <ø> (ø)
LinearAlgebraForCAP	66.57% <ø> (ø)
ModulePresentationsForCAP	68.47% <ø> (ø)
ModulesOverLocalRingsForCAP	90.70% <ø> (ø)
MonoidalCategories	88.56% <ø> (ø)
ToricSheaves	21.79% <ø> (ø)

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

Files Changed	Coverage Δ
CAP/gap/CategoriesCategory.gi	68.18% <92.59%> (-0.07%)	⬇️

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