[MathJax on]
2 Create lazy hulls of a category
2.1 GAP categories
2.1-1 IsLazyCategory
‣ IsLazyCategory ( arg ) | ( filter ) |
Returns: true
or false
The GAP category of a lazy category.
2.1-2 IsCellInLazyCategory
‣ IsCellInLazyCategory ( arg ) | ( filter ) |
Returns: true
or false
The GAP category of cells in a lazy category.
2.1-3 IsObjectInLazyCategory
‣ IsObjectInLazyCategory ( arg ) | ( filter ) |
Returns: true
or false
The GAP category of objects in a lazy category.
2.1-4 IsMorphismInLazyCategory
‣ IsMorphismInLazyCategory ( arg ) | ( filter ) |
Returns: true
or false
The GAP category of morphisms in a lazy category.
2.2 Global variables
2.2-1 RECORD_OF_COMPACT_NAMES_OF_CATEGORICAL_OPERATIONS
‣ RECORD_OF_COMPACT_NAMES_OF_CATEGORICAL_OPERATIONS | ( global variable ) |
2.3 Attributes
2.3-1 UnderlyingCategory
‣ UnderlyingCategory ( arg ) | ( attribute ) |
2.3-2 GenesisOfCell
‣ GenesisOfCell ( arg ) | ( attribute ) |
2.3-3 GenesisOfCellOperation
‣ GenesisOfCellOperation ( arg ) | ( operation ) |
2.3-4 GenesisOfCellArguments
‣ GenesisOfCellArguments ( arg ) | ( operation ) |
2.3-5 ListOfEvaluationNodes
‣ ListOfEvaluationNodes ( arg ) | ( attribute ) |
2.3-6 DigraphOfEvaluation
‣ DigraphOfEvaluation ( arg ) | ( attribute ) |
2.3-7 _EvaluationOfCell
‣ _EvaluationOfCell ( arg ) | ( function ) |
2.3-8 EvaluatedCell
‣ EvaluatedCell ( arg ) | ( attribute ) |
2.4 Constructors
2.4-1 \/
‣ \/ ( arg1, arg2 ) | ( operation ) |
2.4-2 LazyCategory
‣ LazyCategory ( arg ) | ( operation ) |
2.4-3 EmbeddingFunctorOfUnderlyingCategory
‣ EmbeddingFunctorOfUnderlyingCategory ( arg ) | ( operation ) |
2.5 Operations
2.5-1 SetLabel
‣ SetLabel ( arg1, arg2 ) | ( operation ) |
2.5-2 GetLabel
‣ GetLabel ( arg ) | ( operation ) |
2.5-3 IsEqualForCells
‣ IsEqualForCells ( arg1, arg2 ) | ( operation ) |
2.5-4 Visualize
‣ Visualize ( arg ) | ( operation ) |