Improve compilability of RingAsCategory

[zickgraf]

No description provided.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (4df36e8) 80.91% compared to head (b012a59) 80.92%.

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #1509   +/-   ##
=======================================
  Coverage   80.91%   80.92%           
=======================================
  Files         487      487           
  Lines       62381    62381           
=======================================
+ Hits        50478    50481    +3     
+ Misses      11903    11900    -3     

Flag	Coverage Δ
ActionsForCAP	64.09% <ø> (ø)
AttributeCategoryForCAP	88.88% <ø> (ø)
CAP	84.53% <ø> (ø)
CartesianCategories	93.33% <ø> (ø)
CompilerForCAP	94.40% <ø> (ø)
ComplexesAndFilteredObjectsForCAP	73.60% <ø> (ø)
FreydCategoriesForCAP	81.26% <100.00%> (+0.02%)	⬆️
GeneralizedMorphismsForCAP	61.60% <ø> (ø)
GradedModulePresentationsForCAP	44.58% <ø> (ø)
GroupRepresentationsForCAP	72.05% <ø> (ø)
HomologicalAlgebraForCAP	73.21% <ø> (ø)
InternalExteriorAlgebraForCAP	93.08% <ø> (ø)
LinearAlgebraForCAP	66.69% <ø> (ø)
ModulePresentationsForCAP	68.46% <ø> (ø)
ModulesOverLocalRingsForCAP	90.70% <ø> (ø)
MonoidalCategories	90.53% <ø> (ø)
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.