allow building towers of non-yet finalized categories

Author: mohamed-barakat

CAP/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CAP",
 Subtitle := "Categories, Algorithms, Programming",
-Version := "2025.06-09",
+Version := "2025.07-01",
 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",
 

CAP/gap/CategoriesCategory.gi

@@ -130,8 +130,21 @@ InstallMethod( CapFunctor,
                [ IsString, IsCapCategory, IsCapCategory ],
 
   function( name, source, range )
+    local source_list, objectified_functor;
 
-    return CapFunctor( name, [ source ], range );
+    source_list := CAP_INTERNAL_NICE_FUNCTOR_INPUT_LIST( [ source ] );
+    
+    objectified_functor := CreateCapCategoryMorphismWithAttributes( CapCat,
+                                                                    AsCatObject( source ),
+                                                                    AsCatObject( range ),
+                                                                    Name, name,
+                                                                    InputSignature, source_list );
+    
+    objectified_functor!.input_source_list := source_list;
+    
+    objectified_functor!.number_arguments := Length( source_list );
+    
+    return objectified_functor;
 
 end );