ActivateDerivationInfo  8.1-2  Add, for IsStringMinHeap, IsString, IsInt  8.5-3  AddAdditionForMorphisms, for IsCapCategory, IsFunction  3.5-4  AddAdditiveInverseForMorphisms, for IsCapCategory, IsFunction  3.5-6  AddAssociatorLeftToRightWithGivenTensorProducts, for IsCapCategory, IsFunction  7.1-11  AddAssociatorRightToLeftWithGivenTensorProducts, for IsCapCategory, IsFunction  7.1-8  AddAstrictionToCoimage, for IsCapCategory, IsFunction  6.12-23  AddAstrictionToCoimageWithGivenCoimage, for IsCapCategory, IsFunction  6.12-24  AddBraidingInverseWithGivenTensorProducts, for IsCapCategory, IsFunction  7.2-6  AddBraidingWithGivenTensorProducts, for IsCapCategory, IsFunction  7.2-3  AddCoastrictionToImage, for IsCapCategory, IsFunction  6.11-15  AddCoastrictionToImageWithGivenImageObject, for IsCapCategory, IsFunction  6.11-16  AddCoevaluationForDualWithGivenTensorProduct, for IsCapCategory, IsFunction  7.4-32  AddCoevaluationMorphismWithGivenRange, for IsCapCategory, IsFunction  7.4-11  AddCoimage, for IsCapCategory, IsFunction  6.12-20  AddCoimageProjection, for IsCapCategory, IsFunction  6.12-21  AddCoimageProjectionWithGivenCoimage, for IsCapCategory, IsFunction  6.12-22  AddCokernelColift, for IsCapCategory, IsFunction  6.2-9  AddCokernelColiftWithGivenCokernelObject, for IsCapCategory, IsFunction  6.2-10  AddCokernelObject, for IsCapCategory, IsFunction  6.2-6  AddCokernelObjectFunctorialWithGivenCokernelObjects, for IsCapCategory, IsFunction  6.2-14  AddCokernelProjection, for IsCapCategory, IsFunction  6.2-7  AddCokernelProjectionWithGivenCokernelObject, for IsCapCategory, IsFunction  6.2-8  AddColift, for IsCapCategory, IsFunction  3.10-4  AddColiftAlongEpimorphism, for IsCapCategory, IsFunction  3.9-4  AddCoproduct, for IsCapCategory, IsFunction  6.7-11  AddCoproductFunctorialWithGivenCoproducts, for IsCapCategory, IsFunction  6.7-18  AddDerivation, for IsDerivedMethodGraph, IsDerivedMethod  8.3-4  AddDerivationPair, for IsDerivedMethodGraph, IsFunction, IsFunction, IsDenseList, IsDenseList  8.3-9  AddDerivationPairToCAP  8.3-13  AddDerivationToCAP  8.3-12  AddDirectProduct, for IsCapCategory, IsFunction  6.8-8  AddDirectProductFunctorialWithGivenDirectProducts, for IsCapCategory, IsFunction  6.8-15  AddDirectSum, for IsCapCategory, IsFunction  6.6-36  AddDirectSumCodiagonalDifference, for IsCapCategory, IsFunction  6.10-9  AddDirectSumDiagonalDifference, for IsCapCategory, IsFunction  6.9-9  AddDirectSumFunctorialWithGivenDirectSums, for IsCapCategory, IsFunction  6.6-39  AddDirectSumProjectionInPushout, for IsCapCategory, IsFunction  6.10-12  AddDualOnMorphismsWithGivenDuals, for IsCapCategory, IsFunction  7.4-26  AddDualOnObjects, for IsCapCategory, IsFunction  7.4-23  AddEvaluationForDualWithGivenTensorProduct, for IsCapCategory, IsFunction  7.4-29  AddEvaluationMorphismWithGivenSource, for IsCapCategory, IsFunction  7.4-8  AddFiberProduct, for IsCapCategory, IsFunction  6.9-21  AddFiberProductEmbeddingInDirectSum, for IsCapCategory, IsFunction  6.9-12  AddFiberProductFunctorialWithGivenFiberProducts, for IsCapCategory, IsFunction  6.9-28  AddHorizontalPostCompose, for IsCapCategory, IsFunction  5.2-6  AddHorizontalPreCompose, for IsCapCategory, IsFunction  5.2-4  AddIdentityMorphism, for IsCapCategory, IsFunction  3.7-2  AddIdentityTwoCell, for IsCapCategory, IsFunction  5.2-2  AddImageEmbedding, for IsCapCategory, IsFunction  6.11-13  AddImageEmbeddingWithGivenImageObject, for IsCapCategory, IsFunction  6.11-14  AddImageObject, for IsCapCategory, IsFunction  6.11-12  AddInitialObject, for IsCapCategory, IsFunction  6.5-5  AddInitialObjectFunctorial, for IsCapCategory, IsFunction  6.5-9  AddInjectionOfCofactorOfCoproduct, for IsCapCategory, IsFunction  6.7-12  AddInjectionOfCofactorOfCoproductWithGivenCoproduct, for IsCapCategory, IsFunction  6.7-13  AddInjectionOfCofactorOfDirectSum, for IsCapCategory, IsFunction  6.6-26  AddInjectionOfCofactorOfDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction  6.6-27  AddInjectionOfCofactorOfPushout, for IsCapCategory, IsFunction  6.10-23  AddInjectionOfCofactorOfPushoutWithGivenPushout, for IsCapCategory, IsFunction  6.10-24  AddInternalHomOnMorphismsWithGivenInternalHoms, for IsCapCategory, IsFunction  7.4-5  AddInternalHomOnObjects, for IsCapCategory, IsFunction  7.4-2  AddInternalHomToTensorProductAdjunctionMap, for IsCapCategory, IsFunction  7.4-15  AddInverse, for IsCapCategory, IsFunction  3.11-1  AddInverseMorphismFromCoimageToImageWithGivenObjects, for IsCapCategory, IsFunction  6.12-6  AddIsAutomorphism, for IsCapCategory, IsFunction  3.3-6  AddIsCodominating, for IsCapCategory, IsFunction  3.6-8  AddIsCongruentForMorphisms, for IsCapCategory, IsFunction  3.4-2  AddIsDominating, for IsCapCategory, IsFunction  3.6-6  AddIsEndomorphism, for IsCapCategory, IsFunction  3.3-5  AddIsEpimorphism, for IsCapCategory, IsFunction  3.2-2  AddIsEqualAsFactorobjects, for IsCapCategory, IsFunction  3.6-4  AddIsEqualAsSubobjects, for IsCapCategory, IsFunction  3.6-2  AddIsEqualForCacheForMorphisms, for IsCapCategory, IsFunction  3.12-2  AddIsEqualForCacheForObjects, for IsCapCategory, IsFunction  4.4-2  AddIsEqualForMorphisms, for IsCapCategory, IsFunction  3.4-4  AddIsEqualForMorphismsOnMor, for IsCapCategory, IsFunction  3.4-6  AddIsEqualForObjects, for IsCapCategory, IsFunction  4.2-2  AddIsIdempotent, for IsCapCategory, IsFunction  3.2-7  AddIsIdenticalToIdentityMorphism, for IsCapCategory, IsFunction  3.3-2  AddIsIdenticalToZeroMorphism, for IsCapCategory, IsFunction  3.3-4  AddIsInitial, for IsCapCategory, IsFunction  4.3-4  AddIsInjective, for IsCapCategory, IsFunction  4.3-2  AddIsIsomorphism, for IsCapCategory, IsFunction  3.2-3  AddIsMonomorphism, for IsCapCategory, IsFunction  3.2-1  AddIsomorphismFromCoimageToCokernelOfKernel, for IsCapCategory, IsFunction  6.12-8  AddIsomorphismFromCokernelOfDiagonalDifferenceToPushout, for IsCapCategory, IsFunction  6.10-6  AddIsomorphismFromCokernelOfKernelToCoimage, for IsCapCategory, IsFunction  6.12-10  AddIsomorphismFromCoproductToDirectSum, for IsCapCategory, IsFunction  6.6-35  AddIsomorphismFromDirectProductToDirectSum, for IsCapCategory, IsFunction  6.6-33  AddIsomorphismFromDirectSumToCoproduct, for IsCapCategory, IsFunction  6.6-34  AddIsomorphismFromDirectSumToDirectProduct, for IsCapCategory, IsFunction  6.6-32  AddIsomorphismFromDualToInternalHom, for IsCapCategory, IsFunction  7.4-57  AddIsomorphismFromFiberProductToKernelOfDiagonalDifference, for IsCapCategory, IsFunction  6.9-3  AddIsomorphismFromImageObjectToKernelOfCokernel, for IsCapCategory, IsFunction  6.11-2  AddIsomorphismFromInitialObjectToZeroObject, for IsCapCategory, IsFunction  6.3-19  AddIsomorphismFromInternalHomToDual, for IsCapCategory, IsFunction  7.4-59  AddIsomorphismFromInternalHomToObjectWithGivenInternalHom, for IsCapCategory, IsFunction  7.4-71  AddIsomorphismFromInternalHomToTensorProduct, for IsCapCategory, IsFunction  7.4-51  AddIsomorphismFromKernelOfCokernelToImageObject, for IsCapCategory, IsFunction  6.11-4  AddIsomorphismFromKernelOfDiagonalDifferenceToFiberProduct, for IsCapCategory, IsFunction  6.9-6  AddIsomorphismFromObjectToInternalHomWithGivenInternalHom, for IsCapCategory, IsFunction  7.4-68  AddIsomorphismFromPushoutToCokernelOfDiagonalDifference, for IsCapCategory, IsFunction  6.10-3  AddIsomorphismFromTensorProductToInternalHom, for IsCapCategory, IsFunction  7.4-46  AddIsomorphismFromTerminalObjectToZeroObject, for IsCapCategory, IsFunction  6.3-21  AddIsomorphismFromZeroObjectToInitialObject, for IsCapCategory, IsFunction  6.3-18  AddIsomorphismFromZeroObjectToTerminalObject, for IsCapCategory, IsFunction  6.3-20  AddIsOne, for IsCapCategory, IsFunction  3.2-6  AddIsProjective, for IsCapCategory, IsFunction  4.3-1  AddIsSplitEpimorphism, for IsCapCategory, IsFunction  3.2-5  AddIsSplitMonomorphism, for IsCapCategory, IsFunction  3.2-4  AddIsTerminal, for IsCapCategory, IsFunction  4.3-3  AddIsWellDefinedForMorphisms, for IsCapCategory, IsFunction  3.8-2  AddIsWellDefinedForObjects, for IsCapCategory, IsFunction  4.5-2  AddIsWellDefinedForTwoCells, for IsCapCategory, IsFunction  5.3-2  AddIsZeroForMorphisms, for IsCapCategory, IsFunction  3.5-2  AddIsZeroForObjects, for IsCapCategory, IsFunction  4.3-6  AdditionForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.5-3  AdditiveInverseForMorphisms, for IsCapCategoryMorphism  3.5-5  AddKernelEmbedding, for IsCapCategory, IsFunction  6.1-7  AddKernelEmbeddingWithGivenKernelObject, for IsCapCategory, IsFunction  6.1-8  AddKernelLift, for IsCapCategory, IsFunction  6.1-9  AddKernelLiftWithGivenKernelObject, for IsCapCategory, IsFunction  6.1-10  AddKernelObject, for IsCapCategory, IsFunction  6.1-6  AddKernelObjectFunctorialWithGivenKernelObjects, for IsCapCategory, IsFunction  6.1-14  AddLambdaElimination, for IsCapCategory, IsFunction  7.4-65  AddLambdaIntroduction, for IsCapCategory, IsFunction  7.4-63  AddLeftDistributivityExpandingWithGivenObjects, for IsCapCategory, IsFunction  7.1-28  AddLeftDistributivityFactoringWithGivenObjects, for IsCapCategory, IsFunction  7.1-31  AddLeftUnitorInverseWithGivenTensorProduct, for IsCapCategory, IsFunction  7.1-19  AddLeftUnitorWithGivenTensorProduct, for IsCapCategory, IsFunction  7.1-16  AddLift, for IsCapCategory, IsFunction  3.10-2  AddLiftAlongMonomorphism, for IsCapCategory, IsFunction  3.9-2  AddMonoidalPostComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction  7.4-21  AddMonoidalPreComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction  7.4-18  AddMorphismFromBidualWithGivenBidual, for IsCapCategory, IsFunction  7.5-6  AddMorphismFromCoimageToImageWithGivenObjects, for IsCapCategory, IsFunction  6.12-3  AddMorphismFromInternalHomToTensorProductWithGivenObjects, for IsCapCategory, IsFunction  7.4-49  AddMorphismFromTensorProductToInternalHomWithGivenObjects, for IsCapCategory, IsFunction  7.4-44  AddMorphismFunction, for IsCapFunctor, IsFunction  2.4-4  AddMorphismToBidualWithGivenBidual, for IsCapCategory, IsFunction  7.4-35  AddNaturalTransformationFunction, for IsCapNaturalTransformation, IsFunction  2.5-3  AddObjectFunction, for IsCapFunctor, IsFunction  2.4-2  AddOperationsToDerivationGraph, for IsDerivedMethodGraph, IsDenseList  8.3-3  AddPostCompose, for IsCapCategory, IsFunction  3.7-8  AddPreCompose, for IsCapCategory, IsFunction  3.7-5  AddPrimitiveOperation, for IsOperationWeightList, IsString, IsInt  8.4-10  AddProjectionInFactorOfDirectProduct, for IsCapCategory, IsFunction  6.8-9  AddProjectionInFactorOfDirectProductWithGivenDirectProduct, for IsCapCategory, IsFunction  6.8-10  AddProjectionInFactorOfDirectSum, for IsCapCategory, IsFunction  6.6-24  AddProjectionInFactorOfDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction  6.6-25  AddProjectionInFactorOfFiberProduct, for IsCapCategory, IsFunction  6.9-22  AddProjectionInFactorOfFiberProductWithGivenFiberProduct, for IsCapCategory, IsFunction  6.9-23  AddPushout, for IsCapCategory, IsFunction  6.10-22  AddPushoutFunctorialWithGivenPushouts, for IsCapCategory, IsFunction  6.10-29  AddRankMorphism, for IsCapCategory, IsFunction  7.4-55  AddRightDistributivityExpandingWithGivenObjects, for IsCapCategory, IsFunction  7.1-34  AddRightDistributivityFactoringWithGivenObjects, for IsCapCategory, IsFunction  7.1-37  AddRightUnitorInverseWithGivenTensorProduct, for IsCapCategory, IsFunction  7.1-25  AddRightUnitorWithGivenTensorProduct, for IsCapCategory, IsFunction  7.1-22  AddTensorProductDualityCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction  7.4-41  AddTensorProductInternalHomCompatibilityMorphismInverseWithGivenObjects, for IsCapCategory, IsFunction  7.5-3  AddTensorProductInternalHomCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction  7.4-38  AddTensorProductOnMorphismsWithGivenTensorProducts, for IsCapCategory, IsFunction  7.1-5  AddTensorProductOnObjects, for IsCapCategory, IsFunction  7.1-2  AddTensorProductToInternalHomAdjunctionMap, for IsCapCategory, IsFunction  7.4-13  AddTensorUnit, for IsCapCategory, IsFunction  7.1-13  AddTerminalObject, for IsCapCategory, IsFunction  6.4-5  AddTerminalObjectFunctorial, for IsCapCategory, IsFunction  6.4-9  AddTraceMap, for IsCapCategory, IsFunction  7.4-53  AddUniversalMorphismFromCoproduct, for IsCapCategory, IsFunction  6.7-14  AddUniversalMorphismFromCoproductWithGivenCoproduct, for IsCapCategory, IsFunction  6.7-15  AddUniversalMorphismFromDirectSum, for IsCapCategory, IsFunction  6.6-30  AddUniversalMorphismFromDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction  6.6-31  AddUniversalMorphismFromImage, for IsCapCategory, IsFunction  6.11-17  AddUniversalMorphismFromImageWithGivenImageObject, for IsCapCategory, IsFunction  6.11-18  AddUniversalMorphismFromInitialObject, for IsCapCategory, IsFunction  6.5-6  AddUniversalMorphismFromInitialObjectWithGivenInitialObject, for IsCapCategory, IsFunction  6.5-7  AddUniversalMorphismFromPushout, for IsCapCategory, IsFunction  6.10-25  AddUniversalMorphismFromPushoutWithGivenPushout, for IsCapCategory, IsFunction  6.10-26  AddUniversalMorphismFromZeroObject, for IsCapCategory, IsFunction  6.3-16  AddUniversalMorphismFromZeroObjectWithGivenZeroObject, for IsCapCategory, IsFunction  6.3-17  AddUniversalMorphismIntoCoimage, for IsCapCategory, IsFunction  6.12-25  AddUniversalMorphismIntoCoimageWithGivenCoimage, for IsCapCategory, IsFunction  6.12-26  AddUniversalMorphismIntoDirectProduct, for IsCapCategory, IsFunction  6.8-11  AddUniversalMorphismIntoDirectProductWithGivenDirectProduct, for IsCapCategory, IsFunction  6.8-12  AddUniversalMorphismIntoDirectSum, for IsCapCategory, IsFunction  6.6-28  AddUniversalMorphismIntoDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction  6.6-29  AddUniversalMorphismIntoFiberProduct, for IsCapCategory, IsFunction  6.9-24  AddUniversalMorphismIntoFiberProductWithGivenFiberProduct, for IsCapCategory, IsFunction  6.9-25  AddUniversalMorphismIntoTerminalObject, for IsCapCategory, IsFunction  6.4-6  AddUniversalMorphismIntoTerminalObjectWithGivenTerminalObject, for IsCapCategory, IsFunction  6.4-7  AddUniversalMorphismIntoZeroObject, for IsCapCategory, IsFunction  6.3-14  AddUniversalMorphismIntoZeroObjectWithGivenZeroObject, for IsCapCategory, IsFunction  6.3-15  AddUniversalPropertyOfDual, for IsCapCategory, IsFunction  7.4-61  AddVerticalPostCompose, for IsCapCategory, IsFunction  5.2-10  AddVerticalPreCompose, for IsCapCategory, IsFunction  5.2-8  AddWithGivenDerivationPairToCAP  8.3-14  AddZeroMorphism, for IsCapCategory, IsFunction  3.5-8  AddZeroObject, for IsCapCategory, IsFunction  6.3-13  AddZeroObjectFunctorial, for IsCapCategory, IsFunction  6.3-23  ApplyFunctor  2.4-6  ApplyNaturalTransformation  2.5-4  AsCapCategory, for IsCapCategoryAsCatObject  2.3-2  AsCatObject, for IsCapCategory  2.3-1  AssociatorLeftToRight, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.1-9  AssociatorLeftToRightWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.1-10  AssociatorRightToLeft, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.1-6  AssociatorRightToLeftWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.1-7  AstrictionToCoimage, for IsCapCategoryMorphism  6.12-16  AstrictionToCoimageWithGivenCoimage, for IsCapCategoryMorphism, IsCapCategoryObject  6.12-17  Braiding, for IsCapCategoryObject, IsCapCategoryObject  7.2-1  BraidingInverse, for IsCapCategoryObject, IsCapCategoryObject  7.2-4  BraidingInverseWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.2-5  BraidingWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.2-2  CanCompute, for IsCapCategory, IsString  1.5-1  CAP_INTERNAL_FIND_APPEARANCE_OF_SYMBOL_IN_FUNCTION  10.2-8  CAP_INTERNAL_MERGE_FILTER_LISTS  10.2-6  CAP_INTERNAL_MERGE_PRECONDITIONS_LIST  10.2-9  CAP_INTERNAL_REPLACE_STRINGS_WITH_FILTERS  10.2-5  CAP_INTERNAL_RETURN_OPTION_OR_DEFAULT  10.2-7  CapCat  2.1-1  CapCategory, for IsCapCategoryMorphism  3.1-1  CapCategorySwitchLogicOff  1.4-2  CapCategorySwitchLogicOn  1.4-1  CapFunctor, for IsString, IsCapCategory, IsCapCategory  2.4-1  CategoryFilter, for IsCapCategory  1.3-1  CategoryOfOperationWeightList, for IsOperationWeightList  8.4-4  CellFilter, for IsCapCategory  1.3-2  CheckConstructivenessOfCategory, for IsCapCategory, IsString  1.5-2  CoastrictionToImage, for IsCapCategoryMorphism  6.11-8  CoastrictionToImageWithGivenImageObject, for IsCapCategoryMorphism, IsCapCategoryObject  6.11-9  CoevaluationForDual, for IsCapCategoryObject  7.4-30  CoevaluationForDualWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.4-31  CoevaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject  7.4-9  CoevaluationMorphismWithGivenRange, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.4-10  Coimage, for IsCapCategoryMorphism  6.12-11  CoimageProjection, for IsCapCategoryMorphism  6.12-13  CoimageProjectionWithGivenCoimage, for IsCapCategoryMorphism, IsCapCategoryObject  6.12-14  CokernelColift, for IsCapCategoryMorphism, IsCapCategoryMorphism  6.2-4  CokernelColiftWithGivenCokernelObject, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject  6.2-5  CokernelObject, for IsCapCategoryMorphism  6.2-1  CokernelObjectFunctorial, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism  6.2-12  CokernelObjectFunctorialWithGivenCokernelObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryObject  6.2-13  CokernelProjection, for IsCapCategoryMorphism  6.2-2  CokernelProjectionWithGivenCokernelObject, for IsCapCategoryMorphism, IsCapCategoryObject  6.2-3  Colift, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.10-3  ColiftAlongEpimorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.9-3  Contains, for IsStringMinHeap, IsString  8.5-8  Coproduct, for IsCapCategoryObject, IsCapCategoryObject  6.7-2  CoproductFunctorial, for IsList  6.7-16  CoproductFunctorialWithGivenCoproducts, for IsCapCategoryObject, IsList, IsCapCategoryObject  6.7-17  CoproductOp, for IsList, IsCapCategoryObject  6.7-4  CreateCapCategory  1.2-1  CurrentOperationWeight, for IsOperationWeightList, IsString  8.4-5  DeactivateDerivationInfo  8.1-3  DeclareAttributeWithToDoForIsWellDefined  10.2-3  DeclareFamilyProperty  10.2-4  DecreaseKey, for IsStringMinHeap, IsString, IsInt  8.5-5  DerivationFunctionsWithExtraFilters, for IsDerivedMethod  8.2-5  DerivationGraph, for IsOperationWeightList  8.4-3  DerivationInfo  8.1-1  DerivationName, for IsDerivedMethod  8.2-3  DerivationOfOperation, for IsOperationWeightList, IsString  8.4-7  DerivationResultWeight, for IsDerivedMethod, IsDenseList  8.2-13  DerivationsOfOperation, for IsDerivedMethodGraph, IsString  8.3-17  DerivationsUsingOperation, for IsDerivedMethodGraph, IsString  8.3-16  DerivationWeight, for IsDerivedMethod  8.2-4  DirectProductFunctorial, for IsList  6.8-13  DirectProductFunctorialWithGivenDirectProducts, for IsCapCategoryObject, IsList, IsCapCategoryObject  6.8-14  DirectProductOp, for IsList, IsCapCategoryObject  6.8-1  DirectSumCodiagonalDifference, for IsList  6.10-7  DirectSumCodiagonalDifferenceOp, for IsList, IsCapCategoryMorphism  6.10-8  DirectSumDiagonalDifference, for IsList  6.9-7  DirectSumDiagonalDifferenceOp, for IsList, IsCapCategoryMorphism  6.9-8  DirectSumFunctorial, for IsList  6.6-37  DirectSumFunctorialWithGivenDirectSums, for IsCapCategoryObject, IsList, IsCapCategoryObject  6.6-38  DirectSumOp, for IsList, IsCapCategoryObject  6.6-1  DirectSumProjectionInPushout, for IsList  6.10-10  DirectSumProjectionInPushoutOp, for IsList, IsCapCategoryMorphism  6.10-11  DisableBasicOperationTypeCheck  1.7-1  DualOnMorphisms, for IsCapCategoryMorphism  7.4-24  DualOnMorphismsWithGivenDuals, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject  7.4-25  DualOnObjects, for IsCapCategoryObject  7.4-22  EnableBasicOperationTypeCheck  1.7-1  EvaluationForDual, for IsCapCategoryObject  7.4-27  EvaluationForDualWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.4-28  EvaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject  7.4-6  EvaluationMorphismWithGivenSource, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.4-7  ExtractMin, for IsStringMinHeap  8.5-4  FiberProduct  6.9-13  FiberProductEmbeddingInDirectSum, for IsList  6.9-10  FiberProductEmbeddingInDirectSumOp, for IsList, IsCapCategoryMorphism  6.9-11  FiberProductFunctorial, for IsList  6.9-26  FiberProductFunctorialWithGivenFiberProducts, for IsCapCategoryObject, IsList, IsCapCategoryObject  6.9-27  FiberProductOp, for IsList, IsCapCategoryMorphism  6.9-14  FunctorCanonicalizeZeroMorphisms, for IsCapCategory  2.4-11  FunctorCanonicalizeZeroObjects, for IsCapCategory  2.4-9  FunctorMorphismOperation, for IsCapFunctor  2.4-5  FunctorObjectOperation, for IsCapFunctor  2.4-3  Heapify, for IsStringMinHeap, IsPosInt  8.5-10  HeapSize, for IsStringMinHeap  8.5-7  HorizontalPostCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell  5.2-5  HorizontalPreCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell  5.2-3  HorizontalPreComposeFunctorWithNaturalTransformation, for IsCapFunctor, IsCapNaturalTransformation  2.5-7  HorizontalPreComposeNaturalTransformationWithFunctor, for IsCapNaturalTransformation, IsCapFunctor  2.5-6  IdentityFunctor, for IsCapCategory  2.4-8  IdentityMorphism, for IsCapCategoryObject  3.7-1  IdentityTwoCell, for IsCapCategoryMorphism  5.2-1  ImageEmbedding, for IsCapCategoryMorphism  6.11-6  ImageEmbeddingWithGivenImageObject, for IsCapCategoryMorphism, IsCapCategoryObject  6.11-7  ImageObject, for IsCapCategoryMorphism  6.11-5  InitialObject, for IsCapCategory  6.5-1  InitialObjectFunctorial, for IsCapCategory  6.5-8  InjectionOfCofactorOfCoproduct, for IsList, IsInt  6.7-5  InjectionOfCofactorOfCoproductOp, for IsList, IsInt, IsCapCategoryObject  6.7-6  InjectionOfCofactorOfCoproductWithGivenCoproduct, for IsList, IsInt, IsCapCategoryObject  6.7-7  InjectionOfCofactorOfDirectSum, for IsList, IsInt  6.6-5  InjectionOfCofactorOfDirectSumOp, for IsList, IsInt, IsCapCategoryObject  6.6-6  InjectionOfCofactorOfDirectSumWithGivenDirectSum, for IsList, IsInt, IsCapCategoryObject  6.6-7  InjectionOfCofactorOfPushout, for IsList, IsInt  6.10-16  InjectionOfCofactorOfPushoutOp, for IsList, IsInt, IsCapCategoryMorphism  6.10-17  InjectionOfCofactorOfPushoutWithGivenPushout, for IsList, IsInt, IsCapCategoryObject  6.10-18  InstallDerivationForCategory, for IsDerivedMethod, IsPosInt, IsCapCategory  8.2-12  InstallDerivationsUsingOperation, for IsOperationWeightList, IsString  8.4-8  InstallFunctor, for IsCapFunctor, IsString  2.4-7  InstallMethodWithToDoForIsWellDefined  10.2-1  InstallNaturalTransformation, for IsCapNaturalTransformation, IsString  2.5-5  InstallSetWithToDoForIsWellDefined, for IsObject, IsString, IsList  10.2-2  InternalHomOnMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism  7.4-3  InternalHomOnMorphismsWithGivenInternalHoms, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject  7.4-4  InternalHomOnObjects, for IsCapCategoryObject, IsCapCategoryObject  7.4-1  InternalHomToTensorProductAdjunctionMap, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism  7.4-14  InverseMorphismFromCoimageToImage, for IsCapCategoryMorphism  6.12-4  InverseMorphismFromCoimageToImageWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject  6.12-5  IsApplicableToCategory, for IsDerivedMethod, IsCapCategory  8.2-7  IsCapCategory, for IsObject  1.1-1  IsCapCategoryAsCatObject, for IsCapCategoryObject  2.2-1  IsCapCategoryCell, for IsObject  1.1-2  IsCapCategoryMorphism, for IsCapCategoryCell  1.1-4  IsCapCategoryObject, for IsCapCategoryCell  1.1-3  IsCapCategoryTwoCell, for IsCapCategoryCell  1.1-5  IsCapFunctor, for IsCapCategoryMorphism  2.2-2  IsCapNaturalTransformation, for IsCapCategoryTwoCell  2.2-3  IsCodominating, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.6-7  IsCongruentForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.4-1  IsDerivedMethod, for IsObject  8.2-1  IsDerivedMethodGraph, for IsObject  8.3-1  IsDominating, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.6-5  IsEmptyHeap, for IsStringMinHeap  8.5-6  IsEqualAsFactorobjects, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.6-3  IsEqualAsSubobjects, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.6-1  IsEqualForCacheForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.12-1  IsEqualForCacheForObjects, for IsCapCategoryObject, IsCapCategoryObject  4.4-1  IsEqualForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.4-3  IsEqualForMorphismsOnMor, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.4-5  IsEqualForObjects, for IsCapCategoryObject, IsCapCategoryObject  4.2-1  IsIdenticalToIdentityMorphism, for IsCapCategoryMorphism  3.3-1  IsIdenticalToZeroMorphism, for IsCapCategoryMorphism  3.3-3  IsomorphismFromCoimageToCokernelOfKernel, for IsCapCategoryMorphism  6.12-7  IsomorphismFromCokernelOfDiagonalDifferenceToPushout, for IsList  6.10-4  IsomorphismFromCokernelOfDiagonalDifferenceToPushoutOp, for IsList, IsCapCategoryMorphism  6.10-5  IsomorphismFromCokernelOfKernelToCoimage, for IsCapCategoryMorphism  6.12-9  IsomorphismFromCoproductToDirectSum, for IsList  6.6-20  IsomorphismFromCoproductToDirectSumOp, for IsList, IsCapCategoryObject  6.6-21  IsomorphismFromDirectProductToDirectSum, for IsList  6.6-16  IsomorphismFromDirectProductToDirectSumOp, for IsList, IsCapCategoryObject  6.6-17  IsomorphismFromDirectSumToCoproduct, for IsList  6.6-18  IsomorphismFromDirectSumToCoproductOp, for IsList, IsCapCategoryObject  6.6-19  IsomorphismFromDirectSumToDirectProduct, for IsList  6.6-14  IsomorphismFromDirectSumToDirectProductOp, for IsList, IsCapCategoryObject  6.6-15  IsomorphismFromDualToInternalHom, for IsCapCategoryObject  7.4-56  IsomorphismFromFiberProductToKernelOfDiagonalDifference, for IsList  6.9-1  IsomorphismFromFiberProductToKernelOfDiagonalDifferenceOp, for IsList, IsCapCategoryMorphism  6.9-2  IsomorphismFromImageObjectToKernelOfCokernel, for IsCapCategoryMorphism  6.11-1  IsomorphismFromInitialObjectToZeroObject, for IsCapCategory  6.3-10  IsomorphismFromInternalHomToDual, for IsCapCategoryObject  7.4-58  IsomorphismFromInternalHomToObject, for IsCapCategoryObject  7.4-69  IsomorphismFromInternalHomToObjectWithGivenInternalHom, for IsCapCategoryObject, IsCapCategoryObject  7.4-70  IsomorphismFromInternalHomToTensorProduct, for IsCapCategoryObject, IsCapCategoryObject  7.4-50  IsomorphismFromKernelOfCokernelToImageObject, for IsCapCategoryMorphism  6.11-3  IsomorphismFromKernelOfDiagonalDifferenceToFiberProduct, for IsList  6.9-4  IsomorphismFromKernelOfDiagonalDifferenceToFiberProductOp, for IsList, IsCapCategoryMorphism  6.9-5  IsomorphismFromObjectToInternalHom, for IsCapCategoryObject  7.4-66  IsomorphismFromObjectToInternalHomWithGivenInternalHom, for IsCapCategoryObject, IsCapCategoryObject  7.4-67  IsomorphismFromPushoutToCokernelOfDiagonalDifference, for IsList  6.10-1  IsomorphismFromPushoutToCokernelOfDiagonalDifferenceOp, for IsList, IsCapCategoryMorphism  6.10-2  IsomorphismFromTensorProductToInternalHom, for IsCapCategoryObject, IsCapCategoryObject  7.4-45  IsomorphismFromTerminalObjectToZeroObject, for IsCapCategory  6.3-12  IsomorphismFromZeroObjectToInitialObject, for IsCapCategory  6.3-9  IsomorphismFromZeroObjectToTerminalObject, for IsCapCategory  6.3-11  IsOperationWeightList, for IsObject  8.4-1  IsStringMinHeap, for IsObject  8.5-1  IsWellDefined, for IsCapCategoryCell  1.6-1  IsWellDefinedForMorphisms, for IsCapCategoryMorphism  3.8-1  IsWellDefinedForObjects, for IsCapCategoryObject  4.5-1  IsWellDefinedForTwoCells, for IsCapCategoryTwoCell  5.3-1  IsZeroForMorphisms, for IsCapCategoryMorphism  3.5-1  IsZeroForObjects, for IsCapCategoryObject  4.3-5  KernelEmbedding, for IsCapCategoryMorphism  6.1-2  KernelEmbeddingWithGivenKernelObject, for IsCapCategoryMorphism, IsCapCategoryObject  6.1-3  KernelLift, for IsCapCategoryMorphism, IsCapCategoryMorphism  6.1-4  KernelLiftWithGivenKernelObject, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject  6.1-5  KernelObject, for IsCapCategoryMorphism  6.1-1  KernelObjectFunctorial, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism  6.1-12  KernelObjectFunctorialWithGivenKernelObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryObject  6.1-13  LambdaElimination, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism  7.4-64  LambdaIntroduction, for IsCapCategoryMorphism  7.4-62  LeftDistributivityExpanding, for IsCapCategoryObject, IsList  7.1-26  LeftDistributivityExpandingWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsList, IsCapCategoryObject  7.1-27  LeftDistributivityFactoring, for IsCapCategoryObject, IsList  7.1-29  LeftDistributivityFactoringWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsList, IsCapCategoryObject  7.1-30  LeftUnitor, for IsCapCategoryObject  7.1-14  LeftUnitorInverse, for IsCapCategoryObject  7.1-17  LeftUnitorInverseWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject  7.1-18  LeftUnitorWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject  7.1-15  Lift, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.10-1  LiftAlongMonomorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.9-1  MakeDerivation, for IsString, IsFunction, IsDenseList,IsPosInt, IsDenseList, IsFunction  8.2-2  MakeDerivationGraph, for IsDenseList  8.3-2  MakeOperationWeightList, for IsCapCategory, IsDerivedMethodGraph  8.4-2  MonoidalPostComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.4-19  MonoidalPostComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.4-20  MonoidalPreComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.4-16  MonoidalPreComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.4-17  MorphismBetweenDirectSums, for IsCapCategoryObject, IsList, IsCapCategoryObject  6.6-22  MorphismBetweenDirectSumsOp, for IsList, IsInt, IsInt, IsCapCategoryMorphism  6.6-23  MorphismCache, for IsCapFunctor  10.1-2  MorphismFilter, for IsCapCategory  1.3-4  MorphismFromBidual, for IsCapCategoryObject  7.5-4  MorphismFromBidualWithGivenBidual, for IsCapCategoryObject, IsCapCategoryObject  7.5-5  MorphismFromCoimageToImage, for IsCapCategoryMorphism  6.12-1  MorphismFromCoimageToImageWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject  6.12-2  MorphismFromInternalHomToTensorProduct, for IsCapCategoryObject, IsCapCategoryObject  7.4-47  MorphismFromInternalHomToTensorProductWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.4-48  MorphismFromTensorProductToInternalHom, for IsCapCategoryObject, IsCapCategoryObject  7.4-42  MorphismFromTensorProductToInternalHomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.4-43  MorphismFromZeroObject, for IsCapCategoryObject  6.3-3  MorphismIntoZeroObject, for IsCapCategoryObject  6.3-4  MorphismToBidual, for IsCapCategoryObject  7.4-33  MorphismToBidualWithGivenBidual, for IsCapCategoryObject, IsCapCategoryObject  7.4-34  Name, for IsCapNaturalTransformation  2.5-1  NaturalIsomorophismFromIdentityToCanonicalizeZeroMorphisms, for IsCapCategory  2.4-12  NaturalIsomorophismFromIdentityToCanonicalizeZeroObjects, for IsCapCategory  2.4-10  NaturalTransformation, for IsCapFunctor, IsCapFunctor  2.5-2  ObjectCache, for IsCapFunctor  10.1-1  ObjectFilter, for IsCapCategory  1.3-3  Operations, for IsDerivedMethodGraph  8.3-15  OperationWeightUsingDerivation, for IsOperationWeightList, IsDerivedMethod  8.4-6  PostCompose, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.7-6  PreCompose, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.7-3  PrintDerivationTree, for IsOperationWeightList, IsString  8.4-11  PrintTree, for IsObject, IsFunction, IsFunction  8.4-12  PrintTreeRec, for IsObject, IsFunction, IsFunction, IsInt  8.4-13  ProjectionInFactorOfDirectProduct, for IsList, IsInt  6.8-2  ProjectionInFactorOfDirectProductOp, for IsList, IsInt, IsCapCategoryObject  6.8-3  ProjectionInFactorOfDirectProductWithGivenDirectProduct, for IsList, IsInt, IsCapCategoryObject  6.8-4  ProjectionInFactorOfDirectSum, for IsList, IsInt  6.6-2  ProjectionInFactorOfDirectSumOp, for IsList, IsInt, IsCapCategoryObject  6.6-3  ProjectionInFactorOfDirectSumWithGivenDirectSum, for IsList, IsInt, IsCapCategoryObject  6.6-4  ProjectionInFactorOfFiberProduct, for IsList, IsInt  6.9-15  ProjectionInFactorOfFiberProductOp, for IsList, IsInt, IsCapCategoryMorphism  6.9-16  ProjectionInFactorOfFiberProductWithGivenFiberProduct, for IsList, IsInt, IsCapCategoryObject  6.9-17  Pushout, for IsCapCategoryMorphism, IsCapCategoryMorphism  6.10-14  PushoutFunctorial, for IsList  6.10-27  PushoutFunctorialWithGivenPushouts, for IsCapCategoryObject, IsList, IsCapCategoryObject  6.10-28  PushoutOp, for IsList, IsCapCategoryMorphism  6.10-15  Range, for IsCapCategoryMorphism  3.1-3  RankMorphism, for IsCapCategoryObject  7.4-54  Reevaluate, for IsOperationWeightList  8.4-9  RightDistributivityExpanding, for IsList, IsCapCategoryObject  7.1-32  RightDistributivityExpandingWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryObject  7.1-33  RightDistributivityFactoring, for IsList, IsCapCategoryObject  7.1-35  RightDistributivityFactoringWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryObject  7.1-36  RightUnitor, for IsCapCategoryObject  7.1-20  RightUnitorInverse, for IsCapCategoryObject  7.1-23  RightUnitorInverseWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject  7.1-24  RightUnitorWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject  7.1-21  Source, for IsCapCategoryMorphism  3.1-2  StringMinHeap  8.5-2  Swap, for IsStringMinHeap, IsPosInt, IsPosInt  8.5-9  TargetOperation, for IsDerivedMethod  8.2-8  TensorProductDualityCompatibilityMorphism, for IsCapCategoryObject, IsCapCategoryObject  7.4-39  TensorProductDualityCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.4-40  TensorProductInternalHomCompatibilityMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.4-36  TensorProductInternalHomCompatibilityMorphismInverse, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.5-1  TensorProductInternalHomCompatibilityMorphismInverseWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsList  7.5-2  TensorProductInternalHomCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsList  7.4-37  TensorProductOnMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism  7.1-3  TensorProductOnMorphismsWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject  7.1-4  TensorProductOnObjects, for IsCapCategoryObject, IsCapCategoryObject  7.1-1  TensorProductToInternalHomAdjunctionMap, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism  7.4-12  TensorUnit, for IsCapCategory  7.1-12  TerminalObject, for IsCapCategory  6.4-1  TerminalObjectFunctorial, for IsCapCategory  6.4-8  TraceMap, for IsCapCategoryMorphism  7.4-52  TwoCellFilter, for IsCapCategory  1.3-5  UniversalMorphismFromCoproduct  6.7-8  UniversalMorphismFromCoproductOp, for IsList, IsList, IsCapCategoryObject  6.7-9  UniversalMorphismFromCoproductWithGivenCoproduct, for IsList, IsList, IsCapCategoryObject  6.7-10  UniversalMorphismFromDirectSum  6.6-11  UniversalMorphismFromDirectSumOp, for IsList, IsList, IsCapCategoryObject  6.6-12  UniversalMorphismFromDirectSumWithGivenDirectSum, for IsList, IsList, IsCapCategoryObject  6.6-13  UniversalMorphismFromImage, for IsCapCategoryMorphism, IsList  6.11-10  UniversalMorphismFromImageWithGivenImageObject, for IsCapCategoryMorphism, IsList, IsCapCategoryObject  6.11-11  UniversalMorphismFromInitialObject, for IsCapCategoryObject  6.5-3  UniversalMorphismFromInitialObjectWithGivenInitialObject, for IsCapCategoryObject, IsCapCategoryObject  6.5-4  UniversalMorphismFromPushout  6.10-19  UniversalMorphismFromPushoutOp, for IsList, IsList, IsCapCategoryMorphism  6.10-20  UniversalMorphismFromPushoutWithGivenPushout, for IsList, IsList, IsCapCategoryObject  6.10-21  UniversalMorphismFromZeroObject, for IsCapCategoryObject  6.3-5  UniversalMorphismFromZeroObjectWithGivenZeroObject, for IsCapCategoryObject, IsCapCategoryObject  6.3-6  UniversalMorphismIntoCoimage, for IsCapCategoryMorphism, IsList  6.12-18  UniversalMorphismIntoCoimageWithGivenCoimage, for IsCapCategoryMorphism, IsList, IsCapCategoryObject  6.12-19  UniversalMorphismIntoDirectProduct  6.8-5  UniversalMorphismIntoDirectProductOp, for IsList, IsList, IsCapCategoryObject  6.8-6  UniversalMorphismIntoDirectProductWithGivenDirectProduct, for IsList, IsList, IsCapCategoryObject  6.8-7  UniversalMorphismIntoDirectSum  6.6-8  UniversalMorphismIntoDirectSumOp, for IsList, IsList, IsCapCategoryObject  6.6-9  UniversalMorphismIntoDirectSumWithGivenDirectSum, for IsList, IsList, IsCapCategoryObject  6.6-10  UniversalMorphismIntoFiberProduct  6.9-18  UniversalMorphismIntoFiberProductOp, for IsList, IsList, IsCapCategoryMorphism  6.9-19  UniversalMorphismIntoFiberProductWithGivenFiberProduct, for IsList, IsList, IsCapCategoryObject  6.9-20  UniversalMorphismIntoTerminalObject, for IsCapCategoryObject  6.4-3  UniversalMorphismIntoTerminalObjectWithGivenTerminalObject, for IsCapCategoryObject, IsCapCategoryObject  6.4-4  UniversalMorphismIntoZeroObject, for IsCapCategoryObject  6.3-7  UniversalMorphismIntoZeroObjectWithGivenZeroObject, for IsCapCategoryObject, IsCapCategoryObject  6.3-8  UniversalPropertyOfDual, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism  7.4-60  UsedOperationMultiples, for IsDerivedMethod  8.2-10  UsedOperations, for IsDerivedMethod  8.2-9  UsedOperationsWithMultiples, for IsDerivedMethod  8.2-11  VerticalPostCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell  5.2-9  VerticalPreCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell  5.2-7  ZeroMorphism, for IsCapCategoryObject, IsCapCategoryObject  3.5-7  ZeroObject, for IsCapCategory  6.3-1  ZeroObjectFunctorial, for IsCapCategory  6.3-22  
generated by GAPDoc2HTML