*
, for IsRingElement, IsCapCategoryMorphism 3.8-6 /
, for IsCapCategoryCell, IsWrapperCapCategory 13.3-4 ActivateDerivationInfo
8.1-2 Add
, for IsCapCategory, IsCapCategoryMorphism 3.6-1 AddAdditionForMorphisms
, for IsCapCategory, IsFunction 7.6-1 AddAdditiveGenerators
, for IsCapCategory, IsFunction 7.6-2 AddAdditiveInverseForMorphisms
, for IsCapCategory, IsFunction 7.6-3 AddAstrictionToCoimage
, for IsCapCategory, IsFunction 7.6-4 AddAstrictionToCoimageWithGivenCoimageObject
, for IsCapCategory, IsFunction 7.6-5 AddBasisOfExternalHom
, for IsCapCategory, IsFunction 7.6-6 AddCategoricalProperty
1.2-1 AddCoastrictionToImage
, for IsCapCategory, IsFunction 7.6-7 AddCoastrictionToImageWithGivenImageObject
, for IsCapCategory, IsFunction 7.6-8 AddCoefficientsOfMorphism
, for IsCapCategory, IsFunction 7.6-9 AddCoequalizer
, for IsCapCategory, IsFunction 7.6-10 AddCoequalizerFunctorial
, for IsCapCategory, IsFunction 7.6-11 AddCoequalizerFunctorialWithGivenCoequalizers
, for IsCapCategory, IsFunction 7.6-12 AddCoimageObject
, for IsCapCategory, IsFunction 7.6-13 AddCoimageObjectFunctorial
, for IsCapCategory, IsFunction 7.6-14 AddCoimageObjectFunctorialWithGivenCoimageObjects
, for IsCapCategory, IsFunction 7.6-15 AddCoimageProjection
, for IsCapCategory, IsFunction 7.6-16 AddCoimageProjectionWithGivenCoimageObject
, for IsCapCategory, IsFunction 7.6-17 AddCokernelColift
, for IsCapCategory, IsFunction 7.6-18 AddCokernelColiftWithGivenCokernelObject
, for IsCapCategory, IsFunction 7.6-19 AddCokernelObject
, for IsCapCategory, IsFunction 7.6-20 AddCokernelObjectFunctorial
, for IsCapCategory, IsFunction 7.6-21 AddCokernelObjectFunctorialWithGivenCokernelObjects
, for IsCapCategory, IsFunction 7.6-22 AddCokernelProjection
, for IsCapCategory, IsFunction 7.6-23 AddCokernelProjectionWithGivenCokernelObject
, for IsCapCategory, IsFunction 7.6-24 AddColift
, for IsCapCategory, IsFunction 7.6-25 AddColiftAlongEpimorphism
, for IsCapCategory, IsFunction 7.6-26 AddColiftOrFail
, for IsCapCategory, IsFunction 7.6-27 AddComponentOfMorphismFromCoproduct
, for IsCapCategory, IsFunction 7.6-28 AddComponentOfMorphismFromDirectSum
, for IsCapCategory, IsFunction 7.6-29 AddComponentOfMorphismIntoDirectProduct
, for IsCapCategory, IsFunction 7.6-30 AddComponentOfMorphismIntoDirectSum
, for IsCapCategory, IsFunction 7.6-31 AddCoproduct
, for IsCapCategory, IsFunction 7.6-32 AddCoproductFunctorial
, for IsCapCategory, IsFunction 7.6-33 AddCoproductFunctorialWithGivenCoproducts
, for IsCapCategory, IsFunction 7.6-34 AddDerivation
8.3-4 AddDerivationToCAP
8.3-5 AddDirectProduct
, for IsCapCategory, IsFunction 7.6-35 AddDirectProductFunctorial
, for IsCapCategory, IsFunction 7.6-36 AddDirectProductFunctorialWithGivenDirectProducts
, for IsCapCategory, IsFunction 7.6-37 AddDirectSum
, for IsCapCategory, IsFunction 7.6-38 AddDirectSumFunctorial
, for IsCapCategory, IsFunction 7.6-39 AddDirectSumFunctorialWithGivenDirectSums
, for IsCapCategory, IsFunction 7.6-40 AddDistinguishedObjectOfHomomorphismStructure
, for IsCapCategory, IsFunction 7.6-41 AddEmbeddingOfEqualizer
, for IsCapCategory, IsFunction 7.6-42 AddEmbeddingOfEqualizerWithGivenEqualizer
, for IsCapCategory, IsFunction 7.6-43 AddEpimorphismFromProjectiveCoverObject
, for IsCapCategory, IsFunction 7.6-44 AddEpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject
, for IsCapCategory, IsFunction 7.6-45 AddEpimorphismFromSomeProjectiveObject
, for IsCapCategory, IsFunction 7.6-46 AddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject
, for IsCapCategory, IsFunction 7.6-47 AddEqualizer
, for IsCapCategory, IsFunction 7.6-48 AddEqualizerFunctorial
, for IsCapCategory, IsFunction 7.6-49 AddEqualizerFunctorialWithGivenEqualizers
, for IsCapCategory, IsFunction 7.6-50 AddFiberProduct
, for IsCapCategory, IsFunction 7.6-51 AddFiberProductFunctorial
, for IsCapCategory, IsFunction 7.6-52 AddFiberProductFunctorialWithGivenFiberProducts
, for IsCapCategory, IsFunction 7.6-53 AddHomologyObject
, for IsCapCategory, IsFunction 7.6-54 AddHomologyObjectFunctorialWithGivenHomologyObjects
, for IsCapCategory, IsFunction 7.6-55 AddHomomorphismStructureOnMorphisms
, for IsCapCategory, IsFunction 7.6-56 AddHomomorphismStructureOnMorphismsWithGivenObjects
, for IsCapCategory, IsFunction 7.6-57 AddHomomorphismStructureOnObjects
, for IsCapCategory, IsFunction 7.6-58 AddHorizontalPostCompose
, for IsCapCategory, IsFunction 7.6-59 AddHorizontalPreCompose
, for IsCapCategory, IsFunction 7.6-60 AddIdentityMorphism
, for IsCapCategory, IsFunction 7.6-61 AddIdentityTwoCell
, for IsCapCategory, IsFunction 7.6-62 AddImageEmbedding
, for IsCapCategory, IsFunction 7.6-63 AddImageEmbeddingWithGivenImageObject
, for IsCapCategory, IsFunction 7.6-64 AddImageObject
, for IsCapCategory, IsFunction 7.6-65 AddImageObjectFunctorial
, for IsCapCategory, IsFunction 7.6-66 AddImageObjectFunctorialWithGivenImageObjects
, for IsCapCategory, IsFunction 7.6-67 AddIndecomposableInjectiveObjects
, for IsCapCategory, IsFunction 7.6-68 AddIndecomposableProjectiveObjects
, for IsCapCategory, IsFunction 7.6-69 AddInitialObject
, for IsCapCategory, IsFunction 7.6-70 AddInitialObjectFunctorial
, for IsCapCategory, IsFunction 7.6-71 AddInitialObjectFunctorialWithGivenInitialObjects
, for IsCapCategory, IsFunction 7.6-72 AddInjectionOfCofactorOfCoproduct
, for IsCapCategory, IsFunction 7.6-73 AddInjectionOfCofactorOfCoproductWithGivenCoproduct
, for IsCapCategory, IsFunction 7.6-74 AddInjectionOfCofactorOfDirectSum
, for IsCapCategory, IsFunction 7.6-75 AddInjectionOfCofactorOfDirectSumWithGivenDirectSum
, for IsCapCategory, IsFunction 7.6-76 AddInjectionOfCofactorOfPushout
, for IsCapCategory, IsFunction 7.6-77 AddInjectionOfCofactorOfPushoutWithGivenPushout
, for IsCapCategory, IsFunction 7.6-78 AddInjectiveColift
, for IsCapCategory, IsFunction 7.6-79 AddInjectiveDimension
, for IsCapCategory, IsFunction 7.6-80 AddInjectiveEnvelopeObject
, for IsCapCategory, IsFunction 7.6-81 AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure
, for IsCapCategory, IsFunction 7.6-82 AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects
, for IsCapCategory, IsFunction 7.6-83 AddInterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism
, for IsCapCategory, IsFunction 7.6-84 AddInverseForMorphisms
, for IsCapCategory, IsFunction 7.6-85 AddInverseOfMorphismFromCoimageToImage
, for IsCapCategory, IsFunction 7.6-86 AddInverseOfMorphismFromCoimageToImageWithGivenObjects
, for IsCapCategory, IsFunction 7.6-87 AddIsAutomorphism
, for IsCapCategory, IsFunction 7.6-88 AddIsBijectiveObject
, for IsCapCategory, IsFunction 7.6-89 AddIsCodominating
, for IsCapCategory, IsFunction 7.6-90 AddIsColiftable
, for IsCapCategory, IsFunction 7.6-91 AddIsColiftableAlongEpimorphism
, for IsCapCategory, IsFunction 7.6-92 AddIsCongruentForMorphisms
, for IsCapCategory, IsFunction 7.6-93 AddIsDominating
, for IsCapCategory, IsFunction 7.6-94 AddIsEndomorphism
, for IsCapCategory, IsFunction 7.6-95 AddIsEpimorphism
, for IsCapCategory, IsFunction 7.6-96 AddIsEqualAsFactorobjects
, for IsCapCategory, IsFunction 7.6-97 AddIsEqualAsSubobjects
, for IsCapCategory, IsFunction 7.6-98 AddIsEqualForCacheForMorphisms
, for IsCapCategory, IsFunction 7.6-99 AddIsEqualForCacheForObjects
, for IsCapCategory, IsFunction 7.6-100 AddIsEqualForMorphisms
, for IsCapCategory, IsFunction 7.6-101 AddIsEqualForMorphismsOnMor
, for IsCapCategory, IsFunction 7.6-102 AddIsEqualForObjects
, for IsCapCategory, IsFunction 7.6-103 AddIsEqualToIdentityMorphism
, for IsCapCategory, IsFunction 7.6-104 AddIsEqualToZeroMorphism
, for IsCapCategory, IsFunction 7.6-105 AddIsHomSetInhabited
, for IsCapCategory, IsFunction 7.6-106 AddIsIdempotent
, for IsCapCategory, IsFunction 7.6-107 AddIsInitial
, for IsCapCategory, IsFunction 7.6-108 AddIsInjective
, for IsCapCategory, IsFunction 7.6-109 AddIsIsomorphicForObjects
, for IsCapCategory, IsFunction 7.6-110 AddIsIsomorphism
, for IsCapCategory, IsFunction 7.6-111 AddIsLiftable
, for IsCapCategory, IsFunction 7.6-112 AddIsLiftableAlongMonomorphism
, for IsCapCategory, IsFunction 7.6-113 AddIsMonomorphism
, for IsCapCategory, IsFunction 7.6-114 AddIsomorphismFromCoequalizerOfCoproductDiagramToPushout
, for IsCapCategory, IsFunction 7.6-126 AddIsomorphismFromCoequalizerToCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproduct
, for IsCapCategory, IsFunction 7.6-127 AddIsomorphismFromCoimageToCokernelOfKernel
, for IsCapCategory, IsFunction 7.6-128 AddIsomorphismFromCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproductToCoequalizer
, for IsCapCategory, IsFunction 7.6-129 AddIsomorphismFromCokernelOfKernelToCoimage
, for IsCapCategory, IsFunction 7.6-130 AddIsomorphismFromCoproductToDirectSum
, for IsCapCategory, IsFunction 7.6-131 AddIsomorphismFromDirectProductToDirectSum
, for IsCapCategory, IsFunction 7.6-132 AddIsomorphismFromDirectSumToCoproduct
, for IsCapCategory, IsFunction 7.6-133 AddIsomorphismFromDirectSumToDirectProduct
, for IsCapCategory, IsFunction 7.6-134 AddIsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct
, for IsCapCategory, IsFunction 7.6-135 AddIsomorphismFromEqualizerToKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProduct
, for IsCapCategory, IsFunction 7.6-136 AddIsomorphismFromFiberProductToEqualizerOfDirectProductDiagram
, for IsCapCategory, IsFunction 7.6-137 AddIsomorphismFromHomologyObjectToItsConstructionAsAnImageObject
, for IsCapCategory, IsFunction 7.6-138 AddIsomorphismFromImageObjectToKernelOfCokernel
, for IsCapCategory, IsFunction 7.6-139 AddIsomorphismFromInitialObjectToZeroObject
, for IsCapCategory, IsFunction 7.6-140 AddIsomorphismFromItsConstructionAsAnImageObjectToHomologyObject
, for IsCapCategory, IsFunction 7.6-141 AddIsomorphismFromKernelOfCokernelToImageObject
, for IsCapCategory, IsFunction 7.6-142 AddIsomorphismFromKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProductToEqualizer
, for IsCapCategory, IsFunction 7.6-143 AddIsomorphismFromPushoutToCoequalizerOfCoproductDiagram
, for IsCapCategory, IsFunction 7.6-144 AddIsomorphismFromTerminalObjectToZeroObject
, for IsCapCategory, IsFunction 7.6-145 AddIsomorphismFromZeroObjectToInitialObject
, for IsCapCategory, IsFunction 7.6-146 AddIsomorphismFromZeroObjectToTerminalObject
, for IsCapCategory, IsFunction 7.6-147 AddIsOne
, for IsCapCategory, IsFunction 7.6-115 AddIsProjective
, for IsCapCategory, IsFunction 7.6-116 AddIsSplitEpimorphism
, for IsCapCategory, IsFunction 7.6-117 AddIsSplitMonomorphism
, for IsCapCategory, IsFunction 7.6-118 AddIsTerminal
, for IsCapCategory, IsFunction 7.6-119 AddIsWellDefinedForMorphisms
, for IsCapCategory, IsFunction 7.6-120 AddIsWellDefinedForMorphismsWithGivenSourceAndRange
, for IsCapCategory, IsFunction 7.6-121 AddIsWellDefinedForObjects
, for IsCapCategory, IsFunction 7.6-122 AddIsWellDefinedForTwoCells
, for IsCapCategory, IsFunction 7.6-123 AddIsZeroForMorphisms
, for IsCapCategory, IsFunction 7.6-124 AddIsZeroForObjects
, for IsCapCategory, IsFunction 7.6-125 AdditionForMorphisms
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-2 AdditiveGenerators
, for IsCapCategory 1.4-11 AdditiveInverseForMorphisms
, for IsCapCategoryMorphism 3.8-4 AddJointPairwiseDifferencesOfMorphismsFromCoproduct
, for IsCapCategory, IsFunction 7.6-148 AddJointPairwiseDifferencesOfMorphismsIntoDirectProduct
, for IsCapCategory, IsFunction 7.6-149 AddKernelEmbedding
, for IsCapCategory, IsFunction 7.6-150 AddKernelEmbeddingWithGivenKernelObject
, for IsCapCategory, IsFunction 7.6-151 AddKernelLift
, for IsCapCategory, IsFunction 7.6-152 AddKernelLiftWithGivenKernelObject
, for IsCapCategory, IsFunction 7.6-153 AddKernelObject
, for IsCapCategory, IsFunction 7.6-154 AddKernelObjectFunctorial
, for IsCapCategory, IsFunction 7.6-155 AddKernelObjectFunctorialWithGivenKernelObjects
, for IsCapCategory, IsFunction 7.6-156 AddLift
, for IsCapCategory, IsFunction 7.6-157 AddLiftAlongMonomorphism
, for IsCapCategory, IsFunction 7.6-158 AddLiftOrFail
, for IsCapCategory, IsFunction 7.6-159 AddLinearCombinationOfMorphisms
, for IsCapCategory, IsFunction 7.6-160 AddMereExistenceOfSolutionOfLinearSystemInAbCategory
, for IsCapCategory, IsFunction 7.6-161 AddMonomorphismIntoInjectiveEnvelopeObject
, for IsCapCategory, IsFunction 7.6-162 AddMonomorphismIntoInjectiveEnvelopeObjectWithGivenInjectiveEnvelopeObject
, for IsCapCategory, IsFunction 7.6-163 AddMonomorphismIntoSomeInjectiveObject
, for IsCapCategory, IsFunction 7.6-164 AddMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject
, for IsCapCategory, IsFunction 7.6-165 AddMorphism
, for IsCapCategory, IsAttributeStoringRep 3.6-2 AddMorphismBetweenDirectSums
, for IsCapCategory, IsFunction 7.6-166 AddMorphismBetweenDirectSumsWithGivenDirectSums
, for IsCapCategory, IsFunction 7.6-167 AddMorphismConstructor
, for IsCapCategory, IsFunction 7.6-168 AddMorphismDatum
, for IsCapCategory, IsFunction 7.6-169 AddMorphismFromCoimageToImage
, for IsCapCategory, IsFunction 7.6-170 AddMorphismFromCoimageToImageWithGivenObjects
, for IsCapCategory, IsFunction 7.6-171 AddMorphismFromEqualizerToSink
, for IsCapCategory, IsFunction 7.6-172 AddMorphismFromEqualizerToSinkWithGivenEqualizer
, for IsCapCategory, IsFunction 7.6-173 AddMorphismFromFiberProductToSink
, for IsCapCategory, IsFunction 7.6-174 AddMorphismFromFiberProductToSinkWithGivenFiberProduct
, for IsCapCategory, IsFunction 7.6-175 AddMorphismFromKernelObjectToSink
, for IsCapCategory, IsFunction 7.6-176 AddMorphismFromKernelObjectToSinkWithGivenKernelObject
, for IsCapCategory, IsFunction 7.6-177 AddMorphismFromSourceToCoequalizer
, for IsCapCategory, IsFunction 7.6-178 AddMorphismFromSourceToCoequalizerWithGivenCoequalizer
, for IsCapCategory, IsFunction 7.6-179 AddMorphismFromSourceToCokernelObject
, for IsCapCategory, IsFunction 7.6-180 AddMorphismFromSourceToCokernelObjectWithGivenCokernelObject
, for IsCapCategory, IsFunction 7.6-181 AddMorphismFromSourceToPushout
, for IsCapCategory, IsFunction 7.6-182 AddMorphismFromSourceToPushoutWithGivenPushout
, for IsCapCategory, IsFunction 7.6-183 AddMorphismFunction
, for IsCapFunctor, IsFunction 5.4-7 AddMorphismRepresentation
, for IsCapCategory, IsObject 3.6-3 AddMorphismsOfExternalHom
, for IsCapCategory, IsFunction 7.6-184 AddMultiplyWithElementOfCommutativeRingForMorphisms
, for IsCapCategory, IsFunction 7.6-185 AddNaturalTransformationFunction
, for IsCapNaturalTransformation, IsFunction 5.5-3 AddObject
, for IsCapCategory, IsAttributeStoringRep 2.6-2 AddObjectConstructor
, for IsCapCategory, IsFunction 7.6-186 AddObjectDatum
, for IsCapCategory, IsFunction 7.6-187 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.6-188 AddPostComposeList
, for IsCapCategory, IsFunction 7.6-189 AddPostInverseForMorphisms
, for IsCapCategory, IsFunction 7.6-190 AddPreCompose
, for IsCapCategory, IsFunction 7.6-191 AddPreComposeList
, for IsCapCategory, IsFunction 7.6-192 AddPreInverseForMorphisms
, for IsCapCategory, IsFunction 7.6-193 AddPrimitiveOperation
, for IsOperationWeightList, IsString, IsInt 8.4-11 AddProjectionInFactorOfDirectProduct
, for IsCapCategory, IsFunction 7.6-194 AddProjectionInFactorOfDirectProductWithGivenDirectProduct
, for IsCapCategory, IsFunction 7.6-195 AddProjectionInFactorOfDirectSum
, for IsCapCategory, IsFunction 7.6-196 AddProjectionInFactorOfDirectSumWithGivenDirectSum
, for IsCapCategory, IsFunction 7.6-197 AddProjectionInFactorOfFiberProduct
, for IsCapCategory, IsFunction 7.6-198 AddProjectionInFactorOfFiberProductWithGivenFiberProduct
, for IsCapCategory, IsFunction 7.6-199 AddProjectionOntoCoequalizer
, for IsCapCategory, IsFunction 7.6-200 AddProjectionOntoCoequalizerWithGivenCoequalizer
, for IsCapCategory, IsFunction 7.6-201 AddProjectiveCoverObject
, for IsCapCategory, IsFunction 7.6-202 AddProjectiveDimension
, for IsCapCategory, IsFunction 7.6-203 AddProjectiveLift
, for IsCapCategory, IsFunction 7.6-204 AddPushout
, for IsCapCategory, IsFunction 7.6-205 AddPushoutFunctorial
, for IsCapCategory, IsFunction 7.6-206 AddPushoutFunctorialWithGivenPushouts
, for IsCapCategory, IsFunction 7.6-207 AddRandomMorphismByInteger
, for IsCapCategory, IsFunction 7.6-208 AddRandomMorphismByList
, for IsCapCategory, IsFunction 7.6-209 AddRandomMorphismWithFixedRangeByInteger
, for IsCapCategory, IsFunction 7.6-210 AddRandomMorphismWithFixedRangeByList
, for IsCapCategory, IsFunction 7.6-211 AddRandomMorphismWithFixedSourceAndRangeByInteger
, for IsCapCategory, IsFunction 7.6-212 AddRandomMorphismWithFixedSourceAndRangeByList
, for IsCapCategory, IsFunction 7.6-213 AddRandomMorphismWithFixedSourceByInteger
, for IsCapCategory, IsFunction 7.6-214 AddRandomMorphismWithFixedSourceByList
, for IsCapCategory, IsFunction 7.6-215 AddRandomObjectByInteger
, for IsCapCategory, IsFunction 7.6-216 AddRandomObjectByList
, for IsCapCategory, IsFunction 7.6-217 AddSimplifyEndo
, for IsCapCategory, IsFunction 7.6-218 AddSimplifyEndo_IsoFromInputObject
, for IsCapCategory, IsFunction 7.6-219 AddSimplifyEndo_IsoToInputObject
, for IsCapCategory, IsFunction 7.6-220 AddSimplifyMorphism
, for IsCapCategory, IsFunction 7.6-221 AddSimplifyObject
, for IsCapCategory, IsFunction 7.6-222 AddSimplifyObject_IsoFromInputObject
, for IsCapCategory, IsFunction 7.6-223 AddSimplifyObject_IsoToInputObject
, for IsCapCategory, IsFunction 7.6-224 AddSimplifyRange
, for IsCapCategory, IsFunction 7.6-225 AddSimplifyRange_IsoFromInputObject
, for IsCapCategory, IsFunction 7.6-226 AddSimplifyRange_IsoToInputObject
, for IsCapCategory, IsFunction 7.6-227 AddSimplifySource
, for IsCapCategory, IsFunction 7.6-228 AddSimplifySource_IsoFromInputObject
, for IsCapCategory, IsFunction 7.6-234 AddSimplifySource_IsoToInputObject
, for IsCapCategory, IsFunction 7.6-235 AddSimplifySourceAndRange
, for IsCapCategory, IsFunction 7.6-229 AddSimplifySourceAndRange_IsoFromInputRange
, for IsCapCategory, IsFunction 7.6-230 AddSimplifySourceAndRange_IsoFromInputSource
, for IsCapCategory, IsFunction 7.6-231 AddSimplifySourceAndRange_IsoToInputRange
, for IsCapCategory, IsFunction 7.6-232 AddSimplifySourceAndRange_IsoToInputSource
, for IsCapCategory, IsFunction 7.6-233 AddSolveLinearSystemInAbCategory
, for IsCapCategory, IsFunction 7.6-236 AddSolveLinearSystemInAbCategoryOrFail
, for IsCapCategory, IsFunction 7.6-237 AddSomeInjectiveObject
, for IsCapCategory, IsFunction 7.6-238 AddSomeIsomorphismBetweenObjects
, for IsCapCategory, IsFunction 7.6-239 AddSomeProjectiveObject
, for IsCapCategory, IsFunction 7.6-240 AddSomeReductionBySplitEpiSummand
, for IsCapCategory, IsFunction 7.6-241 AddSomeReductionBySplitEpiSummand_MorphismFromInputRange
, for IsCapCategory, IsFunction 7.6-242 AddSomeReductionBySplitEpiSummand_MorphismToInputRange
, for IsCapCategory, IsFunction 7.6-243 AddSubtractionForMorphisms
, for IsCapCategory, IsFunction 7.6-244 AddSumOfMorphisms
, for IsCapCategory, IsFunction 7.6-245 AddTerminalObject
, for IsCapCategory, IsFunction 7.6-246 AddTerminalObjectFunctorial
, for IsCapCategory, IsFunction 7.6-247 AddTerminalObjectFunctorialWithGivenTerminalObjects
, for IsCapCategory, IsFunction 7.6-248 AddUniversalMorphismFromCoequalizer
, for IsCapCategory, IsFunction 7.6-249 AddUniversalMorphismFromCoequalizerWithGivenCoequalizer
, for IsCapCategory, IsFunction 7.6-250 AddUniversalMorphismFromCoproduct
, for IsCapCategory, IsFunction 7.6-251 AddUniversalMorphismFromCoproductWithGivenCoproduct
, for IsCapCategory, IsFunction 7.6-252 AddUniversalMorphismFromDirectSum
, for IsCapCategory, IsFunction 7.6-253 AddUniversalMorphismFromDirectSumWithGivenDirectSum
, for IsCapCategory, IsFunction 7.6-254 AddUniversalMorphismFromImage
, for IsCapCategory, IsFunction 7.6-255 AddUniversalMorphismFromImageWithGivenImageObject
, for IsCapCategory, IsFunction 7.6-256 AddUniversalMorphismFromInitialObject
, for IsCapCategory, IsFunction 7.6-257 AddUniversalMorphismFromInitialObjectWithGivenInitialObject
, for IsCapCategory, IsFunction 7.6-258 AddUniversalMorphismFromPushout
, for IsCapCategory, IsFunction 7.6-259 AddUniversalMorphismFromPushoutWithGivenPushout
, for IsCapCategory, IsFunction 7.6-260 AddUniversalMorphismFromZeroObject
, for IsCapCategory, IsFunction 7.6-261 AddUniversalMorphismFromZeroObjectWithGivenZeroObject
, for IsCapCategory, IsFunction 7.6-262 AddUniversalMorphismIntoCoimage
, for IsCapCategory, IsFunction 7.6-263 AddUniversalMorphismIntoCoimageWithGivenCoimageObject
, for IsCapCategory, IsFunction 7.6-264 AddUniversalMorphismIntoDirectProduct
, for IsCapCategory, IsFunction 7.6-265 AddUniversalMorphismIntoDirectProductWithGivenDirectProduct
, for IsCapCategory, IsFunction 7.6-266 AddUniversalMorphismIntoDirectSum
, for IsCapCategory, IsFunction 7.6-267 AddUniversalMorphismIntoDirectSumWithGivenDirectSum
, for IsCapCategory, IsFunction 7.6-268 AddUniversalMorphismIntoEqualizer
, for IsCapCategory, IsFunction 7.6-269 AddUniversalMorphismIntoEqualizerWithGivenEqualizer
, for IsCapCategory, IsFunction 7.6-270 AddUniversalMorphismIntoFiberProduct
, for IsCapCategory, IsFunction 7.6-271 AddUniversalMorphismIntoFiberProductWithGivenFiberProduct
, for IsCapCategory, IsFunction 7.6-272 AddUniversalMorphismIntoTerminalObject
, for IsCapCategory, IsFunction 7.6-273 AddUniversalMorphismIntoTerminalObjectWithGivenTerminalObject
, for IsCapCategory, IsFunction 7.6-274 AddUniversalMorphismIntoZeroObject
, for IsCapCategory, IsFunction 7.6-275 AddUniversalMorphismIntoZeroObjectWithGivenZeroObject
, for IsCapCategory, IsFunction 7.6-276 AddVerticalPostCompose
, for IsCapCategory, IsFunction 7.6-277 AddVerticalPreCompose
, for IsCapCategory, IsFunction 7.6-278 AddZeroMorphism
, for IsCapCategory, IsFunction 7.6-279 AddZeroObject
, for IsCapCategory, IsFunction 7.6-280 AddZeroObjectFunctorial
, for IsCapCategory, IsFunction 7.6-281 AddZeroObjectFunctorialWithGivenZeroObjects
, for IsCapCategory, IsFunction 7.6-282 ApplyFunctor
5.4-9 ApplyNaturalTransformation
5.5-4 AsCapCategory
, for IsCapCategoryAsCatObject 5.3-2 AsCapCategoryMorphism
3.6-6 AsCapCategoryObject
2.6-6 AsCatObject
, for IsCapCategory 5.3-1 AsHomalgMatrix
, for IsCapCategoryMorphism 3.6-7 AsInteger
, for IsCapCategoryMorphism 3.6-7 AsMorphismInWrapperCategory
, for IsWrapperCapCategory, IsCapCategoryMorphism 13.3-3 AsObjectInWrapperCategory
, for IsWrapperCapCategory, IsCapCategoryObject 13.3-1 AsPrimitiveValue
, for IsCapCategoryMorphism 3.6-7 AstrictionToCoimage
, for IsCapCategoryMorphism 6.14-10 AstrictionToCoimageWithGivenCoimageObject
, for IsCapCategoryMorphism, IsCapCategoryObject 6.14-11 BasisOfExternalHom
, for IsCapCategoryObject, IsCapCategoryObject 3.16-21 BrowseCachingStatistic
9.2-16 BrowseTimingStatistics
1.11-1 CachingStatistic
9.2-15 CanCompute
, for IsCapCategory, IsFunction 1.6-1 CAP_INTERNAL_ASSERT_IS_CELL_OF_CATEGORY
9.2-11 CAP_INTERNAL_ASSERT_IS_MORPHISM_OF_CATEGORY
9.2-13 CAP_INTERNAL_ASSERT_IS_OBJECT_OF_CATEGORY
9.2-12 CAP_INTERNAL_ASSERT_IS_TWO_CELL_OF_CATEGORY
9.2-14 CAP_INTERNAL_ASSERT_VALUE_IS_OF_TYPE_GETTER
9.2-10 CAP_INTERNAL_CONSTRUCTOR_FOR_TERMINAL_CATEGORY
16.2-3 CAP_INTERNAL_FIND_APPEARANCE_OF_SYMBOL_IN_FUNCTION
9.2-8 CAP_INTERNAL_GENERATE_CONVENIENCE_METHODS_FOR_LIMITS
10.3-1 CAP_INTERNAL_GET_DATA_TYPE_FROM_STRING
9.2-2 CAP_INTERNAL_GET_DATA_TYPES_FROM_STRINGS
9.2-3 CAP_INTERNAL_MERGE_FILTER_LISTS
9.2-6 CAP_INTERNAL_MERGE_PRECONDITIONS_LIST
9.2-9 CAP_INTERNAL_REPLACED_STRING_WITH_FILTER
9.2-4 CAP_INTERNAL_REPLACED_STRINGS_WITH_FILTERS
9.2-5 CAP_INTERNAL_RETURN_OPTION_OR_DEFAULT
9.2-7 CAP_INTERNAL_VALIDATE_LIMITS_IN_NAME_RECORD
10.3-2 CAP_JIT_EXPR_CASE_WRAPPER
9.2-46 CAP_JIT_INCOMPLETE_LOGIC
9.2-45 CAPAddPrepareFunction
7.5-2 CapCat
5.1-1 CapCategory
, for IsCapCategoryMorphism 3.1-1 CapCategorySwitchLogicOff
1.5-8 CapCategorySwitchLogicOn
1.5-7 CapCategorySwitchLogicPropagationForMorphismsOff
1.5-4 CapCategorySwitchLogicPropagationForMorphismsOn
1.5-3 CapCategorySwitchLogicPropagationForObjectsOff
1.5-2 CapCategorySwitchLogicPropagationForObjectsOn
1.5-1 CapCategorySwitchLogicPropagationOff
1.5-6 CapCategorySwitchLogicPropagationOn
1.5-5 CapFixpoint
9.2-29 CapFunctor
, for IsString, IsCapCategory, IsCapCategory 5.4-1 CapInternalInstallAdd
7.3-1 CapJitAddKnownMethod
9.2-22 CapJitAddTypeSignature
9.2-23 CapJitAddTypeSignatureDeferred
9.2-24 CapJitDataTypeOfCategory
9.2-27 CapJitDataTypeOfListOf
9.2-25 CapJitDataTypeOfMorphismOfCategory
9.2-27 CapJitDataTypeOfNTupleOf
9.2-26 CapJitDataTypeOfObjectOfCategory
9.2-27 CapJitDataTypeOfTwoCellOfCategory
9.2-27 CapJitTypedExpression
9.2-28 CAPOperationPrepareFunction
7.5-1 CategoryConstructor
, for IsRecord 11.2-1 CategoryFilter
, for IsCapCategory 1.4-2 CategoryOfOperationWeightList
, for IsOperationWeightList 8.4-4 CoastrictionToImage
, for IsCapCategoryMorphism 6.13-6 CoastrictionToImageWithGivenImageObject
, for IsCapCategoryMorphism, IsCapCategoryObject 6.13-7 CoefficientsOfMorphism
, for IsCapCategoryMorphism 3.16-22 Coequalizer
6.10-1 CoequalizerFunctorial
, for IsList, IsCapCategoryMorphism, IsList 6.10-9 CoequalizerFunctorialWithGivenCoequalizers
, for IsCapCategoryObject, IsList, IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.10-10 CoequalizerOp
, for IsCapCategoryObject, IsList 6.10-2 CoimageObject
, for IsCapCategoryMorphism 6.14-7 CoimageObjectFunctorial
, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.14-14 CoimageObjectFunctorialWithGivenCoimageObjects
, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.14-15 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.4-9 ComponentOfMorphismFromCoproduct
, for IsCapCategoryMorphism, IsList, IsInt 6.7-10 ComponentOfMorphismFromDirectSum
, for IsCapCategoryMorphism, IsList, IsInt 6.6-19 ComponentOfMorphismIntoDirectProduct
, for IsCapCategoryMorphism, IsList, IsInt 6.8-9 ComponentOfMorphismIntoDirectSum
, for IsCapCategoryMorphism, IsList, IsInt 6.6-18 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.3-1 CreateCapCategoryMorphismWithAttributes
3.6-5 CreateCapCategoryObjectWithAttributes
2.6-5 CreateCapCategoryWithDataTypes
1.3-4 CurrentOperationWeight
, for IsOperationWeightList, IsString 8.4-5 DeactivateCachingOfCategory
1.9-2 DeactivateDefaultCaching
1.9-3 DeactivateDerivationInfo
8.1-3 DecreaseKey
, for IsStringMinHeap, IsString, IsInt 8.5-5 DerivationFunction
, 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 DerivationsOfOperation
, for IsDerivedMethodGraph, IsString 8.3-8 DerivationsUsingOperation
, for IsDerivedMethodGraph, IsString 8.3-7 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 DirectSumFunctorial
, for IsList, IsList, IsList 6.6-20 DirectSumFunctorialWithGivenDirectSums
, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.6-21 DirectSumOp
, for IsList 6.6-2 DisableAddForCategoricalOperations
1.12-1 DisableInputSanityChecks
1.10-1 DisableOutputSanityChecks
1.10-1 DisableSanityChecks
1.10-1 DisableTimingStatistics
1.11-1 DisplayTimingStatistics
1.11-1 DistinguishedObjectOfHomomorphismStructure
, for IsCapCategory 3.16-4 DistinguishedObjectOfHomomorphismStructureExtendedByFullEmbedding
, for IsCapCategory, IsCapCategory 3.16-18 Down
, for IsObject 1.8-1 DownOnlyMorphismData
, for IsCapCategoryMorphism 1.8-2 DownToBottom
, for IsObject 1.8-3 DummyCategory
, for IsRecord 14.2-4 DummyCommutativeRing
14.1-8 DummyField
14.1-9 DummyRing
14.1-7 EmbeddingOfEqualizer
, for IsCapCategoryObject, IsList 6.9-3 EmbeddingOfEqualizerWithGivenEqualizer
, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.9-4 EnableAddForCategoricalOperations
1.12-1 EnableFullInputSanityChecks
1.10-1 EnableFullOutputSanityChecks
1.10-1 EnableFullSanityChecks
1.10-1 EnablePartialInputSanityChecks
1.10-1 EnablePartialOutputSanityChecks
1.10-1 EnablePartialSanityChecks
1.10-1 EnableTimingStatistics
1.11-1 EpimorphismFromProjectiveCoverObject
, for IsCapCategoryObject 6.16-2 EpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject
, for IsCapCategoryObject, IsCapCategoryObject 6.16-3 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 IsCapCategoryObject, IsList 6.9-2 ExtendRangeOfHomomorphismStructureByFullEmbedding
, for IsCapCategory, IsCapCategory, IsFunction, IsFunction, IsFunction, IsFunction 3.16-18 ExtendRangeOfHomomorphismStructureByIdentityAsFullEmbedding
, for IsCapCategory 3.16-19 ExtractMin
, for IsStringMinHeap 8.5-4 FiberProduct
6.11-5 FiberProductEmbeddingInDirectProduct
, for IsList 6.11-3 FiberProductEmbeddingInDirectSum
, for IsList 6.11-4 FiberProductFunctorial
, for IsList, IsList, IsList 6.11-13 FiberProductFunctorialWithGivenFiberProducts
, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.11-14 FiberProductOp
, for IsList 6.11-6 FilteredWithKeys
9.2-53 FirstWithKeys
9.2-54 ForAllWithKeys
9.2-50 ForAnyWithKeys
9.2-51 FunctionCalledBeforeInstallation
, for IsDerivedMethod 8.2-11 FunctionWithNamedArguments
9.2-1 FunctorCanonicalizeZeroMorphisms
, for IsCapCategory 5.4-15 FunctorCanonicalizeZeroObjects
, for IsCapCategory 5.4-13 FunctorFromTerminalCategory
, for IsCapCategoryObject 16.3-3 FunctorMorphismOperation
, for IsCapFunctor 5.4-8 FunctorObjectOperation
, for IsCapFunctor 5.4-6 HandlePrecompiledTowers
9.2-44 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 HomomorphismStructureOnMorphismsExtendedByFullEmbedding
, for IsCapCategory, IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism 3.16-18 HomomorphismStructureOnMorphismsWithGivenObjects
, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 3.16-3 HomomorphismStructureOnMorphismsWithGivenObjectsExtendedByFullEmbedding
, for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 3.16-18 HomomorphismStructureOnObjects
, for IsCapCategoryObject, IsCapCategoryObject 3.16-1 HomomorphismStructureOnObjectsExtendedByFullEmbedding
, for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryObject 3.16-18 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 ImageObjectFunctorial
, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.13-10 ImageObjectFunctorialWithGivenImageObjects
, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.13-11 IndecomposableInjectiveObjects
, for IsCapCategory 1.4-13 IndecomposableProjectiveObjects
, for IsCapCategory 1.4-12 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-7 InjectionOfCofactorOfPushoutWithGivenPushout
, for IsList, IsInt, IsCapCategoryObject 6.12-8 InjectiveColift
, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.10-4 InjectiveDimension
, for IsCapCategoryObject 2.12-2 InjectiveEnvelopeObject
, for IsCapCategoryObject 6.16-4 InputSignature
, for IsCapFunctor 5.4-10 InstallDeprecatedAlias
9.2-17 InstallDerivationForCategory
, for IsDerivedMethod, IsPosInt, IsCapCategory 8.2-10 InstallDerivationsUsingOperation
, for IsOperationWeightList, IsString 8.4-8 InstallFunctor
, for IsCapFunctor, IsString 5.4-11 InstallMethodForCompilerForCAP
9.2-20 InstallNaturalTransformation
, for IsCapNaturalTransformation, IsString 5.5-5 InstallOtherMethodForCompilerForCAP
9.2-21 InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure
, for IsCapCategoryMorphism 3.16-5 InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureExtendedByFullEmbedding
, for IsCapCategory, IsCapCategory, IsCapCategoryMorphism 3.16-18 InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects
, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.16-6 InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjectsExtendedByFullEmbedding
, for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.16-18 InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism
, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 3.16-7 InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphismExtendedByFullEmbedding
, for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 3.16-18 InverseForMorphisms
, for IsCapCategoryMorphism 3.13-1 InverseOfMorphismFromCoimageToImage
, for IsCapCategoryMorphism 6.14-3 InverseOfMorphismFromCoimageToImageWithGivenObjects
, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.14-4 IsAbCategory
, for IsCapCategory 1.2-7 IsAbelianCategory
, for IsCapCategory 1.2-12 IsAbelianCategoryWithEnoughInjectives
, for IsCapCategory 1.2-14 IsAbelianCategoryWithEnoughProjectives
, for IsCapCategory 1.2-13 IsAdditiveCategory
, for IsCapCategory 1.2-10 IsApplicableToCategory
, for IsDerivedMethod, IsCapCategory 8.2-7 IsAutomorphism
, for IsCapCategoryMorphism 3.5-4 IsBijectiveObject
, for IsCapCategoryObject 2.3-1 IsCapCategory
, for IsAttributeStoringRep 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 IsCapTerminalCategoryWithMultipleObjects
, for IsCapCategory 16.1-4 IsCapTerminalCategoryWithSingleObject
, for IsCapCategory 16.1-1 IsCategoryWithDecidableColifts
, for IsCapCategory 1.2-4 IsCategoryWithDecidableLifts
, for IsCapCategory 1.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 IsAttributeStoringRep 8.2-1 IsDerivedMethodGraph
, for IsAttributeStoringRep 8.3-1 IsDominating
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-3 IsDummyCategory
, for IsCapCategory 14.2-1 IsDummyCategoryMorphism
, for IsCapCategoryMorphism 14.2-3 IsDummyCategoryObject
, for IsCapCategoryObject 14.2-2 IsDummyCommutativeRing
14.1-3 IsDummyCommutativeRingElement
14.1-4 IsDummyField
14.1-5 IsDummyFieldElement
14.1-6 IsDummyRing
14.1-1 IsDummyRingElement
14.1-2 IsEmptyHeap
, for IsStringMinHeap 8.5-6 IsEndomorphism
, for IsCapCategoryMorphism 3.5-3 IsEnrichedOverCommutativeRegularSemigroup
, for IsCapCategory 1.2-5 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 IsEquippedWithHomomorphismStructure
, for IsCapCategory 1.2-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 IsIsomorphicForObjects
, for IsCapCategoryObject, IsCapCategoryObject 2.2-2 IsIsomorphism
, for IsCapCategoryMorphism 3.3-3 IsLiftable
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-7 IsLiftableAlongMonomorphism
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-3 IsLinearCategoryOverCommutativeRing
, for IsCapCategory 1.2-8 IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms
, for IsCapCategory 1.2-9 IsLocallyOfFiniteInjectiveDimension
, for IsCapCategory 1.2-16 IsLocallyOfFiniteProjectiveDimension
, for IsCapCategory 1.2-15 IsMonomorphism
, for IsCapCategoryMorphism 3.3-1 IsMorphismInCapTerminalCategoryWithMultipleObjects
, for IsCapCategoryMorphism 16.1-6 IsMorphismInCapTerminalCategoryWithSingleObject
, for IsCapCategoryMorphism 16.1-3 IsObjectInCapTerminalCategoryWithMultipleObjects
, for IsCapCategoryObject 16.1-5 IsObjectInCapTerminalCategoryWithSingleObject
, for IsCapCategoryObject 16.1-2 IsomorphismFromCoequalizerOfCoproductDiagramToPushout
, for IsList 6.12-2 IsomorphismFromCoequalizerToCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproduct
, for IsCapCategoryObject, IsList 6.10-12 IsomorphismFromCoimageToCokernelOfKernel
, for IsCapCategoryMorphism 6.14-5 IsomorphismFromCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproductToCoequalizer
, for IsCapCategoryObject, IsList 6.10-13 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-2 IsomorphismFromEqualizerToKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProduct
, for IsCapCategoryObject, IsList 6.9-12 IsomorphismFromFiberProductToEqualizerOfDirectProductDiagram
, 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 IsomorphismFromKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProductToEqualizer
, for IsCapCategoryObject, IsList 6.9-13 IsomorphismFromPushoutToCoequalizerOfCoproductDiagram
, 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 IsAttributeStoringRep 8.4-1 IsPreAbelianCategory
, for IsCapCategory 1.2-11 IsProjective
, for IsCapCategoryObject 2.3-2 IsSkeletalCategory
, for IsCapCategory 1.2-6 IsSpecializationOfFilter
9.2-18 IsSpecializationOfFilterList
9.2-19 IsSplitEpimorphism
, for IsCapCategoryMorphism 3.3-5 IsSplitMonomorphism
, for IsCapCategoryMorphism 3.3-4 IsStringMinHeap
, for IsAttributeStoringRep 8.5-1 IsTerminal
, for IsCapCategoryObject 2.3-4 IsTerminalCategory
, for IsCapCategory 16.1-7 IsWellDefined
, for IsCapCategoryCell 1.7-1 IsWellDefinedForMorphisms
, for IsCapCategoryMorphism 3.11-1 IsWellDefinedForMorphismsWithGivenSourceAndRange
, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.11-2 IsWellDefinedForObjects
, for IsCapCategoryObject 2.8-1 IsWellDefinedForTwoCells
, for IsCapCategoryTwoCell 4.3-1 IsWrapperCapCategory
, for IsCapCategory 13.1-1 IsWrapperCapCategoryMorphism
, for IsCapCategoryMorphism 13.1-3 IsWrapperCapCategoryObject
, for IsCapCategoryObject 13.1-2 IsZero
, for IsCapCategoryObject 2.3-7 IsZeroForMorphisms
, for IsCapCategoryMorphism 3.8-1 IsZeroForObjects
, for IsCapCategoryObject 2.3-6 Iterated
, for IsList, IsFunction, IsObject 9.2-30 JointPairwiseDifferencesOfMorphismsFromCoproduct
, for IsCapCategoryObject, IsList 6.10-11 JointPairwiseDifferencesOfMorphismsIntoDirectProduct
, for IsCapCategoryObject, IsList 6.9-11 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 LastWithKeys
9.2-55 LaTeXOutput
, for IsCapCategory 1.14-2 Lift
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-5 LiftAlongMonomorphism
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-1 LiftOrFail
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-6 LinearCombinationOfMorphisms
, for IsCapCategoryObject, IsList, IsList, IsCapCategoryObject 3.10-9 ListCAPPrepareFunctions
7.5-3 ListWithKeys
9.2-47 MakeDerivation
, for IsString, IsString, IsDenseList,IsPosInt, IsFunction, 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 MissingOperationsForConstructivenessOfCategory
, for IsCapCategory, IsString 1.6-2 ModelingCategory
, for IsCapCategory 12.5-1 ModelingMorphism
, for IsCapCategory, IsCapCategoryMorphism 12.6-5 ModelingObject
, for IsCapCategory, IsCapCategoryObject 12.6-3 MonomorphismIntoInjectiveEnvelopeObject
, for IsCapCategoryObject 6.16-5 MonomorphismIntoInjectiveEnvelopeObjectWithGivenInjectiveEnvelopeObject
, for IsCapCategoryObject, IsCapCategoryObject 6.16-6 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 MorphismDatumType
, for IsCapCategory 1.4-7 MorphismFilter
, for IsCapCategory 1.4-4 MorphismFromCoimageToImage
, for IsCapCategoryMorphism 6.14-1 MorphismFromCoimageToImageWithGivenObjects
, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.14-2 MorphismFromEqualizerToSink
, for IsCapCategoryObject, IsList 6.9-5 MorphismFromEqualizerToSinkWithGivenEqualizer
, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.9-6 MorphismFromFiberProductToSink
, for IsList 6.11-9 MorphismFromFiberProductToSinkWithGivenFiberProduct
, for IsList, IsCapCategoryObject 6.11-10 MorphismFromKernelObjectToSink
, for IsCapCategoryMorphism 6.1-4 MorphismFromKernelObjectToSinkWithGivenKernelObject
, for IsCapCategoryMorphism, IsCapCategoryObject 6.1-5 MorphismFromSourceToCoequalizer
, for IsCapCategoryObject, IsList 6.10-5 MorphismFromSourceToCoequalizerWithGivenCoequalizer
, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.10-6 MorphismFromSourceToCokernelObject
, for IsCapCategoryMorphism 6.2-4 MorphismFromSourceToCokernelObjectWithGivenCokernelObject
, for IsCapCategoryMorphism, IsCapCategoryObject 6.2-5 MorphismFromSourceToPushout
, for IsList 6.12-9 MorphismFromSourceToPushoutWithGivenPushout
, for IsList, IsCapCategoryObject 6.12-10 MorphismFromZeroObject
, for IsCapCategoryObject 6.3-7 MorphismIntoZeroObject
, for IsCapCategoryObject 6.3-8 MorphismsOfExternalHom
, for IsCapCategoryObject, IsCapCategoryObject 3.16-20 MultiplyWithElementOfCommutativeRingForMorphisms
, for IsRingElement, IsCapCategoryMorphism 3.8-5 Name
, for IsCapCategory 1.4-1 NaturalIsomorphismFromIdentityToCanonicalizeZeroMorphisms
, for IsCapCategory 5.4-16 NaturalIsomorphismFromIdentityToCanonicalizeZeroObjects
, for IsCapCategory 5.4-14 NaturalTransformation
, for IsCapFunctor, IsCapFunctor 5.5-2 NTuple
9.2-40 NumberWithKeys
9.2-52 ObjectCache
, for IsCapFunctor 9.1-1 ObjectConstructor
, for IsCapCategory, IsObject 2.7-1 ObjectDatum
, for IsCapCategoryObject 2.7-3 ObjectDatumType
, for IsCapCategory 1.4-6 ObjectFilter
, for IsCapCategory 1.4-3 ObjectifyMorphismWithSourceAndRangeForCAPWithAttributes
3.6-4 ObjectifyObjectForCAPWithAttributes
2.6-4 Operations
, for IsDerivedMethodGraph 8.3-6 OperationWeightUsingDerivation
, for IsOperationWeightList, IsDerivedMethod 8.4-6 PackageOfCAPOperation
9.2-33 Pair
9.2-41 PostCompose
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-5 PostComposeList
, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.10-7 PostInverseForMorphisms
, for IsCapCategoryMorphism 3.13-3 PreCompose
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-2 PreComposeList
, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.10-4 PreInverseForMorphisms
, for IsCapCategoryMorphism 3.13-2 PrintDerivationTree
, for IsOperationWeightList, IsString 8.4-12 PrintTree
, for IsObject, IsFunction, IsFunction 8.4-13 PrintTreeRec
, for IsObject, IsFunction, IsFunction, IsInt 8.4-14 ProductWithKeys
9.2-49 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-7 ProjectionInFactorOfFiberProductWithGivenFiberProduct
, for IsList, IsInt, IsCapCategoryObject 6.11-8 ProjectionOntoCoequalizer
, for IsCapCategoryObject, IsList 6.10-3 ProjectionOntoCoequalizerWithGivenCoequalizer
, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.10-4 ProjectiveCoverObject
, for IsCapCategoryObject 6.16-1 ProjectiveDimension
, for IsCapCategoryObject 2.12-1 ProjectiveLift
, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.9-4 Pushout
, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.12-6 PushoutFunctorial
, for IsList, IsList, IsList 6.12-13 PushoutFunctorialWithGivenPushouts
, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.12-14 PushoutProjectionFromCoproduct
, for IsList 6.12-3 PushoutProjectionFromDirectSum
, for IsList 6.12-4 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 RangeCategoryOfHomomorphismStructure
, for IsCapCategory 1.4-10 RangeOfFunctor
, for IsCapFunctor 5.4-4 Reevaluate
, for IsOperationWeightList 8.4-9 ReinterpretationFunctor
, for IsCapCategory 12.6-2 ReinterpretationOfCategory
, for IsCapCategory, IsRecord 12.6-1 ReinterpretationOfMorphism
, for IsCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 12.6-6 ReinterpretationOfObject
, for IsCapCategory, IsCapCategoryObject 12.6-4 ResetTimingStatistics
1.11-1 SafeFirst
, for IsList, IsFunction 9.2-38 SafePosition
, for IsList, IsObject 9.2-34 SafePositionProperty
, for IsList, IsFunction 9.2-36 SafeUniqueEntry
, for IsList, IsFunction 9.2-39 SafeUniquePosition
, for IsList, IsObject 9.2-35 SafeUniquePositionProperty
, for IsList, IsFunction 9.2-37 Saturate
, for IsOperationWeightList 8.4-10 SetCachingOfCategory
1.9-1 SetCachingOfCategoryCrisp
1.9-2 SetCachingOfCategoryWeak
1.9-2 SetDefaultCaching
1.9-3 SetDefaultCachingCrisp
1.9-3 SetDefaultCachingWeak
1.9-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 SomeIsomorphismBetweenObjects
, for IsCapCategoryObject, IsCapCategoryObject 2.2-3 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 SumOfMorphisms
, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.10-8 SumWithKeys
9.2-48 Swap
, for IsStringMinHeap, IsPosInt, IsPosInt 8.5-9 Target
, for IsCapCategoryMorphism 3.1-4 TargetOperation
, for IsDerivedMethod 8.2-8 TerminalCategoryWithMultipleObjects
16.2-2 TerminalCategoryWithSingleObject
16.2-1 TerminalObject
, for IsCapCategory 6.4-1 TerminalObjectFunctorial
, for IsCapCategory 6.4-5 TerminalObjectFunctorialWithGivenTerminalObjects
, for IsCapCategoryObject, IsCapCategoryObject 6.4-6 TransitivelyNeededOtherPackages
9.2-32 TransposedMatWithGivenDimensions
9.2-43 Triple
9.2-42 TwoCellDatumType
, for IsCapCategory 1.4-8 TwoCellFilter
, for IsCapCategory 1.4-5 UnderlyingCell
, for IsWrapperCapCategoryMorphism 13.2-2 UniqueMorphism
, for IsCapTerminalCategoryWithSingleObject 16.3-2 UniqueObject
, for IsCapTerminalCategoryWithSingleObject 16.3-1 UniversalMorphismFromCoequalizer
, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryMorphism 6.10-7 UniversalMorphismFromCoequalizerWithGivenCoequalizer
, for IsCapCategoryObject, 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-11 UniversalMorphismFromPushoutWithGivenPushout
, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.12-12 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 IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryMorphism 6.9-7 UniversalMorphismIntoEqualizerWithGivenEqualizer
, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.9-8 UniversalMorphismIntoFiberProduct
, for IsList, IsCapCategoryObject, IsList 6.11-11 UniversalMorphismIntoFiberProductWithGivenFiberProduct
, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.11-12 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 UsedOperationsWithMultiplesAndCategoryGetters
, for IsDerivedMethod 8.2-9 VerticalPostCompose
, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.2-5 VerticalPreCompose
, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.2-4 WrapperCategory
, for IsCapCategory, IsRecord 13.3-5 WrappingFunctor
, for IsWrapperCapCategory 13.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