Update to new packages

* CAP v2025.04-04
* CartesianCategories v2025.05-01
* FreydCategoriesForCAP v2025.04-01
* LinearAlgebraForCAP v2025.05-01

Author: mohamed-barakat

Project.toml

@@ -5,7 +5,7 @@ authors = [
 	"Sebastian Posur <sebastian.posur@uni-muenster.de>",
 	"Fabian Zickgraf <f.zickgraf@dashdos.com>",
 ]
-version = "0.1.3"
+version = "0.1.4"
 
 [deps]
 MatricesForHomalg = "29b9b1b6-efa6-450e-8188-a5a2c25df071"
@@ -15,7 +15,7 @@ MonoidalCategories = "bfd98c86-782f-4b94-909f-74167f1eb613"
 [compat]
 julia = "1.11"
 MatricesForHomalg = "0.1"
-CAP = "0.4"
+CAP = "0.4, 0.5"
 MonoidalCategories = "0.2"
 
 [extras]

docs/src/AutoDocTests.tst.autogen.md

@@ -715,7 +715,7 @@ julia> vec = MatrixCategory( QQ );
 julia> op = Opposite( vec );
 
 julia> Display( ListKnownCategoricalProperties( op ) )
-[ "IsAbCategory", "IsAbelianCategory", "IsAbelianCategoryWithEnoughInjectives", "IsAbelianCategoryWithEnoughProjectives", "IsAdditiveCategory", "IsBraidedMonoidalCategory", "IsCategoryWithCoequalizers", "IsCategoryWithEqualizers", "IsCategoryWithInitialObject", "IsCategoryWithTerminalObject", "IsCategoryWithZeroObject", "IsClosedMonoidalCategory", "IsCoclosedMonoidalCategory", "IsEnrichedOverCommutativeRegularSemigroup", "IsEquippedWithHomomorphismStructure", "IsLinearCategoryOverCommutativeRing", "IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms", "IsMonoidalCategory", "IsPreAbelianCategory", "IsRigidSymmetricClosedMonoidalCategory", "IsRigidSymmetricCoclosedMonoidalCategory", "IsSkeletalCategory", "IsStrictMonoidalCategory", "IsSymmetricClosedMonoidalCategory", "IsSymmetricCoclosedMonoidalCategory", "IsSymmetricMonoidalCategory" ]
+[ "IsAbCategory", "IsAbelianCategory", "IsAbelianCategoryWithEnoughInjectives", "IsAbelianCategoryWithEnoughProjectives", "IsAdditiveCategory", "IsBraidedMonoidalCategory", "IsCategoryWithCoequalizers", "IsCategoryWithCokernels", "IsCategoryWithEqualizers", "IsCategoryWithInitialObject", "IsCategoryWithKernels", "IsCategoryWithTerminalObject", "IsCategoryWithZeroObject", "IsClosedMonoidalCategory", "IsCoclosedMonoidalCategory", "IsEnrichedOverCommutativeRegularSemigroup", "IsEquippedWithHomomorphismStructure", "IsLinearCategoryOverCommutativeRing", "IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms", "IsMonoidalCategory", "IsPreAbelianCategory", "IsRigidSymmetricClosedMonoidalCategory", "IsRigidSymmetricCoclosedMonoidalCategory", "IsSkeletalCategory", "IsStrictMonoidalCategory", "IsSymmetricClosedMonoidalCategory", "IsSymmetricCoclosedMonoidalCategory", "IsSymmetricMonoidalCategory" ]
 
 julia> V1 = Opposite( TensorUnit( vec ) );