Avoid using the monoidal structure in CAP tests

[zickgraf]

No description provided.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 81.17%. Comparing base (5604ca4) to head (85f196d).
Report is 2 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #1707   +/-   ##
=======================================
  Coverage   81.17%   81.17%           
=======================================
  Files         559      559           
  Lines       79540    79540           
=======================================
  Hits        64564    64564           
  Misses      14976    14976           

Flag	Coverage Δ
ActionsForCAP	64.04% <ø> (ø)
AttributeCategoryForCAP	90.45% <ø> (ø)
CAP	86.31% <100.00%> (ø)
CartesianCategories	89.36% <ø> (ø)
CompilerForCAP	95.90% <ø> (ø)
ComplexesAndFilteredObjectsForCAP	73.55% <ø> (ø)
FreydCategoriesForCAP	82.16% <ø> (ø)
GeneralizedMorphismsForCAP	61.76% <ø> (ø)
GradedModulePresentationsForCAP	44.62% <ø> (ø)
GroupRepresentationsForCAP	71.92% <ø> (ø)
HomologicalAlgebraForCAP	73.21% <ø> (ø)
InternalExteriorAlgebraForCAP	93.09% <ø> (ø)
LinearAlgebraForCAP	52.92% <ø> (ø)
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.