Index

/, for IsCapCategoryMorphism, IsSliceCategory 3.4-2
\/, for IsCapCategoryCell, IsCapSubcategory 1.4-4
AmbientCategory, for IsCapSubcategory 1.3-3
    for IsSliceCategory 3.3-1
AsSliceCategoryCell, for IsCapCategoryMorphism 4.2-3
    for IsCapCategoryMorphism, IsSliceCategory 3.4-1
    for IsList 5.3-3
    for IsObjectInASliceCategory, IsCapCategoryMorphism, IsObjectInASliceCategory 3.4-3
AsSubcategoryCell, for IsCapSubcategory, IsCapCategoryCell 1.4-2
    for IsObjectInASubcategory, IsCapCategoryMorphism, IsObjectInASubcategory 1.4-3
BaseObject, for IsCellInASliceCategory 3.3-3
    for IsSliceCategory 3.3-2
CAP_INTERNAL_METHOD_NAME_LIST_FOR_ADDITIVE_FULL_SUBCATEGORY 2.2-2
CAP_INTERNAL_METHOD_NAME_LIST_FOR_FULL_SUBCATEGORY 2.2-1
CAP_INTERNAL_METHOD_NAME_LIST_FOR_SLICE_CATEGORY 3.2-1
CAP_INTERNAL_METHOD_NAME_LIST_FOR_SUBCATEGORY 1.2-1
DualOverTensorUnit, for IsCapCategoryMorphism 3.3-8
FullSubcategory, for IsCapCategory, IsString 2.3-1
FullSubcategoryByObjectMembershipFunction 2.3-5
FullSubcategoryGeneratedByListOfObjects 2.3-2
FullSubcategoryOfIndecomposableInjectiveObjects, for IsCapCategory 2.3-4
FullSubcategoryOfIndecomposableProjectiveObjects, for IsCapCategory 2.3-3
FullSubcategoryOfInjectiveObjects, for IsCapCategory 2.3-7
FullSubcategoryOfProjectiveObjects, for IsCapCategory 2.3-6
InclusionFunctor, for IsCapFullSubcategory 2.4-1
    for IsSliceCategory 3.3-7
