Index

/, for IsCapCategoryCell, IsAdditiveClosureCategory 2.3-4
    for IsList, IsAdditiveClosureCategory 2.3-3
[, for IsAdditiveClosureMorphism, IsInt, IsInt 2.3-2
[], for IsAdditiveClosureObject, IsInt 2.3-1
AddBiasedWeakFiberProduct, for IsCapCategory, IsFunction 14.1-1
    for IsCapCategory, IsFunction, IsInt 14.1-1
AddBiasedWeakPushout, for IsCapCategory, IsFunction 14.1-2
    for IsCapCategory, IsFunction, IsInt 14.1-2
AddDirectSumMorphismToWeakBiPushout, for IsCapCategory, IsFunction 14.1-3
    for IsCapCategory, IsFunction, IsInt 14.1-3
AddInjectionOfBiasedWeakPushout, for IsCapCategory, IsFunction 14.1-4
    for IsCapCategory, IsFunction, IsInt 14.1-4
AddInjectionOfBiasedWeakPushoutWithGivenBiasedWeakPushout, for IsCapCategory, IsFunction 14.1-5
    for IsCapCategory, IsFunction, IsInt 14.1-5
AddInjectionOfFirstCofactorOfWeakBiPushout, for IsCapCategory, IsFunction 14.1-6
    for IsCapCategory, IsFunction, IsInt 14.1-6
AddInjectionOfFirstCofactorOfWeakBiPushoutWithGivenWeakBiPushout, for IsCapCategory, IsFunction 14.1-7
    for IsCapCategory, IsFunction, IsInt 14.1-7
AddInjectionOfSecondCofactorOfWeakBiPushout, for IsCapCategory, IsFunction 14.1-8
    for IsCapCategory, IsFunction, IsInt 14.1-8
AddInjectionOfSecondCofactorOfWeakBiPushoutWithGivenWeakBiPushout, for IsCapCategory, IsFunction 14.1-9
    for IsCapCategory, IsFunction, IsInt 14.1-9
ADDITIVE_CLOSURE, for IsCapCategory 2.1-2
AdditiveClosure, for IsCapCategory 2.1-1
AdditiveClosureMorphism, for IsAdditiveClosureObject, IsList, IsAdditiveClosureObject 2.1-5
AdditiveClosureObject, for IsList, IsAdditiveClosureCategory 2.1-3
AddProjectionInFirstFactorOfWeakBiFiberProduct, for IsCapCategory, IsFunction 14.1-10
    for IsCapCategory, IsFunction, IsInt 14.1-10
AddProjectionInFirstFactorOfWeakBiFiberProductWithGivenWeakBiFiberProduct, for IsCapCategory, IsFunction 14.1-11
    for IsCapCategory, IsFunction, IsInt 14.1-11
AddProjectionInSecondFactorOfWeakBiFiberProduct, for IsCapCategory, IsFunction 14.1-12
    for IsCapCategory, IsFunction, IsInt 14.1-12
AddProjectionInSecondFactorOfWeakBiFiberProductWithGivenWeakBiFiberProduct, for IsCapCategory, IsFunction 14.1-13
    for IsCapCategory, IsFunction, IsInt 14.1-13
AddProjectionOfBiasedWeakFiberProduct, for IsCapCategory, IsFunction 14.1-14
    for IsCapCategory, IsFunction, IsInt 14.1-14
AddProjectionOfBiasedWeakFiberProductWithGivenBiasedWeakFiberProduct, for IsCapCategory, IsFunction 14.1-15
    for IsCapCategory, IsFunction, IsInt 14.1-15
AddUniversalMorphismFromBiasedWeakPushout, for IsCapCategory, IsFunction 14.1-16
    for IsCapCategory, IsFunction, IsInt 14.1-16
AddUniversalMorphismFromBiasedWeakPushoutWithGivenBiasedWeakPushout, for IsCapCategory, IsFunction 14.1-17
    for IsCapCategory, IsFunction, IsInt 14.1-17
AddUniversalMorphismFromWeakBiPushout, for IsCapCategory, IsFunction 14.1-18
    for IsCapCategory, IsFunction, IsInt 14.1-18
AddUniversalMorphismFromWeakBiPushoutWithGivenWeakBiPushout, for IsCapCategory, IsFunction 14.1-19
    for IsCapCategory, IsFunction, IsInt 14.1-19
AddUniversalMorphismIntoBiasedWeakFiberProduct, for IsCapCategory, IsFunction 14.1-20
    for IsCapCategory, IsFunction, IsInt 14.1-20
AddUniversalMorphismIntoBiasedWeakFiberProductWithGivenBiasedWeakFiberProduct, for IsCapCategory, IsFunction 14.1-21
    for IsCapCategory, IsFunction, IsInt 14.1-21
AddUniversalMorphismIntoWeakBiFiberProduct, for IsCapCategory, IsFunction 14.1-22
    for IsCapCategory, IsFunction, IsInt 14.1-22
AddUniversalMorphismIntoWeakBiFiberProductWithGivenWeakBiFiberProduct, for IsCapCategory, IsFunction 14.1-23
    for IsCapCategory, IsFunction, IsInt 14.1-23
AddWeakBiFiberProduct, for IsCapCategory, IsFunction 14.1-24
    for IsCapCategory, IsFunction, IsInt 14.1-24
AddWeakBiFiberProductMorphismToDirectSum, for IsCapCategory, IsFunction 14.1-25
    for IsCapCategory, IsFunction, IsInt 14.1-25
AddWeakBiPushout, for IsCapCategory, IsFunction 14.1-26
    for IsCapCategory, IsFunction, IsInt 14.1-26
AddWeakCokernelColift, for IsCapCategory, IsFunction 14.1-27
    for IsCapCategory, IsFunction, IsInt 14.1-27
AddWeakCokernelColiftWithGivenWeakCokernelObject, for IsCapCategory, IsFunction 14.1-28
    for IsCapCategory, IsFunction, IsInt 14.1-28
AddWeakCokernelObject, for IsCapCategory, IsFunction 14.1-29
    for IsCapCategory, IsFunction, IsInt 14.1-29
AddWeakCokernelProjection, for IsCapCategory, IsFunction 14.1-30
    for IsCapCategory, IsFunction, IsInt 14.1-30
AddWeakCokernelProjectionWithGivenWeakCokernelObject, for IsCapCategory, IsFunction 14.1-31
    for IsCapCategory, IsFunction, IsInt 14.1-31
AddWeakKernelEmbedding, for IsCapCategory, IsFunction 14.1-32
    for IsCapCategory, IsFunction, IsInt 14.1-32
AddWeakKernelEmbeddingWithGivenWeakKernelObject, for IsCapCategory, IsFunction 14.1-33
    for IsCapCategory, IsFunction, IsInt 14.1-33
AddWeakKernelLift, for IsCapCategory, IsFunction 14.1-34
    for IsCapCategory, IsFunction, IsInt 14.1-34
AddWeakKernelLiftWithGivenWeakKernelObject, for IsCapCategory, IsFunction 14.1-35
    for IsCapCategory, IsFunction, IsInt 14.1-35
AddWeakKernelObject, for IsCapCategory, IsFunction 14.1-36
    for IsCapCategory, IsFunction, IsInt 14.1-36
AsAdditiveClosureMorphism, for IsCapCategoryMorphism 2.1-6
AsAdditiveClosureObject, for IsCapCategoryObject 2.1-4
BiasedWeakFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism 12.4-1
BiasedWeakPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism 12.6-1
CategoryOfGradedColumns, for IsHomalgGradedRing 10.1-1
CategoryOfGradedRows, for IsHomalgGradedRing 10.1-2
DeduceMapFromMatrixAndRangeForGradedCols, for IsHomalgMatrix, IsGradedColumn 10.4-5
DeduceMapFromMatrixAndRangeForGradedRows, for IsHomalgMatrix, IsGradedRow 10.4-1
DeduceMapFromMatrixAndSourceForGradedCols, for IsHomalgMatrix, IsGradedColumn 10.4-7
DeduceMapFromMatrixAndSourceForGradedRows, for IsHomalgMatrix, IsGradedRow 10.4-3
DeduceSomeMapFromMatrixAndRangeForGradedCols, for IsHomalgMatrix, IsGradedColumn 10.4-6
DeduceSomeMapFromMatrixAndRangeForGradedRows, for IsHomalgMatrix, IsGradedRow 10.4-2
DeduceSomeMapFromMatrixAndSourceForGradedCols, for IsHomalgMatrix, IsGradedColumn 10.4-8
DeduceSomeMapFromMatrixAndSourceForGradedRows, for IsHomalgMatrix, IsGradedRow 10.4-4
DegreeList, for IsGradedRowOrColumn 10.2-2
DirectSumMorphismToWeakBiPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism 12.5-8
ExtendFunctorToAdditiveClosureOfSource, for IsCapFunctor 2.1-10
ExtendFunctorToAdditiveClosures, for IsCapFunctor 2.1-8
ExtendFunctorWithAdditiveRangeToFunctorFromAdditiveClosureOfSource, for IsCapFunctor 2.1-9
ExtendNaturalTransformationToAdditiveClosureOfSource, for IsCapNaturalTransformation 2.1-11
GradedColumn, for IsList, IsHomalgGradedRing 10.1-5
    for IsList, IsHomalgGradedRing, IsBool 10.1-6
GradedRow, for IsList, IsHomalgGradedRing 10.1-3
    for IsList, IsHomalgGradedRing, IsBool 10.1-4
GradedRowOrColumnMorphism, for IsGradedRowOrColumn, IsHomalgMatrix, IsGradedRowOrColumn 10.1-7
    for IsGradedRowOrColumn, IsHomalgMatrix, IsGradedRowOrColumn, IsBool 10.1-8
InclusionFunctorInAdditiveClosure, for IsCapCategory 2.1-7
InjectionOfBiasedWeakPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism 12.6-2
InjectionOfBiasedWeakPushoutWithGivenBiasedWeakPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 12.6-3
InjectionOfFirstCofactorOfWeakBiPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism 12.5-2
InjectionOfFirstCofactorOfWeakBiPushoutWithGivenWeakBiPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 12.5-4
InjectionOfSecondCofactorOfWeakBiPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism 12.5-3
InjectionOfSecondCofactorOfWeakBiPushoutWithGivenWeakBiPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 12.5-5
IsAdditiveClosureCategory, for IsCapCategory 2.6-1
IsAdditiveClosureMorphism, for IsCapCategoryMorphism 2.6-3
IsAdditiveClosureObject, for IsCapCategoryObject 2.6-2
IsCategoryOfColumnsObject, for IsCapCategoryObject 7.1-1
IsCategoryOfRowsObject, for IsCapCategoryObject 5.2-1
IsGradedColumn, for IsGradedRowOrColumn 10.3-3
IsGradedColumnMorphism, for IsGradedRowOrColumnMorphism 10.3-6
IsGradedRow, for IsGradedRowOrColumn 10.3-2
IsGradedRowMorphism, for IsGradedRowOrColumnMorphism 10.3-5
IsGradedRowOrColumn, for IsCapCategoryObject 10.3-1
IsGradedRowOrColumnMorphism, for IsCapCategoryMorphism 10.3-4
IsLinearCategoryWithMorphismsByCoefficients, for IsCapCategory 3.4-1
IsMorphismInLinearCategoryWithMorphismsByCoefficients, for IsCapCategoryMorphism 3.4-3
IsObjectInLinearCategoryWithMorphismsByCoefficients, for IsCapCategoryObject 3.4-2
LinearCategoryWithMorphismsByCoefficients, for IsCapCategory, IsRecord 3.1-1
MorphismMatrix, for IsAdditiveClosureMorphism 2.2-3
NullMatImmutable 2.4-1
NumberColumns, for IsAdditiveClosureMorphism 2.2-5
NumberRows, for IsAdditiveClosureMorphism 2.2-4
ObjectList, for IsAdditiveClosureObject 2.2-2
PairOfIntAndListOfCoefficients, for IsMorphismInLinearCategoryWithMorphismsByCoefficients 3.2-2
ProjectionInFirstFactorOfWeakBiFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism 12.3-2
ProjectionInFirstFactorOfWeakBiFiberProductWithGivenWeakBiFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 12.3-3
ProjectionInSecondFactorOfWeakBiFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism 12.3-4
ProjectionInSecondFactorOfWeakBiFiberProductWithGivenWeakBiFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 12.3-5
ProjectionOfBiasedWeakFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism 12.4-2
ProjectionOfBiasedWeakFiberProductWithGivenBiasedWeakFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 12.4-3
RandomMorphismByInteger, for IsAdditiveClosureCategory, IsInt 2.5-10
    for IsCategoryOfRows, IsInt 5.1-10
    for IsRingAsCategory, IsInt 1.1-10
RandomMorphismByList, for IsAdditiveClosureCategory, IsList 2.5-9
    for IsCategoryOfRows, IsList 5.1-9
    for IsRingAsCategory, IsList 1.1-9
RandomMorphismWithFixedRangeByInteger, for IsAdditiveClosureObject, IsInt 2.5-8
    for IsCategoryOfRowsObject, IsInt 5.1-8
    for IsRingAsCategoryObject, IsInt 1.1-8
RandomMorphismWithFixedRangeByList, for IsAdditiveClosureObject, IsList 2.5-7
    for IsCategoryOfRowsObject, IsList 5.1-7
    for IsRingAsCategoryObject, IsList 1.1-7
RandomMorphismWithFixedSourceAndRangeByInteger, for IsAdditiveClosureObject, IsAdditiveClosureObject, IsInt 2.5-4
    for IsCategoryOfRowsObject, IsCategoryOfRowsObject, IsInt 5.1-4
    for IsRingAsCategoryObject, IsRingAsCategoryObject, IsInt 1.1-4
RandomMorphismWithFixedSourceAndRangeByList, for IsAdditiveClosureObject, IsAdditiveClosureObject, IsList 2.5-3
    for IsCategoryOfRowsObject, IsCategoryOfRowsObject, IsList 5.1-3
    for IsRingAsCategoryObject, IsRingAsCategoryObject, IsList 1.1-3
RandomMorphismWithFixedSourceByInteger, for IsAdditiveClosureObject, IsInt 2.5-6
    for IsCategoryOfRowsObject, IsInt 5.1-6
    for IsRingAsCategoryObject, IsInt 1.1-6
RandomMorphismWithFixedSourceByList, for IsAdditiveClosureObject, IsList 2.5-5
    for IsCategoryOfRowsObject, IsList 5.1-5
    for IsRingAsCategoryObject, IsList 1.1-5
RandomObjectByInteger, for IsAdditiveClosureCategory, IsInt 2.5-2
    for IsCategoryOfRows, IsInt 5.1-2
    for IsRingAsCategory, IsInt 1.1-2
RandomObjectByList, for IsAdditiveClosureCategory, IsList 2.5-1
    for IsCategoryOfRows, IsList 5.1-1
    for IsRingAsCategory, IsList 1.1-1
RankOfObject, for IsGradedRowOrColumn 10.2-3
UnderlyingCategory, for IsAdditiveClosureCategory 2.2-1
UnderlyingDatum, for IsObjectInLinearCategoryWithMorphismsByCoefficients 3.2-1
UnderlyingHomalgGradedRing, for IsGradedRowOrColumn 10.2-1
    for IsGradedRowOrColumnMorphism 10.2-4
UnderlyingHomalgMatrix, for IsGradedRowOrColumnMorphism 10.2-5
UnionOfColumnsListList 2.4-3
UnionOfRowsListList 2.4-2
UniversalMorphismFromBiasedWeakPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 12.6-4
UniversalMorphismFromBiasedWeakPushoutWithGivenBiasedWeakPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 12.6-5
UniversalMorphismFromWeakBiPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 12.5-6
UniversalMorphismFromWeakBiPushoutWithGivenWeakBiPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 12.5-7
UniversalMorphismIntoBiasedWeakFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 12.4-4
UniversalMorphismIntoBiasedWeakFiberProductWithGivenBiasedWeakFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 12.4-5
UniversalMorphismIntoWeakBiFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 12.3-6
UniversalMorphismIntoWeakBiFiberProductWithGivenWeakBiFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 12.3-7
UnzipDegreeList, for IsGradedRowOrColumn 10.4-9
WeakBiFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism 12.3-1
WeakBiFiberProductMorphismToDirectSum, for IsCapCategoryMorphism, IsCapCategoryMorphism 12.3-8
WeakBiPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism 12.5-1
WeakCokernelColift, for IsCapCategoryMorphism, IsCapCategoryMorphism 12.2-4
WeakCokernelColiftWithGivenWeakCokernelObject, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 12.2-5
WeakCokernelObject, for IsCapCategoryMorphism 12.2-1
WeakCokernelProjection, for IsCapCategoryMorphism 12.2-2
WeakCokernelProjectionWithGivenWeakCokernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 12.2-3
WeakKernelEmbedding, for IsCapCategoryMorphism 12.1-2
WeakKernelEmbeddingWithGivenWeakKernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 12.1-3
WeakKernelLift, for IsCapCategoryMorphism, IsCapCategoryMorphism 12.1-4
WeakKernelLiftWithGivenWeakKernelObject, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 12.1-5
WeakKernelObject, for IsCapCategoryMorphism 12.1-1