deleted obsolete code in CategoryOfColimitQuivers

homalg-project · Jul 1, 2023 · 79c92ca · 79c92ca
1 parent a34fa0b
commit 79c92ca
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 6 deletions.
diff --git a/FiniteCocompletions/PackageInfo.g b/FiniteCocompletions/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FiniteCocompletions",
 Subtitle := "Finite (co)product/(co)limit (co)completions",
-Version := "2023.06-17",
+Version := "2023.06-18",
 Date := ~.Version{[ 1 .. 10 ]},
 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",

diff --git a/FiniteCocompletions/gap/CategoryOfColimitQuivers.gi b/FiniteCocompletions/gap/CategoryOfColimitQuivers.gi
@@ -48,7 +48,7 @@ InstallMethod( CategoryOfColimitQuivers,
   function ( C )
     local object_constructor, object_datum,
           morphism_constructor, morphism_datum,
-          F, UC, Coeq,
+          UC, Coeq,
           modeling_tower_object_constructor, modeling_tower_object_datum,
           modeling_tower_morphism_constructor, modeling_tower_morphism_datum,
           ColimitQuivers;
@@ -66,10 +66,6 @@ InstallMethod( CategoryOfColimitQuivers,
     morphism_datum := { ColimitQuivers, m } -> DefiningPairOfColimitQuiverMorphism( m );
 
     ## building the categorical tower:
-    F := FreeCategory( QuiverOfCategoryOfQuivers : range_of_HomStructure := SkeletalFinSets, FinalizeCategory := true );
-
-    F := CategoryFromDataTables( F : FinalizeCategory := true );
-
     UC := FiniteStrictCoproductCocompletion( C : FinalizeCategory := true );
 
     Coeq := PairOfParallelArrowsCategory( UC : FinalizeCategory := true );