Avoid using the monoidal structure in CAP tests

CAP/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CAP",
 Subtitle := "Categories, Algorithms, Programming",
-Version := "2024.10-07",
+Version := "2024.10-08",
 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",
 

CAP/examples/TerminalCategoryWithMultipleObjects.g

@@ -3,31 +3,10 @@
 #! @Section Terminal category
 
 #! @Example
-LoadPackage( "MonoidalCategories", ">= 2024.06-02", false );
+LoadPackage( "CAP", false );
 #! true
 T := TerminalCategoryWithMultipleObjects( );
 #! TerminalCategoryWithMultipleObjects( )
-Display( T );
-#! A CAP category with name TerminalCategoryWithMultipleObjects( ):
-#! 
-#! 86 primitive operations were used to derive 388 operations for this category \
-#! which algorithmically
-#! * IsCategoryWithDecidableColifts
-#! * IsCategoryWithDecidableLifts
-#! * IsEquippedWithHomomorphismStructure
-#! * IsLinearCategoryOverCommutativeRing
-#! * IsLeftClosedMonoidalCategory
-#! * IsLeftCoclosedMonoidalCategory
-#! * IsRigidSymmetricClosedMonoidalCategory
-#! * IsRigidSymmetricCoclosedMonoidalCategory
-#! * IsAbelianCategoryWithEnoughInjectives
-#! * IsAbelianCategoryWithEnoughProjectives
-#! and not yet algorithmically
-#! * IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms
-#! and furthermore mathematically
-#! * IsLocallyOfFiniteInjectiveDimension
-#! * IsLocallyOfFiniteProjectiveDimension
-#! * IsTerminalCategory
 i := InitialObject( T );
 #! <A zero object in TerminalCategoryWithMultipleObjects( )>
 t := TerminalObject( T );
@@ -101,14 +80,6 @@ Hom_ab[1] = mor_ab;
 #! true
 HomStructure( mor_ab );
 #! <A zero, identity morphism in TerminalCategoryWithSingleObject( )>
-t := TensorProduct( a, b );
-#! <A zero object in TerminalCategoryWithMultipleObjects( )>
-Display( t );
-#! TensorProductOnObjects
-a = t;
-#! false
-TensorProduct( a, a ) = t;
-#! true
 m := MorphismConstructor( a, "m", b );
 #! <A zero, isomorphism in TerminalCategoryWithMultipleObjects( )>
 Display( m );

CAP/examples/TerminalCategoryWithSingleObject.g

@@ -3,33 +3,10 @@
 #! @Section Terminal category
 
 #! @Example
-LoadPackage( "MonoidalCategories", ">= 2024.06-02", false );
+LoadPackage( "CAP", false );
 #! true
 T := TerminalCategoryWithSingleObject( );
 #! TerminalCategoryWithSingleObject( )
-Display( T );
-#! A CAP category with name TerminalCategoryWithSingleObject( ):
-#! 
-#! 80 primitive operations were used to derive 388 operations for this category \
-#! which algorithmically
-#! * IsCategoryWithDecidableColifts
-#! * IsCategoryWithDecidableLifts
-#! * IsEquippedWithHomomorphismStructure
-#! * IsLinearCategoryOverCommutativeRing
-#! * IsLeftClosedMonoidalCategory
-#! * IsLeftCoclosedMonoidalCategory
-#! * IsRigidSymmetricClosedMonoidalCategory
-#! * IsRigidSymmetricCoclosedMonoidalCategory
-#! * IsAbelianCategoryWithEnoughInjectives
-#! * IsAbelianCategoryWithEnoughProjectives
-#! and not yet algorithmically
-#! * IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms
-#! and furthermore mathematically
-#! * IsLocallyOfFiniteInjectiveDimension
-#! * IsLocallyOfFiniteProjectiveDimension
-#! * IsSkeletalCategory
-#! * IsStrictMonoidalCategory
-#! * IsTerminalCategory
 i := InitialObject( T );
 #! <A zero object in TerminalCategoryWithSingleObject( )>
 t := TerminalObject( T );