‣ 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