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-25 AddCartesianDualOnMorphismsWithGivenCartesianDuals, for IsCapCategory, IsFunction 1.4-26 AddCartesianDualOnObjects, for IsCapCategory, IsFunction 1.4-27 AddCartesianEvaluationForCartesianDual, for IsCapCategory, IsFunction 1.4-28 AddCartesianEvaluationForCartesianDualWithGivenDirectProduct, for IsCapCategory, IsFunction 1.4-29 AddCartesianEvaluationMorphism, for IsObject 5.2-11 AddCartesianEvaluationMorphismWithGivenSource, for IsObject 5.2-12 AddCartesianLambdaElimination, for IsCapCategory, IsFunction 1.4-30 AddCartesianLambdaIntroduction, for IsCapCategory, IsFunction 1.4-31 AddCartesianLeftCoevaluationMorphism, for IsCapCategory, IsFunction 1.4-32 AddCartesianLeftCoevaluationMorphismWithGivenRange, for IsCapCategory, IsFunction 1.4-33 AddCartesianLeftEvaluationMorphism, for IsCapCategory, IsFunction 1.4-34 AddCartesianLeftEvaluationMorphismWithGivenSource, for IsCapCategory, IsFunction 1.4-35 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-36 AddCartesianPostComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.4-37 AddCartesianPreComposeMorphism, for IsCapCategory, IsFunction 1.4-38 AddCartesianPreComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.4-39 AddCartesianRightCoevaluationMorphism, for IsCapCategory, IsFunction 1.4-40 AddCartesianRightCoevaluationMorphismWithGivenRange, for IsCapCategory, IsFunction 1.4-41 AddCartesianRightEvaluationMorphism, for IsCapCategory, IsFunction 1.4-42 AddCartesianRightEvaluationMorphismWithGivenSource, for IsCapCategory, IsFunction 1.4-43 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-28 AddCocartesianDualityCoproductCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 2.4-29 AddCocartesianDualOnMorphisms, for IsCapCategory, IsFunction 2.4-25 AddCocartesianDualOnMorphismsWithGivenCocartesianDuals, for IsCapCategory, IsFunction 2.4-26 AddCocartesianDualOnObjects, for IsCapCategory, IsFunction 2.4-27 AddCocartesianEvaluationForCocartesianDual, for IsCapCategory, IsFunction 2.4-30 AddCocartesianEvaluationForCocartesianDualWithGivenCoproduct, for IsCapCategory, IsFunction 2.4-31 AddCocartesianLambdaElimination, for IsCapCategory, IsFunction 2.4-32 AddCocartesianLambdaIntroduction, for IsCapCategory, IsFunction 2.4-33 AddCocartesianLeftCoevaluationMorphism, for IsCapCategory, IsFunction 2.4-34 AddCocartesianLeftCoevaluationMorphismWithGivenSource, for IsCapCategory, IsFunction 2.4-35 AddCocartesianLeftEvaluationMorphism, for IsCapCategory, IsFunction 2.4-36 AddCocartesianLeftEvaluationMorphismWithGivenRange, for IsCapCategory, IsFunction 2.4-37 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-38 AddCocartesianPostCoComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 2.4-39 AddCocartesianPreCoComposeMorphism, for IsCapCategory, IsFunction 2.4-40 AddCocartesianPreCoComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 2.4-41 AddCocartesianRightCoevaluationMorphism, for IsCapCategory, IsFunction 2.4-42 AddCocartesianRightCoevaluationMorphismWithGivenSource, for IsCapCategory, IsFunction 2.4-43 AddCocartesianRightEvaluationMorphism, for IsCapCategory, IsFunction 2.4-44 AddCocartesianRightEvaluationMorphismWithGivenRange, for IsCapCategory, IsFunction 2.4-45 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-46 AddCoexponentialCoproductCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 2.4-47 AddCoexponentialOnMorphisms, for IsCapCategory, IsFunction 2.4-48 AddCoexponentialOnMorphismsWithGivenCoexponentials, for IsCapCategory, IsFunction 2.4-49 AddCoexponentialOnObjects, for IsCapCategory, IsFunction 2.4-50 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-51 AddCoexponentialToCoproductLeftAdjunctMorphismWithGivenCoproduct, for IsCapCategory, IsFunction 2.4-52 AddCoexponentialToCoproductRightAdjunctMorphism, for IsCapCategory, IsFunction 2.4-53 AddCoexponentialToCoproductRightAdjunctMorphismWithGivenCoproduct, for IsCapCategory, IsFunction 2.4-54 AddCoproductOnMorphismAndObject, for IsCapCategory, IsFunction 2.4-19 AddCoproductOnMorphismAndObjectWithGivenCoproducts, for IsCapCategory, IsFunction 2.4-20 AddCoproductOnMorphisms, for IsCapCategory, IsFunction 2.4-21 AddCoproductOnMorphismsWithGivenCoproducts, for IsCapCategory, IsFunction 2.4-22 AddCoproductOnObjectAndMorphism, for IsCapCategory, IsFunction 2.4-23 AddCoproductOnObjectAndMorphismWithGivenCoproducts, for IsCapCategory, IsFunction 2.4-24 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-55 AddCoproductToCoexponentialLeftAdjunctMorphismWithGivenCoexponential, for IsCapCategory, IsFunction 2.4-56 AddCoproductToCoexponentialRightAdjunctMorphism, for IsCapCategory, IsFunction 2.4-57 AddCoproductToCoexponentialRightAdjunctMorphismWithGivenCoexponential, for IsCapCategory, IsFunction 2.4-58 AddDirectProductCartesianDualityCompatibilityMorphism, for IsCapCategory, IsFunction 1.4-44 AddDirectProductCartesianDualityCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.4-45 AddDirectProductExponentialCompatibilityMorphism, for IsCapCategory, IsFunction 1.4-46 AddDirectProductExponentialCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.4-47 AddDirectProductOnMorphismAndObject, for IsCapCategory, IsFunction 1.4-19 AddDirectProductOnMorphismAndObjectWithGivenDirectProducts, for IsCapCategory, IsFunction 1.4-20 AddDirectProductOnMorphisms, for IsCapCategory, IsFunction 1.4-21 AddDirectProductOnMorphismsWithGivenDirectProducts, for IsCapCategory, IsFunction 1.4-22 AddDirectProductOnObjectAndMorphism, for IsCapCategory, IsFunction 1.4-23 AddDirectProductOnObjectAndMorphismWithGivenDirectProducts, for IsCapCategory, IsFunction 1.4-24 AddDirectProductToExponentialAdjunctionMap, for IsObject 5.2-19 AddDirectProductToExponentialAdjunctionMapWithGivenExponential, for IsObject 5.2-20 AddDirectProductToExponentialLeftAdjunctionIsomorphism, for IsCapCategory, IsFunction 1.4-50 AddDirectProductToExponentialLeftAdjunctionIsomorphismWithGivenObjects, for IsCapCategory, IsFunction 1.4-51 AddDirectProductToExponentialLeftAdjunctionMap, for IsObject 5.2-35 AddDirectProductToExponentialLeftAdjunctionMapWithGivenExponential, for IsObject 5.2-36 AddDirectProductToExponentialLeftAdjunctMorphism, for IsCapCategory, IsFunction 1.4-48 AddDirectProductToExponentialLeftAdjunctMorphismWithGivenExponential, for IsCapCategory, IsFunction 1.4-49 AddDirectProductToExponentialRightAdjunctionIsomorphism, for IsCapCategory, IsFunction 1.4-54 AddDirectProductToExponentialRightAdjunctionIsomorphismWithGivenObjects, for IsCapCategory, IsFunction 1.4-55 AddDirectProductToExponentialRightAdjunctMorphism, for IsCapCategory, IsFunction 1.4-52 AddDirectProductToExponentialRightAdjunctMorphismWithGivenExponential, for IsCapCategory, IsFunction 1.4-53 AddExponentialOnMorphisms, for IsCapCategory, IsFunction 1.4-56 AddExponentialOnMorphismsWithGivenExponentials, for IsCapCategory, IsFunction 1.4-57 AddExponentialOnObjects, for IsCapCategory, IsFunction 1.4-58 AddExponentialToDirectProductAdjunctionMap, for IsObject 5.2-15 AddExponentialToDirectProductAdjunctionMapWithGivenDirectProduct, for IsObject 5.2-16 AddExponentialToDirectProductLeftAdjunctionIsomorphism, for IsCapCategory, IsFunction 1.4-61 AddExponentialToDirectProductLeftAdjunctionIsomorphismWithGivenObjects, for IsCapCategory, IsFunction 1.4-62 AddExponentialToDirectProductLeftAdjunctionMap, for IsObject 5.2-31 AddExponentialToDirectProductLeftAdjunctionMapWithGivenDirectProduct, for IsObject 5.2-32 AddExponentialToDirectProductLeftAdjunctMorphism, for IsCapCategory, IsFunction 1.4-59 AddExponentialToDirectProductLeftAdjunctMorphismWithGivenDirectProduct, for IsCapCategory, IsFunction 1.4-60 AddExponentialToDirectProductRightAdjunctionIsomorphism, for IsCapCategory, IsFunction 1.4-65 AddExponentialToDirectProductRightAdjunctionIsomorphismWithGivenObjects, for IsCapCategory, IsFunction 1.4-66 AddExponentialToDirectProductRightAdjunctMorphism, for IsCapCategory, IsFunction 1.4-63 AddExponentialToDirectProductRightAdjunctMorphismWithGivenDirectProduct, for IsCapCategory, IsFunction 1.4-64 AddIsomorphismFromCartesianDualObjectToExponentialIntoTerminalObject, for IsCapCategory, IsFunction 1.4-67 AddIsomorphismFromCocartesianDualObjectToCoexponentialFromInitialObject, for IsCapCategory, IsFunction 2.4-59 AddIsomorphismFromCoexponentialFromInitialObjectToCocartesianDualObject, for IsCapCategory, IsFunction 2.4-60 AddIsomorphismFromCoexponentialToObject, for IsCapCategory, IsFunction 2.4-61 AddIsomorphismFromCoexponentialToObjectWithGivenCoexponential, for IsCapCategory, IsFunction 2.4-62 AddIsomorphismFromExponentialIntoTerminalObjectToCartesianDualObject, for IsCapCategory, IsFunction 1.4-68 AddIsomorphismFromExponentialToObject, for IsCapCategory, IsFunction 1.4-69 AddIsomorphismFromExponentialToObjectWithGivenExponential, for IsCapCategory, IsFunction 1.4-70 AddIsomorphismFromObjectToCoexponential, for IsCapCategory, IsFunction 2.4-63 AddIsomorphismFromObjectToCoexponentialWithGivenCoexponential, for IsCapCategory, IsFunction 2.4-64 AddIsomorphismFromObjectToExponential, for IsCapCategory, IsFunction 1.4-71 AddIsomorphismFromObjectToExponentialWithGivenExponential, for IsCapCategory, IsFunction 1.4-72 AddLeftCartesianDistributivityExpanding, for IsCapCategory, IsFunction 1.4-78 AddLeftCartesianDistributivityExpandingWithGivenObjects, for IsCapCategory, IsFunction 1.4-79 AddLeftCartesianDistributivityFactoring, for IsCapCategory, IsFunction 1.4-80 AddLeftCartesianDistributivityFactoringWithGivenObjects, for IsCapCategory, IsFunction 1.4-81 AddLeftCocartesianCodistributivityExpanding, for IsCapCategory, IsFunction 2.4-70 AddLeftCocartesianCodistributivityExpandingWithGivenObjects, for IsCapCategory, IsFunction 2.4-71 AddLeftCocartesianCodistributivityFactoring, for IsCapCategory, IsFunction 2.4-72 AddLeftCocartesianCodistributivityFactoringWithGivenObjects, for IsCapCategory, IsFunction 2.4-73 AddMorphismFromCocartesianBidual, for IsCapCategory, IsFunction 2.4-65 AddMorphismFromCocartesianBidualWithGivenCocartesianBidual, for IsCapCategory, IsFunction 2.4-66 AddMorphismFromCoexponentialToCoproduct, for IsCapCategory, IsFunction 2.4-67 AddMorphismFromCoexponentialToCoproductWithGivenObjects, for IsCapCategory, IsFunction 2.4-68 AddMorphismFromDirectProductToExponential, for IsCapCategory, IsFunction 1.4-73 AddMorphismFromDirectProductToExponentialWithGivenObjects, for IsCapCategory, IsFunction 1.4-74 AddMorphismToCartesianBidual, for IsCapCategory, IsFunction 1.4-75 AddMorphismToCartesianBidualWithGivenCartesianBidual, for IsCapCategory, IsFunction 1.4-76 AddRightCartesianDistributivityExpanding, for IsCapCategory, IsFunction 1.4-82 AddRightCartesianDistributivityExpandingWithGivenObjects, for IsCapCategory, IsFunction 1.4-83 AddRightCartesianDistributivityFactoring, for IsCapCategory, IsFunction 1.4-84 AddRightCartesianDistributivityFactoringWithGivenObjects, for IsCapCategory, IsFunction 1.4-85 AddRightCocartesianCodistributivityExpanding, for IsCapCategory, IsFunction 2.4-74 AddRightCocartesianCodistributivityExpandingWithGivenObjects, for IsCapCategory, IsFunction 2.4-75 AddRightCocartesianCodistributivityFactoring, for IsCapCategory, IsFunction 2.4-76 AddRightCocartesianCodistributivityFactoringWithGivenObjects, for IsCapCategory, IsFunction 2.4-77 AddUniversalPropertyOfCartesianDual, for IsCapCategory, IsFunction 1.4-77 AddUniversalPropertyOfCocartesianDual, for IsCapCategory, IsFunction 2.4-69 BraidedCartesianCategoriesTest 3.1-4 BraidedCocartesianCategoriesTest 3.1-8 CartesianAssociatorLeftToRight, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.1-13 CartesianAssociatorLeftToRightWithGivenDirectProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.1-14 CartesianAssociatorRightToLeft, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.1-11 CartesianAssociatorRightToLeftWithGivenDirectProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.1-12 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-24 CartesianDiagonalWithGivenCartesianPower, for IsCapCategoryObject, IsInt, IsCapCategoryObject 1.1-25 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-15 CartesianLeftUnitorInverse, for IsCapCategoryObject 1.1-17 CartesianLeftUnitorInverseWithGivenDirectProduct, for IsCapCategoryObject, IsCapCategoryObject 1.1-18 CartesianLeftUnitorWithGivenDirectProduct, for IsCapCategoryObject, IsCapCategoryObject 1.1-16 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-19 CartesianRightUnitorInverse, for IsCapCategoryObject 1.1-21 CartesianRightUnitorInverseWithGivenDirectProduct, for IsCapCategoryObject, IsCapCategoryObject 1.1-22 CartesianRightUnitorWithGivenDirectProduct, for IsCapCategoryObject, IsCapCategoryObject 1.1-20 CocartesianAssociatorLeftToRight, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 2.1-13 CocartesianAssociatorLeftToRightWithGivenCoproducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 2.1-14 CocartesianAssociatorRightToLeft, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 2.1-11 CocartesianAssociatorRightToLeftWithGivenCoproducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 2.1-12 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-24 CocartesianCodiagonalWithGivenCocartesianMultiple, for IsCapCategoryObject, IsInt, IsCapCategoryObject 2.1-25 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-15 CocartesianLeftUnitorInverse, for IsCapCategoryObject 2.1-17 CocartesianLeftUnitorInverseWithGivenCoproduct, for IsCapCategoryObject, IsCapCategoryObject 2.1-18 CocartesianLeftUnitorWithGivenCoproduct, for IsCapCategoryObject, IsCapCategoryObject 2.1-16 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-19 CocartesianRightUnitorInverse, for IsCapCategoryObject 2.1-21 CocartesianRightUnitorInverseWithGivenCoproduct, for IsCapCategoryObject, IsCapCategoryObject 2.1-22 CocartesianRightUnitorWithGivenCoproduct, for IsCapCategoryObject, IsCapCategoryObject 2.1-20 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 CoproductOnMorphismAndObject, for IsCapCategoryMorphism, IsCapCategoryObject 2.1-7 CoproductOnMorphismAndObjectWithGivenCoproducts, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject, IsCapCategoryObject 2.1-8 CoproductOnMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.1-5 CoproductOnMorphismsWithGivenCoproducts, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 2.1-6 CoproductOnObjectAndMorphism, for IsCapCategoryObject, IsCapCategoryMorphism 2.1-9 CoproductOnObjectAndMorphismWithGivenCoproducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 2.1-10 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 DirectProductOnMorphismAndObject, for IsCapCategoryMorphism, IsCapCategoryObject 1.1-7 DirectProductOnMorphismAndObjectWithGivenDirectProducts, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject, IsCapCategoryObject 1.1-8 DirectProductOnMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.1-5 DirectProductOnMorphismsWithGivenDirectProducts, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.1-6 DirectProductOnObjectAndMorphism, for IsCapCategoryObject, IsCapCategoryMorphism 1.1-9 DirectProductOnObjectAndMorphismWithGivenDirectProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.1-10 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-23 IsSymmetricMonoidalCategoryStructureGivenByDirectProduct, for IsCapCategory 1.1-23 LeftCartesianDistributivityExpanding, for IsCapCategoryObject, IsList 1.1-27 LeftCartesianDistributivityExpandingWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsList, IsCapCategoryObject 1.1-28 LeftCartesianDistributivityFactoring, for IsCapCategoryObject, IsList 1.1-29 LeftCartesianDistributivityFactoringWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsList, IsCapCategoryObject 1.1-30 LeftCocartesianCodistributivityExpanding, for IsCapCategoryObject, IsList 2.1-27 LeftCocartesianCodistributivityExpandingWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsList, IsCapCategoryObject 2.1-28 LeftCocartesianCodistributivityFactoring, for IsCapCategoryObject, IsList 2.1-29 LeftCocartesianCodistributivityFactoringWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsList, IsCapCategoryObject 2.1-30 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-31 RightCartesianDistributivityExpandingWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryObject 1.1-32 RightCartesianDistributivityFactoring, for IsList, IsCapCategoryObject 1.1-33 RightCartesianDistributivityFactoringWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryObject 1.1-34 RightCocartesianCodistributivityExpanding, for IsList, IsCapCategoryObject 2.1-31 RightCocartesianCodistributivityExpandingWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryObject 2.1-32 RightCocartesianCodistributivityFactoring, for IsList, IsCapCategoryObject 2.1-33 RightCocartesianCodistributivityFactoringWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryObject 2.1-34 SetTensorProductToCoproduct, for IsCapCategory 2.1-26 SetTensorProductToDirectProduct, for IsCapCategory 1.1-26 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