From 79c92cab2cd5118746eeeb8a72f6984ce8aad8db Mon Sep 17 00:00:00 2001 From: Mohamed Barakat Date: Fri, 30 Jun 2023 12:10:31 +0200 Subject: [PATCH] deleted obsolete code in CategoryOfColimitQuivers --- FiniteCocompletions/PackageInfo.g | 2 +- FiniteCocompletions/gap/CategoryOfColimitQuivers.gi | 6 +----- 2 files changed, 2 insertions(+), 6 deletions(-) diff --git a/FiniteCocompletions/PackageInfo.g b/FiniteCocompletions/PackageInfo.g index 0e500216c..36b1a3727 100644 --- 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 index 3af3bf043..ff72e85ee 100644 --- 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 );