Move `Weak*` method records

[TKuh]

When splitting parts of FreydCategoriesForCAP into a new package AdditiveClosureForCAP, the CategoryOfRows should also be moved.
It installs some Weak* operations, e.g.,

CAP_project/FreydCategoriesForCAP/gap/CategoryOfRows.gi

Lines 634 to 644 in 06b93ab

	## Operations important for Freyd categories
	AddWeakKernelEmbedding( category,
	function( cat, morphism )
	local homalg_matrix;
	homalg_matrix := ReducedSyzygiesOfRows( UnderlyingMatrix( morphism ) );
	return CategoryOfRowsMorphism( cat, CategoryOfRowsObject( cat, NrRows( homalg_matrix ) ), homalg_matrix, Source( morphism ) ); # taking NrRows could be avoided by using a WithGiven version
	end );

These Weak* operations are, however, declared and generated in gap/FreydCategoriesForCAP.gi

CAP_project/FreydCategoriesForCAP/gap/FreydCategoriesForCAP.gi

Lines 114 to 122 in 06b93ab

	WeakKernelEmbedding := rec(
	filter_list := [ "category", "morphism" ],
	input_arguments_names := [ "cat", "alpha" ],
	output_range_getter_string := "Source( alpha )",
	output_range_getter_preconditions := [ ],
	with_given_object_position := "Source",
	return_type := "morphism",
	dual_operation := "WeakCokernelProjection",
	is_merely_set_theoretic := true ),

So the new AdditiveClosureForCAP package would need to load FreydCategoriesForCAP to work properly and vice versa. This defeats the purpose of splitting.

A workaround would be to move these method records into a separate file (which should be done anyways) and move it to CAP itself.
I could also only extract the method records relevant to CategoryOfRows and move them to AdditiveClosureForCAP, but that is ugly.

Any better solutions?

[mohamed-barakat]

I suggest moving them AdditiveClosureForCAP. They belong there.

[TKuh]

Alright, that makes it easier. :) Because of Sebastian's comment,

CAP_project/FreydCategoriesForCAP/gap/CategoryOfRows.gi

Line 634 in 06b93ab

## Operations important for Freyd categories

I thought they belong more to Freyd and didn't think of this.

[TKuh]

Should these operations be moved as well? (they are not weak)

CAP_project/FreydCategoriesForCAP/gap/FreydCategoriesForCAP.gi

Lines 488 to 539 in 06b93ab

	## an abelian construction
	SomeProjectiveObjectForKernelObject := rec(
	filter_list := [ "category", "morphism" ],
	return_type := "object",
	dual_operation := "SomeInjectiveObjectForCokernelObject",
	is_merely_set_theoretic := true ),
	EpimorphismFromSomeProjectiveObjectForKernelObject := rec(
	filter_list := [ "category", "morphism" ],
	input_arguments_names := [ "cat", "alpha" ],
	with_given_object_position := "Source",
	output_range_getter_string := "KernelObject( cat, alpha )",
	output_range_getter_preconditions := [ [ "KernelObject", 1 ] ],
	return_type := "morphism",
	dual_operation := "MonomorphismToSomeInjectiveObjectForCokernelObject",
	is_merely_set_theoretic := true ),
	EpimorphismFromSomeProjectiveObjectForKernelObjectWithGivenSomeProjectiveObjectForKernelObject := rec(
	filter_list := [ "category", "morphism", "object" ],
	input_arguments_names := [ "cat", "alpha", "source" ],
	return_type := "morphism",
	output_source_getter_string := "source",
	output_range_getter_string := "KernelObject( cat, alpha )",
	output_range_getter_preconditions := [ [ "KernelObject", 1 ] ],
	dual_operation := "MonomorphismToSomeInjectiveObjectForCokernelObjectWithGivenSomeInjectiveObjectForCokernelObject",
	is_merely_set_theoretic := true ),
	SomeInjectiveObjectForCokernelObject := rec(
	filter_list := [ "category", "morphism" ],
	return_type := "object",
	dual_operation := "SomeProjectiveObjectForKernelObject",
	is_merely_set_theoretic := true ),
	MonomorphismToSomeInjectiveObjectForCokernelObject := rec(
	filter_list := [ "category", "morphism" ],
	input_arguments_names := [ "cat", "alpha" ],
	output_source_getter_string := "CokernelObject( cat, alpha )",
	output_source_getter_preconditions := [ [ "CokernelObject", 1 ] ],
	with_given_object_position := "Range",
	return_type := "morphism",
	dual_operation := "EpimorphismFromSomeProjectiveObjectForKernelObject",
	is_merely_set_theoretic := true ),
	MonomorphismToSomeInjectiveObjectForCokernelObjectWithGivenSomeInjectiveObjectForCokernelObject := rec(
	filter_list := [ "category", "morphism", "object" ],
	input_arguments_names := [ "cat", "alpha", "range" ],
	return_type := "morphism",
	output_source_getter_string := "CokernelObject( cat, alpha )",
	output_source_getter_preconditions := [ [ "CokernelObject", 1 ] ],
	output_range_getter_string := "range",
	dual_operation := "EpimorphismFromSomeProjectiveObjectForKernelObjectWithGivenSomeProjectiveObjectForKernelObject",
	is_merely_set_theoretic := true ),