Index

*, for IsFreydCategoryMorphism, IsFreydCategoryMorphism 11.3-3
    for IsFreydCategoryObject, IsFreydCategoryObject 11.3-1
/, for IsCapCategoryMorphism, IsAdelmanCategory 4.2-7
    for IsCapCategoryObject, IsAdelmanCategory 4.2-6
^, for IsFreydCategoryMorphism, IsInt 11.3-4
    for IsFreydCategoryObject, IsInt 11.3-2
AddEpimorphismFromSomeProjectiveObjectForKernelObject, for IsCapCategory, IsFunction 14.1-1
    for IsCapCategory, IsFunction, IsInt 14.1-1
AddEpimorphismFromSomeProjectiveObjectForKernelObjectWithGivenSomeProjectiveObjectForKernelObject, for IsCapCategory, IsFunction 14.1-2
    for IsCapCategory, IsFunction, IsInt 14.1-2
AddMonomorphismToSomeInjectiveObjectForCokernelObject, for IsCapCategory, IsFunction 14.1-3
    for IsCapCategory, IsFunction, IsInt 14.1-3
AddMonomorphismToSomeInjectiveObjectForCokernelObjectWithGivenSomeInjectiveObjectForCokernelObject, for IsCapCategory, IsFunction 14.1-4
    for IsCapCategory, IsFunction, IsInt 14.1-4
AddSomeInjectiveObjectForCokernelObject, for IsCapCategory, IsFunction 14.1-5
    for IsCapCategory, IsFunction, IsInt 14.1-5
AddSomeProjectiveObjectForKernelObject, for IsCapCategory, IsFunction 14.1-6
    for IsCapCategory, IsFunction, IsInt 14.1-6
AdelmanCategory, for IsCapCategory 4.2-1
AdelmanCategoryMorphism, for IsAdelmanCategoryObject, IsCapCategoryMorphism, IsAdelmanCategoryObject 4.2-3
AdelmanCategoryObject, for IsCapCategoryMorphism, IsCapCategoryMorphism 4.2-2
AsAdelmanCategoryMorphism, for IsCapCategoryMorphism 4.2-5
AsAdelmanCategoryObject, for IsCapCategoryObject 4.2-4
CorelationMorphism, for IsAdelmanCategoryObject 4.3-3
CorelationWitness, for IsAdelmanCategoryMorphism 4.3-6
EpimorphismFromSomeProjectiveObjectForKernelObject, for IsCapCategoryMorphism 1.1-2
EpimorphismFromSomeProjectiveObjectForKernelObjectWithGivenSomeProjectiveObjectForKernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 1.1-3
ExtendFunctorToLinearClosureOfSource, for IsCapFunctor, IsLinearClosure 13.1-2
    for IsCapFunctor, IsLinearClosure, IsFunction 13.1-1
FpGradedLeftModules, for IsHomalgGradedRing 17.1-1
FpGradedRightModules, for IsHomalgGradedRing 17.1-2
INTERNAL_HOM_EMBEDDING, for IsFreydCategory, IsFreydCategoryObject, IsFreydCategoryObject 11.2-1
IsAdelmanCategory, for IsCapCategory 4.1-3
IsAdelmanCategoryMorphism, for IsCapCategoryMorphism 4.1-2
IsAdelmanCategoryObject, for IsCapCategoryObject 4.1-1
IsEpiPreserving, for IsAdelmanCategoryObject 4.4-5
IsExact, for IsAdelmanCategoryObject 4.4-1
IsFpGradedLeftModulesMorphism, for IsFpGradedLeftOrRightModulesMorphism 17.3-2
IsFpGradedLeftModulesObject, for IsFpGradedLeftOrRightModulesObject 17.2-2
IsFpGradedLeftOrRightModulesMorphism, for IsFreydCategoryMorphism 17.3-1
IsFpGradedLeftOrRightModulesObject, for IsFreydCategoryObject 17.2-1
IsFpGradedRightModulesMorphism, for IsFpGradedLeftOrRightModulesMorphism 17.3-3
IsFpGradedRightModulesObject, for IsFpGradedLeftOrRightModulesObject 17.2-3
IsImagePreserving, for IsAdelmanCategoryObject 4.4-6
IsLeftExact, for IsAdelmanCategoryObject 4.4-2
IsMonoPreserving, for IsAdelmanCategoryObject 4.4-4
IsRightExact, for IsAdelmanCategoryObject 4.4-3
IsSequenceAsAdelmanCategoryObject, for IsAdelmanCategoryObject 4.3-9
MereExistenceOfWitnessPairForBeingCongruentToZero, for IsAdelmanCategoryMorphism 4.3-8
MonomorphismToSomeInjectiveObjectForCokernelObject, for IsCapCategoryMorphism 1.1-5
MonomorphismToSomeInjectiveObjectForCokernelObjectWithGivenSomeInjectiveObjectForCokernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 1.1-6
RandomMorphismByInteger, for IsFreydCategory, IsInt 11.1-10
RandomMorphismByList, for IsFreydCategory, IsList 11.1-9
RandomMorphismWithFixedRangeByInteger, for IsFreydCategoryObject, IsInt 11.1-8
RandomMorphismWithFixedRangeByList, for IsFreydCategoryObject, IsList 11.1-7
RandomMorphismWithFixedSourceAndRangeByInteger, for IsFreydCategoryObject, IsFreydCategoryObject, IsInt 11.1-4
RandomMorphismWithFixedSourceAndRangeByList, for IsFreydCategoryObject, IsFreydCategoryObject, IsList 11.1-3
RandomMorphismWithFixedSourceByInteger, for IsFreydCategoryObject, IsInt 11.1-6
RandomMorphismWithFixedSourceByList, for IsFreydCategoryObject, IsList 11.1-5
RandomObjectByInteger, for IsFreydCategory, IsInt 11.1-2
RandomObjectByList, for IsFreydCategory, IsList 11.1-1
RelationMorphism, for IsAdelmanCategoryObject 4.3-2
RelationWitness, for IsAdelmanCategoryMorphism 4.3-5
SomeInjectiveObjectForCokernelObject, for IsCapCategoryMorphism 1.1-4
SomeProjectiveObjectForKernelObject, for IsCapCategoryMorphism 1.1-1
UnderlyingCategory, for IsAdelmanCategory 4.3-1
UnderlyingMorphism, for IsAdelmanCategoryMorphism 4.3-4
WitnessPairForBeingCongruentToZero, for IsAdelmanCategoryMorphism 4.3-7