\/
, for IsCapCategoryCell, IsLazyCategory 2.4-1 _EvaluationOfCell
2.3-7 DigraphOfEvaluation
, for IsCellInLazyCategory 2.3-6 EmbeddingFunctorOfUnderlyingCategory
, for IsCapCategory 2.4-3 EvaluatedCell
, for IsCellInLazyCategory 2.3-8 GenesisOfCell
, for IsCellInLazyCategory 2.3-2 GenesisOfCellArguments
, for IsCellInLazyCategory 2.3-4 GenesisOfCellOperation
, for IsCellInLazyCategory 2.3-3 GetLabel
, for IsCapCategoryCell 2.5-2 IsCellInLazyCategory
, for IsCapCategoryCell 2.1-2 IsEqualForCells
, for IsObject, IsObject 2.5-3 IsLazyCategory
, for IsCapCategory 2.1-1 IsMorphismInLazyCategory
, for IsCellInLazyCategory and IsCapCategoryMorphism 2.1-4 IsObjectInLazyCategory
, for IsCellInLazyCategory and IsCapCategoryObject 2.1-3 LazyCategory
, for IsCapCategory 2.4-2 ListOfEvaluationNodes
, for IsCellInLazyCategory 2.3-5 RECORD_OF_COMPACT_NAMES_OF_CATEGORICAL_OPERATIONS
2.2-1 SetLabel
, for IsCellInLazyCategory, IsString 2.5-1 UnderlyingCategory
, for IsLazyCategory 2.3-1 Visualize
, for IsCellInLazyCategory 2.5-4
generated by GAPDoc2HTML