Update to MonoidalCategories/CartesianCategories v2025.07-04

Author: mohamed-barakat

Project.toml

@@ -7,7 +7,7 @@ authors = [
 	"Sebastian Posur <sebastian.posur@uni-muenster.de>",
 	"Fabian Zickgraf <f.zickgraf@dashdos.com>",
 ]
-version = "0.2.6"
+version = "0.2.7"
 
 [deps]
 CAP = "d64df2ee-d2bb-46f4-8cbc-f03bb858f8cb"

src/gap/MonoidalCategoriesTest.gd.autogen.jl

@@ -8,6 +8,15 @@
 
 #! @Section Test functions
 
+#! @Description
+#! This is a debug operation.
+#! The arguments are two objects $obj$ in a monoidal category $cat$.
+#! The output is true if the left and right unitors are invertible for $obj$.
+#! @Returns a boolean
+#! @Arguments cat, obj
+@DeclareOperation( "TestMonoidalUnitorsForInvertibility",
+              [ IsCapCategory, IsCapCategoryObject ] );
+
 #! @Description
 #! This is a debug operation.
 #! The arguments are two objects $obj_1, obj_2$ in a monoidal category $cat$.

src/gap/MonoidalCategoriesTest.gi.autogen.jl

@@ -4,6 +4,22 @@
 # Implementations
 #
 
+##
+@InstallMethod( TestMonoidalUnitorsForInvertibility,
+               [ IsCapCategory, IsCapCategoryObject ],
+               
+  function( cat, object )
+    
+    @Assert( 0, HasIsMonoidalCategory( cat ) && IsMonoidalCategory( cat ) );
+    @Assert( 0, IsIdenticalObj( cat, CapCategory( object ) ) );
+    
+    return IsOne( PreCompose( LeftUnitor( object ), LeftUnitorInverse( object ) ) ) &&
+           IsOne( PreCompose( LeftUnitorInverse( object ), LeftUnitor( object ) ) ) &&
+           IsOne( PreCompose( RightUnitor( object ), RightUnitorInverse( object ) ) ) &&
+           IsOne( PreCompose( RightUnitorInverse( object ), RightUnitor( object ) ) );
+    
+end );
+
 ##
 @InstallMethod( TestMonoidalTriangleIdentity,
                [ IsCapCategory, IsCapCategoryObject, IsCapCategoryObject ],
@@ -289,6 +305,8 @@ end );
 
         if (IsEmpty( MissingOperationsForConstructivenessOfCategory( cat, "IsMonoidalCategory" ) ))
 
+            @Assert( 0, ForAll( [ a, b, c ], obj -> TestMonoidalUnitorsForInvertibility( cat, obj ) ) );
+            
             @Assert( 0, TestMonoidalTriangleIdentityForAllPairsInList( cat, [ a, b, c ] ) );
 
             @Assert( 0, TestMonoidalPentagonIdentity( cat, a, b, c, b ) );
@@ -299,6 +317,8 @@ end );
 
         if (IsEmpty( MissingOperationsForConstructivenessOfCategory( opposite, "IsMonoidalCategory" ) ))
 
+            @Assert( 0, ForAll( [ a_op, b_op, c_op ], obj -> TestMonoidalUnitorsForInvertibility( opposite, obj ) ) );
+            
             @Assert( 0, TestMonoidalTriangleIdentityForAllPairsInList( opposite, [ a_op, b_op, c_op ] ) );
 
             @Assert( 0, TestMonoidalPentagonIdentity( opposite, a_op, b_op, c_op, b_op ) );