AddCartesianAssociatorLeftToRight, for IsCapCategory, IsFunction 1.4-5 AddCartesianAssociatorLeftToRightWithGivenDirectProducts, for IsCapCategory, IsFunction 1.4-6 AddCartesianAssociatorRightToLeft, for IsCapCategory, IsFunction 1.4-7 AddCartesianAssociatorRightToLeftWithGivenDirectProducts, for IsCapCategory, IsFunction 1.4-8 AddCartesianBraiding, for IsCapCategory, IsFunction 1.4-1 AddCartesianBraidingInverse, for IsCapCategory, IsFunction 1.4-2 AddCartesianBraidingInverseWithGivenDirectProducts, for IsCapCategory, IsFunction 1.4-3 AddCartesianBraidingWithGivenDirectProducts, for IsCapCategory, IsFunction 1.4-4 AddCartesianDiagonal, for IsCapCategory, IsFunction 1.4-9 AddCartesianDiagonalWithGivenCartesianPower, for IsCapCategory, IsFunction 1.4-10 AddCartesianDualOnMorphisms, for IsCapCategory, IsFunction 1.4-21 AddCartesianDualOnMorphismsWithGivenCartesianDuals, for IsCapCategory, IsFunction 1.4-22 AddCartesianDualOnObjects, for IsCapCategory, IsFunction 1.4-23 AddCartesianEvaluationForCartesianDual, for IsCapCategory, IsFunction 1.4-24 AddCartesianEvaluationForCartesianDualWithGivenDirectProduct, for IsCapCategory, IsFunction 1.4-25 AddCartesianEvaluationMorphism, for IsObject 5.2-11 AddCartesianEvaluationMorphismWithGivenSource, for IsObject 5.2-12 AddCartesianLambdaElimination, for IsCapCategory, IsFunction 1.4-26 AddCartesianLambdaIntroduction, for IsCapCategory, IsFunction 1.4-27 AddCartesianLeftCoevaluationMorphism, for IsCapCategory, IsFunction 1.4-28 AddCartesianLeftCoevaluationMorphismWithGivenRange, for IsCapCategory, IsFunction 1.4-29 AddCartesianLeftEvaluationMorphism, for IsCapCategory, IsFunction 1.4-30 AddCartesianLeftEvaluationMorphismWithGivenSource, for IsCapCategory, IsFunction 1.4-31 AddCartesianLeftUnitor, for IsCapCategory, IsFunction 1.4-11 AddCartesianLeftUnitorInverse, for IsCapCategory, IsFunction 1.4-12 AddCartesianLeftUnitorInverseWithGivenDirectProduct, for IsCapCategory, IsFunction 1.4-13 AddCartesianLeftUnitorWithGivenDirectProduct, for IsCapCategory, IsFunction 1.4-14 AddCartesianPostComposeMorphism, for IsCapCategory, IsFunction 1.4-32 AddCartesianPostComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.4-33 AddCartesianPreComposeMorphism, for IsCapCategory, IsFunction 1.4-34 AddCartesianPreComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.4-35 AddCartesianRightCoevaluationMorphism, for IsCapCategory, IsFunction 1.4-36 AddCartesianRightCoevaluationMorphismWithGivenRange, for IsCapCategory, IsFunction 1.4-37 AddCartesianRightEvaluationMorphism, for IsCapCategory, IsFunction 1.4-38 AddCartesianRightEvaluationMorphismWithGivenSource, for IsCapCategory, IsFunction 1.4-39 AddCartesianRightUnitor, for IsCapCategory, IsFunction 1.4-15 AddCartesianRightUnitorInverse, for IsCapCategory, IsFunction 1.4-16 AddCartesianRightUnitorInverseWithGivenDirectProduct, for IsCapCategory, IsFunction 1.4-17 AddCartesianRightUnitorWithGivenDirectProduct, for IsCapCategory, IsFunction 1.4-18 AddCocartesianAssociatorLeftToRight, for IsCapCategory, IsFunction 2.4-5 AddCocartesianAssociatorLeftToRightWithGivenCoproducts, for IsCapCategory, IsFunction 2.4-6 AddCocartesianAssociatorRightToLeft, for IsCapCategory, IsFunction 2.4-7 AddCocartesianAssociatorRightToLeftWithGivenCoproducts, for IsCapCategory, IsFunction 2.4-8 AddCocartesianBraiding, for IsCapCategory, IsFunction 2.4-1 AddCocartesianBraidingInverse, for IsCapCategory, IsFunction 2.4-2 AddCocartesianBraidingInverseWithGivenCoproducts, for IsCapCategory, IsFunction 2.4-3 AddCocartesianBraidingWithGivenCoproducts, for IsCapCategory, IsFunction 2.4-4 AddCocartesianCodiagonal, for IsCapCategory, IsFunction 2.4-9 AddCocartesianCodiagonalWithGivenCocartesianMultiple, for IsCapCategory, IsFunction 2.4-10 AddCocartesianDualityCoproductCompatibilityMorphism, for IsCapCategory, IsFunction 2.4-24 AddCocartesianDualityCoproductCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 2.4-25 AddCocartesianDualOnMorphisms, for IsCapCategory, IsFunction 2.4-21 AddCocartesianDualOnMorphismsWithGivenCocartesianDuals, for IsCapCategory, IsFunction 2.4-22 AddCocartesianDualOnObjects, for IsCapCategory, IsFunction 2.4-23 AddCocartesianEvaluationForCocartesianDual, for IsCapCategory, IsFunction 2.4-26 AddCocartesianEvaluationForCocartesianDualWithGivenCoproduct, for IsCapCategory, IsFunction 2.4-27 AddCocartesianLambdaElimination, for IsCapCategory, IsFunction 2.4-28 AddCocartesianLambdaIntroduction, for IsCapCategory, IsFunction 2.4-29 AddCocartesianLeftCoevaluationMorphism, for IsCapCategory, IsFunction 2.4-30 AddCocartesianLeftCoevaluationMorphismWithGivenSource, for IsCapCategory, IsFunction 2.4-31 AddCocartesianLeftEvaluationMorphism, for IsCapCategory, IsFunction 2.4-32 AddCocartesianLeftEvaluationMorphismWithGivenRange, for IsCapCategory, IsFunction 2.4-33 AddCocartesianLeftUnitor, for IsCapCategory, IsFunction 2.4-11 AddCocartesianLeftUnitorInverse, for IsCapCategory, IsFunction 2.4-12 AddCocartesianLeftUnitorInverseWithGivenCoproduct, for IsCapCategory, IsFunction 2.4-13 AddCocartesianLeftUnitorWithGivenCoproduct, for IsCapCategory, IsFunction 2.4-14 AddCocartesianPostCoComposeMorphism, for IsCapCategory, IsFunction 2.4-34 AddCocartesianPostCoComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 2.4-35 AddCocartesianPreCoComposeMorphism, for IsCapCategory, IsFunction 2.4-36 AddCocartesianPreCoComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 2.4-37 AddCocartesianRightCoevaluationMorphism, for IsCapCategory, IsFunction 2.4-38 AddCocartesianRightCoevaluationMorphismWithGivenSource, for IsCapCategory, IsFunction 2.4-39 AddCocartesianRightEvaluationMorphism, for IsCapCategory, IsFunction 2.4-40 AddCocartesianRightEvaluationMorphismWithGivenRange, for IsCapCategory, IsFunction 2.4-41 AddCocartesianRightUnitor, for IsCapCategory, IsFunction 2.4-15 AddCocartesianRightUnitorInverse, for IsCapCategory, IsFunction 2.4-16 AddCocartesianRightUnitorInverseWithGivenCoproduct, for IsCapCategory, IsFunction 2.4-17 AddCocartesianRightUnitorWithGivenCoproduct, for IsCapCategory, IsFunction 2.4-18 AddCoexponentialCoproductCompatibilityMorphism, for IsCapCategory, IsFunction 2.4-42 AddCoexponentialCoproductCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 2.4-43 AddCoexponentialOnMorphisms, for IsCapCategory, IsFunction 2.4-44 AddCoexponentialOnMorphismsWithGivenCoexponentials, for IsCapCategory, IsFunction 2.4-45 AddCoexponentialOnObjects, for IsCapCategory, IsFunction 2.4-46 AddCoexponentialToCoproductAdjunctionMap, for IsObject 5.2-13 AddCoexponentialToCoproductAdjunctionMapWithGivenCoproduct, for IsObject 5.2-14 AddCoexponentialToCoproductLeftAdjunctionMap, for IsObject 5.2-29 AddCoexponentialToCoproductLeftAdjunctionMapWithGivenCoproduct, for IsObject 5.2-30 AddCoexponentialToCoproductLeftAdjunctMorphism, for IsCapCategory, IsFunction 2.4-47 AddCoexponentialToCoproductLeftAdjunctMorphismWithGivenCoproduct, for IsCapCategory, IsFunction 2.4-48 AddCoexponentialToCoproductRightAdjunctMorphism, for IsCapCategory, IsFunction 2.4-49 AddCoexponentialToCoproductRightAdjunctMorphismWithGivenCoproduct, for IsCapCategory, IsFunction 2.4-50 AddCoproductOnMorphisms, for IsCapCategory, IsFunction 2.4-19 AddCoproductOnMorphismsWithGivenCoproducts, for IsCapCategory, IsFunction 2.4-20 AddCoproductToCoexponentialAdjunctionMap, for IsObject 5.2-17 AddCoproductToCoexponentialAdjunctionMapWithGivenCoexponential, for IsObject 5.2-18 AddCoproductToCoexponentialLeftAdjunctionMap, for IsObject 5.2-33 AddCoproductToCoexponentialLeftAdjunctionMapWithGivenCoexponential, for IsObject 5.2-34 AddCoproductToCoexponentialLeftAdjunctMorphism, for IsCapCategory, IsFunction 2.4-51 AddCoproductToCoexponentialLeftAdjunctMorphismWithGivenCoexponential, for IsCapCategory, IsFunction 2.4-52 AddCoproductToCoexponentialRightAdjunctMorphism, for IsCapCategory, IsFunction 2.4-53 AddCoproductToCoexponentialRightAdjunctMorphismWithGivenCoexponential, for IsCapCategory, IsFunction 2.4-54 AddDirectProductCartesianDualityCompatibilityMorphism, for IsCapCategory, IsFunction 1.4-40 AddDirectProductCartesianDualityCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.4-41 AddDirectProductExponentialCompatibilityMorphism, for IsCapCategory, IsFunction 1.4-42 AddDirectProductExponentialCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.4-43 AddDirectProductOnMorphisms, for IsCapCategory, IsFunction 1.4-19 AddDirectProductOnMorphismsWithGivenDirectProducts, for IsCapCategory, IsFunction 1.4-20 AddDirectProductToExponentialAdjunctionMap, for IsObject 5.2-19 AddDirectProductToExponentialAdjunctionMapWithGivenExponential, for IsObject 5.2-20 AddDirectProductToExponentialLeftAdjunctionIsomorphism, for IsCapCategory, IsFunction 1.4-46 AddDirectProductToExponentialLeftAdjunctionIsomorphismWithGivenObjects, for IsCapCategory, IsFunction 1.4-47 AddDirectProductToExponentialLeftAdjunctionMap, for IsObject 5.2-35 AddDirectProductToExponentialLeftAdjunctionMapWithGivenExponential, for IsObject 5.2-36 AddDirectProductToExponentialLeftAdjunctMorphism, for IsCapCategory, IsFunction 1.4-44 AddDirectProductToExponentialLeftAdjunctMorphismWithGivenExponential, for IsCapCategory, IsFunction 1.4-45 AddDirectProductToExponentialRightAdjunctionIsomorphism, for IsCapCategory, IsFunction 1.4-50 AddDirectProductToExponentialRightAdjunctionIsomorphismWithGivenObjects, for IsCapCategory, IsFunction 1.4-51 AddDirectProductToExponentialRightAdjunctMorphism, for IsCapCategory, IsFunction 1.4-48 AddDirectProductToExponentialRightAdjunctMorphismWithGivenExponential, for IsCapCategory, IsFunction 1.4-49 AddExponentialOnMorphisms, for IsCapCategory, IsFunction 1.4-52 AddExponentialOnMorphismsWithGivenExponentials, for IsCapCategory, IsFunction 1.4-53 AddExponentialOnObjects, for IsCapCategory, IsFunction 1.4-54 AddExponentialToDirectProductAdjunctionMap, for IsObject 5.2-15 AddExponentialToDirectProductAdjunctionMapWithGivenDirectProduct, for IsObject 5.2-16 AddExponentialToDirectProductLeftAdjunctionIsomorphism, for IsCapCategory, IsFunction 1.4-57 AddExponentialToDirectProductLeftAdjunctionIsomorphismWithGivenObjects, for IsCapCategory, IsFunction 1.4-58 AddExponentialToDirectProductLeftAdjunctionMap, for IsObject 5.2-31 AddExponentialToDirectProductLeftAdjunctionMapWithGivenDirectProduct, for IsObject 5.2-32 AddExponentialToDirectProductLeftAdjunctMorphism, for IsCapCategory, IsFunction 1.4-55 AddExponentialToDirectProductLeftAdjunctMorphismWithGivenDirectProduct, for IsCapCategory, IsFunction 1.4-56 AddExponentialToDirectProductRightAdjunctionIsomorphism, for IsCapCategory, IsFunction 1.4-61 AddExponentialToDirectProductRightAdjunctionIsomorphismWithGivenObjects, for IsCapCategory, IsFunction 1.4-62 AddExponentialToDirectProductRightAdjunctMorphism, for IsCapCategory, IsFunction 1.4-59 AddExponentialToDirectProductRightAdjunctMorphismWithGivenDirectProduct, for IsCapCategory, IsFunction 1.4-60 AddIsomorphismFromCartesianDualObjectToExponentialIntoTerminalObject, for IsCapCategory, IsFunction 1.4-63 AddIsomorphismFromCocartesianDualObjectToCoexponentialFromInitialObject, for IsCapCategory, IsFunction 2.4-55 AddIsomorphismFromCoexponentialFromInitialObjectToCocartesianDualObject, for IsCapCategory, IsFunction 2.4-56 AddIsomorphismFromCoexponentialToObject, for IsCapCategory, IsFunction 2.4-57 AddIsomorphismFromCoexponentialToObjectWithGivenCoexponential, for IsCapCategory, IsFunction 2.4-58 AddIsomorphismFromExponentialIntoTerminalObjectToCartesianDualObject, for IsCapCategory, IsFunction 1.4-64 AddIsomorphismFromExponentialToObject, for IsCapCategory, IsFunction 1.4-65 AddIsomorphismFromExponentialToObjectWithGivenExponential, for IsCapCategory, IsFunction 1.4-66 AddIsomorphismFromObjectToCoexponential, for IsCapCategory, IsFunction 2.4-59 AddIsomorphismFromObjectToCoexponentialWithGivenCoexponential, for IsCapCategory, IsFunction 2.4-60 AddIsomorphismFromObjectToExponential, for IsCapCategory, IsFunction 1.4-67 AddIsomorphismFromObjectToExponentialWithGivenExponential, for IsCapCategory, IsFunction 1.4-68 AddLeftCartesianDistributivityExpanding, for IsCapCategory, IsFunction 1.4-74 AddLeftCartesianDistributivityExpandingWithGivenObjects, for IsCapCategory, IsFunction 1.4-75 AddLeftCartesianDistributivityFactoring, for IsCapCategory, IsFunction 1.4-76 AddLeftCartesianDistributivityFactoringWithGivenObjects, for IsCapCategory, IsFunction 1.4-77 AddLeftCocartesianCodistributivityExpanding, for IsCapCategory, IsFunction 2.4-66 AddLeftCocartesianCodistributivityExpandingWithGivenObjects, for IsCapCategory, IsFunction 2.4-67 AddLeftCocartesianCodistributivityFactoring, for IsCapCategory, IsFunction 2.4-68 AddLeftCocartesianCodistributivityFactoringWithGivenObjects, for IsCapCategory, IsFunction 2.4-69 AddMorphismFromCocartesianBidual, for IsCapCategory, IsFunction 2.4-61 AddMorphismFromCocartesianBidualWithGivenCocartesianBidual, for IsCapCategory, IsFunction 2.4-62 AddMorphismFromCoexponentialToCoproduct, for IsCapCategory, IsFunction 2.4-63 AddMorphismFromCoexponentialToCoproductWithGivenObjects, for IsCapCategory, IsFunction 2.4-64 AddMorphismFromDirectProductToExponential, for IsCapCategory, IsFunction 1.4-69 AddMorphismFromDirectProductToExponentialWithGivenObjects, for IsCapCategory, IsFunction 1.4-70 AddMorphismToCartesianBidual, for IsCapCategory, IsFunction 1.4-71 AddMorphismToCartesianBidualWithGivenCartesianBidual, for IsCapCategory, IsFunction 1.4-72 AddRightCartesianDistributivityExpanding, for IsCapCategory, IsFunction 1.4-78 AddRightCartesianDistributivityExpandingWithGivenObjects, for IsCapCategory, IsFunction 1.4-79 AddRightCartesianDistributivityFactoring, for IsCapCategory, IsFunction 1.4-80 AddRightCartesianDistributivityFactoringWithGivenObjects, for IsCapCategory, IsFunction 1.4-81 AddRightCocartesianCodistributivityExpanding, for IsCapCategory, IsFunction 2.4-70 AddRightCocartesianCodistributivityExpandingWithGivenObjects, for IsCapCategory, IsFunction 2.4-71 AddRightCocartesianCodistributivityFactoring, for IsCapCategory, IsFunction 2.4-72 AddRightCocartesianCodistributivityFactoringWithGivenObjects, for IsCapCategory, IsFunction 2.4-73 AddUniversalPropertyOfCartesianDual, for IsCapCategory, IsFunction 1.4-73 AddUniversalPropertyOfCocartesianDual, for IsCapCategory, IsFunction 2.4-65 BraidedCartesianCategoriesTest 3.1-4 BraidedCocartesianCategoriesTest 3.1-8 CartesianAssociatorLeftToRight, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.1-9 CartesianAssociatorLeftToRightWithGivenDirectProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.1-10 CartesianAssociatorRightToLeft, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.1-7 CartesianAssociatorRightToLeftWithGivenDirectProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.1-8 CartesianBraiding, for IsCapCategoryObject, IsCapCategoryObject 1.1-1 CartesianBraidingInverse, for IsCapCategoryObject, IsCapCategoryObject 1.1-3 CartesianBraidingInverseWithGivenDirectProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.1-4 CartesianBraidingWithGivenDirectProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.1-2 CartesianCategoriesTest 3.1-16 CartesianClosedCategoriesTest 3.1-17 CartesianCoevaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 5.1-5 CartesianCoevaluationMorphismWithGivenRange, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 5.1-6 CartesianDiagonal, for IsCapCategoryObject, IsInt 1.1-20 CartesianDiagonalWithGivenCartesianPower, for IsCapCategoryObject, IsInt, IsCapCategoryObject 1.1-21 CartesianDualOnMorphisms, for IsCapCategoryMorphism 1.2-33 CartesianDualOnMorphismsWithGivenCartesianDuals, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.2-34 CartesianDualOnObjects, for IsCapCategoryObject 1.2-32 CartesianEvaluationForCartesianDual, for IsCapCategoryObject 1.2-35 CartesianEvaluationForCartesianDualWithGivenDirectProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.2-36 CartesianEvaluationMorphism, for IsObject 5.2-1 CartesianEvaluationMorphismWithGivenSource, for IsObject 5.2-2 CartesianLambdaElimination, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.2-49 CartesianLambdaIntroduction, for IsCapCategoryMorphism 1.2-48 CartesianLeftCoevaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.2-18 CartesianLeftCoevaluationMorphismWithGivenRange, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.2-19 CartesianLeftEvaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.2-16 CartesianLeftEvaluationMorphismWithGivenSource, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.2-17 CartesianLeftUnitor, for IsCapCategoryObject 1.1-11 CartesianLeftUnitorInverse, for IsCapCategoryObject 1.1-13 CartesianLeftUnitorInverseWithGivenDirectProduct, for IsCapCategoryObject, IsCapCategoryObject 1.1-14 CartesianLeftUnitorWithGivenDirectProduct, for IsCapCategoryObject, IsCapCategoryObject 1.1-12 CartesianPostComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.2-30 CartesianPostComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.2-31 CartesianPreComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.2-28 CartesianPreComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.2-29 CartesianRightCoevaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.2-6 CartesianRightCoevaluationMorphismWithGivenRange, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.2-7 CartesianRightEvaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.2-4 CartesianRightEvaluationMorphismWithGivenSource, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.2-5 CartesianRightUnitor, for IsCapCategoryObject 1.1-15 CartesianRightUnitorInverse, for IsCapCategoryObject 1.1-17 CartesianRightUnitorInverseWithGivenDirectProduct, for IsCapCategoryObject, IsCapCategoryObject 1.1-18 CartesianRightUnitorWithGivenDirectProduct, for IsCapCategoryObject, IsCapCategoryObject 1.1-16 CocartesianAssociatorLeftToRight, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 2.1-9 CocartesianAssociatorLeftToRightWithGivenCoproducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 2.1-10 CocartesianAssociatorRightToLeft, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 2.1-7 CocartesianAssociatorRightToLeftWithGivenCoproducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 2.1-8 CocartesianBraiding, for IsCapCategoryObject, IsCapCategoryObject 2.1-1 CocartesianBraidingInverse, for IsCapCategoryObject, IsCapCategoryObject 2.1-3 CocartesianBraidingInverseWithGivenCoproducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 2.1-4 CocartesianBraidingWithGivenCoproducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 2.1-2 CocartesianCategoriesTest 3.1-25 CocartesianCoclosedCategoriesTest 3.1-26 CocartesianCodiagonal, for IsCapCategoryObject, IsInt 2.1-20 CocartesianCodiagonalWithGivenCocartesianMultiple, for IsCapCategoryObject, IsInt, IsCapCategoryObject 2.1-21 CocartesianCoevaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 5.1-1 CocartesianCoevaluationMorphismWithGivenSource, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 5.1-2 CocartesianDualityCoproductCompatibilityMorphism, for IsCapCategoryObject, IsCapCategoryObject 2.2-33 CocartesianDualityCoproductCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 2.2-34 CocartesianDualOnMorphisms, for IsCapCategoryMorphism 2.2-25 CocartesianDualOnMorphismsWithGivenCocartesianDuals, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 2.2-26 CocartesianDualOnObjects, for IsCapCategoryObject 2.2-24 CocartesianEvaluationForCocartesianDual, for IsCapCategoryObject 2.2-27 CocartesianEvaluationForCocartesianDualWithGivenCoproduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 2.2-28 CocartesianEvaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 5.1-3 CocartesianEvaluationMorphismWithGivenRange, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 5.1-4 CocartesianLambdaElimination, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 2.2-41 CocartesianLambdaIntroduction, for IsCapCategoryMorphism 2.2-40 CocartesianLeftCoevaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 2.2-14 CocartesianLeftCoevaluationMorphismWithGivenSource, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 2.2-15 CocartesianLeftEvaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 2.2-12 CocartesianLeftEvaluationMorphismWithGivenRange, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 2.2-13 CocartesianLeftUnitor, for IsCapCategoryObject 2.1-11 CocartesianLeftUnitorInverse, for IsCapCategoryObject 2.1-13 CocartesianLeftUnitorInverseWithGivenCoproduct, for IsCapCategoryObject, IsCapCategoryObject 2.1-14 CocartesianLeftUnitorWithGivenCoproduct, for IsCapCategoryObject, IsCapCategoryObject 2.1-12 CocartesianPostCoComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 2.2-22 CocartesianPostCoComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 2.2-23 CocartesianPreCoComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 2.2-20 CocartesianPreCoComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 2.2-21 CocartesianRightCoevaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 2.2-6 CocartesianRightCoevaluationMorphismWithGivenSource, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 2.2-7 CocartesianRightEvaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 2.2-4 CocartesianRightEvaluationMorphismWithGivenRange, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 2.2-5 CocartesianRightUnitor, for IsCapCategoryObject 2.1-15 CocartesianRightUnitorInverse, for IsCapCategoryObject 2.1-17 CocartesianRightUnitorInverseWithGivenCoproduct, for IsCapCategoryObject, IsCapCategoryObject 2.1-18 CocartesianRightUnitorWithGivenCoproduct, for IsCapCategoryObject, IsCapCategoryObject 2.1-16 CodistributiveCocartesianCategoriesTest 3.1-27 Coexponential, for IsCapCategoryCell, IsCapCategoryCell 2.3-1 CoexponentialCoproductCompatibilityMorphism, for IsList 2.2-31 CoexponentialCoproductCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject 2.2-32 CoexponentialOnMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.2-2 CoexponentialOnMorphismsWithGivenCoexponentials, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 2.2-3 CoexponentialOnObjects, for IsCapCategoryObject, IsCapCategoryObject 2.2-1 CoexponentialToCoproductAdjunctionMap, for IsObject 5.2-3 CoexponentialToCoproductAdjunctionMapWithGivenCoproduct, for IsObject 5.2-4 CoexponentialToCoproductLeftAdjunctionMap, for IsObject 5.2-21 CoexponentialToCoproductLeftAdjunctionMapWithGivenCoproduct, for IsObject 5.2-22 CoexponentialToCoproductLeftAdjunctMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 2.2-18 CoexponentialToCoproductLeftAdjunctMorphismWithGivenCoproduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 2.2-19 CoexponentialToCoproductRightAdjunctMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 2.2-10 CoexponentialToCoproductRightAdjunctMorphismWithGivenCoproduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 2.2-11 CoproductOnMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.1-5 CoproductOnMorphismsWithGivenCoproducts, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 2.1-6 CoproductToCoexponentialAdjunctionMap, for IsObject 5.2-7 CoproductToCoexponentialAdjunctionMapWithGivenCoexponential, for IsObject 5.2-8 CoproductToCoexponentialLeftAdjunctionMap, for IsObject 5.2-25 CoproductToCoexponentialLeftAdjunctionMapWithGivenCoexponential, for IsObject 5.2-26 CoproductToCoexponentialLeftAdjunctMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 2.2-16 CoproductToCoexponentialLeftAdjunctMorphismWithGivenCoexponential, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 2.2-17 CoproductToCoexponentialRightAdjunctMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 2.2-8 CoproductToCoexponentialRightAdjunctMorphismWithGivenCoexponential, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 2.2-9 DirectProductCartesianDualityCompatibilityMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.2-41 DirectProductCartesianDualityCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.2-42 DirectProductExponentialCompatibilityMorphism, for IsList 1.2-39 DirectProductExponentialCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject 1.2-40 DirectProductOnMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.1-5 DirectProductOnMorphismsWithGivenDirectProducts, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.1-6 DirectProductToExponentialAdjunctionMap, for IsObject 5.2-9 DirectProductToExponentialAdjunctionMapWithGivenExponential, for IsObject 5.2-10 DirectProductToExponentialLeftAdjunctionIsomorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.2-22 DirectProductToExponentialLeftAdjunctionIsomorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.2-23 DirectProductToExponentialLeftAdjunctionMap, for IsObject 5.2-27 DirectProductToExponentialLeftAdjunctionMapWithGivenExponential, for IsObject 5.2-28 DirectProductToExponentialLeftAdjunctMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.2-20 DirectProductToExponentialLeftAdjunctMorphismWithGivenExponential, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.2-21 DirectProductToExponentialRightAdjunctionIsomorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.2-10 DirectProductToExponentialRightAdjunctionIsomorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.2-11 DirectProductToExponentialRightAdjunctMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.2-8 DirectProductToExponentialRightAdjunctMorphismWithGivenExponential, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.2-9 DistributiveCartesianCategoriesTest 3.1-28 Exponential, for IsCapCategoryCell, IsCapCategoryCell 1.3-1 ExponentialOnMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.2-2 ExponentialOnMorphismsWithGivenExponentials, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.2-3 ExponentialOnObjects, for IsCapCategoryObject, IsCapCategoryObject 1.2-1 ExponentialToDirectProductAdjunctionMap, for IsObject 5.2-5 ExponentialToDirectProductAdjunctionMapWithGivenDirectProduct, for IsObject 5.2-6 ExponentialToDirectProductLeftAdjunctionIsomorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.2-26 ExponentialToDirectProductLeftAdjunctionIsomorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.2-27 ExponentialToDirectProductLeftAdjunctionMap, for IsObject 5.2-23 ExponentialToDirectProductLeftAdjunctionMapWithGivenDirectProduct, for IsObject 5.2-24 ExponentialToDirectProductLeftAdjunctMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.2-24 ExponentialToDirectProductLeftAdjunctMorphismWithGivenDirectProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.2-25 ExponentialToDirectProductRightAdjunctionIsomorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.2-14 ExponentialToDirectProductRightAdjunctionIsomorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.2-15 ExponentialToDirectProductRightAdjunctMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.2-12 ExponentialToDirectProductRightAdjunctMorphismWithGivenDirectProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.2-13 InitialCategory 4.1-1 IsBicartesianCategory, for IsCapCategory 6.1-1 IsBicartesianClosedCategory, for IsCapCategory 6.1-8 IsBicartesianCoclosedCategory, for IsCapCategory 6.1-12 IsCartesianCategory, for IsCapCategory 6.1-5 IsCartesianClosedCategory, for IsCapCategory 6.1-7 IsCocartesianCategory, for IsCapCategory 6.1-9 IsCocartesianCoclosedCategory, for IsCapCategory 6.1-11 IsCodistributiveCategory, for IsCapCategory 6.1-13 IsDistributiveCategory, for IsCapCategory 6.1-14 IsFiniteBicompleteCategory, for IsCapCategory 6.1-4 IsFiniteCocompleteCategory, for IsCapCategory 6.1-3 IsFiniteCompleteCategory, for IsCapCategory 6.1-2 IsInitialCapCategory, for IsCapCategory 4.2-1 IsInitialCategory, for IsCapCategory 6.1-15 IsMorphismInInitialCapCategory, for IsCapCategoryMorphism 4.2-3 IsObjectInInitialCapCategory, for IsCapCategoryObject 4.2-2 IsomorphismFromCartesianDualObjectToExponentialIntoTerminalObject, for IsCapCategoryObject 1.2-45 IsomorphismFromCocartesianDualObjectToCoexponentialFromInitialObject, for IsCapCategoryObject 2.2-37 IsomorphismFromCoexponentialFromInitialObjectToCocartesianDualObject, for IsCapCategoryObject 2.2-38 IsomorphismFromCoexponentialToObject, for IsCapCategoryObject 2.2-44 IsomorphismFromCoexponentialToObjectWithGivenCoexponential, for IsCapCategoryObject, IsCapCategoryObject 2.2-45 IsomorphismFromExponentialIntoTerminalObjectToCartesianDualObject, for IsCapCategoryObject 1.2-46 IsomorphismFromExponentialToObject, for IsCapCategoryObject 1.2-52 IsomorphismFromExponentialToObjectWithGivenExponential, for IsCapCategoryObject, IsCapCategoryObject 1.2-53 IsomorphismFromObjectToCoexponential, for IsCapCategoryObject 2.2-42 IsomorphismFromObjectToCoexponentialWithGivenCoexponential, for IsCapCategoryObject, IsCapCategoryObject 2.2-43 IsomorphismFromObjectToExponential, for IsCapCategoryObject 1.2-50 IsomorphismFromObjectToExponentialWithGivenExponential, for IsCapCategoryObject, IsCapCategoryObject 1.2-51 IsStrictCartesianCategory, for IsCapCategory 6.1-6 IsStrictCocartesianCategory, for IsCapCategory 6.1-10 IsSymmetricMonoidalCategoryStructureGivenByCoproduct, for IsCapCategory 2.1-19 IsSymmetricMonoidalCategoryStructureGivenByDirectProduct, for IsCapCategory 1.1-19 LeftCartesianDistributivityExpanding, for IsCapCategoryObject, IsList 1.1-23 LeftCartesianDistributivityExpandingWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsList, IsCapCategoryObject 1.1-24 LeftCartesianDistributivityFactoring, for IsCapCategoryObject, IsList 1.1-25 LeftCartesianDistributivityFactoringWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsList, IsCapCategoryObject 1.1-26 LeftCocartesianCodistributivityExpanding, for IsCapCategoryObject, IsList 2.1-23 LeftCocartesianCodistributivityExpandingWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsList, IsCapCategoryObject 2.1-24 LeftCocartesianCodistributivityFactoring, for IsCapCategoryObject, IsList 2.1-25 LeftCocartesianCodistributivityFactoringWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsList, IsCapCategoryObject 2.1-26 MorphismFromCocartesianBidual, for IsCapCategoryObject 2.2-29 MorphismFromCocartesianBidualWithGivenCocartesianBidual, for IsCapCategoryObject, IsCapCategoryObject 2.2-30 MorphismFromCoexponentialToCoproduct, for IsCapCategoryObject, IsCapCategoryObject 2.2-35 MorphismFromCoexponentialToCoproductWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 2.2-36 MorphismFromDirectProductToExponential, for IsCapCategoryObject, IsCapCategoryObject 1.2-43 MorphismFromDirectProductToExponentialWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.2-44 MorphismToCartesianBidual, for IsCapCategoryObject 1.2-37 MorphismToCartesianBidualWithGivenCartesianBidual, for IsCapCategoryObject, IsCapCategoryObject 1.2-38 RightCartesianDistributivityExpanding, for IsList, IsCapCategoryObject 1.1-27 RightCartesianDistributivityExpandingWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryObject 1.1-28 RightCartesianDistributivityFactoring, for IsList, IsCapCategoryObject 1.1-29 RightCartesianDistributivityFactoringWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryObject 1.1-30 RightCocartesianCodistributivityExpanding, for IsList, IsCapCategoryObject 2.1-27 RightCocartesianCodistributivityExpandingWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryObject 2.1-28 RightCocartesianCodistributivityFactoring, for IsList, IsCapCategoryObject 2.1-29 RightCocartesianCodistributivityFactoringWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryObject 2.1-30 SetTensorProductToCoproduct, for IsCapCategory 2.1-22 SetTensorProductToDirectProduct, for IsCapCategory 1.1-22 TestCartesianAssociatorForInvertibility, for IsCapCategory, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 3.1-10 TestCartesianBraidingCompatibility, for IsCapCategory, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 3.1-2 TestCartesianBraidingCompatibilityForAllTriplesInList, for IsCapCategory, IsList 3.1-3 TestCartesianBraidingForInvertibility, for IsCapCategory, IsCapCategoryObject, IsCapCategoryObject 3.1-1 TestCartesianPentagonIdentity, for IsCapCategory, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 3.1-13 TestCartesianPentagonIdentityForAllQuadruplesInList, for IsCapCategory, IsList 3.1-15 TestCartesianPentagonIdentityUsingWithGivenOperations, for IsCapCategory, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 3.1-14 TestCartesianTriangleIdentity, for IsCapCategory, IsCapCategoryObject, IsCapCategoryObject 3.1-11 TestCartesianTriangleIdentityForAllPairsInList, for IsCapCategory, IsList 3.1-12 TestCartesianUnitorsForInvertibility, for IsCapCategory, IsCapCategoryObject 3.1-9 TestCocartesianAssociatorForInvertibility, for IsCapCategory, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 3.1-19 TestCocartesianBraidingCompatibility, for IsCapCategory, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 3.1-6 TestCocartesianBraidingCompatibilityForAllTriplesInList, for IsCapCategory, IsList 3.1-7 TestCocartesianBraidingForInvertibility, for IsCapCategory, IsCapCategoryObject, IsCapCategoryObject 3.1-5 TestCocartesianPentagonIdentity, for IsCapCategory, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 3.1-22 TestCocartesianPentagonIdentityForAllQuadruplesInList, for IsCapCategory, IsList 3.1-24 TestCocartesianPentagonIdentityUsingWithGivenOperations, for IsCapCategory, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 3.1-23 TestCocartesianTriangleIdentity, for IsCapCategory, IsCapCategoryObject, IsCapCategoryObject 3.1-20 TestCocartesianTriangleIdentityForAllPairsInList, for IsCapCategory, IsList 3.1-21 TestCocartesianUnitorsForInvertibility, for IsCapCategory, IsCapCategoryObject 3.1-18 UniversalPropertyOfCartesianDual, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.2-47 UniversalPropertyOfCocartesianDual, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 2.2-39
generated by GAPDoc2HTML