\*
, for IsRingElement, IsCapCategoryMorphism 3.8-6 \/
, for IsCapCategoryCell, IsWrapperCapCategory 12.3-4 ActivateDerivationInfo
8.1-2 Add
, for IsCapCategory, IsCapCategoryMorphism 3.6-1 AddAdditionForMorphisms
, for IsCapCategory, IsFunction 7.7-1 AddAdditiveGenerators
, for IsCapCategory, IsFunction 7.7-2 AddAdditiveInverseForMorphisms
, for IsCapCategory, IsFunction 7.7-3 AddAstrictionToCoimage
, for IsCapCategory, IsFunction 7.7-4 AddAstrictionToCoimageWithGivenCoimageObject
, for IsCapCategory, IsFunction 7.7-5 AddBasisOfExternalHom
, for IsCapCategory, IsFunction 7.7-6 AddCanonicalIdentificationFromCoimageToImageObject
, for IsCapCategory, IsFunction 7.7-7 AddCanonicalIdentificationFromImageObjectToCoimage
, for IsCapCategory, IsFunction 7.7-8 AddCategoricalProperty
1.1-6 AddCoastrictionToImage
, for IsCapCategory, IsFunction 7.7-9 AddCoastrictionToImageWithGivenImageObject
, for IsCapCategory, IsFunction 7.7-10 AddCoefficientsOfMorphismWithGivenBasisOfExternalHom
, for IsCapCategory, IsFunction 7.7-11 AddCoequalizer
, for IsCapCategory, IsFunction 7.7-12 AddCoequalizerFunctorial
, for IsCapCategory, IsFunction 7.7-13 AddCoequalizerFunctorialWithGivenCoequalizers
, for IsCapCategory, IsFunction 7.7-14 AddCoimageObject
, for IsCapCategory, IsFunction 7.7-15 AddCoimageProjection
, for IsCapCategory, IsFunction 7.7-16 AddCoimageProjectionWithGivenCoimageObject
, for IsCapCategory, IsFunction 7.7-17 AddCokernelColift
, for IsCapCategory, IsFunction 7.7-18 AddCokernelColiftWithGivenCokernelObject
, for IsCapCategory, IsFunction 7.7-19 AddCokernelObject
, for IsCapCategory, IsFunction 7.7-20 AddCokernelObjectFunctorial
, for IsCapCategory, IsFunction 7.7-21 AddCokernelObjectFunctorialWithGivenCokernelObjects
, for IsCapCategory, IsFunction 7.7-22 AddCokernelProjection
, for IsCapCategory, IsFunction 7.7-23 AddCokernelProjectionWithGivenCokernelObject
, for IsCapCategory, IsFunction 7.7-24 AddColift
, for IsCapCategory, IsFunction 7.7-25 AddColiftAlongEpimorphism
, for IsCapCategory, IsFunction 7.7-26 AddColiftOrFail
, for IsCapCategory, IsFunction 7.7-27 AddComponentOfMorphismFromDirectSum
, for IsCapCategory, IsFunction 7.7-28 AddComponentOfMorphismIntoDirectSum
, for IsCapCategory, IsFunction 7.7-29 AddCoproduct
, for IsCapCategory, IsFunction 7.7-30 AddCoproductFunctorial
, for IsCapCategory, IsFunction 7.7-31 AddCoproductFunctorialWithGivenCoproducts
, for IsCapCategory, IsFunction 7.7-32 AddDerivation
, for IsDerivedMethodGraph, IsDerivedMethod 8.3-4 AddDerivationPair
, for IsDerivedMethodGraph, IsFunction, IsFunction, IsDenseList, IsDenseList 8.3-9 AddDerivationPairToCAP
8.3-13 AddDerivationToCAP
8.3-12 AddDirectProduct
, for IsCapCategory, IsFunction 7.7-33 AddDirectProductFunctorial
, for IsCapCategory, IsFunction 7.7-34 AddDirectProductFunctorialWithGivenDirectProducts
, for IsCapCategory, IsFunction 7.7-35 AddDirectSum
, for IsCapCategory, IsFunction 7.7-36 AddDirectSumCodiagonalDifference
, for IsCapCategory, IsFunction 7.7-37 AddDirectSumDiagonalDifference
, for IsCapCategory, IsFunction 7.7-38 AddDirectSumFunctorial
, for IsCapCategory, IsFunction 7.7-39 AddDirectSumFunctorialWithGivenDirectSums
, for IsCapCategory, IsFunction 7.7-40 AddDirectSumProjectionInPushout
, for IsCapCategory, IsFunction 7.7-41 AddDistinguishedObjectOfHomomorphismStructure
, for IsCapCategory, IsFunction 7.7-42 AddEmbeddingOfEqualizer
, for IsCapCategory, IsFunction 7.7-43 AddEmbeddingOfEqualizerWithGivenEqualizer
, for IsCapCategory, IsFunction 7.7-44 AddEpimorphismFromSomeProjectiveObject
, for IsCapCategory, IsFunction 7.7-45 AddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject
, for IsCapCategory, IsFunction 7.7-46 AddEqualizer
, for IsCapCategory, IsFunction 7.7-47 AddEqualizerFunctorial
, for IsCapCategory, IsFunction 7.7-48 AddEqualizerFunctorialWithGivenEqualizers
, for IsCapCategory, IsFunction 7.7-49 AddFiberProduct
, for IsCapCategory, IsFunction 7.7-50 AddFiberProductEmbeddingInDirectSum
, for IsCapCategory, IsFunction 7.7-51 AddFiberProductFunctorial
, for IsCapCategory, IsFunction 7.7-52 AddFiberProductFunctorialWithGivenFiberProducts
, for IsCapCategory, IsFunction 7.7-53 AddHomologyObject
, for IsCapCategory, IsFunction 7.7-54 AddHomologyObjectFunctorialWithGivenHomologyObjects
, for IsCapCategory, IsFunction 7.7-55 AddHomomorphismStructureOnMorphisms
, for IsCapCategory, IsFunction 7.7-56 AddHomomorphismStructureOnMorphismsWithGivenObjects
, for IsCapCategory, IsFunction 7.7-57 AddHomomorphismStructureOnObjects
, for IsCapCategory, IsFunction 7.7-58 AddHorizontalPostCompose
, for IsCapCategory, IsFunction 7.7-59 AddHorizontalPreCompose
, for IsCapCategory, IsFunction 7.7-60 AddIdentityMorphism
, for IsCapCategory, IsFunction 7.7-61 AddIdentityTwoCell
, for IsCapCategory, IsFunction 7.7-62 AddImageEmbedding
, for IsCapCategory, IsFunction 7.7-63 AddImageEmbeddingWithGivenImageObject
, for IsCapCategory, IsFunction 7.7-64 AddImageObject
, for IsCapCategory, IsFunction 7.7-65 AddInitialObject
, for IsCapCategory, IsFunction 7.7-66 AddInitialObjectFunctorial
, for IsCapCategory, IsFunction 7.7-67 AddInitialObjectFunctorialWithGivenInitialObjects
, for IsCapCategory, IsFunction 7.7-68 AddInjectionOfCofactorOfCoproduct
, for IsCapCategory, IsFunction 7.7-69 AddInjectionOfCofactorOfCoproductWithGivenCoproduct
, for IsCapCategory, IsFunction 7.7-70 AddInjectionOfCofactorOfDirectSum
, for IsCapCategory, IsFunction 7.7-71 AddInjectionOfCofactorOfDirectSumWithGivenDirectSum
, for IsCapCategory, IsFunction 7.7-72 AddInjectionOfCofactorOfPushout
, for IsCapCategory, IsFunction 7.7-73 AddInjectionOfCofactorOfPushoutWithGivenPushout
, for IsCapCategory, IsFunction 7.7-74 AddInjectiveColift
, for IsCapCategory, IsFunction 7.7-75 AddInjectiveDimension
, for IsCapCategory, IsFunction 7.7-76 AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure
, for IsCapCategory, IsFunction 7.7-77 AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects
, for IsCapCategory, IsFunction 7.7-78 AddInterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism
, for IsCapCategory, IsFunction 7.7-79 AddInverseForMorphisms
, for IsCapCategory, IsFunction 7.7-80 AddInverseMorphismFromCoimageToImageWithGivenObjects
, for IsCapCategory, IsFunction 7.7-81 AddIsAutomorphism
, for IsCapCategory, IsFunction 7.7-82 AddIsBijectiveObject
, for IsCapCategory, IsFunction 7.7-83 AddIsCodominating
, for IsCapCategory, IsFunction 7.7-84 AddIsColiftable
, for IsCapCategory, IsFunction 7.7-85 AddIsColiftableAlongEpimorphism
, for IsCapCategory, IsFunction 7.7-86 AddIsCongruentForMorphisms
, for IsCapCategory, IsFunction 7.7-87 AddIsDominating
, for IsCapCategory, IsFunction 7.7-88 AddIsEndomorphism
, for IsCapCategory, IsFunction 7.7-89 AddIsEpimorphism
, for IsCapCategory, IsFunction 7.7-90 AddIsEqualAsFactorobjects
, for IsCapCategory, IsFunction 7.7-91 AddIsEqualAsSubobjects
, for IsCapCategory, IsFunction 7.7-92 AddIsEqualForCacheForMorphisms
, for IsCapCategory, IsFunction 7.7-93 AddIsEqualForCacheForObjects
, for IsCapCategory, IsFunction 7.7-94 AddIsEqualForMorphisms
, for IsCapCategory, IsFunction 7.7-95 AddIsEqualForMorphismsOnMor
, for IsCapCategory, IsFunction 7.7-96 AddIsEqualForObjects
, for IsCapCategory, IsFunction 7.7-97 AddIsEqualToIdentityMorphism
, for IsCapCategory, IsFunction 7.7-98 AddIsEqualToZeroMorphism
, for IsCapCategory, IsFunction 7.7-99 AddIsHomSetInhabited
, for IsCapCategory, IsFunction 7.7-100 AddIsIdempotent
, for IsCapCategory, IsFunction 7.7-101 AddIsInitial
, for IsCapCategory, IsFunction 7.7-102 AddIsInjective
, for IsCapCategory, IsFunction 7.7-103 AddIsIsomorphism
, for IsCapCategory, IsFunction 7.7-104 AddIsLiftable
, for IsCapCategory, IsFunction 7.7-105 AddIsLiftableAlongMonomorphism
, for IsCapCategory, IsFunction 7.7-106 AddIsMonomorphism
, for IsCapCategory, IsFunction 7.7-107 AddIsomorphismFromCoequalizerOfCoproductDiagramToPushout
, for IsCapCategory, IsFunction 7.7-118 AddIsomorphismFromCoimageToCokernelOfKernel
, for IsCapCategory, IsFunction 7.7-119 AddIsomorphismFromCokernelOfDiagonalDifferenceToPushout
, for IsCapCategory, IsFunction 7.7-120 AddIsomorphismFromCokernelOfKernelToCoimage
, for IsCapCategory, IsFunction 7.7-121 AddIsomorphismFromCoproductToDirectSum
, for IsCapCategory, IsFunction 7.7-122 AddIsomorphismFromDirectProductToDirectSum
, for IsCapCategory, IsFunction 7.7-123 AddIsomorphismFromDirectSumToCoproduct
, for IsCapCategory, IsFunction 7.7-124 AddIsomorphismFromDirectSumToDirectProduct
, for IsCapCategory, IsFunction 7.7-125 AddIsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct
, for IsCapCategory, IsFunction 7.7-126 AddIsomorphismFromFiberProductToEqualizerOfDirectProductDiagram
, for IsCapCategory, IsFunction 7.7-127 AddIsomorphismFromFiberProductToKernelOfDiagonalDifference
, for IsCapCategory, IsFunction 7.7-128 AddIsomorphismFromHomologyObjectToItsConstructionAsAnImageObject
, for IsCapCategory, IsFunction 7.7-129 AddIsomorphismFromImageObjectToKernelOfCokernel
, for IsCapCategory, IsFunction 7.7-130 AddIsomorphismFromInitialObjectToZeroObject
, for IsCapCategory, IsFunction 7.7-131 AddIsomorphismFromItsConstructionAsAnImageObjectToHomologyObject
, for IsCapCategory, IsFunction 7.7-132 AddIsomorphismFromKernelOfCokernelToImageObject
, for IsCapCategory, IsFunction 7.7-133 AddIsomorphismFromKernelOfDiagonalDifferenceToFiberProduct
, for IsCapCategory, IsFunction 7.7-134 AddIsomorphismFromPushoutToCoequalizerOfCoproductDiagram
, for IsCapCategory, IsFunction 7.7-135 AddIsomorphismFromPushoutToCokernelOfDiagonalDifference
, for IsCapCategory, IsFunction 7.7-136 AddIsomorphismFromTerminalObjectToZeroObject
, for IsCapCategory, IsFunction 7.7-137 AddIsomorphismFromZeroObjectToInitialObject
, for IsCapCategory, IsFunction 7.7-138 AddIsomorphismFromZeroObjectToTerminalObject
, for IsCapCategory, IsFunction 7.7-139 AddIsOne
, for IsCapCategory, IsFunction 7.7-108 AddIsProjective
, for IsCapCategory, IsFunction 7.7-109 AddIsSplitEpimorphism
, for IsCapCategory, IsFunction 7.7-110 AddIsSplitMonomorphism
, for IsCapCategory, IsFunction 7.7-111 AddIsTerminal
, for IsCapCategory, IsFunction 7.7-112 AddIsWellDefinedForMorphisms
, for IsCapCategory, IsFunction 7.7-113 AddIsWellDefinedForObjects
, for IsCapCategory, IsFunction 7.7-114 AddIsWellDefinedForTwoCells
, for IsCapCategory, IsFunction 7.7-115 AddIsZeroForMorphisms
, for IsCapCategory, IsFunction 7.7-116 AddIsZeroForObjects
, for IsCapCategory, IsFunction 7.7-117 AdditionForMorphisms
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-2 AdditiveGenerators
, for IsCapCategory 1.3-9 AdditiveInverseForMorphisms
, for IsCapCategoryMorphism 3.8-4 AddKernelEmbedding
, for IsCapCategory, IsFunction 7.7-140 AddKernelEmbeddingWithGivenKernelObject
, for IsCapCategory, IsFunction 7.7-141 AddKernelLift
, for IsCapCategory, IsFunction 7.7-142 AddKernelLiftWithGivenKernelObject
, for IsCapCategory, IsFunction 7.7-143 AddKernelObject
, for IsCapCategory, IsFunction 7.7-144 AddKernelObjectFunctorial
, for IsCapCategory, IsFunction 7.7-145 AddKernelObjectFunctorialWithGivenKernelObjects
, for IsCapCategory, IsFunction 7.7-146 AddLift
, for IsCapCategory, IsFunction 7.7-147 AddLiftAlongMonomorphism
, for IsCapCategory, IsFunction 7.7-148 AddLiftOrFail
, for IsCapCategory, IsFunction 7.7-149 AddMereExistenceOfSolutionOfLinearSystemInAbCategory
, for IsCapCategory, IsFunction 7.7-150 AddMonomorphismIntoSomeInjectiveObject
, for IsCapCategory, IsFunction 7.7-151 AddMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject
, for IsCapCategory, IsFunction 7.7-152 AddMorphism
, for IsCapCategory, IsAttributeStoringRep 3.6-2 AddMorphismBetweenDirectSums
, for IsCapCategory, IsFunction 7.7-153 AddMorphismBetweenDirectSumsWithGivenDirectSums
, for IsCapCategory, IsFunction 7.7-154 AddMorphismConstructor
, for IsCapCategory, IsFunction 7.7-155 AddMorphismDatum
, for IsCapCategory, IsFunction 7.7-156 AddMorphismFromCoimageToImageWithGivenObjects
, for IsCapCategory, IsFunction 7.7-157 AddMorphismFromEqualizerToSink
, for IsCapCategory, IsFunction 7.7-158 AddMorphismFromEqualizerToSinkWithGivenEqualizer
, for IsCapCategory, IsFunction 7.7-159 AddMorphismFromFiberProductToSink
, for IsCapCategory, IsFunction 7.7-160 AddMorphismFromFiberProductToSinkWithGivenFiberProduct
, for IsCapCategory, IsFunction 7.7-161 AddMorphismFromKernelObjectToSink
, for IsCapCategory, IsFunction 7.7-162 AddMorphismFromKernelObjectToSinkWithGivenKernelObject
, for IsCapCategory, IsFunction 7.7-163 AddMorphismFromSourceToCoequalizer
, for IsCapCategory, IsFunction 7.7-164 AddMorphismFromSourceToCoequalizerWithGivenCoequalizer
, for IsCapCategory, IsFunction 7.7-165 AddMorphismFromSourceToCokernelObject
, for IsCapCategory, IsFunction 7.7-166 AddMorphismFromSourceToCokernelObjectWithGivenCokernelObject
, for IsCapCategory, IsFunction 7.7-167 AddMorphismFromSourceToPushout
, for IsCapCategory, IsFunction 7.7-168 AddMorphismFromSourceToPushoutWithGivenPushout
, for IsCapCategory, IsFunction 7.7-169 AddMorphismFunction
, for IsCapFunctor, IsFunction 5.4-7 AddMorphismRepresentation
, for IsCapCategory, IsObject 3.6-3 AddMultiplyWithElementOfCommutativeRingForMorphisms
, for IsCapCategory, IsFunction 7.7-170 AddNaturalTransformationFunction
, for IsCapNaturalTransformation, IsFunction 5.5-3 AddObject
, for IsCapCategory, IsAttributeStoringRep 2.6-2 AddObjectConstructor
, for IsCapCategory, IsFunction 7.7-171 AddObjectDatum
, for IsCapCategory, IsFunction 7.7-172 AddObjectFunction
, for IsCapFunctor, IsFunction 5.4-5 AddObjectRepresentation
, for IsCapCategory, IsObject 2.6-3 AddOperationsToDerivationGraph
, for IsDerivedMethodGraph, IsDenseList 8.3-3 AddPostCompose
, for IsCapCategory, IsFunction 7.7-173 AddPostComposeList
, for IsCapCategory, IsFunction 7.7-174 AddPreCompose
, for IsCapCategory, IsFunction 7.7-175 AddPreComposeList
, for IsCapCategory, IsFunction 7.7-176 AddPrimitiveOperation
, for IsOperationWeightList, IsString, IsInt 8.4-11 AddProjectionInFactorOfDirectProduct
, for IsCapCategory, IsFunction 7.7-177 AddProjectionInFactorOfDirectProductWithGivenDirectProduct
, for IsCapCategory, IsFunction 7.7-178 AddProjectionInFactorOfDirectSum
, for IsCapCategory, IsFunction 7.7-179 AddProjectionInFactorOfDirectSumWithGivenDirectSum
, for IsCapCategory, IsFunction 7.7-180 AddProjectionInFactorOfFiberProduct
, for IsCapCategory, IsFunction 7.7-181 AddProjectionInFactorOfFiberProductWithGivenFiberProduct
, for IsCapCategory, IsFunction 7.7-182 AddProjectionOntoCoequalizer
, for IsCapCategory, IsFunction 7.7-183 AddProjectionOntoCoequalizerWithGivenCoequalizer
, for IsCapCategory, IsFunction 7.7-184 AddProjectiveDimension
, for IsCapCategory, IsFunction 7.7-185 AddProjectiveLift
, for IsCapCategory, IsFunction 7.7-186 AddPushout
, for IsCapCategory, IsFunction 7.7-187 AddPushoutFunctorial
, for IsCapCategory, IsFunction 7.7-188 AddPushoutFunctorialWithGivenPushouts
, for IsCapCategory, IsFunction 7.7-189 AddRandomMorphismByInteger
, for IsCapCategory, IsFunction 7.7-190 AddRandomMorphismByList
, for IsCapCategory, IsFunction 7.7-191 AddRandomMorphismWithFixedRangeByInteger
, for IsCapCategory, IsFunction 7.7-192 AddRandomMorphismWithFixedRangeByList
, for IsCapCategory, IsFunction 7.7-193 AddRandomMorphismWithFixedSourceAndRangeByInteger
, for IsCapCategory, IsFunction 7.7-194 AddRandomMorphismWithFixedSourceAndRangeByList
, for IsCapCategory, IsFunction 7.7-195 AddRandomMorphismWithFixedSourceByInteger
, for IsCapCategory, IsFunction 7.7-196 AddRandomMorphismWithFixedSourceByList
, for IsCapCategory, IsFunction 7.7-197 AddRandomObjectByInteger
, for IsCapCategory, IsFunction 7.7-198 AddRandomObjectByList
, for IsCapCategory, IsFunction 7.7-199 AddSimplifyEndo
, for IsCapCategory, IsFunction 7.7-200 AddSimplifyEndo_IsoFromInputObject
, for IsCapCategory, IsFunction 7.7-201 AddSimplifyEndo_IsoToInputObject
, for IsCapCategory, IsFunction 7.7-202 AddSimplifyMorphism
, for IsCapCategory, IsFunction 7.7-203 AddSimplifyObject
, for IsCapCategory, IsFunction 7.7-204 AddSimplifyObject_IsoFromInputObject
, for IsCapCategory, IsFunction 7.7-205 AddSimplifyObject_IsoToInputObject
, for IsCapCategory, IsFunction 7.7-206 AddSimplifyRange
, for IsCapCategory, IsFunction 7.7-207 AddSimplifyRange_IsoFromInputObject
, for IsCapCategory, IsFunction 7.7-208 AddSimplifyRange_IsoToInputObject
, for IsCapCategory, IsFunction 7.7-209 AddSimplifySource
, for IsCapCategory, IsFunction 7.7-210 AddSimplifySource_IsoFromInputObject
, for IsCapCategory, IsFunction 7.7-216 AddSimplifySource_IsoToInputObject
, for IsCapCategory, IsFunction 7.7-217 AddSimplifySourceAndRange
, for IsCapCategory, IsFunction 7.7-211 AddSimplifySourceAndRange_IsoFromInputRange
, for IsCapCategory, IsFunction 7.7-212 AddSimplifySourceAndRange_IsoFromInputSource
, for IsCapCategory, IsFunction 7.7-213 AddSimplifySourceAndRange_IsoToInputRange
, for IsCapCategory, IsFunction 7.7-214 AddSimplifySourceAndRange_IsoToInputSource
, for IsCapCategory, IsFunction 7.7-215 AddSolveLinearSystemInAbCategory
, for IsCapCategory, IsFunction 7.7-218 AddSolveLinearSystemInAbCategoryOrFail
, for IsCapCategory, IsFunction 7.7-219 AddSomeInjectiveObject
, for IsCapCategory, IsFunction 7.7-220 AddSomeProjectiveObject
, for IsCapCategory, IsFunction 7.7-221 AddSomeReductionBySplitEpiSummand
, for IsCapCategory, IsFunction 7.7-222 AddSomeReductionBySplitEpiSummand_MorphismFromInputRange
, for IsCapCategory, IsFunction 7.7-223 AddSomeReductionBySplitEpiSummand_MorphismToInputRange
, for IsCapCategory, IsFunction 7.7-224 AddSubtractionForMorphisms
, for IsCapCategory, IsFunction 7.7-225 AddTerminalObject
, for IsCapCategory, IsFunction 7.7-226 AddTerminalObjectFunctorial
, for IsCapCategory, IsFunction 7.7-227 AddTerminalObjectFunctorialWithGivenTerminalObjects
, for IsCapCategory, IsFunction 7.7-228 AddUniversalMorphismFromCoequalizer
, for IsCapCategory, IsFunction 7.7-229 AddUniversalMorphismFromCoequalizerWithGivenCoequalizer
, for IsCapCategory, IsFunction 7.7-230 AddUniversalMorphismFromCoproduct
, for IsCapCategory, IsFunction 7.7-231 AddUniversalMorphismFromCoproductWithGivenCoproduct
, for IsCapCategory, IsFunction 7.7-232 AddUniversalMorphismFromDirectSum
, for IsCapCategory, IsFunction 7.7-233 AddUniversalMorphismFromDirectSumWithGivenDirectSum
, for IsCapCategory, IsFunction 7.7-234 AddUniversalMorphismFromImage
, for IsCapCategory, IsFunction 7.7-235 AddUniversalMorphismFromImageWithGivenImageObject
, for IsCapCategory, IsFunction 7.7-236 AddUniversalMorphismFromInitialObject
, for IsCapCategory, IsFunction 7.7-237 AddUniversalMorphismFromInitialObjectWithGivenInitialObject
, for IsCapCategory, IsFunction 7.7-238 AddUniversalMorphismFromPushout
, for IsCapCategory, IsFunction 7.7-239 AddUniversalMorphismFromPushoutWithGivenPushout
, for IsCapCategory, IsFunction 7.7-240 AddUniversalMorphismFromZeroObject
, for IsCapCategory, IsFunction 7.7-241 AddUniversalMorphismFromZeroObjectWithGivenZeroObject
, for IsCapCategory, IsFunction 7.7-242 AddUniversalMorphismIntoCoimage
, for IsCapCategory, IsFunction 7.7-243 AddUniversalMorphismIntoCoimageWithGivenCoimageObject
, for IsCapCategory, IsFunction 7.7-244 AddUniversalMorphismIntoDirectProduct
, for IsCapCategory, IsFunction 7.7-245 AddUniversalMorphismIntoDirectProductWithGivenDirectProduct
, for IsCapCategory, IsFunction 7.7-246 AddUniversalMorphismIntoDirectSum
, for IsCapCategory, IsFunction 7.7-247 AddUniversalMorphismIntoDirectSumWithGivenDirectSum
, for IsCapCategory, IsFunction 7.7-248 AddUniversalMorphismIntoEqualizer
, for IsCapCategory, IsFunction 7.7-249 AddUniversalMorphismIntoEqualizerWithGivenEqualizer
, for IsCapCategory, IsFunction 7.7-250 AddUniversalMorphismIntoFiberProduct
, for IsCapCategory, IsFunction 7.7-251 AddUniversalMorphismIntoFiberProductWithGivenFiberProduct
, for IsCapCategory, IsFunction 7.7-252 AddUniversalMorphismIntoTerminalObject
, for IsCapCategory, IsFunction 7.7-253 AddUniversalMorphismIntoTerminalObjectWithGivenTerminalObject
, for IsCapCategory, IsFunction 7.7-254 AddUniversalMorphismIntoZeroObject
, for IsCapCategory, IsFunction 7.7-255 AddUniversalMorphismIntoZeroObjectWithGivenZeroObject
, for IsCapCategory, IsFunction 7.7-256 AddVerticalPostCompose
, for IsCapCategory, IsFunction 7.7-257 AddVerticalPreCompose
, for IsCapCategory, IsFunction 7.7-258 AddWithGivenDerivationPairToCAP
8.3-14 AddZeroMorphism
, for IsCapCategory, IsFunction 7.7-259 AddZeroObject
, for IsCapCategory, IsFunction 7.7-260 AddZeroObjectFunctorial
, for IsCapCategory, IsFunction 7.7-261 AddZeroObjectFunctorialWithGivenZeroObjects
, for IsCapCategory, IsFunction 7.7-262 ApplyFunctor
5.4-9 ApplyNaturalTransformation
5.5-4 AsCapCategory
, for IsCapCategoryAsCatObject 5.3-2 AsCatObject
, for IsCapCategory 5.3-1 AsMorphismInWrapperCategory
, for IsWrapperCapCategory, IsCapCategoryMorphism 12.3-3 AsObjectInWrapperCategory
, for IsWrapperCapCategory, IsCapCategoryObject 12.3-1 AstrictionToCoimage
, for IsCapCategoryMorphism 6.14-10 AstrictionToCoimageWithGivenCoimageObject
, for IsCapCategoryMorphism, IsCapCategoryObject 6.14-11 BasisOfExternalHom
, for IsCapCategoryObject, IsCapCategoryObject 3.16-18 BrowseCachingStatistic
9.2-20 BrowseTimingStatistics
1.10-1 CachingStatistic
9.2-19 CanCompute
, for IsCapCategory, IsFunction 1.5-1 CanonicalIdentificationFromCoimageToImageObject
, for IsCapCategoryMorphism 6.14-15 CanonicalIdentificationFromImageObjectToCoimage
, for IsCapCategoryMorphism 6.14-14 CAP_INTERNAL_ASSERT_IS_CELL_OF_CATEGORY
9.2-11 CAP_INTERNAL_ASSERT_IS_LIST_OF_MORPHISMS_OF_CATEGORY
9.2-16 CAP_INTERNAL_ASSERT_IS_LIST_OF_OBJECTS_OF_CATEGORY
9.2-15 CAP_INTERNAL_ASSERT_IS_LIST_OF_TWO_CELLS_OF_CATEGORY
9.2-17 CAP_INTERNAL_ASSERT_IS_MORPHISM_OF_CATEGORY
9.2-13 CAP_INTERNAL_ASSERT_IS_NON_NEGATIVE_INTEGER_OR_INFINITY
9.2-18 CAP_INTERNAL_ASSERT_IS_OBJECT_OF_CATEGORY
9.2-12 CAP_INTERNAL_ASSERT_IS_TWO_CELL_OF_CATEGORY
9.2-14 CAP_INTERNAL_FIND_APPEARANCE_OF_SYMBOL_IN_FUNCTION
9.2-9 CAP_INTERNAL_GENERATE_CONVENIENCE_METHODS_FOR_LIMITS
10.3-1 CAP_INTERNAL_MERGE_FILTER_LISTS
9.2-7 CAP_INTERNAL_MERGE_PRECONDITIONS_LIST
9.2-10 CAP_INTERNAL_REPLACE_STRING_WITH_FILTER
9.2-5 CAP_INTERNAL_REPLACE_STRINGS_WITH_FILTERS
9.2-6 CAP_INTERNAL_RETURN_OPTION_OR_DEFAULT
9.2-8 CAP_INTERNAL_VALIDATE_LIMITS_IN_NAME_RECORD
10.3-2 CAPAddPrepareFunction
7.6-2 CapCat
5.1-1 CapCategory
, for IsCapCategoryMorphism 3.1-1 CapCategorySwitchLogicOff
1.4-8 CapCategorySwitchLogicOn
1.4-7 CapCategorySwitchLogicPropagationForMorphismsOff
1.4-4 CapCategorySwitchLogicPropagationForMorphismsOn
1.4-3 CapCategorySwitchLogicPropagationForObjectsOff
1.4-2 CapCategorySwitchLogicPropagationForObjectsOn
1.4-1 CapCategorySwitchLogicPropagationOff
1.4-6 CapCategorySwitchLogicPropagationOn
1.4-5 CapFixpoint
9.2-30 CapFunctor
, for IsString, IsCapCategory, IsCapCategory 5.4-1 CapInternalInstallAdd
7.3-1 CapJitAddKnownMethod
9.2-26 CapJitAddTypeSignature
9.2-27 CapJitAddTypeSignatureDeferred
9.2-28 CapJitDataTypeOfCategory
9.2-29 CapJitDataTypeOfMorphismOfCategory
9.2-29 CapJitDataTypeOfObjectOfCategory
9.2-29 CAPOperationPrepareFunction
7.6-1 CategoryConstructor
, for IsRecord 11.2-1 CategoryFilter
, for IsCapCategory 1.3-1 CategoryOfOperationWeightList
, for IsOperationWeightList 8.4-4 CellFilter
, for IsCapCategory 1.3-2 CheckConstructivenessOfCategory
, for IsCapCategory, IsString 1.5-2 CoastrictionToImage
, for IsCapCategoryMorphism 6.13-6 CoastrictionToImageWithGivenImageObject
, for IsCapCategoryMorphism, IsCapCategoryObject 6.13-7 CoefficientsOfMorphism
, for IsCapCategoryMorphism 3.16-20 CoefficientsOfMorphismWithGivenBasisOfExternalHom
, for IsCapCategoryMorphism, IsList 3.16-19 Coequalizer
6.10-1 CoequalizerFunctorial
, for IsList, IsCapCategoryMorphism, IsList 6.10-9 CoequalizerFunctorialWithGivenCoequalizers
, for IsCapCategoryObject, IsList, IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.10-10 CoequalizerOp
, for IsList 6.10-2 CoimageObject
, for IsCapCategoryMorphism 6.14-7 CoimageProjection
, for IsCapCategoryMorphism 6.14-8 CoimageProjectionWithGivenCoimageObject
, for IsCapCategoryMorphism, IsCapCategoryObject 6.14-9 CokernelColift
, for IsCapCategoryMorphism, IsCapCategoryObject, IsCapCategoryMorphism 6.2-6 CokernelColiftWithGivenCokernelObject
, for IsCapCategoryMorphism, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.2-7 CokernelObject
, for IsCapCategoryMorphism 6.2-1 CokernelObjectFunctorial
, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.2-9 CokernelObjectFunctorialWithGivenCokernelObjects
, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.2-11 CokernelProjection
, for IsCapCategoryMorphism 6.2-2 CokernelProjectionWithGivenCokernelObject
, for IsCapCategoryMorphism, IsCapCategoryObject 6.2-3 Colift
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-8 ColiftAlongEpimorphism
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-2 ColiftOrFail
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-9 CommutativeRingOfLinearCategory
, for IsCapCategory 1.3-8 ComponentOfMorphismFromDirectSum
, for IsCapCategoryMorphism, IsList, IsInt 6.6-20 ComponentOfMorphismIntoDirectSum
, for IsCapCategoryMorphism, IsList, IsInt 6.6-19 Contains
, for IsStringMinHeap, IsString 8.5-8 Coproduct
, for IsCapCategoryObject, IsCapCategoryObject 6.7-2 CoproductFunctorial
, for IsList, IsList, IsList 6.7-8 CoproductFunctorialWithGivenCoproducts
, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.7-9 CreateCapCategory
1.2-1 CurrentOperationWeight
, for IsOperationWeightList, IsString 8.4-5 DeactivateCachingOfCategory
1.8-2 DeactivateDefaultCaching
1.8-3 DeactivateDerivationInfo
8.1-3 DeclareAttributeWithToDoForIsWellDefined
9.2-3 DeclareFamilyProperty
9.2-4 DecreaseKey
, for IsStringMinHeap, IsString, IsInt 8.5-5 DerivationFunctionsWithExtraFilters
, for IsDerivedMethod 8.2-5 DerivationGraph
, for IsOperationWeightList 8.4-3 DerivationInfo
8.1-1 DerivationName
, for IsDerivedMethod 8.2-3 DerivationOfOperation
, for IsOperationWeightList, IsString 8.4-7 DerivationResultWeight
, for IsDerivedMethod, IsDenseList 8.2-13 DerivationsOfOperation
, for IsDerivedMethodGraph, IsString 8.3-17 DerivationsUsingOperation
, for IsDerivedMethodGraph, IsString 8.3-16 DerivationWeight
, for IsDerivedMethod 8.2-4 DirectProduct
6.8-1 DirectProductFunctorial
, for IsList, IsList, IsList 6.8-7 DirectProductFunctorialWithGivenDirectProducts
, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.8-8 DirectProductOp
, for IsList 6.8-2 DirectSum
6.6-1 DirectSumCodiagonalDifference
, for IsList 6.12-5 DirectSumDiagonalDifference
, for IsList 6.11-5 DirectSumFunctorial
, for IsList, IsList, IsList 6.6-21 DirectSumFunctorialWithGivenDirectSums
, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.6-22 DirectSumOp
, for IsList 6.6-2 DirectSumProjectionInPushout
, for IsList 6.12-6 DisableAddForCategoricalOperations
1.11-1 DisableInputSanityChecks
1.9-1 DisableOutputSanityChecks
1.9-1 DisableSanityChecks
1.9-1 DisableTimingStatistics
1.10-1 DisplayTimingStatistics
1.10-1 DistinguishedObjectOfHomomorphismStructure
, for IsCapCategory 3.16-4 Down
, for IsObject 1.7-1 DownOnlyMorphismData
, for IsCapCategoryMorphism 1.7-2 DownToBottom
, for IsObject 1.7-3 DummyCategory
, for IsRecord 13.2-1 EmbeddingOfEqualizer
, for IsList 6.9-3 EmbeddingOfEqualizerWithGivenEqualizer
, for IsList, IsCapCategoryObject 6.9-4 EnableAddForCategoricalOperations
1.11-1 EnableFullInputSanityChecks
1.9-1 EnableFullOutputSanityChecks
1.9-1 EnableFullSanityChecks
1.9-1 EnablePartialInputSanityChecks
1.9-1 EnablePartialOutputSanityChecks
1.9-1 EnablePartialSanityChecks
1.9-1 EnableTimingStatistics
1.10-1 EpimorphismFromSomeProjectiveObject
, for IsCapCategoryObject 2.9-2 EpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject
, for IsCapCategoryObject, IsCapCategoryObject 2.9-3 Equalizer
6.9-1 EqualizerFunctorial
, for IsList, IsCapCategoryMorphism, IsList 6.9-9 EqualizerFunctorialWithGivenEqualizers
, for IsCapCategoryObject, IsList, IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.9-10 EqualizerOp
, for IsList 6.9-2 ExtractMin
, for IsStringMinHeap 8.5-4 FiberProduct
6.11-7 FiberProductEmbeddingInDirectSum
, for IsList 6.11-6 FiberProductFunctorial
, for IsList, IsList, IsList 6.11-15 FiberProductFunctorialWithGivenFiberProducts
, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.11-16 FiberProductOp
, for IsList 6.11-8 FunctionCalledBeforeInstallation
, for IsDerivedMethod 8.2-14 FunctorCanonicalizeZeroMorphisms
, for IsCapCategory 5.4-15 FunctorCanonicalizeZeroObjects
, for IsCapCategory 5.4-13 FunctorMorphismOperation
, for IsCapFunctor 5.4-8 FunctorObjectOperation
, for IsCapFunctor 5.4-6 HandlePrecompiledTowers
9.2-37 Heapify
, for IsStringMinHeap, IsPosInt 8.5-10 HeapSize
, for IsStringMinHeap 8.5-7 HomologyObject
, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.15-1 HomologyObjectFunctorial
, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.15-2 HomologyObjectFunctorialWithGivenHomologyObjects
, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.15-3 HomomorphismStructureOnMorphisms
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.16-2 HomomorphismStructureOnMorphismsWithGivenObjects
, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 3.16-3 HomomorphismStructureOnObjects
, for IsCapCategoryObject, IsCapCategoryObject 3.16-1 HomStructure
, for IsCapCategory 3.16-17 HorizontalPostCompose
, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.2-3 HorizontalPreCompose
, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.2-2 HorizontalPreComposeFunctorWithNaturalTransformation
, for IsCapFunctor, IsCapNaturalTransformation 5.5-7 HorizontalPreComposeNaturalTransformationWithFunctor
, for IsCapNaturalTransformation, IsCapFunctor 5.5-6 IdentityFunctor
, for IsCapCategory 5.4-12 IdentityMorphism
, for IsCapCategoryObject 3.10-1 IdentityTwoCell
, for IsCapCategoryMorphism 4.2-1 ImageEmbedding
, for IsCapCategoryMorphism 6.13-4 ImageEmbeddingWithGivenImageObject
, for IsCapCategoryMorphism, IsCapCategoryObject 6.13-5 ImageObject
, for IsCapCategoryMorphism 6.13-3 InfoCategoryConstructor
11.1-1 InitialObject
, for IsCapCategory 6.5-1 InitialObjectFunctorial
, for IsCapCategory 6.5-5 InitialObjectFunctorialWithGivenInitialObjects
, for IsCapCategoryObject, IsCapCategoryObject 6.5-6 InjectionOfCofactorOfCoproduct
, for IsList, IsInt 6.7-4 InjectionOfCofactorOfCoproductWithGivenCoproduct
, for IsList, IsInt, IsCapCategoryObject 6.7-5 InjectionOfCofactorOfDirectSum
, for IsList, IsInt 6.6-5 InjectionOfCofactorOfDirectSumWithGivenDirectSum
, for IsList, IsInt, IsCapCategoryObject 6.6-6 InjectionOfCofactorOfPushout
, for IsList, IsInt 6.12-9 InjectionOfCofactorOfPushoutWithGivenPushout
, for IsList, IsInt, IsCapCategoryObject 6.12-10 InjectiveColift
, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.10-4 InjectiveDimension
, for IsCapCategoryObject 2.12-2 InputSignature
, for IsCapFunctor 5.4-10 InstallDeprecatedAlias
9.2-21 InstallDerivationForCategory
, for IsDerivedMethod, IsPosInt, IsCapCategory 8.2-12 InstallDerivationsUsingOperation
, for IsOperationWeightList, IsString 8.4-8 InstallFunctor
, for IsCapFunctor, IsString 5.4-11 InstallMethodForCompilerForCAP
9.2-24 InstallMethodWithToDoForIsWellDefined
9.2-1 InstallNaturalTransformation
, for IsCapNaturalTransformation, IsString 5.5-5 InstallOtherMethodForCompilerForCAP
9.2-25 InstallSetWithToDoForIsWellDefined
, for IsObject, IsString, IsList 9.2-2 InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure
, for IsCapCategoryMorphism 3.16-5 InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects
, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.16-6 InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism
, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 3.16-7 InverseForMorphisms
, for IsCapCategoryMorphism 3.13-1 InverseMorphismFromCoimageToImage
, for IsCapCategoryMorphism 6.14-3 InverseMorphismFromCoimageToImageWithGivenObjects
, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.14-4 IsApplicableToCategory
, for IsDerivedMethod, IsCapCategory 8.2-7 IsAutomorphism
, for IsCapCategoryMorphism 3.5-4 IsBijectiveObject
, for IsCapCategoryObject 2.3-1 IsCapCategory
, for IsObject 1.1-1 IsCapCategoryAsCatObject
, for IsCapCategoryObject 5.2-1 IsCapCategoryCell
, for IsAttributeStoringRep 1.1-2 IsCapCategoryMorphism
, for IsCapCategoryCell 1.1-4 IsCapCategoryObject
, for IsCapCategoryCell 1.1-3 IsCapCategoryTwoCell
, for IsCapCategoryCell 1.1-5 IsCapFunctor
, for IsCapCategoryMorphism 5.2-2 IsCapNaturalTransformation
, for IsCapCategoryTwoCell 5.2-3 IsCodominating
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-4 IsColiftable
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-10 IsColiftableAlongEpimorphism
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-4 IsCongruentForMorphisms
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-1 IsDerivedMethod
, for IsObject 8.2-1 IsDerivedMethodGraph
, for IsObject 8.3-1 IsDominating
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-3 IsDummyCategory
, for IsCapCategory 13.1-1 IsDummyCategoryCell
, for IsCapCategoryCell 13.1-2 IsDummyCategoryMorphism
, for IsDummyCategoryCell and IsCapCategoryMorphism 13.1-4 IsDummyCategoryObject
, for IsDummyCategoryCell and IsCapCategoryObject 13.1-3 IsEmptyHeap
, for IsStringMinHeap 8.5-6 IsEndomorphism
, for IsCapCategoryMorphism 3.5-3 IsEpimorphism
, for IsCapCategoryMorphism 3.3-2 IsEqualAsFactorobjects
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-2 IsEqualAsSubobjects
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-1 IsEqualForCacheForMorphisms
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.14-1 IsEqualForCacheForObjects
, for IsCapCategoryObject, IsCapCategoryObject 2.5-1 IsEqualForMorphisms
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-2 IsEqualForMorphismsOnMor
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-3 IsEqualForObjects
, for IsCapCategoryObject, IsCapCategoryObject 2.2-1 IsEqualToIdentityMorphism
, for IsCapCategoryMorphism 3.5-1 IsEqualToZeroMorphism
, for IsCapCategoryMorphism 3.5-2 IsHomSetInhabited
, for IsCapCategoryObject, IsCapCategoryObject 3.15-1 IsIdempotent
, for IsCapCategoryMorphism 3.3-7 IsInitial
, for IsCapCategoryObject 2.3-5 IsInjective
, for IsCapCategoryObject 2.3-3 IsIsomorphism
, for IsCapCategoryMorphism 3.3-3 IsLiftable
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-7 IsLiftableAlongMonomorphism
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-3 IsMonomorphism
, for IsCapCategoryMorphism 3.3-1 IsomorphismFromCoequalizerOfCoproductDiagramToPushout
, for IsList 6.12-4 IsomorphismFromCoimageToCokernelOfKernel
, for IsCapCategoryMorphism 6.14-5 IsomorphismFromCokernelOfDiagonalDifferenceToPushout
, for IsList 6.12-2 IsomorphismFromCokernelOfKernelToCoimage
, for IsCapCategoryMorphism 6.14-6 IsomorphismFromCoproductToDirectSum
, for IsList 6.6-14 IsomorphismFromDirectProductToDirectSum
, for IsList 6.6-12 IsomorphismFromDirectSumToCoproduct
, for IsList 6.6-13 IsomorphismFromDirectSumToDirectProduct
, for IsList 6.6-11 IsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct
, for IsList 6.11-4 IsomorphismFromFiberProductToEqualizerOfDirectProductDiagram
, for IsList 6.11-3 IsomorphismFromFiberProductToKernelOfDiagonalDifference
, for IsList 6.11-1 IsomorphismFromHomologyObjectToItsConstructionAsAnImageObject
, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.15-4 IsomorphismFromImageObjectToKernelOfCokernel
, for IsCapCategoryMorphism 6.13-1 IsomorphismFromInitialObjectToZeroObject
, for IsCapCategory 6.3-10 IsomorphismFromItsConstructionAsAnImageObjectToHomologyObject
, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.15-5 IsomorphismFromKernelOfCokernelToImageObject
, for IsCapCategoryMorphism 6.13-2 IsomorphismFromKernelOfDiagonalDifferenceToFiberProduct
, for IsList 6.11-2 IsomorphismFromPushoutToCoequalizerOfCoproductDiagram
, for IsList 6.12-3 IsomorphismFromPushoutToCokernelOfDiagonalDifference
, for IsList 6.12-1 IsomorphismFromTerminalObjectToZeroObject
, for IsCapCategory 6.3-12 IsomorphismFromZeroObjectToInitialObject
, for IsCapCategory 6.3-9 IsomorphismFromZeroObjectToTerminalObject
, for IsCapCategory 6.3-11 IsOne
, for IsCapCategoryMorphism 3.3-6 IsOperationWeightList
, for IsObject 8.4-1 IsProjective
, for IsCapCategoryObject 2.3-2 IsSpecializationOfFilter
9.2-22 IsSpecializationOfFilterList
9.2-23 IsSplitEpimorphism
, for IsCapCategoryMorphism 3.3-5 IsSplitMonomorphism
, for IsCapCategoryMorphism 3.3-4 IsStringMinHeap
, for IsObject 8.5-1 IsTerminal
, for IsCapCategoryObject 2.3-4 IsWellDefined
, for IsCapCategoryCell 1.6-1 IsWellDefinedForMorphisms
, for IsCapCategoryMorphism 3.11-1 IsWellDefinedForObjects
, for IsCapCategoryObject 2.8-1 IsWellDefinedForTwoCells
, for IsCapCategoryTwoCell 4.3-1 IsWrapperCapCategory
, for WasCreatedAsWrapperCapCategory 12.1-2 IsWrapperCapCategoryCell
, for IsCapCategoryCell 12.1-3 IsWrapperCapCategoryMorphism
, for IsWrapperCapCategoryCell and IsCapCategoryMorphism 12.1-5 IsWrapperCapCategoryObject
, for IsWrapperCapCategoryCell and IsCapCategoryObject 12.1-4 IsZero
, for IsCapCategoryObject 2.3-7 IsZeroForMorphisms
, for IsCapCategoryMorphism 3.8-1 IsZeroForObjects
, for IsCapCategoryObject 2.3-6 KernelEmbedding
, for IsCapCategoryMorphism 6.1-2 KernelEmbeddingWithGivenKernelObject
, for IsCapCategoryMorphism, IsCapCategoryObject 6.1-3 KernelLift
, for IsCapCategoryMorphism, IsCapCategoryObject, IsCapCategoryMorphism 6.1-6 KernelLiftWithGivenKernelObject
, for IsCapCategoryMorphism, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.1-7 KernelObject
, for IsCapCategoryMorphism 6.1-1 KernelObjectFunctorial
, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.1-9 KernelObjectFunctorialWithGivenKernelObjects
, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.1-11 LaTeXOutput
, for IsCapCategory 1.13-2 Lift
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-5 LiftAlongMonomorphism
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-1 LiftOrFail
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-6 ListCAPPrepareFunctions
7.6-3 MakeDerivation
, for IsString, IsFunction, IsDenseList,IsPosInt, IsDenseList, IsFunction 8.2-2 MakeDerivationGraph
, for IsDenseList 8.3-2 MakeOperationWeightList
, for IsCapCategory, IsDerivedMethodGraph 8.4-2 MereExistenceOfSolutionOfLinearSystemInAbCategory
, for IsList, IsList, IsList 3.16-10 ModeledMorphism
, for WasCreatedAsWrapperCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 12.3-10 ModeledObject
, for WasCreatedAsWrapperCapCategory, IsCapCategoryObject 12.3-8 ModelingCategory
, for WasCreatedAsWrapperCapCategory 12.2-1 ModelingMorphism
, for WasCreatedAsWrapperCapCategory, IsCapCategoryMorphism 12.3-9 ModelingObject
, for WasCreatedAsWrapperCapCategory, IsCapCategoryObject 12.3-7 MonomorphismIntoSomeInjectiveObject
, for IsCapCategoryObject 2.10-2 MonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject
, for IsCapCategoryObject, IsCapCategoryObject 2.10-3 MorphismBetweenDirectSums
, for IsList 6.6-16 MorphismBetweenDirectSumsWithGivenDirectSums
, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.6-17 MorphismCache
, for IsCapFunctor 9.1-2 MorphismConstructor
, for IsCapCategoryObject, IsObject, IsCapCategoryObject 3.2-1 MorphismDatum
, for IsCapCategoryMorphism 3.2-2 MorphismFilter
, for IsCapCategory 1.3-4 MorphismFromCoimageToImage
, for IsCapCategoryMorphism 6.14-1 MorphismFromCoimageToImageWithGivenObjects
, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.14-2 MorphismFromEqualizerToSink
, for IsList 6.9-5 MorphismFromEqualizerToSinkWithGivenEqualizer
, for IsList, IsCapCategoryObject 6.9-6 MorphismFromFiberProductToSink
, for IsList 6.11-11 MorphismFromFiberProductToSinkWithGivenFiberProduct
, for IsList, IsCapCategoryObject 6.11-12 MorphismFromKernelObjectToSink
, for IsCapCategoryMorphism 6.1-4 MorphismFromKernelObjectToSinkWithGivenKernelObject
, for IsCapCategoryMorphism, IsCapCategoryObject 6.1-5 MorphismFromSourceToCoequalizer
, for IsList 6.10-5 MorphismFromSourceToCoequalizerWithGivenCoequalizer
, for IsList, IsCapCategoryObject 6.10-6 MorphismFromSourceToCokernelObject
, for IsCapCategoryMorphism 6.2-4 MorphismFromSourceToCokernelObjectWithGivenCokernelObject
, for IsCapCategoryMorphism, IsCapCategoryObject 6.2-5 MorphismFromSourceToPushout
, for IsList 6.12-11 MorphismFromSourceToPushoutWithGivenPushout
, for IsList, IsCapCategoryObject 6.12-12 MorphismFromZeroObject
, for IsCapCategoryObject 6.3-7 MorphismIntoZeroObject
, for IsCapCategoryObject 6.3-8 MorphismType
, for IsCapCategory 1.3-7 MultiplyWithElementOfCommutativeRingForMorphisms
, for IsRingElement, IsCapCategoryMorphism 3.8-5 Name
, for IsCapNaturalTransformation 5.5-1 NaturalIsomorphismFromIdentityToCanonicalizeZeroMorphisms
, for IsCapCategory 5.4-16 NaturalIsomorphismFromIdentityToCanonicalizeZeroObjects
, for IsCapCategory 5.4-14 NaturalTransformation
, for IsCapFunctor, IsCapFunctor 5.5-2 NTuple
9.2-34 ObjectCache
, for IsCapFunctor 9.1-1 ObjectConstructor
, for IsCapCategory, IsObject 2.7-1 ObjectDatum
, for IsCapCategoryObject 2.7-2 ObjectFilter
, for IsCapCategory 1.3-3 ObjectifyMorphismWithSourceAndRangeForCAPWithAttributes
3.6-4 ObjectifyObjectForCAPWithAttributes
2.6-4 ObjectType
, for IsCapCategory 1.3-6 Operations
, for IsDerivedMethodGraph 8.3-15 OperationWeightUsingDerivation
, for IsOperationWeightList, IsDerivedMethod 8.4-6 PackageOfCAPOperation
9.2-32 Pair
9.2-35 PostCompose
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-5 PostComposeList
, for IsList 3.10-7 PreCompose
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-2 PreComposeList
, for IsList 3.10-4 PrintDerivationTree
, for IsOperationWeightList, IsString 8.4-12 PrintTree
, for IsObject, IsFunction, IsFunction 8.4-13 PrintTreeRec
, for IsObject, IsFunction, IsFunction, IsInt 8.4-14 ProjectionInFactorOfDirectProduct
, for IsList, IsInt 6.8-3 ProjectionInFactorOfDirectProductWithGivenDirectProduct
, for IsList, IsInt, IsCapCategoryObject 6.8-4 ProjectionInFactorOfDirectSum
, for IsList, IsInt 6.6-3 ProjectionInFactorOfDirectSumWithGivenDirectSum
, for IsList, IsInt, IsCapCategoryObject 6.6-4 ProjectionInFactorOfFiberProduct
, for IsList, IsInt 6.11-9 ProjectionInFactorOfFiberProductWithGivenFiberProduct
, for IsList, IsInt, IsCapCategoryObject 6.11-10 ProjectionOntoCoequalizer
, for IsList 6.10-3 ProjectionOntoCoequalizerWithGivenCoequalizer
, for IsList, IsCapCategoryObject 6.10-4 ProjectiveDimension
, for IsCapCategoryObject 2.12-1 ProjectiveLift
, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.9-4 Pushout
, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.12-8 PushoutFunctorial
, for IsList, IsList, IsList 6.12-15 PushoutFunctorialWithGivenPushouts
, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.12-16 RandomMorphism
, for IsCapCategory, IsInt 3.4-9 RandomMorphismByInteger
, for IsCapCategory, IsInt 3.4-7 RandomMorphismByList
, for IsCapCategory, IsList 3.4-8 RandomMorphismWithFixedRange
, for IsCapCategoryObject, IsInt 3.4-9 RandomMorphismWithFixedRangeByInteger
, for IsCapCategoryObject, IsInt 3.4-3 RandomMorphismWithFixedRangeByList
, for IsCapCategoryObject, IsList 3.4-4 RandomMorphismWithFixedSource
, for IsCapCategoryObject, IsInt 3.4-9 RandomMorphismWithFixedSourceAndRange
, for IsCapCategoryObject, IsCapCategoryObject, IsInt 3.4-9 RandomMorphismWithFixedSourceAndRangeByInteger
, for IsCapCategoryObject, IsCapCategoryObject, IsInt 3.4-5 RandomMorphismWithFixedSourceAndRangeByList
, for IsCapCategoryObject, IsCapCategoryObject, IsList 3.4-6 RandomMorphismWithFixedSourceByInteger
, for IsCapCategoryObject, IsInt 3.4-1 RandomMorphismWithFixedSourceByList
, for IsCapCategoryObject, IsList 3.4-2 RandomObject
, for IsCapCategory, IsInt 2.4-3 RandomObjectByInteger
, for IsCapCategory, IsInt 2.4-1 RandomObjectByList
, for IsCapCategory, IsList 2.4-2 Range
, for IsCapCategoryMorphism 3.1-3 RangeOfFunctor
, for IsCapFunctor 5.4-4 Reevaluate
, for IsOperationWeightList 8.4-9 ResetTimingStatistics
1.10-1 SafePosition
, for IsList, IsObject 9.2-33 Saturate
, for IsOperationWeightList 8.4-10 SetCachingOfCategory
1.8-1 SetCachingOfCategoryCrisp
1.8-2 SetCachingOfCategoryWeak
1.8-2 SetDefaultCaching
1.8-3 SetDefaultCachingCrisp
1.8-3 SetDefaultCachingWeak
1.8-3 Simplify
, for IsCapCategoryMorphism 3.17-16 SimplifyEndo
, for IsCapCategoryMorphism, IsObject 3.17-13 SimplifyEndo_IsoFromInputObject
, for IsCapCategoryMorphism, IsObject 3.17-15 SimplifyEndo_IsoToInputObject
, for IsCapCategoryMorphism, IsObject 3.17-14 SimplifyMorphism
, for IsCapCategoryMorphism, IsObject 3.17-1 SimplifyObject
, for IsCapCategoryObject, IsObject 2.11-2 SimplifyObject_IsoFromInputObject
, for IsCapCategoryObject, IsObject 2.11-3 SimplifyObject_IsoToInputObject
, for IsCapCategoryObject, IsObject 2.11-4 SimplifyRange
, for IsCapCategoryMorphism, IsObject 3.17-5 SimplifyRange_IsoFromInputObject
, for IsCapCategoryMorphism, IsObject 3.17-7 SimplifyRange_IsoToInputObject
, for IsCapCategoryMorphism, IsObject 3.17-6 SimplifySource
, for IsCapCategoryMorphism, IsObject 3.17-2 SimplifySource_IsoFromInputObject
, for IsCapCategoryMorphism, IsObject 3.17-4 SimplifySource_IsoToInputObject
, for IsCapCategoryMorphism, IsObject 3.17-3 SimplifySourceAndRange
, for IsCapCategoryMorphism, IsObject 3.17-8 SimplifySourceAndRange_IsoFromInputRange
, for IsCapCategoryMorphism, IsObject 3.17-10 SimplifySourceAndRange_IsoFromInputSource
, for IsCapCategoryMorphism, IsObject 3.17-12 SimplifySourceAndRange_IsoToInputRange
, for IsCapCategoryMorphism, IsObject 3.17-9 SimplifySourceAndRange_IsoToInputSource
, for IsCapCategoryMorphism, IsObject 3.17-11 SolveLinearSystemInAbCategory
, for IsList, IsList, IsList 3.16-8 SolveLinearSystemInAbCategoryOrFail
, for IsList, IsList, IsList 3.16-9 SomeInjectiveObject
, for IsCapCategoryObject 2.10-1 SomeProjectiveObject
, for IsCapCategoryObject 2.9-1 SomeReductionBySplitEpiSummand
, for IsCapCategoryMorphism 3.18-1 SomeReductionBySplitEpiSummand_MorphismFromInputRange
, for IsCapCategoryMorphism 3.18-3 SomeReductionBySplitEpiSummand_MorphismToInputRange
, for IsCapCategoryMorphism 3.18-2 Source
, for IsCapCategoryMorphism 3.1-2 SourceOfFunctor
, for IsCapFunctor 5.4-3 StringMinHeap
8.5-2 SubtractionForMorphisms
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-3 Swap
, for IsStringMinHeap, IsPosInt, IsPosInt 8.5-9 TargetOperation
, for IsDerivedMethod 8.2-8 TerminalObject
, for IsCapCategory 6.4-1 TerminalObjectFunctorial
, for IsCapCategory 6.4-5 TerminalObjectFunctorialWithGivenTerminalObjects
, for IsCapCategoryObject, IsCapCategoryObject 6.4-6 TransitivelyNeededOtherPackages
9.2-31 Triple
9.2-36 TwoCellFilter
, for IsCapCategory 1.3-5 UnderlyingCell
, for IsWrapperCapCategoryCell 12.2-2 UniversalMorphismFromCoequalizer
, for IsList, IsCapCategoryObject, IsCapCategoryMorphism 6.10-7 UniversalMorphismFromCoequalizerWithGivenCoequalizer
, for IsList, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.10-8 UniversalMorphismFromCoproduct
, for IsList, IsCapCategoryObject, IsList 6.7-6 UniversalMorphismFromCoproductWithGivenCoproduct
, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.7-7 UniversalMorphismFromDirectSum
, for IsList, IsCapCategoryObject, IsList 6.6-9 UniversalMorphismFromDirectSumWithGivenDirectSum
, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.6-10 UniversalMorphismFromImage
, for IsCapCategoryMorphism, IsList 6.13-8 UniversalMorphismFromImageWithGivenImageObject
, for IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.13-9 UniversalMorphismFromInitialObject
, for IsCapCategoryObject 6.5-3 UniversalMorphismFromInitialObjectWithGivenInitialObject
, for IsCapCategoryObject, IsCapCategoryObject 6.5-4 UniversalMorphismFromPushout
, for IsList, IsCapCategoryObject, IsList 6.12-13 UniversalMorphismFromPushoutWithGivenPushout
, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.12-14 UniversalMorphismFromZeroObject
, for IsCapCategoryObject 6.3-3 UniversalMorphismFromZeroObjectWithGivenZeroObject
, for IsCapCategoryObject, IsCapCategoryObject 6.3-4 UniversalMorphismIntoCoimage
, for IsCapCategoryMorphism, IsList 6.14-12 UniversalMorphismIntoCoimageWithGivenCoimageObject
, for IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.14-13 UniversalMorphismIntoDirectProduct
, for IsList, IsCapCategoryObject, IsList 6.8-5 UniversalMorphismIntoDirectProductWithGivenDirectProduct
, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.8-6 UniversalMorphismIntoDirectSum
, for IsList, IsCapCategoryObject, IsList 6.6-7 UniversalMorphismIntoDirectSumWithGivenDirectSum
, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.6-8 UniversalMorphismIntoEqualizer
, for IsList, IsCapCategoryObject, IsCapCategoryMorphism 6.9-7 UniversalMorphismIntoEqualizerWithGivenEqualizer
, for IsList, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.9-8 UniversalMorphismIntoFiberProduct
, for IsList, IsCapCategoryObject, IsList 6.11-13 UniversalMorphismIntoFiberProductWithGivenFiberProduct
, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.11-14 UniversalMorphismIntoTerminalObject
, for IsCapCategoryObject 6.4-3 UniversalMorphismIntoTerminalObjectWithGivenTerminalObject
, for IsCapCategoryObject, IsCapCategoryObject 6.4-4 UniversalMorphismIntoZeroObject
, for IsCapCategoryObject 6.3-5 UniversalMorphismIntoZeroObjectWithGivenZeroObject
, for IsCapCategoryObject, IsCapCategoryObject 6.3-6 UsedOperationMultiples
, for IsDerivedMethod 8.2-10 UsedOperations
, for IsDerivedMethod 8.2-9 UsedOperationsWithMultiples
, for IsDerivedMethod 8.2-11 VerticalPostCompose
, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.2-5 VerticalPreCompose
, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.2-4 WasCreatedAsWrapperCapCategory
, for IsCapCategory 12.1-1 WrapperCategory
, for IsCapCategory, IsRecord 12.3-5 WrappingFunctor
, for IsWrapperCapCategory 12.3-6 ZeroMorphism
, for IsCapCategoryObject, IsCapCategoryObject 3.8-7 ZeroObject
, for IsCapCategory 6.3-1 ZeroObjectFunctorial
, for IsCapCategory 6.3-13 ZeroObjectFunctorialWithGivenZeroObjects
, for IsCapCategoryObject, IsCapCategoryObject 6.3-14
generated by GAPDoc2HTML