make FinalizeCategory an explicit option for OppositeCategory

[mohamed-barakat]

No description provided.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 81.02%. Comparing base (be8ad91) to head (41eaaf5).
⚠️ Report is 2 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #1812   +/-   ##
=======================================
  Coverage   81.02%   81.02%           
=======================================
  Files         587      587           
  Lines       83012    83015    +3     
=======================================
+ Hits        67257    67260    +3     
  Misses      15755    15755           

Flag	Coverage Δ
ActionsForCAP	64.04% <ø> (ø)
AdditiveClosuresForCAP	82.27% <ø> (ø)
AttributeCategoryForCAP	90.45% <ø> (ø)
CAP	86.47% <100.00%> (+<0.01%)	⬆️
CartesianCategories	83.87% <ø> (ø)
CompilerForCAP	95.88% <ø> (ø)
ComplexesAndFilteredObjectsForCAP	73.56% <ø> (ø)
FreydCategoriesForCAP	82.95% <ø> (ø)
GeneralizedMorphismsForCAP	61.73% <ø> (ø)
GradedModulePresentationsForCAP	44.78% <ø> (ø)
GroupRepresentationsForCAP	73.84% <ø> (ø)
GroupsAsCategoriesForCAP	93.20% <ø> (ø)
HomologicalAlgebraForCAP	73.21% <ø> (ø)
InternalExteriorAlgebraForCAP	93.09% <ø> (ø)
LinearAlgebraForCAP	57.60% <ø> (ø)
LinearClosuresForCAP	36.18% <ø> (ø)
ModulePresentationsForCAP	75.05% <ø> (ø)
ModulesOverLocalRingsForCAP	90.70% <ø> (ø)
MonoidalCategories	89.88% <ø> (ø)
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.

🚀 New features to boost your workflow:

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