installed InitialObject/TerminalObject as empty coproduct/product

[mohamed-barakat]

[codecov[bot]]

Codecov Report

Attention: Patch coverage is 75.00000% with 19 lines in your changes missing coverage. Please review.

Project coverage is 81.86%. Comparing base (0695fae) to head (395b3f7).

Files	Patch %	Lines
CAP/gap/DerivedMethods.gi	74.66%	19 Missing :warning:

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1607      +/-   ##
==========================================
- Coverage   84.66%   81.86%   -2.81%     
==========================================
  Files         308      529     +221     
  Lines       47197    70539   +23342     
==========================================
+ Hits        39961    57747   +17786     
- Misses       7236    12792    +5556     

Flag	Coverage Δ
ActionsForCAP	64.09% <ø> (ø)
AttributeCategoryForCAP	88.88% <ø> (ø)
CAP	84.82% <75.00%> (-0.05%)	:arrow_down:
CartesianCategories	91.77% <ø> (ø)
CompilerForCAP	96.16% <ø> (ø)
ComplexesAndFilteredObjectsForCAP	73.60% <ø> (ø)
FreydCategoriesForCAP	81.32% <ø> (ø)
GeneralizedMorphismsForCAP	61.60% <ø> (ø)
GradedModulePresentationsForCAP	44.62% <ø> (?)
GroupRepresentationsForCAP	72.05% <ø> (?)
HomologicalAlgebraForCAP	73.21% <ø> (?)
InternalExteriorAlgebraForCAP	93.09% <ø> (?)
LinearAlgebraForCAP	66.35% <ø> (?)
ModulePresentationsForCAP	68.68% <ø> (?)
ModulesOverLocalRingsForCAP	90.70% <ø> (?)
MonoidalCategories	89.46% <ø> (?)
ToricSheaves	21.79% <ø> (?)

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

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

[mohamed-barakat]

Any more changes required?

[zickgraf]

Any more changes required?

Sorry, I wasn't aware that you already added the changes. I will have a look.