[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 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 ) |