From feddcf3040f4cd395e7f8e15239501f93dcf9298 Mon Sep 17 00:00:00 2001 From: Mohamed Barakat Date: Wed, 28 Jun 2023 16:26:20 +0200 Subject: [PATCH] updated FiniteCocompletions --- FiniteCocompletions/PackageInfo.g | 2 +- .../TerminalCategory_as_FiniteCoproductCocompletion.g | 10 +++++++--- .../TerminalCategory_as_FiniteProductCompletion.g | 10 ++++++---- 3 files changed, 14 insertions(+), 8 deletions(-) diff --git a/FiniteCocompletions/PackageInfo.g b/FiniteCocompletions/PackageInfo.g index 0a9611e44..0e500216c 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-16", +Version := "2023.06-17", 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/examples/TerminalCategory_as_FiniteCoproductCocompletion.g b/FiniteCocompletions/examples/TerminalCategory_as_FiniteCoproductCocompletion.g index 38323cd1d..d89265264 100644 --- a/FiniteCocompletions/examples/TerminalCategory_as_FiniteCoproductCocompletion.g +++ b/FiniteCocompletions/examples/TerminalCategory_as_FiniteCoproductCocompletion.g @@ -8,29 +8,33 @@ T := FiniteStrictCoproductCocompletion( InitialCategory( ) ); Display( T ); #! A CAP category with name FiniteStrictCoproductCocompletion( InitialCategory( ) ): #! -#! 93 primitive operations were used to derive 534 operations for this category +#! 92 primitive operations were used to derive 547 operations for this category #! which algorithmically #! * IsCategoryWithDecidableColifts #! * IsCategoryWithDecidableLifts #! * IsEquippedWithHomomorphismStructure #! * IsLinearCategoryOverCommutativeRing -#! * IsBicartesianCoclosedCategory #! * IsAbelianCategoryWithEnoughInjectives #! * IsAbelianCategoryWithEnoughProjectives +#! * IsClosedMonoidalLattice +#! * IsCoclosedMonoidalLattice +#! * IsBooleanAlgebra #! * IsRigidSymmetricClosedMonoidalCategory #! * IsRigidSymmetricCoclosedMonoidalCategory #! * IsElementaryTopos #! and furthermore mathematically +#! * IsDiscreteCategory #! * IsFinitelyPresentedCategory #! * IsFinitelyPresentedLinearCategory #! * IsLinearClosureOfACategory #! * IsLocallyOfFiniteInjectiveDimension #! * IsLocallyOfFiniteProjectiveDimension -#! * IsSkeletalCategory +#! * IsStableProset #! * IsStrictCartesianCategory #! * IsStrictCocartesianCategory #! * IsStrictMonoidalCategory #! * IsTerminalCategory +#! * IsTotalOrderCategory i := InitialObject( T ); #! t := TerminalObject( T ); diff --git a/FiniteCocompletions/examples/TerminalCategory_as_FiniteProductCompletion.g b/FiniteCocompletions/examples/TerminalCategory_as_FiniteProductCompletion.g index e014fc687..6dc7538e8 100644 --- a/FiniteCocompletions/examples/TerminalCategory_as_FiniteProductCompletion.g +++ b/FiniteCocompletions/examples/TerminalCategory_as_FiniteProductCompletion.g @@ -8,29 +8,31 @@ T := FiniteStrictProductCompletion( InitialCategory( ) ); Display( T ); #! A CAP category with name FiniteStrictProductCompletion( InitialCategory( ) ): #! -#! 91 primitive operations were used to derive 486 operations for this category +#! 90 primitive operations were used to derive 499 operations for this category #! which algorithmically #! * IsCategoryWithDecidableColifts #! * IsCategoryWithDecidableLifts #! * IsEquippedWithHomomorphismStructure #! * IsLinearCategoryOverCommutativeRing -#! * IsBicartesianClosedCategory -#! * IsBicartesianCoclosedCategory #! * IsAbelianCategoryWithEnoughInjectives #! * IsAbelianCategoryWithEnoughProjectives +#! * IsClosedMonoidalLattice +#! * IsCoclosedMonoidalLattice +#! * IsBooleanAlgebra #! * IsRigidSymmetricClosedMonoidalCategory #! * IsRigidSymmetricCoclosedMonoidalCategory #! and furthermore mathematically +#! * IsDiscreteCategory #! * IsFinitelyPresentedCategory #! * IsFinitelyPresentedLinearCategory #! * IsLinearClosureOfACategory #! * IsLocallyOfFiniteInjectiveDimension #! * IsLocallyOfFiniteProjectiveDimension -#! * IsSkeletalCategory #! * IsStrictCartesianCategory #! * IsStrictCocartesianCategory #! * IsStrictMonoidalCategory #! * IsTerminalCategory +#! * IsTotalOrderCategory i := InitialObject( T ); #! t := TerminalObject( T );