Index

\/, for IsCapCategoryCell, IsLazyCategory 2.3-1
_EvaluationOfCell 2.2-7
DigraphOfEvaluation, for IsCellInLazyCategory 2.2-6
EmbeddingFunctorOfUnderlyingCategory, for IsCapCategory 2.3-3
EvaluatedCell, for IsCellInLazyCategory 2.2-8
GenesisOfCell, for IsCellInLazyCategory 2.2-2
GenesisOfCellArguments, for IsCellInLazyCategory 2.2-4
GenesisOfCellOperation, for IsCellInLazyCategory 2.2-3
GetLabel, for IsCapCategoryCell 2.4-2
IsCellInLazyCategory, for IsCapCategoryCell 2.1-2
IsEqualForCells, for IsObject, IsObject 2.4-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.3-2
ListOfEvaluationNodes, for IsCellInLazyCategory 2.2-5
SetLabel, for IsCellInLazyCategory, IsString 2.4-1
UnderlyingCategory, for IsLazyCategory 2.2-1
Visualize, for IsCellInLazyCategory 2.4-4