‣ 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 (bi)closed monoidal.
‣ IsCoclosedMonoidalCategory ( C ) | ( property ) |
Returns: true
or false
The property of the category C being (bi)coclosed monoidal.
‣ IsLeftClosedMonoidalCategory ( C ) | ( property ) |
Returns: true
or false
The property of the category C being left closed monoidal.
‣ IsLeftCoclosedMonoidalCategory ( 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