Update to CAP v2025.03-05

* CAP v2025.03-05
* MonoidalCategories v2025.03-02
* CartesianCategories v2025.03-03
* LinearAlgebraForCAP v2025.03-02
* Toposes v2025.03-02

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.2"
+version = "0.1.3"
 
 [deps]
 MatricesForHomalg = "29b9b1b6-efa6-450e-8188-a5a2c25df071"
@@ -15,8 +15,8 @@ MonoidalCategories = "bfd98c86-782f-4b94-909f-74167f1eb613"
 [compat]
 julia = "1.11"
 MatricesForHomalg = "0.1"
-CAP = "0.3"
-MonoidalCategories = "0.1"
+CAP = "0.4"
+MonoidalCategories = "0.2"
 
 [extras]
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"

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", "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", "IsCategoryWithEqualizers", "IsCategoryWithInitialObject", "IsCategoryWithTerminalObject", "IsCategoryWithZeroObject", "IsClosedMonoidalCategory", "IsCoclosedMonoidalCategory", "IsEnrichedOverCommutativeRegularSemigroup", "IsEquippedWithHomomorphismStructure", "IsLinearCategoryOverCommutativeRing", "IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms", "IsMonoidalCategory", "IsPreAbelianCategory", "IsRigidSymmetricClosedMonoidalCategory", "IsRigidSymmetricCoclosedMonoidalCategory", "IsSkeletalCategory", "IsStrictMonoidalCategory", "IsSymmetricClosedMonoidalCategory", "IsSymmetricCoclosedMonoidalCategory", "IsSymmetricMonoidalCategory" ]
 
 julia> V1 = Opposite( TensorUnit( vec ) );