IsCapFullSubcategory, for IsCapSubcategory 2.1-1
IsCapFullSubcategoryDefinedByObjectMembershipFunction, for IsCapFullSubcategory 2.1-3
IsCapFullSubcategoryGeneratedByFiniteNumberOfObjects, for IsCapFullSubcategory 2.1-2
IsCapSubcategory, for IsCapCategory 1.1-1
IsCapSubcategoryGeneratedByFiniteNumberOfMorphisms, for IsCapSubcategory 1.1-2
IsCellInAFullSubcategory, for IsCellInASubcategory 2.1-4
IsCellInALazySliceCategory, for IsCellInASliceCategory 5.1-2
IsCellInALazySliceCategoryOverTensorUnit, for IsCellInSliceCategoryOverTensorUnit and IsCellInALazySliceCategory 5.1-6
IsCellInAnEagerSliceCategory, for IsCellInASliceCategory 4.1-2
IsCellInAnEagerSliceCategoryOverTensorUnit, for IsCellInSliceCategoryOverTensorUnit and IsCellInAnEagerSliceCategory 4.1-6
IsCellInASliceCategory, for IsCapCategoryCell 3.1-2
IsCellInASubcategory, for IsCapCategoryCell 1.1-3
IsCellInSliceCategoryOverTensorUnit, for IsCellInASliceCategory 3.1-6
IsEagerSliceCategory, for IsSliceCategory 4.1-1
IsEagerSliceCategoryOverTensorUnit, for IsSliceCategoryOverTensorUnit and IsEagerSliceCategory 4.1-5
IsLazySliceCategory, for IsSliceCategory 5.1-1
IsLazySliceCategoryOverTensorUnit, for IsSliceCategoryOverTensorUnit and IsLazySliceCategory 5.1-5
IsMorphismInAFullSubcategory, for IsCellInAFullSubcategory and IsMorphismInASubcategory 2.1-6
IsMorphismInALazySliceCategory, for IsMorphismInASliceCategory and IsCellInALazySliceCategory 5.1-4
IsMorphismInALazySliceCategoryOverTensorUnit, for IsMorphismInSliceCategoryOverTensorUnit and IsMorphismInALazySliceCategory 5.1-8
IsMorphismInAnEagerSliceCategory, for IsMorphismInASliceCategory and IsCellInAnEagerSliceCategory 4.1-4
IsMorphismInAnEagerSliceCategoryOverTensorUnit, for IsMorphismInSliceCategoryOverTensorUnit and IsMorphismInAnEagerSliceCategory 4.1-8
IsMorphismInASliceCategory, for IsCellInASliceCategory and IsCapCategoryMorphism 3.1-4
IsMorphismInASubcategory, for IsCellInASubcategory and IsCapCategoryMorphism 1.1-5
IsMorphismInSliceCategoryOverTensorUnit, for IsCellInSliceCategoryOverTensorUnit and IsMorphismInASliceCategory 3.1-8
IsObjectInAFullSubcategory, for IsCellInAFullSubcategory and IsObjectInASubcategory 2.1-5
IsObjectInALazySliceCategory, for IsObjectInASliceCategory and IsCellInALazySliceCategory 5.1-3
IsObjectInALazySliceCategoryOverTensorUnit, for IsObjectInSliceCategoryOverTensorUnit and IsObjectInALazySliceCategory 5.1-7
IsObjectInAnEagerSliceCategory, for IsObjectInASliceCategory and IsCellInAnEagerSliceCategory 4.1-3
IsObjectInAnEagerSliceCategoryOverTensorUnit, for IsObjectInSliceCategoryOverTensorUnit and IsObjectInAnEagerSliceCategory 4.1-7
IsObjectInASliceCategory, for IsCellInASliceCategory and IsCapCategoryObject 3.1-3
IsObjectInASubcategory, for IsCellInASubcategory and IsCapCategoryObject 1.1-4
IsObjectInSliceCategoryOverTensorUnit, for IsCellInSliceCategoryOverTensorUnit and IsObjectInASliceCategory 3.1-7
IsSliceCategory, for IsCapCategory 3.1-1
IsSliceCategoryOverTensorUnit, for IsSliceCategory 3.1-5
LazySliceCategory, for IsCapCategoryObject 5.3-1
LazySliceCategoryOverTensorUnit, for IsCapCategory 5.3-2
MorphismFromCovariantArgumentOfInternalHom, for IsObjectInSliceCategoryOverTensorUnit, IsObjectInSliceCategoryOverTensorUnit 3.5-1
RestrictFunctorToFullSubcategories, for IsCapFunctor, IsCapFullSubcategory, IsCapFullSubcategory 2.4-4
RestrictFunctorToFullSubcategoryOfRange, for IsCapFunctor, IsCapFullSubcategory 2.4-3
RestrictFunctorToFullSubcategoryOfSource, for IsCapFunctor, IsCapFullSubcategory 2.4-2
SetOfKnownObjects, for IsCapSubcategory 1.3-2
SliceCategory, for IsCapCategoryObject 4.2-1
SliceCategoryOverTensorUnit, for IsCapCategory 4.2-2
SourceOfUnderlyingMorphism, for IsObjectInASliceCategory 3.3-5
Subcategory, for IsCapCategory, IsString 1.4-1
SubcategoryGeneratedByListOfMorphisms 1.4-5
UnderlyingCell, for IsCellInASliceCategory 3.3-6
    for IsCellInASubcategory 1.3-1
UnderlyingMorphism, for IsObjectInASliceCategory 3.3-4
UnderlyingMorphismList, for IsObjectInALazySliceCategory 5.2-1