Index

/, for IsCapCategoryMorphism, IsSliceCategory 1.4-2
AmbientCategory, for IsSliceCategory 1.3-1
AsSliceCategoryCell, for IsCapCategoryMorphism 2.2-3
    for IsCapCategoryMorphism, IsSliceCategory 1.4-1
    for IsList 3.3-3
    for IsObjectInASliceCategory, IsCapCategoryMorphism, IsObjectInASliceCategory 1.4-3
BaseObject, for IsCellInASliceCategory 1.3-3
    for IsSliceCategory 1.3-2
CAP_INTERNAL_METHOD_NAME_LIST_FOR_SLICE_CATEGORY 1.2-1
DualOverTensorUnit, for IsCapCategoryMorphism 1.3-8
InclusionFunctor, for IsSliceCategory 1.3-7
IsCellInALazySliceCategory, for IsCellInASliceCategory 3.1-2
IsCellInALazySliceCategoryOverTensorUnit, for IsCellInSliceCategoryOverTensorUnit and IsCellInALazySliceCategory 3.1-6
IsCellInAnEagerSliceCategory, for IsCellInASliceCategory 2.1-2
IsCellInAnEagerSliceCategoryOverTensorUnit, for IsCellInSliceCategoryOverTensorUnit and IsCellInAnEagerSliceCategory 2.1-6
IsCellInASliceCategory, for IsCapCategoryCell 1.1-2
IsCellInSliceCategoryOverTensorUnit, for IsCellInASliceCategory 1.1-6
IsEagerSliceCategory, for IsSliceCategory 2.1-1
IsEagerSliceCategoryOverTensorUnit, for IsSliceCategoryOverTensorUnit and IsEagerSliceCategory 2.1-5
IsLazySliceCategory, for IsSliceCategory 3.1-1
IsLazySliceCategoryOverTensorUnit, for IsSliceCategoryOverTensorUnit and IsLazySliceCategory 3.1-5
IsMorphismInALazySliceCategory, for IsMorphismInASliceCategory and IsCellInALazySliceCategory 3.1-4
IsMorphismInALazySliceCategoryOverTensorUnit, for IsMorphismInSliceCategoryOverTensorUnit and IsMorphismInALazySliceCategory 3.1-8
IsMorphismInAnEagerSliceCategory, for IsMorphismInASliceCategory and IsCellInAnEagerSliceCategory 2.1-4
IsMorphismInAnEagerSliceCategoryOverTensorUnit, for IsMorphismInSliceCategoryOverTensorUnit and IsMorphismInAnEagerSliceCategory 2.1-8
IsMorphismInASliceCategory, for IsCellInASliceCategory and IsCapCategoryMorphism 1.1-4
IsMorphismInSliceCategoryOverTensorUnit, for IsCellInSliceCategoryOverTensorUnit and IsMorphismInASliceCategory 1.1-8
IsObjectInALazySliceCategory, for IsObjectInASliceCategory and IsCellInALazySliceCategory 3.1-3
IsObjectInALazySliceCategoryOverTensorUnit, for IsObjectInSliceCategoryOverTensorUnit and IsObjectInALazySliceCategory 3.1-7
IsObjectInAnEagerSliceCategory, for IsObjectInASliceCategory and IsCellInAnEagerSliceCategory 2.1-3
IsObjectInAnEagerSliceCategoryOverTensorUnit, for IsObjectInSliceCategoryOverTensorUnit and IsObjectInAnEagerSliceCategory 2.1-7
IsObjectInASliceCategory, for IsCellInASliceCategory and IsCapCategoryObject 1.1-3
IsObjectInSliceCategoryOverTensorUnit, for IsCellInSliceCategoryOverTensorUnit and IsObjectInASliceCategory 1.1-7
IsSliceCategory, for IsCapCategory 1.1-1
IsSliceCategoryOverTensorUnit, for IsSliceCategory 1.1-5
LazySliceCategory, for IsCapCategoryObject 3.3-1
LazySliceCategoryOverTensorUnit, for IsCapCategory 3.3-2
MorphismFromCovariantArgumentOfInternalHom, for IsObjectInSliceCategoryOverTensorUnit, IsObjectInSliceCategoryOverTensorUnit 1.5-1
SliceCategory, for IsCapCategoryObject 2.2-1
SliceCategoryOverTensorUnit, for IsCapCategory 2.2-2
SourceOfUnderlyingMorphism, for IsObjectInASliceCategory 1.3-5
UnderlyingCell, for IsCellInASliceCategory 1.3-6
UnderlyingMorphism, for IsObjectInASliceCategory 1.3-4
UnderlyingMorphismList, for IsObjectInALazySliceCategory 3.2-1