the category of parametrised maps is not linear

Author: kamalsaleh

PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "MachineLearningForCAP",
 Subtitle := "Exploring categorical machine learning in CAP",
-Version := "2024.07-13",
+Version := "2024.07-15",
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",
 

gap/CategoryOfParametrisedMorphisms.gi

@@ -26,10 +26,6 @@ InstallMethod( CategoryOfParametrisedMorphisms,
              IsCapCategoryTwoCell
              : overhead := false );
 
-    SetIsLinearCategoryOverCommutativeRing( Para, true );
-    
-    SetCommutativeRingOfLinearCategory( Para, CommutativeRingOfLinearCategory( C ) );
-    
     SetUnderlyingCategory( Para, C );
 
     ## Adding Operations
@@ -181,20 +177,7 @@ InstallMethod( CategoryOfParametrisedMorphisms,
 
     end );
 
-    AddMultiplyWithElementOfCommutativeRingForMorphisms( Para,
-      
-      function ( Para, a, f )
-        local C;
-        
-        C := UnderlyingCategory( Para );
-        
-        return MorphismConstructor( Para,
-                    Source( f ),
-                    Pair( UnderlyingObject( f ), MultiplyWithElementOfCommutativeRingForMorphisms( C, a, UnderlyingMorphism( f ) ) ),
-                    Target( f ) );
-        
-    end );
-    
+    ##
     AddSimplifyMorphism( Para,
 
       function ( Para, f, n )