‣ PositivelyZGradedClosureCategory( C ) | ( attribute ) |
Returns: a CAP category
Construct the positively \(Z\)-graded closure of the category C.
‣ IsPositivelyZGradedClosureCategory( object ) | ( filter ) |
Returns: true or false
The GAP category of positively Z-graded categories.
‣ IsCellInPositivelyZGradedClosureCategory( object ) | ( filter ) |
Returns: true or false
The GAP category of cells in a positively Z-graded category.
‣ IsObjectInPositivelyZGradedClosureCategory( object ) | ( filter ) |
Returns: true or false
The GAP category of objects in a positively Z-graded category.
‣ IsMorphismInPositivelyZGradedClosureCategory( morphism ) | ( filter ) |
Returns: true or false
The GAP category of morphisms in a positively Z-graded category.
generated by GAPDoc2HTML