[MathJax off]
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 Attributes
2.2-1 UnderlyingCategory
‣ UnderlyingCategory( arg ) | ( attribute ) |
2.2-2 GenesisOfCell
‣ GenesisOfCell( arg ) | ( attribute ) |
2.2-3 GenesisOfCellOperation
‣ GenesisOfCellOperation( arg ) | ( operation ) |
2.2-4 GenesisOfCellArguments
‣ GenesisOfCellArguments( arg ) | ( operation ) |
2.2-5 ListOfEvaluationNodes
‣ ListOfEvaluationNodes( arg ) | ( attribute ) |
2.2-6 DigraphOfEvaluation
‣ DigraphOfEvaluation( arg ) | ( attribute ) |
2.2-7 _EvaluationOfCell
‣ _EvaluationOfCell( arg ) | ( function ) |
2.2-8 EvaluatedCell
‣ EvaluatedCell( arg ) | ( attribute ) |
2.3 Constructors
2.3-1 \/
‣ \/( arg1, arg2 ) | ( operation ) |
2.3-2 LazyCategory
‣ LazyCategory( arg ) | ( operation ) |
2.3-3 EmbeddingFunctorOfUnderlyingCategory
‣ EmbeddingFunctorOfUnderlyingCategory( arg ) | ( operation ) |
2.4 Operations
2.4-1 SetLabel
‣ SetLabel( arg1, arg2 ) | ( operation ) |
2.4-2 GetLabel
‣ GetLabel( arg ) | ( operation ) |
2.4-3 IsEqualForCells
‣ IsEqualForCells( arg1, arg2 ) | ( operation ) |
2.4-4 Visualize
‣ Visualize( arg ) | ( operation ) |