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