Index

[, for IsAdditiveClosureMorphism, IsInt, IsInt 2.4-2
[], for IsAdditiveClosureObject, IsInt 2.4-1
\*, for IsFreydCategoryMorphism, IsFreydCategoryMorphism 11.3-3
    for IsFreydCategoryObject, IsFreydCategoryObject 11.3-1
\/, for IsCapCategoryCell, IsAdditiveClosureCategory 2.4-4
    for IsCapCategoryMorphism, IsAdelmanCategory 4.2-7
    for IsCapCategoryObject, IsAdelmanCategory 4.2-6
    for IsList, IsAdditiveClosureCategory 2.4-3
\^, for IsFreydCategoryMorphism, IsInt 11.3-4
    for IsFreydCategoryObject, IsInt 11.3-2
AddBiasedWeakFiberProduct, for IsCapCategory, IsFunction 1.4-6
AddBiasedWeakPushout, for IsCapCategory, IsFunction 1.6-6
AddDirectSumMorphismToWeakBiPushout, for IsCapCategory, IsFunction 1.5-16
AddEpimorphismFromSomeProjectiveObjectForKernelObject, for IsCapCategory, IsFunction 1.7-9
AddEpimorphismFromSomeProjectiveObjectForKernelObjectWithGivenSomeProjectiveObjectForKernelObject, for IsCapCategory, IsFunction 1.7-11
AddInjectionOfBiasedWeakPushout, for IsCapCategory, IsFunction 1.6-7
AddInjectionOfBiasedWeakPushoutWithGivenBiasedWeakPushout, for IsCapCategory, IsFunction 1.6-8
AddInjectionOfFirstCofactorOfWeakBiPushout, for IsCapCategory, IsFunction 1.5-10
AddInjectionOfFirstCofactorOfWeakBiPushoutWithGivenWeakBiPushout, for IsCapCategory, IsFunction 1.5-12
AddInjectionOfSecondCofactorOfWeakBiPushout, for IsCapCategory, IsFunction 1.5-11
AddInjectionOfSecondCofactorOfWeakBiPushoutWithGivenWeakBiPushout, for IsCapCategory, IsFunction 1.5-13
ADDITIVE_CLOSURE, for IsCapCategory 2.2-2
AdditiveClosure, for IsCapCategory 2.2-1
AdditiveClosureMorphism, for IsAdditiveClosureObject, IsList, IsAdditiveClosureObject 2.2-5
AdditiveClosureObject, for IsList, IsAdditiveClosureCategory 2.2-3
AddMonomorphismToSomeInjectiveObjectForCokernelObject, for IsCapCategory, IsFunction 1.7-10
AddMonomorphismToSomeInjectiveObjectForCokernelObjectWithGivenSomeInjectiveObjectForCokernelObject, for IsCapCategory, IsFunction 1.7-12
AddProjectionInFirstFactorOfWeakBiFiberProduct, for IsCapCategory, IsFunction 1.3-10
AddProjectionInFirstFactorOfWeakBiFiberProductWithGivenWeakBiFiberProduct, for IsCapCategory, IsFunction 1.3-12
AddProjectionInSecondFactorOfWeakBiFiberProduct, for IsCapCategory, IsFunction 1.3-11
AddProjectionInSecondFactorOfWeakBiFiberProductWithGivenWeakBiFiberProduct, for IsCapCategory, IsFunction 1.3-13
AddProjectionOfBiasedWeakFiberProduct, for IsCapCategory, IsFunction 1.4-7
AddProjectionOfBiasedWeakFiberProductWithGivenBiasedWeakFiberProduct, for IsCapCategory, IsFunction 1.4-8
AddSomeInjectiveObjectForCokernelObject, for IsCapCategory, IsFunction 1.7-8
AddSomeProjectiveObjectForKernelObject, for IsCapCategory, IsFunction 1.7-7
AddUniversalMorphismFromBiasedWeakPushout, for IsCapCategory, IsFunction 1.6-9
AddUniversalMorphismFromBiasedWeakPushoutWithGivenBiasedWeakPushout, for IsCapCategory, IsFunction 1.6-10
AddUniversalMorphismFromWeakBiPushout, for IsCapCategory, IsFunction 1.5-14
AddUniversalMorphismFromWeakBiPushoutWithGivenWeakBiPushout, for IsCapCategory, IsFunction 1.5-15
AddUniversalMorphismIntoBiasedWeakFiberProduct, for IsCapCategory, IsFunction 1.4-9
AddUniversalMorphismIntoBiasedWeakFiberProductWithGivenBiasedWeakFiberProduct, for IsCapCategory, IsFunction 1.4-10
AddUniversalMorphismIntoWeakBiFiberProduct, for IsCapCategory, IsFunction 1.3-14
AddUniversalMorphismIntoWeakBiFiberProductWithGivenWeakBiFiberProduct, for IsCapCategory, IsFunction 1.3-15
AddWeakBiFiberProduct, for IsCapCategory, IsFunction 1.3-9
AddWeakBiFiberProductMorphismToDirectSum, for IsCapCategory, IsFunction 1.3-16
AddWeakBiPushout, for IsCapCategory, IsFunction 1.5-9
AddWeakCokernelColift, for IsCapCategory, IsFunction 1.2-9
AddWeakCokernelColiftWithGivenWeakCokernelObject, for IsCapCategory, IsFunction 1.2-10
AddWeakCokernelObject, for IsCapCategory, IsFunction 1.2-6
AddWeakCokernelProjection, for IsCapCategory, IsFunction 1.2-7
AddWeakCokernelProjectionWithGivenWeakCokernelObject, for IsCapCategory, IsFunction 1.2-8
AddWeakKernelEmbedding, for IsCapCategory, IsFunction 1.1-7
AddWeakKernelEmbeddingWithGivenWeakKernelObject, for IsCapCategory, IsFunction 1.1-8
AddWeakKernelLift, for IsCapCategory, IsFunction 1.1-9
AddWeakKernelLiftWithGivenWeakKernelObject, for IsCapCategory, IsFunction 1.1-10
AddWeakKernelObject, for IsCapCategory, IsFunction 1.1-6
AdelmanCategory, for IsCapCategory 4.2-1
AdelmanCategoryMorphism, for IsAdelmanCategoryObject, IsCapCategoryMorphism, IsAdelmanCategoryObject 4.2-3
AdelmanCategoryObject, for IsCapCategoryMorphism, IsCapCategoryMorphism 4.2-2
AsAdditiveClosureMorphism, for IsCapCategoryMorphism 2.2-6
AsAdditiveClosureObject, for IsCapCategoryObject 2.2-4
AsAdelmanCategoryMorphism, for IsCapCategoryMorphism 4.2-5
AsAdelmanCategoryObject, for IsCapCategoryObject 4.2-4
BiasedWeakFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.4-1
BiasedWeakPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.6-1
CategoryOfGradedColumns, for IsHomalgGradedRing 9.1-1
CategoryOfGradedRows, for IsHomalgGradedRing 9.1-2
CorelationMorphism, for IsAdelmanCategoryObject 4.3-3
CorelationWitness, for IsAdelmanCategoryMorphism 4.3-6
DeduceMapFromMatrixAndRangeForGradedCols, for IsHomalgMatrix, IsGradedColumn 9.4-5
DeduceMapFromMatrixAndRangeForGradedRows, for IsHomalgMatrix, IsGradedRow 9.4-1
DeduceMapFromMatrixAndSourceForGradedCols, for IsHomalgMatrix, IsGradedColumn 9.4-7
DeduceMapFromMatrixAndSourceForGradedRows, for IsHomalgMatrix, IsGradedRow 9.4-3
DeduceSomeMapFromMatrixAndRangeForGradedCols, for IsHomalgMatrix, IsGradedColumn 9.4-6
DeduceSomeMapFromMatrixAndRangeForGradedRows, for IsHomalgMatrix, IsGradedRow 9.4-2
DeduceSomeMapFromMatrixAndSourceForGradedCols, for IsHomalgMatrix, IsGradedColumn 9.4-8
DeduceSomeMapFromMatrixAndSourceForGradedRows, for IsHomalgMatrix, IsGradedRow 9.4-4
DegreeList, for IsGradedRowOrColumn 9.2-2
DirectSumMorphismToWeakBiPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.5-8
EpimorphismFromSomeProjectiveObjectForKernelObject, for IsCapCategoryMorphism 1.7-2
EpimorphismFromSomeProjectiveObjectForKernelObjectWithGivenSomeProjectiveObjectForKernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 1.7-3
ExtendFunctorToAdditiveClosureOfSource, for IsCapFunctor 2.2-10
ExtendFunctorToAdditiveClosures, for IsCapFunctor 2.2-8
ExtendFunctorToLinearClosureOfSource, for IsCapFunctor, IsLinearClosure 13.1-2
    for IsCapFunctor, IsLinearClosure, IsFunction 13.1-1
ExtendFunctorWithAdditiveRangeToFunctorFromAdditiveClosureOfSource, for IsCapFunctor 2.2-9
ExtendNaturalTransformationToAdditiveClosureOfSource, for IsCapNaturalTransformation 2.2-11
FpGradedLeftModules, for IsHomalgGradedRing 18.1-1
FpGradedRightModules, for IsHomalgGradedRing 18.1-2
GradedColumn, for IsList, IsHomalgGradedRing 9.1-5
    for IsList, IsHomalgGradedRing, IsBool 9.1-6
GradedRow, for IsList, IsHomalgGradedRing 9.1-3
    for IsList, IsHomalgGradedRing, IsBool 9.1-4
GradedRowOrColumnMorphism, for IsGradedRowOrColumn, IsHomalgMatrix, IsGradedRowOrColumn 9.1-7
    for IsGradedRowOrColumn, IsHomalgMatrix, IsGradedRowOrColumn, IsBool 9.1-8
InclusionFunctorInAdditiveClosure, for IsCapCategory 2.2-7
InjectionOfBiasedWeakPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.6-2
InjectionOfBiasedWeakPushoutWithGivenBiasedWeakPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.6-3
InjectionOfFirstCofactorOfWeakBiPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.5-2
InjectionOfFirstCofactorOfWeakBiPushoutWithGivenWeakBiPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.5-4
InjectionOfSecondCofactorOfWeakBiPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.5-3
InjectionOfSecondCofactorOfWeakBiPushoutWithGivenWeakBiPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.5-5
INTERNAL_HOM_EMBEDDING, for IsFreydCategory, IsFreydCategoryObject, IsFreydCategoryObject 11.2-1
IsAdditiveClosureCategory, for IsCapCategory 2.1-1
IsAdditiveClosureMorphism, for IsCapCategoryMorphism 2.1-3
IsAdditiveClosureObject, for IsCapCategoryObject 2.1-2
IsAdelmanCategory, for IsCapCategory 4.1-3
IsAdelmanCategoryMorphism, for IsCapCategoryMorphism 4.1-2
IsAdelmanCategoryObject, for IsCapCategoryObject 4.1-1
IsCategoryOfColumnsObject, for IsCapCategoryObject 7.1-1
IsCategoryOfRowsObject, for IsCapCategoryObject 5.2-1
IsEpiPreserving, for IsAdelmanCategoryObject 4.4-5
IsExact, for IsAdelmanCategoryObject 4.4-1
IsFpGradedLeftModulesMorphism, for IsFpGradedLeftOrRightModulesMorphism 18.3-2
IsFpGradedLeftModulesObject, for IsFpGradedLeftOrRightModulesObject 18.2-2
IsFpGradedLeftOrRightModulesMorphism, for IsFreydCategoryMorphism 18.3-1
IsFpGradedLeftOrRightModulesObject, for IsFreydCategoryObject 18.2-1
IsFpGradedRightModulesMorphism, for IsFpGradedLeftOrRightModulesMorphism 18.3-3
IsFpGradedRightModulesObject, for IsFpGradedLeftOrRightModulesObject 18.2-3
IsGradedColumn, for IsGradedRowOrColumn 9.3-3
IsGradedColumnMorphism, for IsGradedRowOrColumnMorphism 9.3-6
IsGradedRow, for IsGradedRowOrColumn 9.3-2
IsGradedRowMorphism, for IsGradedRowOrColumnMorphism 9.3-5
IsGradedRowOrColumn, for IsCapCategoryObject 9.3-1
IsGradedRowOrColumnMorphism, for IsCapCategoryMorphism 9.3-4
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.7-5
MonomorphismToSomeInjectiveObjectForCokernelObjectWithGivenSomeInjectiveObjectForCokernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 1.7-6
MorphismMatrix, for IsAdditiveClosureMorphism 2.3-3
NullMatImmutable 2.6-1
NumberColumns, for IsAdditiveClosureMorphism 2.3-5
NumberRows, for IsAdditiveClosureMorphism 2.3-4
ObjectList, for IsAdditiveClosureObject 2.3-2
ProjectionInFirstFactorOfWeakBiFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.3-2
ProjectionInFirstFactorOfWeakBiFiberProductWithGivenWeakBiFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.3-3
ProjectionInSecondFactorOfWeakBiFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.3-4
ProjectionInSecondFactorOfWeakBiFiberProductWithGivenWeakBiFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.3-5
ProjectionOfBiasedWeakFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.4-2
ProjectionOfBiasedWeakFiberProductWithGivenBiasedWeakFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.4-3
RandomMorphismByInteger, for IsAdditiveClosureCategory, IsInt 2.5-10
    for IsCategoryOfRows, IsInt 5.3-10
    for IsFreydCategory, IsInt 11.1-10
    for IsRingAsCategory, IsInt 14.1-10
RandomMorphismByList, for IsAdditiveClosureCategory, IsList 2.5-9
    for IsCategoryOfRows, IsList 5.3-9
    for IsFreydCategory, IsList 11.1-9
    for IsRingAsCategory, IsList 14.1-9
RandomMorphismWithFixedRangeByInteger, for IsAdditiveClosureObject, IsInt 2.5-8
    for IsCategoryOfRowsObject, IsInt 5.3-8
    for IsFreydCategoryObject, IsInt 11.1-8
    for IsRingAsCategoryObject, IsInt 14.1-8
RandomMorphismWithFixedRangeByList, for IsAdditiveClosureObject, IsList 2.5-7
    for IsCategoryOfRowsObject, IsList 5.3-7
    for IsFreydCategoryObject, IsList 11.1-7
    for IsRingAsCategoryObject, IsList 14.1-7
RandomMorphismWithFixedSourceAndRangeByInteger, for IsAdditiveClosureObject, IsAdditiveClosureObject, IsInt 2.5-4
    for IsCategoryOfRowsObject, IsCategoryOfRowsObject, IsInt 5.3-4
    for IsFreydCategoryObject, IsFreydCategoryObject, IsInt 11.1-4
    for IsRingAsCategoryObject, IsRingAsCategoryObject, IsInt 14.1-4
RandomMorphismWithFixedSourceAndRangeByList, for IsAdditiveClosureObject, IsAdditiveClosureObject, IsList 2.5-3
    for IsCategoryOfRowsObject, IsCategoryOfRowsObject, IsList 5.3-3
    for IsFreydCategoryObject, IsFreydCategoryObject, IsList 11.1-3
    for IsRingAsCategoryObject, IsRingAsCategoryObject, IsList 14.1-3
RandomMorphismWithFixedSourceByInteger, for IsAdditiveClosureObject, IsInt 2.5-6
    for IsCategoryOfRowsObject, IsInt 5.3-6
    for IsFreydCategoryObject, IsInt 11.1-6
    for IsRingAsCategoryObject, IsInt 14.1-6
RandomMorphismWithFixedSourceByList, for IsAdditiveClosureObject, IsList 2.5-5
    for IsCategoryOfRowsObject, IsList 5.3-5
    for IsFreydCategoryObject, IsList 11.1-5
    for IsRingAsCategoryObject, IsList 14.1-5
RandomObjectByInteger, for IsAdditiveClosureCategory, IsInt 2.5-2
    for IsCategoryOfRows, IsInt 5.3-2
    for IsFreydCategory, IsInt 11.1-2
    for IsRingAsCategory, IsInt 14.1-2
RandomObjectByList, for IsAdditiveClosureCategory, IsList 2.5-1
    for IsCategoryOfRows, IsList 5.3-1
    for IsFreydCategory, IsList 11.1-1
    for IsRingAsCategory, IsList 14.1-1
RankOfObject, for IsGradedRowOrColumn 9.2-3
RelationMorphism, for IsAdelmanCategoryObject 4.3-2
RelationWitness, for IsAdelmanCategoryMorphism 4.3-5
SomeInjectiveObjectForCokernelObject, for IsCapCategoryMorphism 1.7-4
SomeProjectiveObjectForKernelObject, for IsCapCategoryMorphism 1.7-1
UnderlyingCategory, for IsAdditiveClosureCategory 2.3-1
    for IsAdelmanCategory 4.3-1
UnderlyingHomalgGradedRing, for IsGradedRowOrColumn 9.2-1
    for IsGradedRowOrColumnMorphism 9.2-4
UnderlyingHomalgMatrix, for IsGradedRowOrColumnMorphism 9.2-5
UnderlyingMorphism, for IsAdelmanCategoryMorphism 4.3-4
UnionOfColumnsListList 2.6-3
UnionOfRowsListList 2.6-2
UniversalMorphismFromBiasedWeakPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 1.6-4
UniversalMorphismFromBiasedWeakPushoutWithGivenBiasedWeakPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.6-5
UniversalMorphismFromWeakBiPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 1.5-6
UniversalMorphismFromWeakBiPushoutWithGivenWeakBiPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.5-7
UniversalMorphismIntoBiasedWeakFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 1.4-4
UniversalMorphismIntoBiasedWeakFiberProductWithGivenBiasedWeakFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.4-5
UniversalMorphismIntoWeakBiFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 1.3-6
UniversalMorphismIntoWeakBiFiberProductWithGivenWeakBiFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.3-7
UnzipDegreeList, for IsGradedRowOrColumn 9.4-9
WeakBiFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.3-1
WeakBiFiberProductMorphismToDirectSum, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.3-8
WeakBiPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.5-1
WeakCokernelColift, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.2-4
WeakCokernelColiftWithGivenWeakCokernelObject, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.2-5
WeakCokernelObject, for IsCapCategoryMorphism 1.2-1
WeakCokernelProjection, for IsCapCategoryMorphism 1.2-2
WeakCokernelProjectionWithGivenWeakCokernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 1.2-3
WeakKernelEmbedding, for IsCapCategoryMorphism 1.1-2
WeakKernelEmbeddingWithGivenWeakKernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 1.1-3
WeakKernelLift, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.1-4
WeakKernelLiftWithGivenWeakKernelObject, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.1-5
WeakKernelObject, for IsCapCategoryMorphism 1.1-1
WitnessPairForBeingCongruentToZero, for IsAdelmanCategoryMorphism 4.3-7