ActivateDerivationInfo
8.1-2 Add
, for IsStringMinHeap, IsString, IsInt 8.5-3 AddAdditionForMorphisms
, for IsCapCategory, IsFunction 3.6-4 AddAdditiveInverseForMorphisms
, for IsCapCategory, IsFunction 3.6-8 AddAssociatorLeftToRightOfDirectProductsWithGivenDirectProducts
, for IsCapCategory, IsFunction 6.8-19 AddAssociatorLeftToRightWithGivenTensorProducts
, for IsCapCategory, IsFunction 7.1-11 AddAssociatorRightToLeftOfDirectProductsWithGivenDirectProducts
, for IsCapCategory, IsFunction 6.8-17 AddAssociatorRightToLeftWithGivenTensorProducts
, for IsCapCategory, IsFunction 7.1-8 AddAstrictionToCoimage
, for IsCapCategory, IsFunction 6.14-23 AddAstrictionToCoimageWithGivenCoimage
, for IsCapCategory, IsFunction 6.14-24 AddBraidingInverseWithGivenTensorProducts
, for IsCapCategory, IsFunction 7.2-6 AddBraidingWithGivenTensorProducts
, for IsCapCategory, IsFunction 7.2-3 AddClassifyingMorphismOfSubobject
, for IsCapCategory , IsFunction 6.15-10 AddClassifyingMorphismOfSubobjectWithGivenSubobjectClassifier
, for IsCapCategory , IsFunction 6.15-11 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 AddCoevaluationForDualWithGivenTensorProduct
, for IsCapCategory, IsFunction 7.4-32 AddCoevaluationMorphismWithGivenRange
, for IsCapCategory, IsFunction 7.4-11 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-4 AddColiftAlongEpimorphism
, for IsCapCategory, IsFunction 3.10-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 AddDualOnMorphismsWithGivenDuals
, for IsCapCategory, IsFunction 7.4-26 AddDualOnObjects
, for IsCapCategory, IsFunction 7.4-23 AddEmbeddingOfEqualizer
, for IsCapCategory, IsFunction 6.9-9 AddEmbeddingOfEqualizerWithGivenEqualizer
, for IsCapCategory, IsFunction 6.9-10 AddEpimorphismFromSomeProjectiveObject
, for IsCapCategory, IsFunction 4.7-6 AddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject
, for IsCapCategory, IsFunction 4.7-7 AddEqualizer
, for IsCapCategory, IsFunction 6.9-8 AddEqualizerFunctorialWithGivenEqualizers
, for IsCapCategory, IsFunction 6.9-15 AddEvaluationForDualWithGivenTensorProduct
, for IsCapCategory, IsFunction 7.4-29 AddEvaluationMorphismWithGivenSource
, for IsCapCategory, IsFunction 7.4-8 AddFiberProduct
, for IsCapCategory, IsFunction 6.11-27 AddFiberProductEmbeddingInDirectSum
, for IsCapCategory, IsFunction 6.11-18 AddFiberProductFunctorialWithGivenFiberProducts
, for IsCapCategory, IsFunction 6.11-34 AddHorizontalPostCompose
, for IsCapCategory, IsFunction 5.2-6 AddHorizontalPreCompose
, for IsCapCategory, IsFunction 5.2-4 AddIdentityMorphism
, for IsCapCategory, IsFunction 3.8-2 AddIdentityTwoCell
, for IsCapCategory, IsFunction 5.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 4.8-8 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.12-1 AddInverseMorphismFromCoimageToImageWithGivenObjects
, for IsCapCategory, IsFunction 6.14-6 AddIsAutomorphism
, for IsCapCategory, IsFunction 3.3-6 AddIsCodominating
, for IsCapCategory, IsFunction 3.7-8 AddIsCongruentForMorphisms
, for IsCapCategory, IsFunction 3.5-2 AddIsDominating
, for IsCapCategory, IsFunction 3.7-6 AddIsEndomorphism
, for IsCapCategory, IsFunction 3.3-5 AddIsEpimorphism
, for IsCapCategory, IsFunction 3.2-2 AddIsEqualAsFactorobjects
, for IsCapCategory, IsFunction 3.7-4 AddIsEqualAsSubobjects
, for IsCapCategory, IsFunction 3.7-2 AddIsEqualForCacheForMorphisms
, for IsCapCategory, IsFunction 3.13-2 AddIsEqualForCacheForObjects
, for IsCapCategory, IsFunction 4.4-2 AddIsEqualForMorphisms
, for IsCapCategory, IsFunction 3.5-4 AddIsEqualForMorphismsOnMor
, for IsCapCategory, IsFunction 3.5-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 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 AddIsomorphismFromDualToInternalHom
, for IsCapCategory, IsFunction 7.4-57 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 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.13-4 AddIsomorphismFromKernelOfDiagonalDifferenceToFiberProduct
, for IsCapCategory, IsFunction 6.11-6 AddIsomorphismFromObjectToInternalHomWithGivenInternalHom
, for IsCapCategory, IsFunction 7.4-68 AddIsomorphismFromPushoutToCoequalizerOfCoproductDiagram
, for IsCapCategory, IsFunction 6.12-9 AddIsomorphismFromPushoutToCokernelOfDiagonalDifference
, for IsCapCategory, IsFunction 6.12-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.9-2 AddIsWellDefinedForObjects
, for IsCapCategory, IsFunction 4.6-2 AddIsWellDefinedForTwoCells
, for IsCapCategory, IsFunction 5.3-2 AddIsZeroForMorphisms
, for IsCapCategory, IsFunction 3.6-2 AddIsZeroForObjects
, for IsCapCategory, IsFunction 4.3-6 AdditionForMorphisms
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.6-3 AdditiveInverseForMorphisms
, for IsCapCategoryMorphism 3.6-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 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.11-2 AddLiftAlongMonomorphism
, for IsCapCategory, IsFunction 3.10-2 AddMonoidalPostComposeMorphismWithGivenObjects
, for IsCapCategory, IsFunction 7.4-21 AddMonoidalPreComposeMorphismWithGivenObjects
, for IsCapCategory, IsFunction 7.4-18 AddMonomorphismIntoSomeInjectiveObject
, for IsCapCategory, IsFunction 4.8-6 AddMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject
, for IsCapCategory, IsFunction 4.8-7 AddMorphismBetweenDirectSums
, for IsCapCategory, IsFunction 6.6-23 AddMorphismFromBidualWithGivenBidual
, for IsCapCategory, IsFunction 7.5-6 AddMorphismFromCoimageToImageWithGivenObjects
, for IsCapCategory, IsFunction 6.14-3 AddMorphismFromInternalHomToTensorProductWithGivenObjects
, for IsCapCategory, IsFunction 7.4-49 AddMorphismFromTensorProductToInternalHomWithGivenObjects
, for IsCapCategory, IsFunction 7.4-44 AddMorphismFunction
, for IsCapFunctor, IsFunction 2.4-4 AddMorphismRepresentation
, for IsCapCategory, IsObject 3.4-1 AddMorphismToBidualWithGivenBidual
, for IsCapCategory, IsFunction 7.4-35 AddMultiplyWithElementOfCommutativeRingForMorphisms
, for IsCapCategory, IsFunction 3.6-10 AddNaturalTransformationFunction
, for IsCapNaturalTransformation, IsFunction 2.5-3 AddObjectFunction
, for IsCapFunctor, IsFunction 2.4-2 AddObjectRepresentation
, for IsCapCategory, IsObject 4.5-1 AddOperationsToDerivationGraph
, for IsDerivedMethodGraph, IsDenseList 8.3-3 AddPostCompose
, for IsCapCategory, IsFunction 3.8-8 AddPreCompose
, for IsCapCategory, IsFunction 3.8-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-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 4.7-8 AddPushout
, for IsCapCategory, IsFunction 6.12-28 AddPushoutFunctorialWithGivenPushouts
, for IsCapCategory, IsFunction 6.12-35 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 AddSomeInjectiveObject
, for IsCapCategory, IsFunction 4.8-5 AddSomeProjectiveObject
, for IsCapCategory, IsFunction 4.7-5 AddSubobjectClassifier
, for IsCapCategory, IsFunction 6.15-9 AddSubobjectOfClassifyingMorphism
, for IsCapCategory , IsFunction 6.15-13 AddSubtractionForMorphisms
, for IsCapCategory, IsFunction 3.6-6 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 AddTruthMorphismIntoSubobjectClassifierWithGivenObjects
, for IsCapCategory , IsFunction 6.15-12 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 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.6-12 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 AssociatorLeftToRightOfDirectProductsWithGivenDirectProducts
, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 6.8-18 AssociatorLeftToRightWithGivenTensorProducts
, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.1-10 AssociatorRightToLeft
, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.1-6 AssociatorRightToLeftOfDirectProductsWithGivenDirectProducts
, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 6.8-16 AssociatorRightToLeftWithGivenTensorProducts
, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.1-7 AstrictionToCoimage
, for IsCapCategoryMorphism 6.14-16 AstrictionToCoimageWithGivenCoimage
, for IsCapCategoryMorphism, IsCapCategoryObject 6.14-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 BrowseCachingStatistic
10.2-11 CachingStatistic
10.2-10 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 CAPAddPrepareFunction
12.1-2 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 CAPOperationPrepareFunction
12.1-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 ClassifyingMorphismOfSubobject
, for IsCapCategoryMorphism 6.15-6 ClassifyingMorphismOfSubobjectWithGivenSubobjectClassifier
, for IsCapCategoryMorphism , IsCapCategoryObject 6.15-7 CoastrictionToImage
, for IsCapCategoryMorphism 6.13-8 CoastrictionToImageWithGivenImageObject
, for IsCapCategoryMorphism, IsCapCategoryObject 6.13-9 Coequalizer
6.10-1 CoequalizerFunctorial
, for IsList 6.10-13 CoequalizerFunctorialWithGivenCoequalizers
, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.10-14 CoequalizerOp
, for IsList, IsCapCategoryMorphism 6.10-2 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.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-3 ColiftAlongEpimorphism
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-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 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.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.8-1 DisableBasicOperationTypeCheck
1.7-1 DualOnMorphisms
, for IsCapCategoryMorphism 7.4-24 DualOnMorphismsWithGivenDuals
, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 7.4-25 DualOnObjects
, for IsCapCategoryObject 7.4-22 EmbeddingOfEqualizer
, for IsList 6.9-3 EmbeddingOfEqualizerOp
, for IsList, IsCapCategoryMorphism 6.9-4 EmbeddingOfEqualizerWithGivenEqualizer
, for IsList, IsCapCategoryObject 6.9-5 EnableAddForCategoricalOperations
1.8-1 EnableFullBasicOperationTypeCheck
1.7-1 EnablePartialBasicOperationTypeCheck
1.7-1 EpimorphismFromSomeProjectiveObject
, for IsCapCategoryObject 4.7-2 EpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject
, for IsCapCategoryObject, IsCapCategoryObject 4.7-3 Equalizer
6.9-1 EqualizerFunctorial
, for IsList 6.9-13 EqualizerFunctorialWithGivenEqualizers
, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.9-14 EqualizerOp
, for IsList, IsCapCategoryMorphism 6.9-2 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.11-19 FiberProductEmbeddingInDirectSum
, for IsList 6.11-16 FiberProductEmbeddingInDirectSumOp
, for IsList, IsCapCategoryMorphism 6.11-17 FiberProductFunctorial
, for IsList 6.11-32 FiberProductFunctorialWithGivenFiberProducts
, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.11-33 FiberProductOp
, for IsList, IsCapCategoryMorphism 6.11-20 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.8-1 IdentityTwoCell
, for IsCapCategoryMorphism 5.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 4.8-4 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.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 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.7-7 IsCongruentForMorphisms
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.5-1 IsDerivedMethod
, for IsObject 8.2-1 IsDerivedMethodGraph
, for IsObject 8.3-1 IsDominating
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-5 IsEmptyHeap
, for IsStringMinHeap 8.5-6 IsEqualAsFactorobjects
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-3 IsEqualAsSubobjects
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-1 IsEqualForCacheForMorphisms
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.13-1 IsEqualForCacheForObjects
, for IsCapCategoryObject, IsCapCategoryObject 4.4-1 IsEqualForMorphisms
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.5-3 IsEqualForMorphismsOnMor
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.5-5 IsEqualForObjects
, for IsCapCategoryObject, IsCapCategoryObject 4.2-1 IsIdenticalToIdentityMorphism
, for IsCapCategoryMorphism 3.3-1 IsIdenticalToZeroMorphism
, for IsCapCategoryMorphism 3.3-3 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 IsomorphismFromDualToInternalHom
, for IsCapCategoryObject 7.4-56 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 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.13-3 IsomorphismFromKernelOfDiagonalDifferenceToFiberProduct
, for IsList 6.11-4 IsomorphismFromKernelOfDiagonalDifferenceToFiberProductOp
, for IsList, IsCapCategoryMorphism 6.11-5 IsomorphismFromObjectToInternalHom
, for IsCapCategoryObject 7.4-66 IsomorphismFromObjectToInternalHomWithGivenInternalHom
, for IsCapCategoryObject, IsCapCategoryObject 7.4-67 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 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.9-1 IsWellDefinedForObjects
, for IsCapCategoryObject 4.6-1 IsWellDefinedForTwoCells
, for IsCapCategoryTwoCell 5.3-1 IsZeroForMorphisms
, for IsCapCategoryMorphism 3.6-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, IsCapCategoryMorphism, IsCapCategoryObject 6.1-14 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.11-1 LiftAlongMonomorphism
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-1 ListCAPPrepareFunctions
12.1-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 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 MonomorphismIntoSomeInjectiveObject
, for IsCapCategoryObject 4.8-2 MonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject
, for IsCapCategoryObject, IsCapCategoryObject 4.8-3 MorphismBetweenDirectSums
, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.6-22 MorphismBetweenDirectSumsOp
, for IsList, IsInt, IsInt, IsCapCategoryMorphism 6.6-24 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.14-1 MorphismFromCoimageToImageWithGivenObjects
, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.14-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 MultiplyWithElementOfCommutativeRingForMorphisms
, for IsRingElement, IsCapCategoryMorphism 3.6-9 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 ObjectifyMorphismForCAPWithAttributes
3.4-2 ObjectifyObjectForCAPWithAttributes
4.5-2 Operations
, for IsDerivedMethodGraph 8.3-15 OperationWeightUsingDerivation
, for IsOperationWeightList, IsDerivedMethod 8.4-6 PostCompose
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-6 PreCompose
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-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.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 4.7-4 Pushout
, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.12-20 PushoutFunctorial
, for IsList 6.12-33 PushoutFunctorialWithGivenPushouts
, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.12-34 PushoutOp
, for IsList, IsCapCategoryMorphism 6.12-21 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 SomeInjectiveObject
, for IsCapCategoryObject 4.8-1 SomeProjectiveObject
, for IsCapCategoryObject 4.7-1 Source
, for IsCapCategoryMorphism 3.1-2 StringMinHeap
8.5-2 SubobjectClassifier
, for IsCapCategory 6.15-1 SubobjectOfClassifyingMorphism
, for IsCapCategoryMorphism 6.15-8 SubtractionForMorphisms
, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.6-5 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 TruthMorphismIntoSubobjectClassifier
, for IsCapCategory 6.15-4 TruthMorphismIntoSubobjectClassifierWithGivenObjects
, for IsCapCategoryObject , IsCapCategoryObject 6.15-3 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 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.6-11 ZeroObject
, for IsCapCategory 6.3-1 ZeroObjectFunctorial
, for IsCapCategory 6.3-22
generated by GAPDoc2HTML