ActivateDerivationInfo
8.1-2 Add
, for IsCapCategory, IsCapCategoryMorphism 3.5-1 AddAdditionForMorphisms
, for IsCapCategory, IsFunction 3.7-4 AddAdditiveInverseForMorphisms
, for IsCapCategory, IsFunction 3.7-8 AddAstrictionToCoimage
, for IsCapCategory, IsFunction 6.14-23 AddAstrictionToCoimageWithGivenCoimage
, for IsCapCategory, IsFunction 6.14-24 AddCategoricalProperty
1.1-6 AddCoastrictionToImage
, for IsCapCategory, IsFunction 6.13-15 AddCoastrictionToImageWithGivenImageObject
, for IsCapCategory, IsFunction 6.13-16 AddCoequalizer
, for IsCapCategory, IsFunction 6.10-8 AddCoequalizerFunctorialWithGivenCoequalizers
, for IsCapCategory, IsFunction 6.10-15 AddCoimage
, for IsCapCategory, IsFunction 6.14-20 AddCoimageProjection
, for IsCapCategory, IsFunction 6.14-21 AddCoimageProjectionWithGivenCoimage
, for IsCapCategory, IsFunction 6.14-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-15 AddCokernelProjection
, for IsCapCategory, IsFunction 6.2-7 AddCokernelProjectionWithGivenCokernelObject
, for IsCapCategory, IsFunction 6.2-8 AddColift
, for IsCapCategory, IsFunction 3.11-12 AddColiftAlongEpimorphism
, for IsCapCategory, IsFunction 3.11-4 AddComponentOfMorphismFromDirectSum
, for IsCapCategory, IsFunction 6.6-28 AddComponentOfMorphismIntoDirectSum
, for IsCapCategory, IsFunction 6.6-27 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-41 AddDirectSumCodiagonalDifference
, for IsCapCategory, IsFunction 6.12-15 AddDirectSumDiagonalDifference
, for IsCapCategory, IsFunction 6.11-15 AddDirectSumFunctorialWithGivenDirectSums
, for IsCapCategory, IsFunction 6.6-44 AddDirectSumProjectionInPushout
, for IsCapCategory, IsFunction 6.12-18 AddDistinguishedObjectOfHomomorphismStructure
, for IsCapCategory, IsFunction 3.14-7 AddEmbeddingOfEqualizer
, for IsCapCategory, IsFunction 6.9-9 AddEmbeddingOfEqualizerWithGivenEqualizer
, for IsCapCategory, IsFunction 6.9-10 AddEpimorphismFromSomeProjectiveObject
, for IsCapCategory, IsFunction 2.8-6 AddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject
, for IsCapCategory, IsFunction 2.8-7 AddEqualizer
, for IsCapCategory, IsFunction 6.9-8 AddEqualizerFunctorialWithGivenEqualizers
, for IsCapCategory, IsFunction 6.9-15 AddFiberProduct
, for IsCapCategory, IsFunction 6.11-27 AddFiberProductEmbeddingInDirectSum
, for IsCapCategory, IsFunction 6.11-18 AddFiberProductFunctorialWithGivenFiberProducts
, for IsCapCategory, IsFunction 6.11-34 AddHomomorphismStructureOnMorphismsWithGivenObjects
, for IsCapCategory, IsFunction 3.14-5 AddHomomorphismStructureOnObjects
, for IsCapCategory, IsFunction 3.14-2 AddHorizontalPostCompose
, for IsCapCategory, IsFunction 4.2-6 AddHorizontalPreCompose
, for IsCapCategory, IsFunction 4.2-4 AddIdentityMorphism
, for IsCapCategory, IsFunction 3.9-2 AddIdentityTwoCell
, for IsCapCategory, IsFunction 4.2-2 AddImageEmbedding
, for IsCapCategory, IsFunction 6.13-13 AddImageEmbeddingWithGivenImageObject
, for IsCapCategory, IsFunction 6.13-14 AddImageObject
, for IsCapCategory, IsFunction 6.13-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-31 AddInjectionOfCofactorOfDirectSumWithGivenDirectSum
, for IsCapCategory, IsFunction 6.6-32 AddInjectionOfCofactorOfPushout
, for IsCapCategory, IsFunction 6.12-29 AddInjectionOfCofactorOfPushoutWithGivenPushout
, for IsCapCategory, IsFunction 6.12-30 AddInjectiveColift
, for IsCapCategory, IsFunction 2.9-8 AddInterpretMorphismAsMorphismFromDinstinguishedObjectToHomomorphismStructure
, for IsCapCategory, IsFunction 3.14-9 AddInterpretMorphismFromDinstinguishedObjectToHomomorphismStructureAsMorphism
, for IsCapCategory, IsFunction 3.14-11 AddInverse
, for IsCapCategory, IsFunction 3.12-1 AddInverseMorphismFromCoimageToImageWithGivenObjects
, for IsCapCategory, IsFunction 6.14-6 AddIsAutomorphism
, for IsCapCategory, IsFunction 3.4-6 AddIsCodominating
, for IsCapCategory, IsFunction 3.8-8 AddIsColiftable
, for IsCapCategory, IsFunction 3.11-16 AddIsColiftableAlongEpimorphism
, for IsCapCategory, IsFunction 3.11-8 AddIsCongruentForMorphisms
, for IsCapCategory, IsFunction 3.6-2 AddIsDominating
, for IsCapCategory, IsFunction 3.8-6 AddIsEndomorphism
, for IsCapCategory, IsFunction 3.4-5 AddIsEpimorphism
, for IsCapCategory, IsFunction 3.2-2 AddIsEqualAsFactorobjects
, for IsCapCategory, IsFunction 3.8-4 AddIsEqualAsSubobjects
, for IsCapCategory, IsFunction 3.8-2 AddIsEqualForCacheForMorphisms
, for IsCapCategory, IsFunction 3.13-2 AddIsEqualForCacheForObjects
, for IsCapCategory, IsFunction 2.5-2 AddIsEqualForMorphisms
, for IsCapCategory, IsFunction 3.6-4 AddIsEqualForMorphismsOnMor
, for IsCapCategory, IsFunction 3.6-6 AddIsEqualForObjects
, for IsCapCategory, IsFunction 2.2-2 AddIsIdempotent
, for IsCapCategory, IsFunction 3.2-7 AddIsIdenticalToIdentityMorphism
, for IsCapCategory, IsFunction 3.4-2 AddIsIdenticalToZeroMorphism
, for IsCapCategory, IsFunction 3.4-4 AddIsInitial
, for IsCapCategory, IsFunction 2.3-4 AddIsInjective
, for IsCapCategory, IsFunction 2.3-2 AddIsIsomorphism
, for IsCapCategory, IsFunction 3.2-3 AddIsLiftable
, for IsCapCategory, IsFunction 3.11-14 AddIsLiftableAlongMonomorphism
, for IsCapCategory, IsFunction 3.11-6 AddIsMonomorphism
, for IsCapCategory, IsFunction 3.2-1 AddIsomorphismFromCoequalizerOfCoproductDiagramToPushout
, for IsCapCategory, IsFunction 6.12-12 AddIsomorphismFromCoimageToCokernelOfKernel
, for IsCapCategory, IsFunction 6.14-8 AddIsomorphismFromCokernelOfDiagonalDifferenceToPushout
, for IsCapCategory, IsFunction 6.12-6 AddIsomorphismFromCokernelOfKernelToCoimage
, for IsCapCategory, IsFunction 6.14-10 AddIsomorphismFromCoproductToDirectSum
, for IsCapCategory, IsFunction 6.6-40 AddIsomorphismFromDirectProductToDirectSum
, for IsCapCategory, IsFunction 6.6-38 AddIsomorphismFromDirectSumToCoproduct
, for IsCapCategory, IsFunction 6.6-39 AddIsomorphismFromDirectSumToDirectProduct
, for IsCapCategory, IsFunction 6.6-37 AddIsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct
, for IsCapCategory, IsFunction 6.11-12 AddIsomorphismFromFiberProductToEqualizerOfDirectProductDiagram
, for IsCapCategory, IsFunction 6.11-9 AddIsomorphismFromFiberProductToKernelOfDiagonalDifference
, for IsCapCategory, IsFunction 6.11-3 AddIsomorphismFromImageObjectToKernelOfCokernel
, for IsCapCategory, IsFunction 6.13-2 AddIsomorphismFromInitialObjectToZeroObject
, for IsCapCategory, IsFunction 6.3-19 AddIsomorphismFromKernelOfCokernelToImageObject
, for IsCapCategory, IsFunction 6.13-4 AddIsomorphismFromKernelOfDiagonalDifferenceToFiberProduct
, for IsCapCategory, IsFunction 6.11-6 AddIsomorphismFromPushoutToCoequalizerOfCoproductDiagram
, for IsCapCategory, IsFunction 6.12-9 AddIsomorphismFromPushoutToCokernelOfDiagonalDifference
, for IsCapCategory, IsFunction 6.12-3 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 2.3-1 AddIsSplitEpimorphism
, for IsCapCategory, IsFunction 3.2-5 AddIsSplitMonomorphism
, for IsCapCategory, IsFunction 3.2-4 AddIsTerminal
, for IsCapCategory, IsFunction 2.3-3 AddIsWellDefinedForMorphisms
, for IsCapCategory, IsFunction 3.10-2 AddIsWellDefinedForObjects
, for IsCapCategory, IsFunction 2.7-2 AddIsWellDefinedForTwoCells
, for IsCapCategory, IsFunction 4.3-2 AddIsZeroForMorphisms
, for IsCapCategory, IsFunction 3.7-2 AddIsZeroForObjects
, for IsCapCategory, IsFunction 2.3-6 AdditionForMorphisms
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-3 AdditiveInverseForMorphisms
, for IsCapCategoryMorphism 3.7-7 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-15 AddLift
, for IsCapCategory, IsFunction 3.11-10 AddLiftAlongMonomorphism
, for IsCapCategory, IsFunction 3.11-2 AddMonomorphismIntoSomeInjectiveObject
, for IsCapCategory, IsFunction 2.9-6 AddMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject
, for IsCapCategory, IsFunction 2.9-7 AddMorphism
, for IsCapCategory, IsAttributeStoringRep 3.5-2 AddMorphismBetweenDirectSums
, for IsCapCategory, IsFunction 6.6-23 AddMorphismFromCoimageToImageWithGivenObjects
, for IsCapCategory, IsFunction 6.14-3 AddMorphismFunction
, for IsCapFunctor, IsFunction 5.4-5 AddMorphismRepresentation
, for IsCapCategory, IsObject 3.5-3 AddMultiplyWithElementOfCommutativeRingForMorphisms
, for IsCapCategory, IsFunction 3.7-10 AddNaturalTransformationFunction
, for IsCapNaturalTransformation, IsFunction 5.5-3 AddObject
, for IsCapCategory, IsAttributeStoringRep 2.6-2 AddObjectFunction
, for IsCapFunctor, IsFunction 5.4-3 AddObjectRepresentation
, for IsCapCategory, IsObject 2.6-3 AddOperationsToDerivationGraph
, for IsDerivedMethodGraph, IsDenseList 8.3-3 AddPostCompose
, for IsCapCategory, IsFunction 3.9-8 AddPreCompose
, for IsCapCategory, IsFunction 3.9-5 AddPrimitiveOperation
, for IsOperationWeightList, IsString, IsInt 8.4-11 AddProjectionInFactorOfDirectProduct
, for IsCapCategory, IsFunction 6.8-9 AddProjectionInFactorOfDirectProductWithGivenDirectProduct
, for IsCapCategory, IsFunction 6.8-10 AddProjectionInFactorOfDirectSum
, for IsCapCategory, IsFunction 6.6-29 AddProjectionInFactorOfDirectSumWithGivenDirectSum
, for IsCapCategory, IsFunction 6.6-30 AddProjectionInFactorOfFiberProduct
, for IsCapCategory, IsFunction 6.11-28 AddProjectionInFactorOfFiberProductWithGivenFiberProduct
, for IsCapCategory, IsFunction 6.11-29 AddProjectionOntoCoequalizer
, for IsCapCategory, IsFunction 6.10-9 AddProjectionOntoCoequalizerWithGivenCoequalizer
, for IsCapCategory, IsFunction 6.10-10 AddProjectiveLift
, for IsCapCategory, IsFunction 2.8-8 AddPushout
, for IsCapCategory, IsFunction 6.12-28 AddPushoutFunctorialWithGivenPushouts
, for IsCapCategory, IsFunction 6.12-35 AddRandomMorphismByInteger
, for IsCapCategory, IsFunction 3.3-14 AddRandomMorphismByList
, for IsCapCategory, IsFunction 3.3-16 AddRandomMorphismWithFixedRangeByInteger
, for IsCapCategory, IsFunction 3.3-6 AddRandomMorphismWithFixedRangeByList
, for IsCapCategory, IsFunction 3.3-8 AddRandomMorphismWithFixedSourceAndRangeByInteger
, for IsCapCategory, IsFunction 3.3-10 AddRandomMorphismWithFixedSourceAndRangeByList
, for IsCapCategory, IsFunction 3.3-12 AddRandomMorphismWithFixedSourceByInteger
, for IsCapCategory, IsFunction 3.3-2 AddRandomMorphismWithFixedSourceByList
, for IsCapCategory, IsFunction 3.3-4 AddRandomObjectByInteger
, for IsCapCategory, IsFunction 2.4-2 AddRandomObjectByList
, for IsCapCategory, IsFunction 2.4-4 AddSomeInjectiveObject
, for IsCapCategory, IsFunction 2.9-5 AddSomeProjectiveObject
, for IsCapCategory, IsFunction 2.8-5 AddSubtractionForMorphisms
, for IsCapCategory, IsFunction 3.7-6 AddTerminalObject
, for IsCapCategory, IsFunction 6.4-5 AddTerminalObjectFunctorial
, for IsCapCategory, IsFunction 6.4-9 AddUniversalMorphismFromCoequalizer
, for IsCapCategory, IsFunction 6.10-11 AddUniversalMorphismFromCoequalizerWithGivenCoequalizer
, for IsCapCategory, IsFunction 6.10-12 AddUniversalMorphismFromCoproduct
, for IsCapCategory, IsFunction 6.7-14 AddUniversalMorphismFromCoproductWithGivenCoproduct
, for IsCapCategory, IsFunction 6.7-15 AddUniversalMorphismFromDirectSum
, for IsCapCategory, IsFunction 6.6-35 AddUniversalMorphismFromDirectSumWithGivenDirectSum
, for IsCapCategory, IsFunction 6.6-36 AddUniversalMorphismFromImage
, for IsCapCategory, IsFunction 6.13-17 AddUniversalMorphismFromImageWithGivenImageObject
, for IsCapCategory, IsFunction 6.13-18 AddUniversalMorphismFromInitialObject
, for IsCapCategory, IsFunction 6.5-6 AddUniversalMorphismFromInitialObjectWithGivenInitialObject
, for IsCapCategory, IsFunction 6.5-7 AddUniversalMorphismFromPushout
, for IsCapCategory, IsFunction 6.12-31 AddUniversalMorphismFromPushoutWithGivenPushout
, for IsCapCategory, IsFunction 6.12-32 AddUniversalMorphismFromZeroObject
, for IsCapCategory, IsFunction 6.3-16 AddUniversalMorphismFromZeroObjectWithGivenZeroObject
, for IsCapCategory, IsFunction 6.3-17 AddUniversalMorphismIntoCoimage
, for IsCapCategory, IsFunction 6.14-25 AddUniversalMorphismIntoCoimageWithGivenCoimage
, for IsCapCategory, IsFunction 6.14-26 AddUniversalMorphismIntoDirectProduct
, for IsCapCategory, IsFunction 6.8-11 AddUniversalMorphismIntoDirectProductWithGivenDirectProduct
, for IsCapCategory, IsFunction 6.8-12 AddUniversalMorphismIntoDirectSum
, for IsCapCategory, IsFunction 6.6-33 AddUniversalMorphismIntoDirectSumWithGivenDirectSum
, for IsCapCategory, IsFunction 6.6-34 AddUniversalMorphismIntoEqualizer
, for IsCapCategory, IsFunction 6.9-11 AddUniversalMorphismIntoEqualizerWithGivenEqualizer
, for IsCapCategory, IsFunction 6.9-12 AddUniversalMorphismIntoFiberProduct
, for IsCapCategory, IsFunction 6.11-30 AddUniversalMorphismIntoFiberProductWithGivenFiberProduct
, for IsCapCategory, IsFunction 6.11-31 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 AddVerticalPostCompose
, for IsCapCategory, IsFunction 4.2-10 AddVerticalPreCompose
, for IsCapCategory, IsFunction 4.2-8 AddWithGivenDerivationPairToCAP
8.3-14 AddZeroMorphism
, for IsCapCategory, IsFunction 3.7-12 AddZeroObject
, for IsCapCategory, IsFunction 6.3-13 AddZeroObjectFunctorial
, for IsCapCategory, IsFunction 6.3-23 ApplyFunctor
5.4-7 ApplyNaturalTransformation
5.5-4 AsCapCategory
, for IsCapCategoryAsCatObject 5.3-2 AsCatObject
, for IsCapCategory 5.3-1 AstrictionToCoimage
, for IsCapCategoryMorphism 6.14-16 AstrictionToCoimageWithGivenCoimage
, for IsCapCategoryMorphism, IsCapCategoryObject 6.14-17 BrowseCachingStatistic
9.2-11 CachingStatistic
9.2-10 CanCompute
, for IsCapCategory, IsString 1.5-1 CAP_INTERNAL_FIND_APPEARANCE_OF_SYMBOL_IN_FUNCTION
9.2-8 CAP_INTERNAL_MERGE_FILTER_LISTS
9.2-6 CAP_INTERNAL_MERGE_PRECONDITIONS_LIST
9.2-9 CAP_INTERNAL_REPLACE_STRINGS_WITH_FILTERS
9.2-5 CAP_INTERNAL_RETURN_OPTION_OR_DEFAULT
9.2-7 CAPAddPrepareFunction
7.5-2 CapCat
5.1-1 CapCategory
, for IsCapCategoryMorphism 3.1-1 CapCategorySwitchLogicOff
1.4-2 CapCategorySwitchLogicOn
1.4-1 CapFunctor
, for IsString, IsCapCategory, IsCapCategory 5.4-1 CAPOperationPrepareFunction
7.5-1 CategoryFilter
, for IsCapCategory 1.3-1 CategoryOfOperationWeightList
, for IsOperationWeightList 8.4-4 CellFilter
, for IsCapCategory 1.3-2 CheckConstructivenessOfCategory
, for IsCapCategory, IsString 1.5-2 CoastrictionToImage
, for IsCapCategoryMorphism 6.13-8 CoastrictionToImageWithGivenImageObject
, for IsCapCategoryMorphism, IsCapCategoryObject 6.13-9 Coequalizer
6.10-1 CoequalizerFunctorial
, for IsList, IsCapCategoryMorphism, IsList 6.10-13 CoequalizerFunctorialWithGivenCoequalizers
, for IsCapCategoryObject, IsList, IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.10-14 CoequalizerOp
, for IsList, IsCapCategoryMorphism 6.10-2 Coimage
, for IsCapCategoryMorphism 6.14-11 CoimageProjection
, for IsCapCategoryMorphism 6.14-13 CoimageProjectionWithGivenCoimage
, for IsCapCategoryMorphism, IsCapCategoryObject 6.14-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, IsCapCategoryMorphism, IsCapCategoryObject 6.2-14 CokernelProjection
, for IsCapCategoryMorphism 6.2-2 CokernelProjectionWithGivenCokernelObject
, for IsCapCategoryMorphism, IsCapCategoryObject 6.2-3 Colift
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.11-11 ColiftAlongEpimorphism
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.11-3 CommutativeRingOfLinearCategory
, for IsCapCategory 1.3-6 ComponentOfMorphismFromDirectSum
, for IsCapCategoryMorphism, IsList, IsInt 6.6-26 ComponentOfMorphismIntoDirectSum
, for IsCapCategoryMorphism, IsList, IsInt 6.6-25 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 DeactivateCachingOfCategory
1.7-2 DeactivateDefaultCaching
1.7-3 DeactivateDerivationInfo
8.1-3 DeclareAttributeWithToDoForIsWellDefined
9.2-3 DeclareFamilyProperty
9.2-4 DecreaseKey
, for IsStringMinHeap, IsString, IsInt 8.5-5 DerivationFunctionsWithExtraFilters
, for IsDerivedMethod 8.2-5 DerivationGraph
, for IsOperationWeightList 8.4-3 DerivationInfo
8.1-1 DerivationName
, for IsDerivedMethod 8.2-3 DerivationOfOperation
, for IsOperationWeightList, IsString 8.4-7 DerivationResultWeight
, for IsDerivedMethod, IsDenseList 8.2-13 DerivationsOfOperation
, for IsDerivedMethodGraph, IsString 8.3-17 DerivationsUsingOperation
, for IsDerivedMethodGraph, IsString 8.3-16 DerivationWeight
, for IsDerivedMethod 8.2-4 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.12-13 DirectSumCodiagonalDifferenceOp
, for IsList, IsCapCategoryMorphism 6.12-14 DirectSumDiagonalDifference
, for IsList 6.11-13 DirectSumDiagonalDifferenceOp
, for IsList, IsCapCategoryMorphism 6.11-14 DirectSumFunctorial
, for IsList 6.6-42 DirectSumFunctorialWithGivenDirectSums
, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.6-43 DirectSumOp
, for IsList, IsCapCategoryObject 6.6-1 DirectSumProjectionInPushout
, for IsList 6.12-16 DirectSumProjectionInPushoutOp
, for IsList, IsCapCategoryMorphism 6.12-17 DisableAddForCategoricalOperations
1.9-1 DisableInputSanityChecks
1.8-1 DisableOutputSanityChecks
1.8-1 DisableSanityChecks
1.8-1 DistinguishedObjectOfHomomorphismStructure
, for IsCapCategory 3.14-6 EmbeddingOfEqualizer
, for IsList 6.9-3 EmbeddingOfEqualizerOp
, for IsList, IsCapCategoryMorphism 6.9-4 EmbeddingOfEqualizerWithGivenEqualizer
, for IsList, IsCapCategoryObject 6.9-5 EnableAddForCategoricalOperations
1.9-1 EnableFullInputSanityChecks
1.8-1 EnableFullOutputSanityChecks
1.8-1 EnableFullSanityChecks
1.8-1 EnablePartialInputSanityChecks
1.8-1 EnablePartialOutputSanityChecks
1.8-1 EnablePartialSanityChecks
1.8-1 EpimorphismFromSomeProjectiveObject
, for IsCapCategoryObject 2.8-2 EpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject
, for IsCapCategoryObject, IsCapCategoryObject 2.8-3 Equalizer
6.9-1 EqualizerFunctorial
, for IsList, IsCapCategoryMorphism, IsList 6.9-13 EqualizerFunctorialWithGivenEqualizers
, for IsCapCategoryObject, IsList, IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.9-14 EqualizerOp
, for IsList, IsCapCategoryMorphism 6.9-2 ExtractMin
, for IsStringMinHeap 8.5-4 FiberProduct
6.11-19 FiberProductEmbeddingInDirectSum
, for IsList 6.11-16 FiberProductEmbeddingInDirectSumOp
, for IsList, IsCapCategoryMorphism 6.11-17 FiberProductFunctorial
, for IsList, IsList, IsList 6.11-32 FiberProductFunctorialWithGivenFiberProducts
, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.11-33 FiberProductOp
, for IsList, IsCapCategoryMorphism 6.11-20 FunctorCanonicalizeZeroMorphisms
, for IsCapCategory 5.4-13 FunctorCanonicalizeZeroObjects
, for IsCapCategory 5.4-11 FunctorMorphismOperation
, for IsCapFunctor 5.4-6 FunctorObjectOperation
, for IsCapFunctor 5.4-4 Heapify
, for IsStringMinHeap, IsPosInt 8.5-10 HeapSize
, for IsStringMinHeap 8.5-7 HomomorphismStructureOnMorphisms
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.14-3 HomomorphismStructureOnMorphismsWithGivenObjects
, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 3.14-4 HomomorphismStructureOnObjects
, for IsCapCategoryObject, IsCapCategoryObject 3.14-1 HorizontalPostCompose
, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.2-5 HorizontalPreCompose
, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.2-3 HorizontalPreComposeFunctorWithNaturalTransformation
, for IsCapFunctor, IsCapNaturalTransformation 5.5-7 HorizontalPreComposeNaturalTransformationWithFunctor
, for IsCapNaturalTransformation, IsCapFunctor 5.5-6 IdentityFunctor
, for IsCapCategory 5.4-10 IdentityMorphism
, for IsCapCategoryObject 3.9-1 IdentityTwoCell
, for IsCapCategoryMorphism 4.2-1 ImageEmbedding
, for IsCapCategoryMorphism 6.13-6 ImageEmbeddingWithGivenImageObject
, for IsCapCategoryMorphism, IsCapCategoryObject 6.13-7 ImageObject
, for IsCapCategoryMorphism 6.13-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.12-22 InjectionOfCofactorOfPushoutOp
, for IsList, IsInt, IsCapCategoryMorphism 6.12-23 InjectionOfCofactorOfPushoutWithGivenPushout
, for IsList, IsInt, IsCapCategoryObject 6.12-24 InjectiveColift
, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.9-4 InputSignature
, for IsCapFunctor 5.4-8 InstallDerivationForCategory
, for IsDerivedMethod, IsPosInt, IsCapCategory 8.2-12 InstallDerivationsUsingOperation
, for IsOperationWeightList, IsString 8.4-8 InstallFunctor
, for IsCapFunctor, IsString 5.4-9 InstallMethodWithToDoForIsWellDefined
9.2-1 InstallNaturalTransformation
, for IsCapNaturalTransformation, IsString 5.5-5 InstallSetWithToDoForIsWellDefined
, for IsObject, IsString, IsList 9.2-2 InterpretMorphismAsMorphismFromDinstinguishedObjectToHomomorphismStructure
, for IsCapCategoryMorphism 3.14-8 InterpretMorphismFromDinstinguishedObjectToHomomorphismStructureAsMorphism
, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 3.14-10 InverseMorphismFromCoimageToImage
, for IsCapCategoryMorphism 6.14-4 InverseMorphismFromCoimageToImageWithGivenObjects
, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.14-5 IsApplicableToCategory
, for IsDerivedMethod, IsCapCategory 8.2-7 IsCapCategory
, for IsObject 1.1-1 IsCapCategoryAsCatObject
, for IsCapCategoryObject 5.2-1 IsCapCategoryCell
, for IsAttributeStoringRep 1.1-2 IsCapCategoryMorphism
, for IsCapCategoryCell 1.1-4 IsCapCategoryObject
, for IsCapCategoryCell 1.1-3 IsCapCategoryTwoCell
, for IsCapCategoryCell 1.1-5 IsCapFunctor
, for IsCapCategoryMorphism 5.2-2 IsCapNaturalTransformation
, for IsCapCategoryTwoCell 5.2-3 IsCodominating
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-7 IsColiftable
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.11-15 IsColiftableAlongEpimorphism
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.11-7 IsCongruentForMorphisms
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.6-1 IsDerivedMethod
, for IsObject 8.2-1 IsDerivedMethodGraph
, for IsObject 8.3-1 IsDominating
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-5 IsEmptyHeap
, for IsStringMinHeap 8.5-6 IsEqualAsFactorobjects
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-3 IsEqualAsSubobjects
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-1 IsEqualForCacheForMorphisms
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.13-1 IsEqualForCacheForObjects
, for IsCapCategoryObject, IsCapCategoryObject 2.5-1 IsEqualForMorphisms
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.6-3 IsEqualForMorphismsOnMor
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.6-5 IsEqualForObjects
, for IsCapCategoryObject, IsCapCategoryObject 2.2-1 IsIdenticalToIdentityMorphism
, for IsCapCategoryMorphism 3.4-1 IsIdenticalToZeroMorphism
, for IsCapCategoryMorphism 3.4-3 IsLiftable
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.11-13 IsLiftableAlongMonomorphism
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.11-5 IsomorphismFromCoequalizerOfCoproductDiagramToPushout
, for IsList 6.12-10 IsomorphismFromCoequalizerOfCoproductDiagramToPushoutOp
, for IsList, IsCapCategoryMorphism 6.12-11 IsomorphismFromCoimageToCokernelOfKernel
, for IsCapCategoryMorphism 6.14-7 IsomorphismFromCokernelOfDiagonalDifferenceToPushout
, for IsList 6.12-4 IsomorphismFromCokernelOfDiagonalDifferenceToPushoutOp
, for IsList, IsCapCategoryMorphism 6.12-5 IsomorphismFromCokernelOfKernelToCoimage
, for IsCapCategoryMorphism 6.14-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 IsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct
, for IsList 6.11-10 IsomorphismFromEqualizerOfDirectProductDiagramToFiberProductOp
, for IsList, IsCapCategoryMorphism 6.11-11 IsomorphismFromFiberProductToEqualizerOfDirectProductDiagram
, for IsList 6.11-7 IsomorphismFromFiberProductToEqualizerOfDirectProductDiagramOp
, for IsList, IsCapCategoryMorphism 6.11-8 IsomorphismFromFiberProductToKernelOfDiagonalDifference
, for IsList 6.11-1 IsomorphismFromFiberProductToKernelOfDiagonalDifferenceOp
, for IsList, IsCapCategoryMorphism 6.11-2 IsomorphismFromImageObjectToKernelOfCokernel
, for IsCapCategoryMorphism 6.13-1 IsomorphismFromInitialObjectToZeroObject
, for IsCapCategory 6.3-10 IsomorphismFromKernelOfCokernelToImageObject
, for IsCapCategoryMorphism 6.13-3 IsomorphismFromKernelOfDiagonalDifferenceToFiberProduct
, for IsList 6.11-4 IsomorphismFromKernelOfDiagonalDifferenceToFiberProductOp
, for IsList, IsCapCategoryMorphism 6.11-5 IsomorphismFromPushoutToCoequalizerOfCoproductDiagram
, for IsList 6.12-7 IsomorphismFromPushoutToCoequalizerOfCoproductDiagramOp
, for IsList, IsCapCategoryMorphism 6.12-8 IsomorphismFromPushoutToCokernelOfDiagonalDifference
, for IsList 6.12-1 IsomorphismFromPushoutToCokernelOfDiagonalDifferenceOp
, for IsList, IsCapCategoryMorphism 6.12-2 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.10-1 IsWellDefinedForObjects
, for IsCapCategoryObject 2.7-1 IsWellDefinedForTwoCells
, for IsCapCategoryTwoCell 4.3-1 IsZeroForMorphisms
, for IsCapCategoryMorphism 3.7-1 IsZeroForObjects
, for IsCapCategoryObject 2.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, IsCapCategoryMorphism, IsCapCategoryObject 6.1-14 Lift
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.11-9 LiftAlongMonomorphism
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.11-1 ListCAPPrepareFunctions
7.5-3 MakeDerivation
, for IsString, IsFunction, IsDenseList,IsPosInt, IsDenseList, IsFunction 8.2-2 MakeDerivationGraph
, for IsDenseList 8.3-2 MakeOperationWeightList
, for IsCapCategory, IsDerivedMethodGraph 8.4-2 MonomorphismIntoSomeInjectiveObject
, for IsCapCategoryObject 2.9-2 MonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject
, for IsCapCategoryObject, IsCapCategoryObject 2.9-3 MorphismBetweenDirectSums
, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.6-22 MorphismBetweenDirectSumsOp
, for IsList, IsInt, IsInt, IsCapCategoryMorphism 6.6-24 MorphismCache
, for IsCapFunctor 9.1-2 MorphismFilter
, for IsCapCategory 1.3-4 MorphismFromCoimageToImage
, for IsCapCategoryMorphism 6.14-1 MorphismFromCoimageToImageWithGivenObjects
, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.14-2 MorphismFromZeroObject
, for IsCapCategoryObject 6.3-3 MorphismIntoZeroObject
, for IsCapCategoryObject 6.3-4 MultiplyWithElementOfCommutativeRingForMorphisms
, for IsRingElement, IsCapCategoryMorphism 3.7-9 Name
, for IsCapNaturalTransformation 5.5-1 NaturalIsomorophismFromIdentityToCanonicalizeZeroMorphisms
, for IsCapCategory 5.4-14 NaturalIsomorophismFromIdentityToCanonicalizeZeroObjects
, for IsCapCategory 5.4-12 NaturalTransformation
, for IsCapFunctor, IsCapFunctor 5.5-2 ObjectCache
, for IsCapFunctor 9.1-1 ObjectFilter
, for IsCapCategory 1.3-3 ObjectifyMorphismForCAPWithAttributes
3.5-4 ObjectifyObjectForCAPWithAttributes
2.6-4 Operations
, for IsDerivedMethodGraph 8.3-15 OperationWeightUsingDerivation
, for IsOperationWeightList, IsDerivedMethod 8.4-6 PostCompose
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-6 PreCompose
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-3 PrintDerivationTree
, for IsOperationWeightList, IsString 8.4-12 PrintTree
, for IsObject, IsFunction, IsFunction 8.4-13 PrintTreeRec
, for IsObject, IsFunction, IsFunction, IsInt 8.4-14 ProjectionInFactorOfDirectProduct
, for IsList, IsInt 6.8-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.11-21 ProjectionInFactorOfFiberProductOp
, for IsList, IsInt, IsCapCategoryMorphism 6.11-22 ProjectionInFactorOfFiberProductWithGivenFiberProduct
, for IsList, IsInt, IsCapCategoryObject 6.11-23 ProjectionOntoCoequalizer
, for IsList 6.10-3 ProjectionOntoCoequalizerOp
, for IsList, IsCapCategoryMorphism 6.10-4 ProjectionOntoCoequalizerWithGivenCoequalizer
, for IsList, IsCapCategoryObject 6.10-5 ProjectiveLift
, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.8-4 Pushout
, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.12-20 PushoutFunctorial
, for IsList, IsList, IsList 6.12-33 PushoutFunctorialWithGivenPushouts
, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.12-34 PushoutOp
, for IsList, IsCapCategoryMorphism 6.12-21 RandomMorphism
, for IsCapCategory, IsInt 3.3-17 RandomMorphismByInteger
, for IsCapCategory, IsInt 3.3-13 RandomMorphismByList
, for IsCapCategory, IsList 3.3-15 RandomMorphismWithFixedRange
, for IsCapCategoryObject, IsInt 3.3-17 RandomMorphismWithFixedRangeByInteger
, for IsCapCategoryObject, IsInt 3.3-5 RandomMorphismWithFixedRangeByList
, for IsCapCategoryObject, IsList 3.3-7 RandomMorphismWithFixedSource
, for IsCapCategoryObject, IsInt 3.3-17 RandomMorphismWithFixedSourceAndRange
, for IsCapCategoryObject, IsCapCategoryObject, IsInt 3.3-17 RandomMorphismWithFixedSourceAndRangeByInteger
, for IsCapCategoryObject, IsCapCategoryObject, IsInt 3.3-9 RandomMorphismWithFixedSourceAndRangeByList
, for IsCapCategoryObject, IsCapCategoryObject, IsList 3.3-11 RandomMorphismWithFixedSourceByInteger
, for IsCapCategoryObject, IsInt 3.3-1 RandomMorphismWithFixedSourceByList
, for IsCapCategoryObject, IsList 3.3-3 RandomObject
, for IsCapCategory, IsInt 2.4-5 RandomObjectByInteger
, for IsCapCategory, IsInt 2.4-1 RandomObjectByList
, for IsCapCategory, IsList 2.4-3 Range
, for IsCapCategoryMorphism 3.1-3 Reevaluate
, for IsOperationWeightList 8.4-9 Saturate
, for IsOperationWeightList 8.4-10 SetCachingOfCategory
1.7-1 SetCachingOfCategoryCrisp
1.7-2 SetCachingOfCategoryWeak
1.7-2 SetDefaultCaching
1.7-3 SetDefaultCachingCrisp
1.7-3 SetDefaultCachingWeak
1.7-3 SolveLinearSystemInAbCategory
, for IsList, IsList, IsList 3.14-12 SomeInjectiveObject
, for IsCapCategoryObject 2.9-1 SomeProjectiveObject
, for IsCapCategoryObject 2.8-1 Source
, for IsCapCategoryMorphism 3.1-2 StringMinHeap
8.5-2 SubtractionForMorphisms
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-5 Swap
, for IsStringMinHeap, IsPosInt, IsPosInt 8.5-9 TargetOperation
, for IsDerivedMethod 8.2-8 TerminalObject
, for IsCapCategory 6.4-1 TerminalObjectFunctorial
, for IsCapCategory 6.4-8 TwoCellFilter
, for IsCapCategory 1.3-5 UniversalMorphismFromCoequalizer
, for IsList, IsCapCategoryMorphism 6.10-6 UniversalMorphismFromCoequalizerWithGivenCoequalizer
, for IsList, IsCapCategoryMorphism, IsCapCategoryObject 6.10-7 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.13-10 UniversalMorphismFromImageWithGivenImageObject
, for IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.13-11 UniversalMorphismFromInitialObject
, for IsCapCategoryObject 6.5-3 UniversalMorphismFromInitialObjectWithGivenInitialObject
, for IsCapCategoryObject, IsCapCategoryObject 6.5-4 UniversalMorphismFromPushout
6.12-25 UniversalMorphismFromPushoutOp
, for IsList, IsList, IsCapCategoryMorphism 6.12-26 UniversalMorphismFromPushoutWithGivenPushout
, for IsList, IsList, IsCapCategoryObject 6.12-27 UniversalMorphismFromZeroObject
, for IsCapCategoryObject 6.3-5 UniversalMorphismFromZeroObjectWithGivenZeroObject
, for IsCapCategoryObject, IsCapCategoryObject 6.3-6 UniversalMorphismIntoCoimage
, for IsCapCategoryMorphism, IsList 6.14-18 UniversalMorphismIntoCoimageWithGivenCoimage
, for IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.14-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 UniversalMorphismIntoEqualizer
, for IsList, IsCapCategoryMorphism 6.9-6 UniversalMorphismIntoEqualizerWithGivenEqualizer
, for IsList, IsCapCategoryMorphism, IsCapCategoryObject 6.9-7 UniversalMorphismIntoFiberProduct
6.11-24 UniversalMorphismIntoFiberProductOp
, for IsList, IsList, IsCapCategoryMorphism 6.11-25 UniversalMorphismIntoFiberProductWithGivenFiberProduct
, for IsList, IsList, IsCapCategoryObject 6.11-26 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 UsedOperationMultiples
, for IsDerivedMethod 8.2-10 UsedOperations
, for IsDerivedMethod 8.2-9 UsedOperationsWithMultiples
, for IsDerivedMethod 8.2-11 VerticalPostCompose
, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.2-9 VerticalPreCompose
, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.2-7 ZeroMorphism
, for IsCapCategoryObject, IsCapCategoryObject 3.7-11 ZeroObject
, for IsCapCategory 6.3-1 ZeroObjectFunctorial
, for IsCapCategory 6.3-22
generated by GAPDoc2HTML