/
, for IsCapCategoryCell, IsAdditiveClosureCategory 2.3-4 [
, for IsAdditiveClosureMorphism, IsInt, IsInt 2.3-2 []
, for IsAdditiveClosureObject, IsInt 2.3-1 AddBiasedWeakFiberProduct
, for IsCapCategory, IsFunction 13.1-1 AddBiasedWeakPushout
, for IsCapCategory, IsFunction 13.1-2 AddDirectSumMorphismToWeakBiPushout
, for IsCapCategory, IsFunction 13.1-3 AddInjectionOfBiasedWeakPushout
, for IsCapCategory, IsFunction 13.1-4 AddInjectionOfBiasedWeakPushoutWithGivenBiasedWeakPushout
, for IsCapCategory, IsFunction 13.1-5 AddInjectionOfFirstCofactorOfWeakBiPushout
, for IsCapCategory, IsFunction 13.1-6 AddInjectionOfFirstCofactorOfWeakBiPushoutWithGivenWeakBiPushout
, for IsCapCategory, IsFunction 13.1-7 AddInjectionOfSecondCofactorOfWeakBiPushout
, for IsCapCategory, IsFunction 13.1-8 AddInjectionOfSecondCofactorOfWeakBiPushoutWithGivenWeakBiPushout
, for IsCapCategory, IsFunction 13.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 13.1-10 AddProjectionInFirstFactorOfWeakBiFiberProductWithGivenWeakBiFiberProduct
, for IsCapCategory, IsFunction 13.1-11 AddProjectionInSecondFactorOfWeakBiFiberProduct
, for IsCapCategory, IsFunction 13.1-12 AddProjectionInSecondFactorOfWeakBiFiberProductWithGivenWeakBiFiberProduct
, for IsCapCategory, IsFunction 13.1-13 AddProjectionOfBiasedWeakFiberProduct
, for IsCapCategory, IsFunction 13.1-14 AddProjectionOfBiasedWeakFiberProductWithGivenBiasedWeakFiberProduct
, for IsCapCategory, IsFunction 13.1-15 AddUniversalMorphismFromBiasedWeakPushout
, for IsCapCategory, IsFunction 13.1-16 AddUniversalMorphismFromBiasedWeakPushoutWithGivenBiasedWeakPushout
, for IsCapCategory, IsFunction 13.1-17 AddUniversalMorphismFromWeakBiPushout
, for IsCapCategory, IsFunction 13.1-18 AddUniversalMorphismFromWeakBiPushoutWithGivenWeakBiPushout
, for IsCapCategory, IsFunction 13.1-19 AddUniversalMorphismIntoBiasedWeakFiberProduct
, for IsCapCategory, IsFunction 13.1-20 AddUniversalMorphismIntoBiasedWeakFiberProductWithGivenBiasedWeakFiberProduct
, for IsCapCategory, IsFunction 13.1-21 AddUniversalMorphismIntoWeakBiFiberProduct
, for IsCapCategory, IsFunction 13.1-22 AddUniversalMorphismIntoWeakBiFiberProductWithGivenWeakBiFiberProduct
, for IsCapCategory, IsFunction 13.1-23 AddWeakBiFiberProduct
, for IsCapCategory, IsFunction 13.1-24 AddWeakBiFiberProductMorphismToDirectSum
, for IsCapCategory, IsFunction 13.1-25 AddWeakBiPushout
, for IsCapCategory, IsFunction 13.1-26 AddWeakCokernelColift
, for IsCapCategory, IsFunction 13.1-27 AddWeakCokernelColiftWithGivenWeakCokernelObject
, for IsCapCategory, IsFunction 13.1-28 AddWeakCokernelObject
, for IsCapCategory, IsFunction 13.1-29 AddWeakCokernelProjection
, for IsCapCategory, IsFunction 13.1-30 AddWeakCokernelProjectionWithGivenWeakCokernelObject
, for IsCapCategory, IsFunction 13.1-31 AddWeakKernelEmbedding
, for IsCapCategory, IsFunction 13.1-32 AddWeakKernelEmbeddingWithGivenWeakKernelObject
, for IsCapCategory, IsFunction 13.1-33 AddWeakKernelLift
, for IsCapCategory, IsFunction 13.1-34 AddWeakKernelLiftWithGivenWeakKernelObject
, for IsCapCategory, IsFunction 13.1-35 AddWeakKernelObject
, for IsCapCategory, IsFunction 13.1-36 AsAdditiveClosureMorphism
, for IsCapCategoryMorphism 2.1-6 AsAdditiveClosureObject
, for IsCapCategoryObject 2.1-4 BiasedWeakFiberProduct
, for IsCapCategoryMorphism, IsCapCategoryMorphism 11.4-1 BiasedWeakPushout
, for IsCapCategoryMorphism, IsCapCategoryMorphism 11.6-1 CategoryOfGradedColumns
, for IsHomalgGradedRing 9.1-1 CategoryOfGradedRows
, for IsHomalgGradedRing 9.1-2 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 11.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 9.1-5 GradedRow
, for IsList, IsHomalgGradedRing 9.1-3 GradedRowOrColumnMorphism
, for IsGradedRowOrColumn, IsHomalgMatrix, IsGradedRowOrColumn 9.1-7 InclusionFunctorInAdditiveClosure
, for IsCapCategory 2.1-7 InjectionOfBiasedWeakPushout
, for IsCapCategoryMorphism, IsCapCategoryMorphism 11.6-2 InjectionOfBiasedWeakPushoutWithGivenBiasedWeakPushout
, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 11.6-3 InjectionOfFirstCofactorOfWeakBiPushout
, for IsCapCategoryMorphism, IsCapCategoryMorphism 11.5-2 InjectionOfFirstCofactorOfWeakBiPushoutWithGivenWeakBiPushout
, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 11.5-4 InjectionOfSecondCofactorOfWeakBiPushout
, for IsCapCategoryMorphism, IsCapCategoryMorphism 11.5-3 InjectionOfSecondCofactorOfWeakBiPushoutWithGivenWeakBiPushout
, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 11.5-5 IsAdditiveClosureCategory
, for IsCapCategory 2.6-1 IsAdditiveClosureMorphism
, for IsCapCategoryMorphism 2.6-3 IsAdditiveClosureObject
, for IsCapCategoryObject 2.6-2 IsCategoryOfColumnsObject
, for IsCapCategoryObject 6.1-1 IsCategoryOfRowsObject
, for IsCapCategoryObject 4.2-1 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 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 ProjectionInFirstFactorOfWeakBiFiberProduct
, for IsCapCategoryMorphism, IsCapCategoryMorphism 11.3-2 ProjectionInFirstFactorOfWeakBiFiberProductWithGivenWeakBiFiberProduct
, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 11.3-3 ProjectionInSecondFactorOfWeakBiFiberProduct
, for IsCapCategoryMorphism, IsCapCategoryMorphism 11.3-4 ProjectionInSecondFactorOfWeakBiFiberProductWithGivenWeakBiFiberProduct
, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 11.3-5 ProjectionOfBiasedWeakFiberProduct
, for IsCapCategoryMorphism, IsCapCategoryMorphism 11.4-2 ProjectionOfBiasedWeakFiberProductWithGivenBiasedWeakFiberProduct
, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 11.4-3 RandomMorphismByInteger
, for IsAdditiveClosureCategory, IsInt 2.5-10 RandomMorphismByList
, for IsAdditiveClosureCategory, IsList 2.5-9 RandomMorphismWithFixedRangeByInteger
, for IsAdditiveClosureObject, IsInt 2.5-8 RandomMorphismWithFixedRangeByList
, for IsAdditiveClosureObject, IsList 2.5-7 RandomMorphismWithFixedSourceAndRangeByInteger
, for IsAdditiveClosureObject, IsAdditiveClosureObject, IsInt 2.5-4 RandomMorphismWithFixedSourceAndRangeByList
, for IsAdditiveClosureObject, IsAdditiveClosureObject, IsList 2.5-3 RandomMorphismWithFixedSourceByInteger
, for IsAdditiveClosureObject, IsInt 2.5-6 RandomMorphismWithFixedSourceByList
, for IsAdditiveClosureObject, IsList 2.5-5 RandomObjectByInteger
, for IsAdditiveClosureCategory, IsInt 2.5-2 RandomObjectByList
, for IsAdditiveClosureCategory, IsList 2.5-1 RankOfObject
, for IsGradedRowOrColumn 9.2-3 UnderlyingCategory
, for IsAdditiveClosureCategory 2.2-1 UnderlyingHomalgGradedRing
, for IsGradedRowOrColumn 9.2-1 UnderlyingHomalgMatrix
, for IsGradedRowOrColumnMorphism 9.2-5 UnionOfColumnsListList
2.4-3 UnionOfRowsListList
2.4-2 UniversalMorphismFromBiasedWeakPushout
, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 11.6-4 UniversalMorphismFromBiasedWeakPushoutWithGivenBiasedWeakPushout
, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 11.6-5 UniversalMorphismFromWeakBiPushout
, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 11.5-6 UniversalMorphismFromWeakBiPushoutWithGivenWeakBiPushout
, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 11.5-7 UniversalMorphismIntoBiasedWeakFiberProduct
, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 11.4-4 UniversalMorphismIntoBiasedWeakFiberProductWithGivenBiasedWeakFiberProduct
, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 11.4-5 UniversalMorphismIntoWeakBiFiberProduct
, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 11.3-6 UniversalMorphismIntoWeakBiFiberProductWithGivenWeakBiFiberProduct
, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 11.3-7 UnzipDegreeList
, for IsGradedRowOrColumn 9.4-9 WeakBiFiberProduct
, for IsCapCategoryMorphism, IsCapCategoryMorphism 11.3-1 WeakBiFiberProductMorphismToDirectSum
, for IsCapCategoryMorphism, IsCapCategoryMorphism 11.3-8 WeakBiPushout
, for IsCapCategoryMorphism, IsCapCategoryMorphism 11.5-1 WeakCokernelColift
, for IsCapCategoryMorphism, IsCapCategoryMorphism 11.2-4 WeakCokernelColiftWithGivenWeakCokernelObject
, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 11.2-5 WeakCokernelObject
, for IsCapCategoryMorphism 11.2-1 WeakCokernelProjection
, for IsCapCategoryMorphism 11.2-2 WeakCokernelProjectionWithGivenWeakCokernelObject
, for IsCapCategoryMorphism, IsCapCategoryObject 11.2-3 WeakKernelEmbedding
, for IsCapCategoryMorphism 11.1-2 WeakKernelEmbeddingWithGivenWeakKernelObject
, for IsCapCategoryMorphism, IsCapCategoryObject 11.1-3 WeakKernelLift
, for IsCapCategoryMorphism, IsCapCategoryMorphism 11.1-4 WeakKernelLiftWithGivenWeakKernelObject
, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 11.1-5 WeakKernelObject
, for IsCapCategoryMorphism 11.1-1
generated by GAPDoc2HTML