AddDerivationToCAP( MorphismFromCoimageToImageWithGivenObjects, ... )

[mohamed-barakat]

[mohamed-barakat]

I would like to discuss the mathematical content before merging.

[codecov[bot]]

Codecov Report

Attention: 8 lines in your changes are missing coverage. Please review.

Files	Coverage Δ
CAP/PackageInfo.g	100.00% <100.00%> (ø)
LinearAlgebraForCAP/PackageInfo.g	100.00% <100.00%> (ø)
CAP/gap/DerivedMethods.autogen.gi	86.93% <90.00%> (+0.03%)	:arrow_up:
CAP/gap/DerivedMethods.gi	83.99% <62.50%> (-0.11%)	:arrow_down:
...recompiled_categories/MatrixCategoryPrecompiled.gi	66.58% <33.33%> (+0.10%)	:arrow_up:

:loudspeaker: Thoughts on this report? Let us know!.

[zickgraf]

For future reference: I think the following PR might have partially overlapping ideas, in the Abelian context: https://github.com/homalg-project/CAP_project/pull/1211