Some small fixes

Author: zickgraf

CAP/gap/UniversalObjects.gd

@@ -1760,6 +1760,7 @@ DeclareOperation( "IsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct"
                   [ IsList ] );
 
 #! @Description
+#! This is a convenience method.
 #! The argument is a list of morphisms $D = ( \beta_i: P_i \rightarrow B )_{i = 1 \dots n}$.
 #! The output is the natural embedding
 #! $\mathrm{FiberProduct}(D) \rightarrow \prod_{i=1}^n P_i$.
@@ -1768,6 +1769,7 @@ DeclareOperation( "IsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct"
 DeclareOperation( "FiberProductEmbeddingInDirectProduct",
                   [ IsList ] );
 #! @Description
+#! This is a convenience method.
 #! The argument is a list of morphisms $D = ( \beta_i: P_i \rightarrow B )_{i = 1 \dots n}$.
 #! The output is the natural embedding
 #! $\mathrm{FiberProduct}(D) \rightarrow \bigoplus_{i=1}^n P_i$.
@@ -1967,6 +1969,7 @@ DeclareOperation( "IsomorphismFromCoequalizerOfCoproductDiagramToPushout",
                   [ IsList ] );
 
 #! @Description
+#! This is a convenience method.
 #! The argument is a list of morphisms $D = ( \beta_i: B \rightarrow I_i )_{i = 1 \dots n}$.
 #! The output is the natural projection
 #! $\bigsqcup_{i=1}^n I_i \rightarrow \mathrm{Pushout}(D)$.
@@ -1976,6 +1979,7 @@ DeclareOperation( "PushoutProjectionFromCoproduct",
                   [ IsList ] );
 
 #! @Description
+#! This is a convenience method.
 #! The argument is a list of morphisms $D = ( \beta_i: B \rightarrow I_i )_{i = 1 \dots n}$.
 #! The output is the natural projection
 #! $\bigoplus_{i=1}^n I_i \rightarrow \mathrm{Pushout}(D)$.

CAP/gap/UniversalObjects.gi

@@ -534,7 +534,7 @@ InstallMethod( FiberProductEmbeddingInDirectSum,
 
   function( diagram )
 
-    return FiberProductEmbeddingInDirectProduct( CapCategory( diagram[1] ), diagram );
+    return FiberProductEmbeddingInDirectSum( CapCategory( diagram[1] ), diagram );
 
 end );
 

FreydCategoriesForCAP/gap/FreydCategoriesDerivedMethods.gi

@@ -428,7 +428,7 @@ AddFinalDerivationBundle( # WeakBiFiberProductMorphismToDirectSum,
     return WeakKernelLift( cat, difference, test_mor );
 
   end
-] : Description := "WeakBiFiberProductMorphismToDirectSum as WeakKernelEmbedding of JointPairwiseDifferencesOfMorphismsIntoDirectProduct" );
+] : Description := "WeakBiFiberProductMorphismToDirectSum via WeakKernelEmbedding and direct sum" );
 
 ## weak bi-pushout
 ##
@@ -510,7 +510,7 @@ end
     return WeakCokernelColift( cat, difference, test_mor );
 
   end
-] : Description := "DirectSumMorphismToWeakBiPushout as WeakCokernelProjection of JointPairwiseDifferencesOfMorphismsFromCoproduct" );
+] : Description := "DirectSumMorphismToWeakBiPushout via WeakCokernelProjection and direct sum" );
 
 ## Final derivation for biased weak fiber products and biased weak pushouts.
 ## Decision: we use a derivation from weak fiber products and weak pushouts