*
, for IsFreydCategoryMorphism, IsFreydCategoryMorphism 11.3-3 /
, for IsCapCategoryCell, IsAdditiveClosureCategory 2.4-4 [
, for IsAdditiveClosureMorphism, IsInt, IsInt 2.4-2 []
, for IsAdditiveClosureObject, IsInt 2.4-1 ^
, for IsFreydCategoryMorphism, IsInt 11.3-4 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 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 GradedRow
, for IsList, IsHomalgGradedRing 9.1-3 GradedRowOrColumnMorphism
, for IsGradedRowOrColumn, IsHomalgMatrix, IsGradedRowOrColumn 9.1-7 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 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 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 UnderlyingHomalgGradedRing
, for IsGradedRowOrColumn 9.2-1 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
generated by GAPDoc2HTML