‣ IsBraidedMonoidalCategory( C ) | ( property ) |
Returns: true or false
The property of the category C being braided monoidal.
‣ IsClosedMonoidalCategory( C ) | ( property ) |
Returns: true or false
The property of the category C being closed monoidal.
‣ IsCoclosedMonoidalCategory( C ) | ( property ) |
Returns: true or false
The property of the category C being coclosed monoidal.
‣ IsMonoidalCategory( C ) | ( property ) |
Returns: true or false
The property of the category C being monoidal.
‣ IsStrictMonoidalCategory( C ) | ( property ) |
Returns: true or false
The property of the category C being strict monoidal.
‣ IsRigidSymmetricClosedMonoidalCategory( C ) | ( property ) |
Returns: true or false
The property of the category C being rigid symmetric closed monoidal.
‣ IsRigidSymmetricCoclosedMonoidalCategory( C ) | ( property ) |
Returns: true or false
The property of the category C being rigid symmetric coclosed monoidal.
‣ IsSymmetricClosedMonoidalCategory( C ) | ( property ) |
Returns: true or false
The property of the category C being symmetric closed monoidal.
‣ IsSymmetricCoclosedMonoidalCategory( C ) | ( property ) |
Returns: true or false
The property of the category C being symmetric coclosed monoidal.
‣ IsSymmetricMonoidalCategory( C ) | ( property ) |
Returns: true or false
The property of the category C being symmetric monoidal.
generated by GAPDoc2HTML