*, 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 14.1-1 AddBiasedWeakPushout, for IsCapCategory, IsFunction 14.1-2 AddDirectSumMorphismToWeakBiPushout, for IsCapCategory, IsFunction 14.1-3 AddEpimorphismFromSomeProjectiveObjectForKernelObject, for IsCapCategory, IsFunction 14.1-4 AddEpimorphismFromSomeProjectiveObjectForKernelObjectWithGivenSomeProjectiveObjectForKernelObject, for IsCapCategory, IsFunction 14.1-5 AddInjectionOfBiasedWeakPushout, for IsCapCategory, IsFunction 14.1-6 AddInjectionOfBiasedWeakPushoutWithGivenBiasedWeakPushout, for IsCapCategory, IsFunction 14.1-7 AddInjectionOfFirstCofactorOfWeakBiPushout, for IsCapCategory, IsFunction 14.1-8 AddInjectionOfFirstCofactorOfWeakBiPushoutWithGivenWeakBiPushout, for IsCapCategory, IsFunction 14.1-9 AddInjectionOfSecondCofactorOfWeakBiPushout, for IsCapCategory, IsFunction 14.1-10 AddInjectionOfSecondCofactorOfWeakBiPushoutWithGivenWeakBiPushout, for IsCapCategory, IsFunction 14.1-11 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 14.1-12 AddMonomorphismToSomeInjectiveObjectForCokernelObjectWithGivenSomeInjectiveObjectForCokernelObject, for IsCapCategory, IsFunction 14.1-13 AddProjectionInFirstFactorOfWeakBiFiberProduct, for IsCapCategory, IsFunction 14.1-14 AddProjectionInFirstFactorOfWeakBiFiberProductWithGivenWeakBiFiberProduct, for IsCapCategory, IsFunction 14.1-15 AddProjectionInSecondFactorOfWeakBiFiberProduct, for IsCapCategory, IsFunction 14.1-16 AddProjectionInSecondFactorOfWeakBiFiberProductWithGivenWeakBiFiberProduct, for IsCapCategory, IsFunction 14.1-17 AddProjectionOfBiasedWeakFiberProduct, for IsCapCategory, IsFunction 14.1-18 AddProjectionOfBiasedWeakFiberProductWithGivenBiasedWeakFiberProduct, for IsCapCategory, IsFunction 14.1-19 AddSomeInjectiveObjectForCokernelObject, for IsCapCategory, IsFunction 14.1-20 AddSomeProjectiveObjectForKernelObject, for IsCapCategory, IsFunction 14.1-21 AddUniversalMorphismFromBiasedWeakPushout, for IsCapCategory, IsFunction 14.1-22 AddUniversalMorphismFromBiasedWeakPushoutWithGivenBiasedWeakPushout, for IsCapCategory, IsFunction 14.1-23 AddUniversalMorphismFromWeakBiPushout, for IsCapCategory, IsFunction 14.1-24 AddUniversalMorphismFromWeakBiPushoutWithGivenWeakBiPushout, for IsCapCategory, IsFunction 14.1-25 AddUniversalMorphismIntoBiasedWeakFiberProduct, for IsCapCategory, IsFunction 14.1-26 AddUniversalMorphismIntoBiasedWeakFiberProductWithGivenBiasedWeakFiberProduct, for IsCapCategory, IsFunction 14.1-27 AddUniversalMorphismIntoWeakBiFiberProduct, for IsCapCategory, IsFunction 14.1-28 AddUniversalMorphismIntoWeakBiFiberProductWithGivenWeakBiFiberProduct, for IsCapCategory, IsFunction 14.1-29 AddWeakBiFiberProduct, for IsCapCategory, IsFunction 14.1-30 AddWeakBiFiberProductMorphismToDirectSum, for IsCapCategory, IsFunction 14.1-31 AddWeakBiPushout, for IsCapCategory, IsFunction 14.1-32 AddWeakCokernelColift, for IsCapCategory, IsFunction 14.1-33 AddWeakCokernelColiftWithGivenWeakCokernelObject, for IsCapCategory, IsFunction 14.1-34 AddWeakCokernelObject, for IsCapCategory, IsFunction 14.1-35 AddWeakCokernelProjection, for IsCapCategory, IsFunction 14.1-36 AddWeakCokernelProjectionWithGivenWeakCokernelObject, for IsCapCategory, IsFunction 14.1-37 AddWeakKernelEmbedding, for IsCapCategory, IsFunction 14.1-38 AddWeakKernelEmbeddingWithGivenWeakKernelObject, for IsCapCategory, IsFunction 14.1-39 AddWeakKernelLift, for IsCapCategory, IsFunction 14.1-40 AddWeakKernelLiftWithGivenWeakKernelObject, for IsCapCategory, IsFunction 14.1-41 AddWeakKernelObject, for IsCapCategory, IsFunction 14.1-42 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 19.1-1 FpGradedRightModules, for IsHomalgGradedRing 19.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 19.3-2 IsFpGradedLeftModulesObject, for IsFpGradedLeftOrRightModulesObject 19.2-2 IsFpGradedLeftOrRightModulesMorphism, for IsFreydCategoryMorphism 19.3-1 IsFpGradedLeftOrRightModulesObject, for IsFreydCategoryObject 19.2-1 IsFpGradedRightModulesMorphism, for IsFpGradedLeftOrRightModulesMorphism 19.3-3 IsFpGradedRightModulesObject, for IsFpGradedLeftOrRightModulesObject 19.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