*
, for IsRingElement, IsCapCategoryMorphism 3.8-6 /
, for IsCapCategoryCell, IsWrapperCapCategory 13.3-4 ActivateDerivationInfo
8.1-2 Add
, for IsCapCategory, IsCapCategoryMorphism 3.2-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 AddComponentOfMorphismFromCoproduct
, for IsCapCategory, IsFunction 7.6-27 AddComponentOfMorphismFromDirectSum
, for IsCapCategory, IsFunction 7.6-28 AddComponentOfMorphismIntoDirectProduct
, for IsCapCategory, IsFunction 7.6-29 AddComponentOfMorphismIntoDirectSum
, for IsCapCategory, IsFunction 7.6-30 AddCoproduct
, for IsCapCategory, IsFunction 7.6-31 AddCoproductFunctorial
, for IsCapCategory, IsFunction 7.6-32 AddCoproductFunctorialWithGivenCoproducts
, for IsCapCategory, IsFunction 7.6-33 AddDerivation
8.3-4 AddDerivationToCAP
8.3-5 AddDirectProduct
, for IsCapCategory, IsFunction 7.6-34 AddDirectProductFunctorial
, for IsCapCategory, IsFunction 7.6-35 AddDirectProductFunctorialWithGivenDirectProducts
, for IsCapCategory, IsFunction 7.6-36 AddDirectSum
, for IsCapCategory, IsFunction 7.6-37 AddDirectSumFunctorial
, for IsCapCategory, IsFunction 7.6-38 AddDirectSumFunctorialWithGivenDirectSums
, for IsCapCategory, IsFunction 7.6-39 AddDistinguishedObjectOfHomomorphismStructure
, for IsCapCategory, IsFunction 7.6-40 AddEmbeddingOfEqualizer
, for IsCapCategory, IsFunction 7.6-41 AddEmbeddingOfEqualizerWithGivenEqualizer
, for IsCapCategory, IsFunction 7.6-42 AddEpimorphismFromProjectiveCoverObject
, for IsCapCategory, IsFunction 7.6-43 AddEpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject
, for IsCapCategory, IsFunction 7.6-44 AddEpimorphismFromSomeProjectiveObject
, for IsCapCategory, IsFunction 7.6-45 AddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject
, for IsCapCategory, IsFunction 7.6-46 AddEqualizer
, for IsCapCategory, IsFunction 7.6-47 AddEqualizerFunctorial
, for IsCapCategory, IsFunction 7.6-48 AddEqualizerFunctorialWithGivenEqualizers
, for IsCapCategory, IsFunction 7.6-49 AddFiberProduct
, for IsCapCategory, IsFunction 7.6-50 AddFiberProductFunctorial
, for IsCapCategory, IsFunction 7.6-51 AddFiberProductFunctorialWithGivenFiberProducts
, for IsCapCategory, IsFunction 7.6-52 AddHomologyObject
, for IsCapCategory, IsFunction 7.6-53 AddHomologyObjectFunctorialWithGivenHomologyObjects
, for IsCapCategory, IsFunction 7.6-54 AddHomomorphismStructureOnMorphisms
, for IsCapCategory, IsFunction 7.6-55 AddHomomorphismStructureOnMorphismsWithGivenObjects
, for IsCapCategory, IsFunction 7.6-56 AddHomomorphismStructureOnObjects
, for IsCapCategory, IsFunction 7.6-57 AddHorizontalPostCompose
, for IsCapCategory, IsFunction 7.6-58 AddHorizontalPreCompose
, for IsCapCategory, IsFunction 7.6-59 AddIdentityMorphism
, for IsCapCategory, IsFunction 7.6-60 AddIdentityTwoCell
, for IsCapCategory, IsFunction 7.6-61 AddImageEmbedding
, for IsCapCategory, IsFunction 7.6-62 AddImageEmbeddingWithGivenImageObject
, for IsCapCategory, IsFunction 7.6-63 AddImageObject
, for IsCapCategory, IsFunction 7.6-64 AddImageObjectFunctorial
, for IsCapCategory, IsFunction 7.6-65 AddImageObjectFunctorialWithGivenImageObjects
, for IsCapCategory, IsFunction 7.6-66 AddIndecomposableInjectiveObjects
, for IsCapCategory, IsFunction 7.6-67 AddIndecomposableProjectiveObjects
, for IsCapCategory, IsFunction 7.6-68 AddInitialObject
, for IsCapCategory, IsFunction 7.6-69 AddInitialObjectFunctorial
, for IsCapCategory, IsFunction 7.6-70 AddInitialObjectFunctorialWithGivenInitialObjects
, for IsCapCategory, IsFunction 7.6-71 AddInjectionOfCofactorOfCoproduct
, for IsCapCategory, IsFunction 7.6-72 AddInjectionOfCofactorOfCoproductWithGivenCoproduct
, for IsCapCategory, IsFunction 7.6-73 AddInjectionOfCofactorOfDirectSum
, for IsCapCategory, IsFunction 7.6-74 AddInjectionOfCofactorOfDirectSumWithGivenDirectSum
, for IsCapCategory, IsFunction 7.6-75 AddInjectionOfCofactorOfPushout
, for IsCapCategory, IsFunction 7.6-76 AddInjectionOfCofactorOfPushoutWithGivenPushout
, for IsCapCategory, IsFunction 7.6-77 AddInjectiveColift
, for IsCapCategory, IsFunction 7.6-78 AddInjectiveDimension
, for IsCapCategory, IsFunction 7.6-79 AddInjectiveEnvelopeObject
, for IsCapCategory, IsFunction 7.6-80 AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure
, for IsCapCategory, IsFunction 7.6-81 AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects
, for IsCapCategory, IsFunction 7.6-82 AddInterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism
, for IsCapCategory, IsFunction 7.6-83 AddInverseForMorphisms
, for IsCapCategory, IsFunction 7.6-84 AddInverseOfMorphismFromCoimageToImage
, for IsCapCategory, IsFunction 7.6-85 AddInverseOfMorphismFromCoimageToImageWithGivenObjects
, for IsCapCategory, IsFunction 7.6-86 AddIsAutomorphism
, for IsCapCategory, IsFunction 7.6-87 AddIsBijectiveObject
, for IsCapCategory, IsFunction 7.6-88 AddIsCodominating
, for IsCapCategory, IsFunction 7.6-89 AddIsColiftable
, for IsCapCategory, IsFunction 7.6-90 AddIsColiftableAlongEpimorphism
, for IsCapCategory, IsFunction 7.6-91 AddIsCongruentForMorphisms
, for IsCapCategory, IsFunction 7.6-92 AddIsDominating
, for IsCapCategory, IsFunction 7.6-93 AddIsEndomorphism
, for IsCapCategory, IsFunction 7.6-94 AddIsEpimorphism
, for IsCapCategory, IsFunction 7.6-95 AddIsEqualAsFactorobjects
, for IsCapCategory, IsFunction 7.6-96 AddIsEqualAsSubobjects
, for IsCapCategory, IsFunction 7.6-97 AddIsEqualForCacheForMorphisms
, for IsCapCategory, IsFunction 7.6-98 AddIsEqualForCacheForObjects
, for IsCapCategory, IsFunction 7.6-99 AddIsEqualForMorphisms
, for IsCapCategory, IsFunction 7.6-100 AddIsEqualForMorphismsOnMor
, for IsCapCategory, IsFunction 7.6-101 AddIsEqualForObjects
, for IsCapCategory, IsFunction 7.6-102 AddIsEqualToIdentityMorphism
, for IsCapCategory, IsFunction 7.6-103 AddIsEqualToZeroMorphism
, for IsCapCategory, IsFunction 7.6-104 AddIsHomSetInhabited
, for IsCapCategory, IsFunction 7.6-105 AddIsIdempotent
, for IsCapCategory, IsFunction 7.6-106 AddIsInitial
, for IsCapCategory, IsFunction 7.6-107 AddIsInjective
, for IsCapCategory, IsFunction 7.6-108 AddIsIsomorphicForObjects
, for IsCapCategory, IsFunction 7.6-109 AddIsIsomorphism
, for IsCapCategory, IsFunction 7.6-110 AddIsLiftable
, for IsCapCategory, IsFunction 7.6-111 AddIsLiftableAlongMonomorphism
, for IsCapCategory, IsFunction 7.6-112 AddIsMonomorphism
, for IsCapCategory, IsFunction 7.6-113 AddIsomorphismFromCoequalizerOfCoproductDiagramToPushout
, for IsCapCategory, IsFunction 7.6-125 AddIsomorphismFromCoequalizerToCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproduct
, for IsCapCategory, IsFunction 7.6-126 AddIsomorphismFromCoimageToCokernelOfKernel
, for IsCapCategory, IsFunction 7.6-127 AddIsomorphismFromCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproductToCoequalizer
, for IsCapCategory, IsFunction 7.6-128 AddIsomorphismFromCokernelOfKernelToCoimage
, for IsCapCategory, IsFunction 7.6-129 AddIsomorphismFromCoproductToDirectSum
, for IsCapCategory, IsFunction 7.6-130 AddIsomorphismFromDirectProductToDirectSum
, for IsCapCategory, IsFunction 7.6-131 AddIsomorphismFromDirectSumToCoproduct
, for IsCapCategory, IsFunction 7.6-132 AddIsomorphismFromDirectSumToDirectProduct
, for IsCapCategory, IsFunction 7.6-133 AddIsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct
, for IsCapCategory, IsFunction 7.6-134 AddIsomorphismFromEqualizerToKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProduct
, for IsCapCategory, IsFunction 7.6-135 AddIsomorphismFromFiberProductToEqualizerOfDirectProductDiagram
, for IsCapCategory, IsFunction 7.6-136 AddIsomorphismFromHomologyObjectToItsConstructionAsAnImageObject
, for IsCapCategory, IsFunction 7.6-137 AddIsomorphismFromImageObjectToKernelOfCokernel
, for IsCapCategory, IsFunction 7.6-138 AddIsomorphismFromInitialObjectToZeroObject
, for IsCapCategory, IsFunction 7.6-139 AddIsomorphismFromItsConstructionAsAnImageObjectToHomologyObject
, for IsCapCategory, IsFunction 7.6-140 AddIsomorphismFromKernelOfCokernelToImageObject
, for IsCapCategory, IsFunction 7.6-141 AddIsomorphismFromKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProductToEqualizer
, for IsCapCategory, IsFunction 7.6-142 AddIsomorphismFromPushoutToCoequalizerOfCoproductDiagram
, for IsCapCategory, IsFunction 7.6-143 AddIsomorphismFromTerminalObjectToZeroObject
, for IsCapCategory, IsFunction 7.6-144 AddIsomorphismFromZeroObjectToInitialObject
, for IsCapCategory, IsFunction 7.6-145 AddIsomorphismFromZeroObjectToTerminalObject
, for IsCapCategory, IsFunction 7.6-146 AddIsOne
, for IsCapCategory, IsFunction 7.6-114 AddIsProjective
, for IsCapCategory, IsFunction 7.6-115 AddIsSplitEpimorphism
, for IsCapCategory, IsFunction 7.6-116 AddIsSplitMonomorphism
, for IsCapCategory, IsFunction 7.6-117 AddIsTerminal
, for IsCapCategory, IsFunction 7.6-118 AddIsWellDefinedForMorphisms
, for IsCapCategory, IsFunction 7.6-119 AddIsWellDefinedForMorphismsWithGivenSourceAndRange
, for IsCapCategory, IsFunction 7.6-120 AddIsWellDefinedForObjects
, for IsCapCategory, IsFunction 7.6-121 AddIsWellDefinedForTwoCells
, for IsCapCategory, IsFunction 7.6-122 AddIsZeroForMorphisms
, for IsCapCategory, IsFunction 7.6-123 AddIsZeroForObjects
, for IsCapCategory, IsFunction 7.6-124 AdditionalWeight
, for IsDerivedMethod 8.2-4 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-147 AddJointPairwiseDifferencesOfMorphismsIntoDirectProduct
, for IsCapCategory, IsFunction 7.6-148 AddKernelEmbedding
, for IsCapCategory, IsFunction 7.6-149 AddKernelEmbeddingWithGivenKernelObject
, for IsCapCategory, IsFunction 7.6-150 AddKernelLift
, for IsCapCategory, IsFunction 7.6-151 AddKernelLiftWithGivenKernelObject
, for IsCapCategory, IsFunction 7.6-152 AddKernelObject
, for IsCapCategory, IsFunction 7.6-153 AddKernelObjectFunctorial
, for IsCapCategory, IsFunction 7.6-154 AddKernelObjectFunctorialWithGivenKernelObjects
, for IsCapCategory, IsFunction 7.6-155 AddLift
, for IsCapCategory, IsFunction 7.6-156 AddLiftAlongMonomorphism
, for IsCapCategory, IsFunction 7.6-157 AddLinearCombinationOfMorphisms
, for IsCapCategory, IsFunction 7.6-158 AddMereExistenceOfSolutionOfLinearSystemInAbCategory
, for IsCapCategory, IsFunction 7.6-159 AddMonomorphismIntoInjectiveEnvelopeObject
, for IsCapCategory, IsFunction 7.6-160 AddMonomorphismIntoInjectiveEnvelopeObjectWithGivenInjectiveEnvelopeObject
, for IsCapCategory, IsFunction 7.6-161 AddMonomorphismIntoSomeInjectiveObject
, for IsCapCategory, IsFunction 7.6-162 AddMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject
, for IsCapCategory, IsFunction 7.6-163 AddMorphism
, for IsCapCategory, IsAttributeStoringRep 3.2-2 AddMorphismBetweenDirectSums
, for IsCapCategory, IsFunction 7.6-164 AddMorphismBetweenDirectSumsWithGivenDirectSums
, for IsCapCategory, IsFunction 7.6-165 AddMorphismConstructor
, for IsCapCategory, IsFunction 7.6-166 AddMorphismDatum
, for IsCapCategory, IsFunction 7.6-167 AddMorphismFromCoimageToImage
, for IsCapCategory, IsFunction 7.6-168 AddMorphismFromCoimageToImageWithGivenObjects
, for IsCapCategory, IsFunction 7.6-169 AddMorphismFromEqualizerToSink
, for IsCapCategory, IsFunction 7.6-170 AddMorphismFromEqualizerToSinkWithGivenEqualizer
, for IsCapCategory, IsFunction 7.6-171 AddMorphismFromFiberProductToSink
, for IsCapCategory, IsFunction 7.6-172 AddMorphismFromFiberProductToSinkWithGivenFiberProduct
, for IsCapCategory, IsFunction 7.6-173 AddMorphismFromKernelObjectToSink
, for IsCapCategory, IsFunction 7.6-174 AddMorphismFromKernelObjectToSinkWithGivenKernelObject
, for IsCapCategory, IsFunction 7.6-175 AddMorphismFromSourceToCoequalizer
, for IsCapCategory, IsFunction 7.6-176 AddMorphismFromSourceToCoequalizerWithGivenCoequalizer
, for IsCapCategory, IsFunction 7.6-177 AddMorphismFromSourceToCokernelObject
, for IsCapCategory, IsFunction 7.6-178 AddMorphismFromSourceToCokernelObjectWithGivenCokernelObject
, for IsCapCategory, IsFunction 7.6-179 AddMorphismFromSourceToPushout
, for IsCapCategory, IsFunction 7.6-180 AddMorphismFromSourceToPushoutWithGivenPushout
, for IsCapCategory, IsFunction 7.6-181 AddMorphismFunction
, for IsCapFunctor, IsFunction 5.4-7 AddMorphismsOfExternalHom
, for IsCapCategory, IsFunction 7.6-182 AddMultiplyWithElementOfCommutativeRingForMorphisms
, for IsCapCategory, IsFunction 7.6-183 AddNaturalTransformationFunction
, for IsCapNaturalTransformation, IsFunction 5.5-3 AddObject
, for IsCapCategory, IsAttributeStoringRep 2.2-2 AddObjectConstructor
, for IsCapCategory, IsFunction 7.6-184 AddObjectDatum
, for IsCapCategory, IsFunction 7.6-185 AddObjectFunction
, for IsCapFunctor, IsFunction 5.4-5 AddOperationsToDerivationGraph
, for IsDerivedMethodGraph, IsDenseList 8.3-3 AddPostCompose
, for IsCapCategory, IsFunction 7.6-186 AddPostComposeList
, for IsCapCategory, IsFunction 7.6-187 AddPostInverseForMorphisms
, for IsCapCategory, IsFunction 7.6-188 AddPreCompose
, for IsCapCategory, IsFunction 7.6-189 AddPreComposeList
, for IsCapCategory, IsFunction 7.6-190 AddPreInverseForMorphisms
, for IsCapCategory, IsFunction 7.6-191 AddPrimitiveOperation
, for IsOperationWeightList, IsString, IsInt 8.4-11 AddProjectionInFactorOfDirectProduct
, for IsCapCategory, IsFunction 7.6-192 AddProjectionInFactorOfDirectProductWithGivenDirectProduct
, for IsCapCategory, IsFunction 7.6-193 AddProjectionInFactorOfDirectSum
, for IsCapCategory, IsFunction 7.6-194 AddProjectionInFactorOfDirectSumWithGivenDirectSum
, for IsCapCategory, IsFunction 7.6-195 AddProjectionInFactorOfFiberProduct
, for IsCapCategory, IsFunction 7.6-196 AddProjectionInFactorOfFiberProductWithGivenFiberProduct
, for IsCapCategory, IsFunction 7.6-197 AddProjectionOntoCoequalizer
, for IsCapCategory, IsFunction 7.6-198 AddProjectionOntoCoequalizerWithGivenCoequalizer
, for IsCapCategory, IsFunction 7.6-199 AddProjectiveCoverObject
, for IsCapCategory, IsFunction 7.6-200 AddProjectiveDimension
, for IsCapCategory, IsFunction 7.6-201 AddProjectiveLift
, for IsCapCategory, IsFunction 7.6-202 AddPushout
, for IsCapCategory, IsFunction 7.6-203 AddPushoutFunctorial
, for IsCapCategory, IsFunction 7.6-204 AddPushoutFunctorialWithGivenPushouts
, for IsCapCategory, IsFunction 7.6-205 AddRandomMorphismByInteger
, for IsCapCategory, IsFunction 7.6-206 AddRandomMorphismByList
, for IsCapCategory, IsFunction 7.6-207 AddRandomMorphismWithFixedRangeByInteger
, for IsCapCategory, IsFunction 7.6-208 AddRandomMorphismWithFixedRangeByList
, for IsCapCategory, IsFunction 7.6-209 AddRandomMorphismWithFixedSourceAndRangeByInteger
, for IsCapCategory, IsFunction 7.6-210 AddRandomMorphismWithFixedSourceAndRangeByList
, for IsCapCategory, IsFunction 7.6-211 AddRandomMorphismWithFixedSourceByInteger
, for IsCapCategory, IsFunction 7.6-212 AddRandomMorphismWithFixedSourceByList
, for IsCapCategory, IsFunction 7.6-213 AddRandomObjectByInteger
, for IsCapCategory, IsFunction 7.6-214 AddRandomObjectByList
, for IsCapCategory, IsFunction 7.6-215 AddSimplifyEndo
, for IsCapCategory, IsFunction 7.6-216 AddSimplifyEndo_IsoFromInputObject
, for IsCapCategory, IsFunction 7.6-217 AddSimplifyEndo_IsoToInputObject
, for IsCapCategory, IsFunction 7.6-218 AddSimplifyMorphism
, for IsCapCategory, IsFunction 7.6-219 AddSimplifyObject
, for IsCapCategory, IsFunction 7.6-220 AddSimplifyObject_IsoFromInputObject
, for IsCapCategory, IsFunction 7.6-221 AddSimplifyObject_IsoToInputObject
, for IsCapCategory, IsFunction 7.6-222 AddSimplifyRange
, for IsCapCategory, IsFunction 7.6-223 AddSimplifyRange_IsoFromInputObject
, for IsCapCategory, IsFunction 7.6-224 AddSimplifyRange_IsoToInputObject
, for IsCapCategory, IsFunction 7.6-225 AddSimplifySource
, for IsCapCategory, IsFunction 7.6-226 AddSimplifySource_IsoFromInputObject
, for IsCapCategory, IsFunction 7.6-232 AddSimplifySource_IsoToInputObject
, for IsCapCategory, IsFunction 7.6-233 AddSimplifySourceAndRange
, for IsCapCategory, IsFunction 7.6-227 AddSimplifySourceAndRange_IsoFromInputRange
, for IsCapCategory, IsFunction 7.6-228 AddSimplifySourceAndRange_IsoFromInputSource
, for IsCapCategory, IsFunction 7.6-229 AddSimplifySourceAndRange_IsoToInputRange
, for IsCapCategory, IsFunction 7.6-230 AddSimplifySourceAndRange_IsoToInputSource
, for IsCapCategory, IsFunction 7.6-231 AddSolveLinearSystemInAbCategory
, for IsCapCategory, IsFunction 7.6-234 AddSomeInjectiveObject
, for IsCapCategory, IsFunction 7.6-235 AddSomeIsomorphismBetweenObjects
, for IsCapCategory, IsFunction 7.6-236 AddSomeProjectiveObject
, for IsCapCategory, IsFunction 7.6-237 AddSomeReductionBySplitEpiSummand
, for IsCapCategory, IsFunction 7.6-238 AddSomeReductionBySplitEpiSummand_MorphismFromInputRange
, for IsCapCategory, IsFunction 7.6-239 AddSomeReductionBySplitEpiSummand_MorphismToInputRange
, for IsCapCategory, IsFunction 7.6-240 AddSubtractionForMorphisms
, for IsCapCategory, IsFunction 7.6-241 AddSumOfMorphisms
, for IsCapCategory, IsFunction 7.6-242 AddTerminalObject
, for IsCapCategory, IsFunction 7.6-243 AddTerminalObjectFunctorial
, for IsCapCategory, IsFunction 7.6-244 AddTerminalObjectFunctorialWithGivenTerminalObjects
, for IsCapCategory, IsFunction 7.6-245 AddTwoCell
, for IsCapCategory, IsAttributeStoringRep 4.2-2 AddUniversalMorphismFromCoequalizer
, for IsCapCategory, IsFunction 7.6-246 AddUniversalMorphismFromCoequalizerWithGivenCoequalizer
, for IsCapCategory, IsFunction 7.6-247 AddUniversalMorphismFromCoproduct
, for IsCapCategory, IsFunction 7.6-248 AddUniversalMorphismFromCoproductWithGivenCoproduct
, for IsCapCategory, IsFunction 7.6-249 AddUniversalMorphismFromDirectSum
, for IsCapCategory, IsFunction 7.6-250 AddUniversalMorphismFromDirectSumWithGivenDirectSum
, for IsCapCategory, IsFunction 7.6-251 AddUniversalMorphismFromImage
, for IsCapCategory, IsFunction 7.6-252 AddUniversalMorphismFromImageWithGivenImageObject
, for IsCapCategory, IsFunction 7.6-253 AddUniversalMorphismFromInitialObject
, for IsCapCategory, IsFunction 7.6-254 AddUniversalMorphismFromInitialObjectWithGivenInitialObject
, for IsCapCategory, IsFunction 7.6-255 AddUniversalMorphismFromPushout
, for IsCapCategory, IsFunction 7.6-256 AddUniversalMorphismFromPushoutWithGivenPushout
, for IsCapCategory, IsFunction 7.6-257 AddUniversalMorphismFromZeroObject
, for IsCapCategory, IsFunction 7.6-258 AddUniversalMorphismFromZeroObjectWithGivenZeroObject
, for IsCapCategory, IsFunction 7.6-259 AddUniversalMorphismIntoCoimage
, for IsCapCategory, IsFunction 7.6-260 AddUniversalMorphismIntoCoimageWithGivenCoimageObject
, for IsCapCategory, IsFunction 7.6-261 AddUniversalMorphismIntoDirectProduct
, for IsCapCategory, IsFunction 7.6-262 AddUniversalMorphismIntoDirectProductWithGivenDirectProduct
, for IsCapCategory, IsFunction 7.6-263 AddUniversalMorphismIntoDirectSum
, for IsCapCategory, IsFunction 7.6-264 AddUniversalMorphismIntoDirectSumWithGivenDirectSum
, for IsCapCategory, IsFunction 7.6-265 AddUniversalMorphismIntoEqualizer
, for IsCapCategory, IsFunction 7.6-266 AddUniversalMorphismIntoEqualizerWithGivenEqualizer
, for IsCapCategory, IsFunction 7.6-267 AddUniversalMorphismIntoFiberProduct
, for IsCapCategory, IsFunction 7.6-268 AddUniversalMorphismIntoFiberProductWithGivenFiberProduct
, for IsCapCategory, IsFunction 7.6-269 AddUniversalMorphismIntoTerminalObject
, for IsCapCategory, IsFunction 7.6-270 AddUniversalMorphismIntoTerminalObjectWithGivenTerminalObject
, for IsCapCategory, IsFunction 7.6-271 AddUniversalMorphismIntoZeroObject
, for IsCapCategory, IsFunction 7.6-272 AddUniversalMorphismIntoZeroObjectWithGivenZeroObject
, for IsCapCategory, IsFunction 7.6-273 AddVerticalPostCompose
, for IsCapCategory, IsFunction 7.6-274 AddVerticalPreCompose
, for IsCapCategory, IsFunction 7.6-275 AddZeroMorphism
, for IsCapCategory, IsFunction 7.6-276 AddZeroObject
, for IsCapCategory, IsFunction 7.6-277 AddZeroObjectFunctorial
, for IsCapCategory, IsFunction 7.6-278 AddZeroObjectFunctorialWithGivenZeroObjects
, for IsCapCategory, IsFunction 7.6-279 ApplyFunctor
5.4-9 ApplyNaturalTransformation
5.5-4 AsCapCategory
, for IsCapCategoryAsCatObject 5.3-2 AsCapCategoryMorphism
3.2-4 AsCapCategoryObject
2.2-4 AsCatObject
, for IsCapCategory 5.3-1 AsHomalgMatrix
, for IsCapCategoryMorphism 3.2-5 AsInteger
, for IsCapCategoryMorphism 3.2-5 AsMorphismInWrapperCategory
, for IsWrapperCapCategory, IsCapCategoryMorphism 13.3-3 AsObjectInWrapperCategory
, for IsWrapperCapCategory, IsCapCategoryObject 13.3-1 AsPrimitiveValue
, for IsCapCategoryMorphism 3.2-5 AstrictionToCoimage
, for IsCapCategoryMorphism 6.14-10 AstrictionToCoimageWithGivenCoimageObject
, for IsCapCategoryMorphism, IsCapCategoryObject 6.14-11 BasisOfExternalHom
, for IsCapCategoryObject, IsCapCategoryObject 3.16-21 BrowseCachingStatistic
9.2-15 BrowseTimingStatistics
1.11-1 CachingStatistic
9.2-14 CanCompute
, for IsCapCategory, IsFunction 1.6-1 CAP_INTERNAL_ASSERT_IS_CELL_OF_CATEGORY
9.2-10 CAP_INTERNAL_ASSERT_IS_MORPHISM_OF_CATEGORY
9.2-12 CAP_INTERNAL_ASSERT_IS_OBJECT_OF_CATEGORY
9.2-11 CAP_INTERNAL_ASSERT_IS_TWO_CELL_OF_CATEGORY
9.2-13 CAP_INTERNAL_ASSERT_VALUE_IS_OF_TYPE_GETTER
9.2-9 CAP_INTERNAL_CONSTRUCTOR_FOR_TERMINAL_CATEGORY
16.2-3 CAP_INTERNAL_FIND_APPEARANCE_OF_SYMBOL_IN_FUNCTION
9.2-7 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_PRECONDITIONS_LIST
9.2-8 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-6 CAP_INTERNAL_VALIDATE_LIMITS_IN_NAME_RECORD
10.3-2 CAP_JIT_EXPR_CASE_WRAPPER
9.2-45 CAP_JIT_INCOMPLETE_LOGIC
9.2-44 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-28 CapFunctor
, for IsString, IsCapCategory, IsCapCategory 5.4-1 CapJitAddKnownMethod
9.2-21 CapJitAddTypeSignature
9.2-22 CapJitDataTypeOfCategory
9.2-26 CapJitDataTypeOfElementOfRing
9.2-25 CapJitDataTypeOfListOf
9.2-23 CapJitDataTypeOfMorphismOfCategory
9.2-26 CapJitDataTypeOfNTupleOf
9.2-24 CapJitDataTypeOfObjectOfCategory
9.2-26 CapJitDataTypeOfRing
9.2-25 CapJitDataTypeOfTwoCellOfCategory
9.2-26 CapJitTypedExpression
9.2-27 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 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.2-3 CreateCapCategoryObjectWithAttributes
2.2-3 CreateCapCategoryTwoCellWithAttributes
4.2-3 CreateCapCategoryWithDataTypes
1.3-4 CreateDerivation
8.2-2 CreateGapObjectWithAttributes
9.2-55 CurrentOperationWeight
, for IsOperationWeightList, IsString 8.4-5 DeactivateCachingOfCategory
1.9-2 DeactivateDefaultCaching
1.9-3 DeactivateDerivationInfo
8.1-3 DerivationFunction
, for IsDerivedMethod 8.2-5 DerivationGraph
, for IsOperationWeightList 8.4-3 DerivationInfo
8.1-1 DerivationOfOperation
, for IsOperationWeightList, IsString 8.4-7 DerivationsOfOperation
, for IsDerivedMethodGraph, IsString 8.3-8 DerivationsUsingOperation
, for IsDerivedMethodGraph, IsString 8.3-7 Description
, for IsDerivedMethod 8.2-3 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 DummyCommutativeHomalgRing
14.3-8 DummyCommutativeRing
14.1-8 DummyField
14.1-9 DummyHomalgField
14.3-9 DummyHomalgRing
14.3-7 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 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-52 FirstWithKeys
9.2-53 ForAllWithKeys
9.2-49 ForAnyWithKeys
9.2-50 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-43 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.3-3 HorizontalPreCompose
, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.3-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.3-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-16 InstallDerivationForCategory
, for IsDerivedMethod, IsPosInt, IsCapCategory 8.2-10 InstallFunctor
, for IsCapFunctor, IsString 5.4-11 InstallMethodForCompilerForCAP
9.2-19 InstallNaturalTransformation
, for IsCapNaturalTransformation, IsString 5.5-5 InstallOtherMethodForCompilerForCAP
9.2-20 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-10 IsAbelianCategory
, for IsCapCategory 1.2-15 IsAbelianCategoryWithEnoughInjectives
, for IsCapCategory 1.2-17 IsAbelianCategoryWithEnoughProjectives
, for IsCapCategory 1.2-16 IsAdditiveCategory
, for IsCapCategory 1.2-13 IsApplicableToCategory
, for IsDerivedMethod, IsCapCategory 8.2-7 IsAutomorphism
, for IsCapCategoryMorphism 3.6-4 IsBijectiveObject
, for IsCapCategoryObject 2.4-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 IsCategoryWithInitialObject
, for IsCapCategory 1.2-5 IsCategoryWithTerminalObject
, for IsCapCategory 1.2-6 IsCategoryWithZeroObject
, for IsCapCategory 1.2-7 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 IsDummyCommutativeHomalgRing
14.3-3 IsDummyCommutativeHomalgRingElement
14.3-4 IsDummyCommutativeRing
14.1-3 IsDummyCommutativeRingElement
14.1-4 IsDummyField
14.1-5 IsDummyFieldElement
14.1-6 IsDummyHomalgField
14.3-5 IsDummyHomalgFieldElement
14.3-6 IsDummyHomalgRing
14.3-1 IsDummyHomalgRingElement
14.3-2 IsDummyRing
14.1-1 IsDummyRingElement
14.1-2 IsEndomorphism
, for IsCapCategoryMorphism 3.6-3 IsEnrichedOverCommutativeRegularSemigroup
, for IsCapCategory 1.2-8 IsEpimorphism
, for IsCapCategoryMorphism 3.4-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.6-1 IsEqualForMorphisms
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-2 IsEqualForMorphismsOnMor
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-3 IsEqualForObjects
, for IsCapCategoryObject, IsCapCategoryObject 2.3-1 IsEqualToIdentityMorphism
, for IsCapCategoryMorphism 3.6-1 IsEqualToZeroMorphism
, for IsCapCategoryMorphism 3.6-2 IsEquippedWithHomomorphismStructure
, for IsCapCategory 1.2-2 IsHomSetInhabited
, for IsCapCategoryObject, IsCapCategoryObject 3.15-1 IsIdempotent
, for IsCapCategoryMorphism 3.4-7 IsInitial
, for IsCapCategoryObject 2.4-5 IsInjective
, for IsCapCategoryObject 2.4-3 IsIsomorphicForObjects
, for IsCapCategoryObject, IsCapCategoryObject 2.3-2 IsIsomorphism
, for IsCapCategoryMorphism 3.4-3 IsLiftable
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-7 IsLiftableAlongMonomorphism
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-3 IsLinearCategoryOverCommutativeRing
, for IsCapCategory 1.2-11 IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms
, for IsCapCategory 1.2-12 IsLocallyOfFiniteInjectiveDimension
, for IsCapCategory 1.2-19 IsLocallyOfFiniteProjectiveDimension
, for IsCapCategory 1.2-18 IsMonomorphism
, for IsCapCategoryMorphism 3.4-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.4-6 IsOperationWeightList
, for IsAttributeStoringRep 8.4-1 IsPreAbelianCategory
, for IsCapCategory 1.2-14 IsProjective
, for IsCapCategoryObject 2.4-2 IsSkeletalCategory
, for IsCapCategory 1.2-9 IsSpecializationOfFilter
9.2-17 IsSpecializationOfFilterList
9.2-18 IsSplitEpimorphism
, for IsCapCategoryMorphism 3.4-5 IsSplitMonomorphism
, for IsCapCategoryMorphism 3.4-4 IsTerminal
, for IsCapCategoryObject 2.4-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.4-1 IsWrapperCapCategory
, for IsCapCategory 13.1-1 IsWrapperCapCategoryMorphism
, for IsCapCategoryMorphism 13.1-3 IsWrapperCapCategoryObject
, for IsCapCategoryObject 13.1-2 IsZero
, for IsCapCategoryObject 2.4-7 IsZeroForMorphisms
, for IsCapCategoryMorphism 3.8-1 IsZeroForObjects
, for IsCapCategoryObject 2.4-6 Iterated
, for IsList, IsFunction, IsObject 9.2-29 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-54 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-46 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-3 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.3-1 MorphismDatum
, for IsCapCategoryMorphism 3.3-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-39 NumberWithKeys
9.2-51 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 Operations
, for IsDerivedMethodGraph 8.3-6 OperationWeight
, for IsCapCategory, IsString 1.6-2 OperationWeightUsingDerivation
, for IsOperationWeightList, IsDerivedMethod 8.4-6 PackageOfCAPOperation
9.2-32 Pair
9.2-40 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-48 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.5-9 RandomMorphismByInteger
, for IsCapCategory, IsInt 3.5-7 RandomMorphismByList
, for IsCapCategory, IsList 3.5-8 RandomMorphismWithFixedRange
, for IsCapCategoryObject, IsInt 3.5-9 RandomMorphismWithFixedRangeByInteger
, for IsCapCategoryObject, IsInt 3.5-3 RandomMorphismWithFixedRangeByList
, for IsCapCategoryObject, IsList 3.5-4 RandomMorphismWithFixedSource
, for IsCapCategoryObject, IsInt 3.5-9 RandomMorphismWithFixedSourceAndRange
, for IsCapCategoryObject, IsCapCategoryObject, IsInt 3.5-9 RandomMorphismWithFixedSourceAndRangeByInteger
, for IsCapCategoryObject, IsCapCategoryObject, IsInt 3.5-5 RandomMorphismWithFixedSourceAndRangeByList
, for IsCapCategoryObject, IsCapCategoryObject, IsList 3.5-6 RandomMorphismWithFixedSourceByInteger
, for IsCapCategoryObject, IsInt 3.5-1 RandomMorphismWithFixedSourceByList
, for IsCapCategoryObject, IsList 3.5-2 RandomObject
, for IsCapCategory, IsInt 2.5-3 RandomObjectByInteger
, for IsCapCategory, IsInt 2.5-1 RandomObjectByList
, for IsCapCategory, IsList 2.5-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-37 SafePosition
, for IsList, IsObject 9.2-33 SafePositionProperty
, for IsList, IsFunction 9.2-35 SafeUniqueEntry
, for IsList, IsFunction 9.2-38 SafeUniquePosition
, for IsList, IsObject 9.2-34 SafeUniquePositionProperty
, for IsList, IsFunction 9.2-36 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.3-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 SubtractionForMorphisms
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-3 SumOfMorphisms
, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.10-8 SumWithKeys
9.2-47 Target
, for IsCapCategoryMorphism 3.1-4 TargetOperation
, for IsDerivedMethod 8.2-8 TerminalCategoryWithMultipleObjects
16.2-2 TerminalCategoryWithSingleObject
16.2-1 TerminalCategoryWithSingleObjectUniqueMorphism
, for IsCapTerminalCategoryWithSingleObject 16.3-2 TerminalCategoryWithSingleObjectUniqueObject
, for IsCapTerminalCategoryWithSingleObject 16.3-1 TerminalObject
, for IsCapCategory 6.4-1 TerminalObjectFunctorial
, for IsCapCategory 6.4-5 TerminalObjectFunctorialWithGivenTerminalObjects
, for IsCapCategoryObject, IsCapCategoryObject 6.4-6 TransitivelyNeededOtherPackages
9.2-31 TransposedMatWithGivenDimensions
9.2-42 TriggerDerivationsUsingOperation
, for IsOperationWeightList, IsString 8.4-8 Triple
9.2-41 TwoCellDatumType
, for IsCapCategory 1.4-8 TwoCellFilter
, for IsCapCategory 1.4-5 UnderlyingCell
, for IsWrapperCapCategoryMorphism 13.2-2 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.3-5 VerticalPreCompose
, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.3-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