derived CartesianLeft/RightUnitorInverse and CocartesianLeft/RightUnitor

[mohamed-barakat]

No description provided.

[codecov]

Codecov Report

❌ Patch coverage is 47.82609% with 36 lines in your changes missing coverage. Please review.
✅ Project coverage is 80.70%. Comparing base (15c762a) to head (2b5b0b9).

Files with missing lines	Patch %	Lines
...ies/gap/CartesianCategoriesDerivedMethods_extra.gi	47.05%	18 Missing ⚠️
...s/gap/CocartesianCategoriesDerivedMethods_extra.gi	47.05%	18 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1863      +/-   ##
==========================================
- Coverage   80.73%   80.70%   -0.03%     
==========================================
  Files         589      589              
  Lines       86134    86202      +68     
==========================================
+ Hits        69540    69572      +32     
- Misses      16594    16630      +36     

Flag	Coverage Δ
ActionsForCAP	64.04% <ø> (ø)
AdditiveClosuresForCAP	80.69% <ø> (ø)
AttributeCategoryForCAP	90.45% <ø> (ø)
CAP	86.37% <ø> (ø)
CartesianCategories	83.90% <47.82%> (-0.23%)	⬇️
CompilerForCAP	95.39% <ø> (ø)
ComplexesAndFilteredObjectsForCAP	73.56% <ø> (ø)
FreydCategoriesForCAP	83.16% <ø> (ø)
GeneralizedMorphismsForCAP	61.73% <ø> (ø)
GradedModulePresentationsForCAP	44.78% <ø> (ø)
GroupRepresentationsForCAP	73.85% <ø> (ø)
GroupsAsCategoriesForCAP	90.90% <ø> (ø)
HomologicalAlgebraForCAP	73.21% <ø> (ø)
InternalExteriorAlgebraForCAP	93.09% <ø> (ø)
LinearAlgebraForCAP	56.00% <ø> (ø)
LinearClosuresForCAP	36.36% <ø> (ø)
ModulePresentationsForCAP	75.05% <ø> (ø)
ModulesOverLocalRingsForCAP	90.70% <ø> (ø)
MonoidalCategories	90.10% <ø> (ø)
ToricSheaves	21.79% <ø> (ø)

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

☔ View full report in Codecov by Harness.
📢 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.