\GAPDocLabFile{monoidalcategories}
\makelabel{monoidalcategories:Title page}{}{X7D2C85EC87DD46E5}
\makelabel{monoidalcategories:Table of Contents}{}{X8537FEB07AF2BEC8}
\makelabel{monoidalcategories:Monoidal Categories}{1}{X808DC49C7ED99B52}
\makelabel{monoidalcategories:Monoidal Categories}{1.1}{X808DC49C7ED99B52}
\makelabel{monoidalcategories:Additive Monoidal Categories}{1.2}{X7FB8551A815BEC53}
\makelabel{monoidalcategories:Braided Monoidal Categories}{1.3}{X7D94AD967E6D60F1}
\makelabel{monoidalcategories:Symmetric Monoidal Categories}{1.4}{X85ED71067F7CEA82}
\makelabel{monoidalcategories:Closed Monoidal Categories}{1.5}{X7BC682067A30E580}
\makelabel{monoidalcategories:Coclosed Monoidal Categories}{1.6}{X8197D69B805349AC}
\makelabel{monoidalcategories:Symmetric Closed Monoidal Categories}{1.7}{X849F4CB58466EAEB}
\makelabel{monoidalcategories:Symmetric Coclosed Monoidal Categories}{1.8}{X86F60BCA79C63F20}
\makelabel{monoidalcategories:Rigid Symmetric Closed Monoidal Categories}{1.9}{X805AEF9784062A31}
\makelabel{monoidalcategories:Rigid Symmetric Coclosed Monoidal Categories}{1.10}{X79E86CAD853AB883}
\makelabel{monoidalcategories:Convenience Methods}{1.11}{X7B40ED8B78D067A5}
\makelabel{monoidalcategories:Add-methods}{1.12}{X85C8C80F785AEB5E}
\makelabel{monoidalcategories:Examples and Tests}{2}{X7967FE8E7BBDF485}
\makelabel{monoidalcategories:Test functions}{2.1}{X7862428B781B1F3D}
\makelabel{monoidalcategories:Basics}{2.2}{X868F7BAB7AC2EEBC}
\makelabel{monoidalcategories:Code Generation for Monodial Categories}{3}{X7C2E370A85B0A5CB}
\makelabel{monoidalcategories:Monoidal Categories}{3.1}{X808DC49C7ED99B52}
\makelabel{monoidalcategories:Closed Monoidal Categories}{3.2}{X7BC682067A30E580}
\makelabel{monoidalcategories:Coclosed Monoidal Categories}{3.3}{X8197D69B805349AC}
\makelabel{monoidalcategories:The terminal category with multiple objects}{4}{X84B4C3E17FDDFC55}
\makelabel{monoidalcategories:Constructors}{4.1}{X86EC0F0A78ECBC10}
\makelabel{monoidalcategories:MonoidalCategories automatic generated documentation}{5}{X806DBCCC82BE4D32}
\makelabel{monoidalcategories:MonoidalCategories automatic generated documentation of properties}{5.1}{X86BA4B7E7B19456B}
\makelabel{monoidalcategories:Index}{Ind}{X83A0356F839C696F}
\makelabel{monoidalcategories:TensorProductOnMorphisms for IsCapCategoryMorphism, IsCapCategoryMorphism}{1.1.1}{X84997A1E8188D6BE}
\makelabel{monoidalcategories:TensorProductOnMorphismsWithGivenTensorProducts for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject}{1.1.2}{X85008BF07C2C0386}
\makelabel{monoidalcategories:AssociatorRightToLeft for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.1.3}{X84C2FAEA7B9678AA}
\makelabel{monoidalcategories:AssociatorRightToLeftWithGivenTensorProducts for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.1.4}{X85645C4D86060ED2}
\makelabel{monoidalcategories:AssociatorLeftToRight for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.1.5}{X7C5A064C7E1995F1}
\makelabel{monoidalcategories:AssociatorLeftToRightWithGivenTensorProducts for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.1.6}{X7C59D73F8389E389}
\makelabel{monoidalcategories:LeftUnitor for IsCapCategoryObject}{1.1.7}{X7EBCAFDD81BDB655}
\makelabel{monoidalcategories:LeftUnitorWithGivenTensorProduct for IsCapCategoryObject, IsCapCategoryObject}{1.1.8}{X7ED284DF7BA21774}
\makelabel{monoidalcategories:LeftUnitorInverse for IsCapCategoryObject}{1.1.9}{X79A274078147A9F7}
\makelabel{monoidalcategories:LeftUnitorInverseWithGivenTensorProduct for IsCapCategoryObject, IsCapCategoryObject}{1.1.10}{X849609447CAE996B}
\makelabel{monoidalcategories:RightUnitor for IsCapCategoryObject}{1.1.11}{X82F758CB7A23468A}
\makelabel{monoidalcategories:RightUnitorWithGivenTensorProduct for IsCapCategoryObject, IsCapCategoryObject}{1.1.12}{X84C8F97F7BF2282D}
\makelabel{monoidalcategories:RightUnitorInverse for IsCapCategoryObject}{1.1.13}{X82DC825480E87301}
\makelabel{monoidalcategories:RightUnitorInverseWithGivenTensorProduct for IsCapCategoryObject, IsCapCategoryObject}{1.1.14}{X85A8A87C87B33008}
\makelabel{monoidalcategories:TensorProductOnObjects for IsCapCategoryObject, IsCapCategoryObject}{1.1.15}{X797034F17AA47EE0}
\makelabel{monoidalcategories:AddTensorProductOnObjects for IsCapCategory, IsFunction}{1.1.16}{X7CED389B792142F5}
\makelabel{monoidalcategories:TensorUnit for IsCapCategory}{1.1.17}{X7BF7FFDF8789474A}
\makelabel{monoidalcategories:AddTensorUnit for IsCapCategory, IsFunction}{1.1.18}{X7BC4B940858F903B}
\makelabel{monoidalcategories:LeftDistributivityExpanding for IsCapCategoryObject, IsList}{1.2.1}{X7ACF268E7D82B0C9}
\makelabel{monoidalcategories:LeftDistributivityExpandingWithGivenObjects for IsCapCategoryObject, IsCapCategoryObject, IsList, IsCapCategoryObject}{1.2.2}{X7CA18968862D2285}
\makelabel{monoidalcategories:LeftDistributivityFactoring for IsCapCategoryObject, IsList}{1.2.3}{X780322FE7E5A626D}
\makelabel{monoidalcategories:LeftDistributivityFactoringWithGivenObjects for IsCapCategoryObject, IsCapCategoryObject, IsList, IsCapCategoryObject}{1.2.4}{X784D8CD685F5F021}
\makelabel{monoidalcategories:RightDistributivityExpanding for IsList, IsCapCategoryObject}{1.2.5}{X8409C74778A4313A}
\makelabel{monoidalcategories:RightDistributivityExpandingWithGivenObjects for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryObject}{1.2.6}{X7DBE629F811DEADC}
\makelabel{monoidalcategories:RightDistributivityFactoring for IsList, IsCapCategoryObject}{1.2.7}{X86C5C33786C1DC28}
\makelabel{monoidalcategories:RightDistributivityFactoringWithGivenObjects for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryObject}{1.2.8}{X795267217F7807CE}
\makelabel{monoidalcategories:Braiding for IsCapCategoryObject, IsCapCategoryObject}{1.3.1}{X7C6ADBFE7A8DD1E3}
\makelabel{monoidalcategories:BraidingWithGivenTensorProducts for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.3.2}{X7F4B09A87B2500C0}
\makelabel{monoidalcategories:BraidingInverse for IsCapCategoryObject, IsCapCategoryObject}{1.3.3}{X8195EC5279D3E8D0}
\makelabel{monoidalcategories:BraidingInverseWithGivenTensorProducts for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.3.4}{X854AFBC67C836769}
\makelabel{monoidalcategories:InternalHomOnObjects for IsCapCategoryObject, IsCapCategoryObject}{1.5.1}{X78AA83E77B380D68}
\makelabel{monoidalcategories:InternalHomOnMorphisms for IsCapCategoryMorphism, IsCapCategoryMorphism}{1.5.2}{X7C0191A483A72F98}
\makelabel{monoidalcategories:InternalHomOnMorphismsWithGivenInternalHoms for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject}{1.5.3}{X861226B47B5CB713}
\makelabel{monoidalcategories:EvaluationMorphism for IsCapCategoryObject, IsCapCategoryObject}{1.5.4}{X809226D2878DD662}
\makelabel{monoidalcategories:EvaluationMorphismWithGivenSource for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.5.5}{X7E42359B7A888F61}
\makelabel{monoidalcategories:CoevaluationMorphism for IsCapCategoryObject, IsCapCategoryObject}{1.5.6}{X79E277047AB3E909}
\makelabel{monoidalcategories:CoevaluationMorphismWithGivenRange for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.5.7}{X7E8123AD8567A5C0}
\makelabel{monoidalcategories:TensorProductToInternalHomAdjunctionMap for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism}{1.5.8}{X809E6A3182D62DCB}
\makelabel{monoidalcategories:TensorProductToInternalHomAdjunctionMapWithGivenInternalHom for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject}{1.5.9}{X80B7021D7F47F0DF}
\makelabel{monoidalcategories:InternalHomToTensorProductAdjunctionMap for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism}{1.5.10}{X7A48DA157CCFB0B9}
\makelabel{monoidalcategories:InternalHomToTensorProductAdjunctionMapWithGivenTensorProduct for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject}{1.5.11}{X818F1B4F78554FA6}
\makelabel{monoidalcategories:MonoidalPreComposeMorphism for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.5.12}{X86E4E97C82BFB45C}
\makelabel{monoidalcategories:MonoidalPreComposeMorphismWithGivenObjects for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.5.13}{X7FE4A52284060F20}
\makelabel{monoidalcategories:MonoidalPostComposeMorphism for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.5.14}{X79F4FCE781385829}
\makelabel{monoidalcategories:MonoidalPostComposeMorphismWithGivenObjects for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.5.15}{X7E6933B8816EE4E3}
\makelabel{monoidalcategories:DualOnObjects for IsCapCategoryObject}{1.5.16}{X80FFC71D7E57DD53}
\makelabel{monoidalcategories:DualOnMorphisms for IsCapCategoryMorphism}{1.5.17}{X815C0BC47D000819}
\makelabel{monoidalcategories:DualOnMorphismsWithGivenDuals for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject}{1.5.18}{X7DCC0F468386AA46}
\makelabel{monoidalcategories:EvaluationForDual for IsCapCategoryObject}{1.5.19}{X86D42C7587F03A68}
\makelabel{monoidalcategories:EvaluationForDualWithGivenTensorProduct for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.5.20}{X7B588B1B8472834E}
\makelabel{monoidalcategories:MorphismToBidual for IsCapCategoryObject}{1.5.21}{X7F68B55781C1DFB1}
\makelabel{monoidalcategories:MorphismToBidualWithGivenBidual for IsCapCategoryObject, IsCapCategoryObject}{1.5.22}{X79260E5680F1E741}
\makelabel{monoidalcategories:TensorProductInternalHomCompatibilityMorphism for IsList}{1.5.23}{X80CDA0CB821E08EE}
\makelabel{monoidalcategories:TensorProductInternalHomCompatibilityMorphismWithGivenObjects for IsCapCategoryObject, IsList, IsCapCategoryObject}{1.5.24}{X7B0194A07AB73486}
\makelabel{monoidalcategories:TensorProductDualityCompatibilityMorphism for IsCapCategoryObject, IsCapCategoryObject}{1.5.25}{X7D173DB08132E40A}
\makelabel{monoidalcategories:TensorProductDualityCompatibilityMorphismWithGivenObjects for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.5.26}{X794ED97782B8DF76}
\makelabel{monoidalcategories:MorphismFromTensorProductToInternalHom for IsCapCategoryObject, IsCapCategoryObject}{1.5.27}{X8439BFF57BFE390F}
\makelabel{monoidalcategories:MorphismFromTensorProductToInternalHomWithGivenObjects for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.5.28}{X8473D28B7F3A5E20}
\makelabel{monoidalcategories:IsomorphismFromDualObjectToInternalHomIntoTensorUnit for IsCapCategoryObject}{1.5.29}{X8430726C82D6CFF7}
\makelabel{monoidalcategories:IsomorphismFromInternalHomIntoTensorUnitToDualObject for IsCapCategoryObject}{1.5.30}{X7A015736812A97C6}
\makelabel{monoidalcategories:UniversalPropertyOfDual for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism}{1.5.31}{X7AF8F68887146C20}
\makelabel{monoidalcategories:LambdaIntroduction for IsCapCategoryMorphism}{1.5.32}{X80F3F2287B9E55E3}
\makelabel{monoidalcategories:LambdaElimination for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism}{1.5.33}{X79EC44077F661E80}
\makelabel{monoidalcategories:IsomorphismFromObjectToInternalHom for IsCapCategoryObject}{1.5.34}{X8726BA888787D53D}
\makelabel{monoidalcategories:IsomorphismFromObjectToInternalHomWithGivenInternalHom for IsCapCategoryObject, IsCapCategoryObject}{1.5.35}{X87F91EF37C76A7F7}
\makelabel{monoidalcategories:IsomorphismFromInternalHomToObject for IsCapCategoryObject}{1.5.36}{X831CF4E1824FA178}
\makelabel{monoidalcategories:IsomorphismFromInternalHomToObjectWithGivenInternalHom for IsCapCategoryObject, IsCapCategoryObject}{1.5.37}{X7988DC7C79BED3B2}
\makelabel{monoidalcategories:InternalCoHomOnObjects for IsCapCategoryObject, IsCapCategoryObject}{1.6.1}{X791BE0B0847A430D}
\makelabel{monoidalcategories:InternalCoHomOnMorphisms for IsCapCategoryMorphism, IsCapCategoryMorphism}{1.6.2}{X7FDF105D7F56EB53}
\makelabel{monoidalcategories:InternalCoHomOnMorphismsWithGivenInternalCoHoms for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject}{1.6.3}{X84DDA3DD878162B9}
\makelabel{monoidalcategories:CoclosedEvaluationMorphism for IsCapCategoryObject, IsCapCategoryObject}{1.6.4}{X8013AC4C837F9828}
\makelabel{monoidalcategories:CoclosedEvaluationMorphismWithGivenRange for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.6.5}{X84FE6ABB879495DE}
\makelabel{monoidalcategories:CoclosedCoevaluationMorphism for IsCapCategoryObject, IsCapCategoryObject}{1.6.6}{X87648A1B86BC12CD}
\makelabel{monoidalcategories:CoclosedCoevaluationMorphismWithGivenSource for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.6.7}{X78E1EE0879D7E094}
\makelabel{monoidalcategories:TensorProductToInternalCoHomAdjunctionMap for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism}{1.6.8}{X806654B180032304}
\makelabel{monoidalcategories:TensorProductToInternalCoHomAdjunctionMapWithGivenInternalCoHom for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject}{1.6.9}{X79B6D32F7A39EF0A}
\makelabel{monoidalcategories:InternalCoHomToTensorProductAdjunctionMap for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism}{1.6.10}{X872E6B0B859B1BC9}
\makelabel{monoidalcategories:InternalCoHomToTensorProductAdjunctionMapWithGivenTensorProduct for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject}{1.6.11}{X7E9875708002FCAC}
\makelabel{monoidalcategories:MonoidalPreCoComposeMorphism for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.6.12}{X8337DE6B7D61EAC2}
\makelabel{monoidalcategories:MonoidalPreCoComposeMorphismWithGivenObjects for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.6.13}{X82A183B0807A0A01}
\makelabel{monoidalcategories:MonoidalPostCoComposeMorphism for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.6.14}{X83FE0B8D853A76C1}
\makelabel{monoidalcategories:MonoidalPostCoComposeMorphismWithGivenObjects for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.6.15}{X805DF38880B1E9E0}
\makelabel{monoidalcategories:CoDualOnObjects for IsCapCategoryObject}{1.6.16}{X817A1F7986256461}
\makelabel{monoidalcategories:CoDualOnMorphisms for IsCapCategoryMorphism}{1.6.17}{X840CBC837926138E}
\makelabel{monoidalcategories:CoDualOnMorphismsWithGivenCoDuals for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject}{1.6.18}{X79750BFD824D2AAF}
\makelabel{monoidalcategories:CoclosedEvaluationForCoDual for IsCapCategoryObject}{1.6.19}{X7C65C05A788415E4}
\makelabel{monoidalcategories:CoclosedEvaluationForCoDualWithGivenTensorProduct for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.6.20}{X7CAB615C86D97CE8}
\makelabel{monoidalcategories:MorphismFromCoBidual for IsCapCategoryObject}{1.6.21}{X7841B6757A510799}
\makelabel{monoidalcategories:MorphismFromCoBidualWithGivenCoBidual for IsCapCategoryObject, IsCapCategoryObject}{1.6.22}{X7B2B002979E1CBF6}
\makelabel{monoidalcategories:InternalCoHomTensorProductCompatibilityMorphism for IsList}{1.6.23}{X7D9E57197C820E0E}
\makelabel{monoidalcategories:InternalCoHomTensorProductCompatibilityMorphismWithGivenObjects for IsCapCategoryObject, IsList, IsCapCategoryObject}{1.6.24}{X81E9DC8D7FCD361F}
\makelabel{monoidalcategories:CoDualityTensorProductCompatibilityMorphism for IsCapCategoryObject, IsCapCategoryObject}{1.6.25}{X7B817BC97C1F1DF8}
\makelabel{monoidalcategories:CoDualityTensorProductCompatibilityMorphismWithGivenObjects for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.6.26}{X82119ED686D3874C}
\makelabel{monoidalcategories:MorphismFromInternalCoHomToTensorProduct for IsCapCategoryObject, IsCapCategoryObject}{1.6.27}{X7A4971267B80B14F}
\makelabel{monoidalcategories:MorphismFromInternalCoHomToTensorProductWithGivenObjects for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.6.28}{X7B60FB927C37E125}
\makelabel{monoidalcategories:IsomorphismFromCoDualObjectToInternalCoHomFromTensorUnit for IsCapCategoryObject}{1.6.29}{X86C7E40C85318EFA}
\makelabel{monoidalcategories:IsomorphismFromInternalCoHomFromTensorUnitToCoDualObject for IsCapCategoryObject}{1.6.30}{X84C86E29800BB8BC}
\makelabel{monoidalcategories:UniversalPropertyOfCoDual for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism}{1.6.31}{X7AEE412D80799D09}
\makelabel{monoidalcategories:CoLambdaIntroduction for IsCapCategoryMorphism}{1.6.32}{X784CBFB984E66E7A}
\makelabel{monoidalcategories:CoLambdaElimination for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism}{1.6.33}{X83520B098068CF62}
\makelabel{monoidalcategories:IsomorphismFromObjectToInternalCoHom for IsCapCategoryObject}{1.6.34}{X83F11F6184DBD507}
\makelabel{monoidalcategories:IsomorphismFromObjectToInternalCoHomWithGivenInternalCoHom for IsCapCategoryObject, IsCapCategoryObject}{1.6.35}{X8233C995828387E9}
\makelabel{monoidalcategories:IsomorphismFromInternalCoHomToObject for IsCapCategoryObject}{1.6.36}{X875A349280E2095C}
\makelabel{monoidalcategories:IsomorphismFromInternalCoHomToObjectWithGivenInternalCoHom for IsCapCategoryObject, IsCapCategoryObject}{1.6.37}{X858AD1F986BA5BB2}
\makelabel{monoidalcategories:IsomorphismFromTensorProductWithDualObjectToInternalHom for IsCapCategoryObject, IsCapCategoryObject}{1.9.1}{X782B629D7E7835C9}
\makelabel{monoidalcategories:IsomorphismFromInternalHomToTensorProductWithDualObject for IsCapCategoryObject, IsCapCategoryObject}{1.9.2}{X84D0668C7CA0B63D}
\makelabel{monoidalcategories:MorphismFromInternalHomToTensorProduct for IsCapCategoryObject, IsCapCategoryObject}{1.9.3}{X7D189B8280CECBA2}
\makelabel{monoidalcategories:MorphismFromInternalHomToTensorProductWithGivenObjects for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.9.4}{X7D10805D840AAC8D}
\makelabel{monoidalcategories:TensorProductInternalHomCompatibilityMorphismInverse for IsList}{1.9.5}{X85BA8C10817296F7}
\makelabel{monoidalcategories:TensorProductInternalHomCompatibilityMorphismInverseWithGivenObjects for IsCapCategoryObject, IsList, IsCapCategoryObject}{1.9.6}{X7CCE67B281EF45C1}
\makelabel{monoidalcategories:CoevaluationForDual for IsCapCategoryObject}{1.9.7}{X83849B327C8074E9}
\makelabel{monoidalcategories:CoevaluationForDualWithGivenTensorProduct for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.9.8}{X7C65E6A97AAE0DE3}
\makelabel{monoidalcategories:TraceMap for IsCapCategoryMorphism}{1.9.9}{X85D0C9487A22AFFE}
\makelabel{monoidalcategories:RankMorphism for IsCapCategoryObject}{1.9.10}{X82F0DBD485D93793}
\makelabel{monoidalcategories:MorphismFromBidual for IsCapCategoryObject}{1.9.11}{X7E02E8197EA201EA}
\makelabel{monoidalcategories:MorphismFromBidualWithGivenBidual for IsCapCategoryObject, IsCapCategoryObject}{1.9.12}{X785CF0BB7BC0AC0D}
\makelabel{monoidalcategories:IsomorphismFromInternalCoHomToTensorProductWithCoDualObject for IsCapCategoryObject, IsCapCategoryObject}{1.10.1}{X82D4EF587F1C194C}
\makelabel{monoidalcategories:IsomorphismFromTensorProductWithCoDualObjectToInternalCoHom for IsCapCategoryObject, IsCapCategoryObject}{1.10.2}{X7FE736BA834D228A}
\makelabel{monoidalcategories:MorphismFromTensorProductToInternalCoHom for IsCapCategoryObject, IsCapCategoryObject}{1.10.3}{X7DCA54857A6B45DF}
\makelabel{monoidalcategories:MorphismFromTensorProductToInternalCoHomWithGivenObjects for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.10.4}{X7888F9947DDC15B5}
\makelabel{monoidalcategories:InternalCoHomTensorProductCompatibilityMorphismInverse for IsList}{1.10.5}{X7E71AF0985C5AEC5}
\makelabel{monoidalcategories:InternalCoHomTensorProductCompatibilityMorphismInverseWithGivenObjects for IsCapCategoryObject, IsList, IsCapCategoryObject}{1.10.6}{X87BF8BE67AD5ABCF}
\makelabel{monoidalcategories:CoclosedCoevaluationForCoDual for IsCapCategoryObject}{1.10.7}{X8695F9D97A8C6C61}
\makelabel{monoidalcategories:CoclosedCoevaluationForCoDualWithGivenTensorProduct for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject}{1.10.8}{X78B2703A7B81E340}
\makelabel{monoidalcategories:CoTraceMap for IsCapCategoryMorphism}{1.10.9}{X829BE5F97A656200}
\makelabel{monoidalcategories:CoRankMorphism for IsCapCategoryObject}{1.10.10}{X7C5CC8F97D95AD43}
\makelabel{monoidalcategories:MorphismToCoBidual for IsCapCategoryObject}{1.10.11}{X85BDB94D85C67725}
\makelabel{monoidalcategories:MorphismToCoBidualWithGivenCoBidual for IsCapCategoryObject, IsCapCategoryObject}{1.10.12}{X800035BF867418D0}
\makelabel{monoidalcategories:InternalHom for IsCapCategoryCell, IsCapCategoryCell}{1.11.1}{X8055FF847AC2102A}
\makelabel{monoidalcategories:InternalCoHom for IsCapCategoryCell, IsCapCategoryCell}{1.11.2}{X7CB6A9497A971F59}
\makelabel{monoidalcategories:AddLeftDistributivityExpanding for IsCapCategory, IsFunction}{1.12.1}{X78DA7EC37A1E0CCC}
\makelabel{monoidalcategories:AddLeftDistributivityExpandingWithGivenObjects for IsCapCategory, IsFunction}{1.12.2}{X814BA200802D26E4}
\makelabel{monoidalcategories:AddLeftDistributivityFactoring for IsCapCategory, IsFunction}{1.12.3}{X8381C23A8264435B}
\makelabel{monoidalcategories:AddLeftDistributivityFactoringWithGivenObjects for IsCapCategory, IsFunction}{1.12.4}{X7F0A439478576973}
\makelabel{monoidalcategories:AddRightDistributivityExpanding for IsCapCategory, IsFunction}{1.12.5}{X82E93F8E79CB7338}
\makelabel{monoidalcategories:AddRightDistributivityExpandingWithGivenObjects for IsCapCategory, IsFunction}{1.12.6}{X7A6178C17EFC817A}
\makelabel{monoidalcategories:AddRightDistributivityFactoring for IsCapCategory, IsFunction}{1.12.7}{X79B283777BC5F12C}
\makelabel{monoidalcategories:AddRightDistributivityFactoringWithGivenObjects for IsCapCategory, IsFunction}{1.12.8}{X842099557CF2036E}
\makelabel{monoidalcategories:AddBraiding for IsCapCategory, IsFunction}{1.12.9}{X7F9C3FD38397D9D4}
\makelabel{monoidalcategories:AddBraidingInverse for IsCapCategory, IsFunction}{1.12.10}{X8423AA1A862E9780}
\makelabel{monoidalcategories:AddBraidingInverseWithGivenTensorProducts for IsCapCategory, IsFunction}{1.12.11}{X85C7E40583A5955F}
\makelabel{monoidalcategories:AddBraidingWithGivenTensorProducts for IsCapCategory, IsFunction}{1.12.12}{X7A52CBE8801D6B28}
\makelabel{monoidalcategories:AddCoevaluationMorphism for IsCapCategory, IsFunction}{1.12.13}{X7D8DBEC27A71E9AE}
\makelabel{monoidalcategories:AddCoevaluationMorphismWithGivenRange for IsCapCategory, IsFunction}{1.12.14}{X817E96AA7ACACE89}
\makelabel{monoidalcategories:AddDualOnMorphisms for IsCapCategory, IsFunction}{1.12.15}{X800DFCF37CC10CCC}
\makelabel{monoidalcategories:AddDualOnMorphismsWithGivenDuals for IsCapCategory, IsFunction}{1.12.16}{X85DA12C581E673DE}
\makelabel{monoidalcategories:AddDualOnObjects for IsCapCategory, IsFunction}{1.12.17}{X7BB4DD5381EBF082}
\makelabel{monoidalcategories:AddEvaluationForDual for IsCapCategory, IsFunction}{1.12.18}{X7FF9C96186646B7C}
\makelabel{monoidalcategories:AddEvaluationForDualWithGivenTensorProduct for IsCapCategory, IsFunction}{1.12.19}{X7CB63A4E7E905CD4}
\makelabel{monoidalcategories:AddEvaluationMorphism for IsCapCategory, IsFunction}{1.12.20}{X85219DC58534CACC}
\makelabel{monoidalcategories:AddEvaluationMorphismWithGivenSource for IsCapCategory, IsFunction}{1.12.21}{X7D5C06137CEB86B0}
\makelabel{monoidalcategories:AddInternalHomOnMorphisms for IsCapCategory, IsFunction}{1.12.22}{X79A5E1EF7F091948}
\makelabel{monoidalcategories:AddInternalHomOnMorphismsWithGivenInternalHoms for IsCapCategory, IsFunction}{1.12.23}{X8070203E80388349}
\makelabel{monoidalcategories:AddInternalHomOnObjects for IsCapCategory, IsFunction}{1.12.24}{X7B74F8FD8348D590}
\makelabel{monoidalcategories:AddInternalHomToTensorProductAdjunctionMap for IsCapCategory, IsFunction}{1.12.25}{X7C8C2DC381EA0962}
\makelabel{monoidalcategories:AddInternalHomToTensorProductAdjunctionMapWithGivenTensorProduct for IsCapCategory, IsFunction}{1.12.26}{X7C515F5D789985CE}
\makelabel{monoidalcategories:AddIsomorphismFromDualObjectToInternalHomIntoTensorUnit for IsCapCategory, IsFunction}{1.12.27}{X7983CB57783E6813}
\makelabel{monoidalcategories:AddIsomorphismFromInternalHomIntoTensorUnitToDualObject for IsCapCategory, IsFunction}{1.12.28}{X84E4949886CB84C9}
\makelabel{monoidalcategories:AddIsomorphismFromInternalHomToObject for IsCapCategory, IsFunction}{1.12.29}{X7FA9FE2B85CE866D}
\makelabel{monoidalcategories:AddIsomorphismFromInternalHomToObjectWithGivenInternalHom for IsCapCategory, IsFunction}{1.12.30}{X7D6421147BF6651B}
\makelabel{monoidalcategories:AddIsomorphismFromObjectToInternalHom for IsCapCategory, IsFunction}{1.12.31}{X82538F687DE872DD}
\makelabel{monoidalcategories:AddIsomorphismFromObjectToInternalHomWithGivenInternalHom for IsCapCategory, IsFunction}{1.12.32}{X78ED7FCC83D091AB}
\makelabel{monoidalcategories:AddLambdaElimination for IsCapCategory, IsFunction}{1.12.33}{X8406FBCD7EE968FF}
\makelabel{monoidalcategories:AddLambdaIntroduction for IsCapCategory, IsFunction}{1.12.34}{X84944B6283F2802A}
\makelabel{monoidalcategories:AddMonoidalPostComposeMorphism for IsCapCategory, IsFunction}{1.12.35}{X843DC64486CB2ED1}
\makelabel{monoidalcategories:AddMonoidalPostComposeMorphismWithGivenObjects for IsCapCategory, IsFunction}{1.12.36}{X7FC3725A7CF804F9}
\makelabel{monoidalcategories:AddMonoidalPreComposeMorphism for IsCapCategory, IsFunction}{1.12.37}{X7B0C198782C01CBA}
\makelabel{monoidalcategories:AddMonoidalPreComposeMorphismWithGivenObjects for IsCapCategory, IsFunction}{1.12.38}{X7A22CD657A2A338C}
\makelabel{monoidalcategories:AddMorphismFromTensorProductToInternalHom for IsCapCategory, IsFunction}{1.12.39}{X7CF664D87D8D5CA1}
\makelabel{monoidalcategories:AddMorphismFromTensorProductToInternalHomWithGivenObjects for IsCapCategory, IsFunction}{1.12.40}{X86D3AF4A80FA738D}
\makelabel{monoidalcategories:AddMorphismToBidual for IsCapCategory, IsFunction}{1.12.41}{X864B98B08041EE6C}
\makelabel{monoidalcategories:AddMorphismToBidualWithGivenBidual for IsCapCategory, IsFunction}{1.12.42}{X84C05B087EFCE599}
\makelabel{monoidalcategories:AddTensorProductDualityCompatibilityMorphism for IsCapCategory, IsFunction}{1.12.43}{X7A020DBF860317F5}
\makelabel{monoidalcategories:AddTensorProductDualityCompatibilityMorphismWithGivenObjects for IsCapCategory, IsFunction}{1.12.44}{X78D1B6AF8654A950}
\makelabel{monoidalcategories:AddTensorProductInternalHomCompatibilityMorphism for IsCapCategory, IsFunction}{1.12.45}{X83A6EF0B7ED71EED}
\makelabel{monoidalcategories:AddTensorProductInternalHomCompatibilityMorphismWithGivenObjects for IsCapCategory, IsFunction}{1.12.46}{X871C6B55843A0AF3}
\makelabel{monoidalcategories:AddTensorProductToInternalHomAdjunctionMap for IsCapCategory, IsFunction}{1.12.47}{X7BB46BD486E96939}
\makelabel{monoidalcategories:AddTensorProductToInternalHomAdjunctionMapWithGivenInternalHom for IsCapCategory, IsFunction}{1.12.48}{X7EAD9E1A7CC403D1}
\makelabel{monoidalcategories:AddUniversalPropertyOfDual for IsCapCategory, IsFunction}{1.12.49}{X7FCEDB3B7DF69A1E}
\makelabel{monoidalcategories:AddCoDualOnMorphisms for IsCapCategory, IsFunction}{1.12.50}{X7D23088385F021AA}
\makelabel{monoidalcategories:AddCoDualOnMorphismsWithGivenCoDuals for IsCapCategory, IsFunction}{1.12.51}{X7C2568FD82259231}
\makelabel{monoidalcategories:AddCoDualOnObjects for IsCapCategory, IsFunction}{1.12.52}{X7C1CDE7F855ACB74}
\makelabel{monoidalcategories:AddCoDualityTensorProductCompatibilityMorphism for IsCapCategory, IsFunction}{1.12.53}{X7D9B355D8261CB17}
\makelabel{monoidalcategories:AddCoDualityTensorProductCompatibilityMorphismWithGivenObjects for IsCapCategory, IsFunction}{1.12.54}{X7CE8010980DBA597}
\makelabel{monoidalcategories:AddCoLambdaElimination for IsCapCategory, IsFunction}{1.12.55}{X7E7962CC7E809023}
\makelabel{monoidalcategories:AddCoLambdaIntroduction for IsCapCategory, IsFunction}{1.12.56}{X7C3868657D8A0400}
\makelabel{monoidalcategories:AddCoclosedCoevaluationMorphism for IsCapCategory, IsFunction}{1.12.57}{X825981DF78E9BFC7}
\makelabel{monoidalcategories:AddCoclosedCoevaluationMorphismWithGivenSource for IsCapCategory, IsFunction}{1.12.58}{X7C9EF7307C89E01D}
\makelabel{monoidalcategories:AddCoclosedEvaluationForCoDual for IsCapCategory, IsFunction}{1.12.59}{X839204FD79F2968D}
\makelabel{monoidalcategories:AddCoclosedEvaluationForCoDualWithGivenTensorProduct for IsCapCategory, IsFunction}{1.12.60}{X803976DB7C8F307C}
\makelabel{monoidalcategories:AddCoclosedEvaluationMorphism for IsCapCategory, IsFunction}{1.12.61}{X7EE497367998C438}
\makelabel{monoidalcategories:AddCoclosedEvaluationMorphismWithGivenRange for IsCapCategory, IsFunction}{1.12.62}{X8162F48485BC426C}
\makelabel{monoidalcategories:AddInternalCoHomOnMorphisms for IsCapCategory, IsFunction}{1.12.63}{X7D63C4A57A467DAA}
\makelabel{monoidalcategories:AddInternalCoHomOnMorphismsWithGivenInternalCoHoms for IsCapCategory, IsFunction}{1.12.64}{X87A67CDD86E0CE05}
\makelabel{monoidalcategories:AddInternalCoHomOnObjects for IsCapCategory, IsFunction}{1.12.65}{X828648F183570AE3}
\makelabel{monoidalcategories:AddInternalCoHomTensorProductCompatibilityMorphism for IsCapCategory, IsFunction}{1.12.66}{X78278696834ACA53}
\makelabel{monoidalcategories:AddInternalCoHomTensorProductCompatibilityMorphismWithGivenObjects for IsCapCategory, IsFunction}{1.12.67}{X82EA4C857C7BCC60}
\makelabel{monoidalcategories:AddInternalCoHomToTensorProductAdjunctionMap for IsCapCategory, IsFunction}{1.12.68}{X7F35DEC3835AC521}
\makelabel{monoidalcategories:AddInternalCoHomToTensorProductAdjunctionMapWithGivenTensorProduct for IsCapCategory, IsFunction}{1.12.69}{X80351D577AECA6A0}
\makelabel{monoidalcategories:AddIsomorphismFromCoDualObjectToInternalCoHomFromTensorUnit for IsCapCategory, IsFunction}{1.12.70}{X7A2B14497B4924A7}
\makelabel{monoidalcategories:AddIsomorphismFromInternalCoHomFromTensorUnitToCoDualObject for IsCapCategory, IsFunction}{1.12.71}{X8143326C7BE5E321}
\makelabel{monoidalcategories:AddIsomorphismFromInternalCoHomToObject for IsCapCategory, IsFunction}{1.12.72}{X7C9F35A779395B26}
\makelabel{monoidalcategories:AddIsomorphismFromInternalCoHomToObjectWithGivenInternalCoHom for IsCapCategory, IsFunction}{1.12.73}{X7D0E88AC7C0304D3}
\makelabel{monoidalcategories:AddIsomorphismFromObjectToInternalCoHom for IsCapCategory, IsFunction}{1.12.74}{X7E18F31C86620139}
\makelabel{monoidalcategories:AddIsomorphismFromObjectToInternalCoHomWithGivenInternalCoHom for IsCapCategory, IsFunction}{1.12.75}{X8304276383585ECC}
\makelabel{monoidalcategories:AddMonoidalPostCoComposeMorphism for IsCapCategory, IsFunction}{1.12.76}{X7DE479077F155716}
\makelabel{monoidalcategories:AddMonoidalPostCoComposeMorphismWithGivenObjects for IsCapCategory, IsFunction}{1.12.77}{X79858B577BD4F1E1}
\makelabel{monoidalcategories:AddMonoidalPreCoComposeMorphism for IsCapCategory, IsFunction}{1.12.78}{X7D1662EA819EA1A2}
\makelabel{monoidalcategories:AddMonoidalPreCoComposeMorphismWithGivenObjects for IsCapCategory, IsFunction}{1.12.79}{X81DFED7386A953E0}
\makelabel{monoidalcategories:AddMorphismFromCoBidual for IsCapCategory, IsFunction}{1.12.80}{X7D1615257BAA311F}
\makelabel{monoidalcategories:AddMorphismFromCoBidualWithGivenCoBidual for IsCapCategory, IsFunction}{1.12.81}{X84D1F74D8118B2A0}
\makelabel{monoidalcategories:AddMorphismFromInternalCoHomToTensorProduct for IsCapCategory, IsFunction}{1.12.82}{X7C3C01F1834A4B9B}
\makelabel{monoidalcategories:AddMorphismFromInternalCoHomToTensorProductWithGivenObjects for IsCapCategory, IsFunction}{1.12.83}{X87AB2C4D84F19F37}
\makelabel{monoidalcategories:AddTensorProductToInternalCoHomAdjunctionMap for IsCapCategory, IsFunction}{1.12.84}{X7D5615E185826B6C}
\makelabel{monoidalcategories:AddTensorProductToInternalCoHomAdjunctionMapWithGivenInternalCoHom for IsCapCategory, IsFunction}{1.12.85}{X8576BB7D87245793}
\makelabel{monoidalcategories:AddUniversalPropertyOfCoDual for IsCapCategory, IsFunction}{1.12.86}{X8519ECF17EC07916}
\makelabel{monoidalcategories:AddAssociatorLeftToRight for IsCapCategory, IsFunction}{1.12.87}{X79CDE3B87D14EF9A}
\makelabel{monoidalcategories:AddAssociatorLeftToRightWithGivenTensorProducts for IsCapCategory, IsFunction}{1.12.88}{X850B5B357F592FAE}
\makelabel{monoidalcategories:AddAssociatorRightToLeft for IsCapCategory, IsFunction}{1.12.89}{X8045C4FC7B4912B4}
\makelabel{monoidalcategories:AddAssociatorRightToLeftWithGivenTensorProducts for IsCapCategory, IsFunction}{1.12.90}{X7CF105217904D280}
\makelabel{monoidalcategories:AddLeftUnitor for IsCapCategory, IsFunction}{1.12.91}{X7986052487D3CDBB}
\makelabel{monoidalcategories:AddLeftUnitorInverse for IsCapCategory, IsFunction}{1.12.92}{X793D2C657F19096D}
\makelabel{monoidalcategories:AddLeftUnitorInverseWithGivenTensorProduct for IsCapCategory, IsFunction}{1.12.93}{X87CB487587ED3EC5}
\makelabel{monoidalcategories:AddLeftUnitorWithGivenTensorProduct for IsCapCategory, IsFunction}{1.12.94}{X8614FD9C78812C98}
\makelabel{monoidalcategories:AddRightUnitor for IsCapCategory, IsFunction}{1.12.95}{X8568708E7C5D8D28}
\makelabel{monoidalcategories:AddRightUnitorInverse for IsCapCategory, IsFunction}{1.12.96}{X7B2AAD6286833F68}
\makelabel{monoidalcategories:AddRightUnitorInverseWithGivenTensorProduct for IsCapCategory, IsFunction}{1.12.97}{X8682171F86C6793E}
\makelabel{monoidalcategories:AddRightUnitorWithGivenTensorProduct for IsCapCategory, IsFunction}{1.12.98}{X7DB39DC9794F3FCA}
\makelabel{monoidalcategories:AddTensorProductOnMorphisms for IsCapCategory, IsFunction}{1.12.99}{X83DEDFA3803035BC}
\makelabel{monoidalcategories:AddTensorProductOnMorphismsWithGivenTensorProducts for IsCapCategory, IsFunction}{1.12.100}{X879659397D11AD9F}
\makelabel{monoidalcategories:AddCoevaluationForDual for IsCapCategory, IsFunction}{1.12.101}{X8586506084917A30}
\makelabel{monoidalcategories:AddCoevaluationForDualWithGivenTensorProduct for IsCapCategory, IsFunction}{1.12.102}{X831DC3947941E8BA}
\makelabel{monoidalcategories:AddIsomorphismFromInternalHomToTensorProductWithDualObject for IsCapCategory, IsFunction}{1.12.103}{X817D08298188F2BC}
\makelabel{monoidalcategories:AddIsomorphismFromTensorProductWithDualObjectToInternalHom for IsCapCategory, IsFunction}{1.12.104}{X840BC8AB7DFFD68E}
\makelabel{monoidalcategories:AddMorphismFromBidual for IsCapCategory, IsFunction}{1.12.105}{X7D2FDE687E0CB66A}
\makelabel{monoidalcategories:AddMorphismFromBidualWithGivenBidual for IsCapCategory, IsFunction}{1.12.106}{X877C409E865C2BB3}
\makelabel{monoidalcategories:AddMorphismFromInternalHomToTensorProduct for IsCapCategory, IsFunction}{1.12.107}{X82FDEF277A71FABF}
\makelabel{monoidalcategories:AddMorphismFromInternalHomToTensorProductWithGivenObjects for IsCapCategory, IsFunction}{1.12.108}{X7A4A4C668706D593}
\makelabel{monoidalcategories:AddRankMorphism for IsCapCategory, IsFunction}{1.12.109}{X849B17E08679450A}
\makelabel{monoidalcategories:AddTensorProductInternalHomCompatibilityMorphismInverse for IsCapCategory, IsFunction}{1.12.110}{X798FA16B818559DB}
\makelabel{monoidalcategories:AddTensorProductInternalHomCompatibilityMorphismInverseWithGivenObjects for IsCapCategory, IsFunction}{1.12.111}{X7D9EA11980170B0C}
\makelabel{monoidalcategories:AddTraceMap for IsCapCategory, IsFunction}{1.12.112}{X8446431880FFF111}
\makelabel{monoidalcategories:AddCoRankMorphism for IsCapCategory, IsFunction}{1.12.113}{X7A3D91F87F170676}
\makelabel{monoidalcategories:AddCoTraceMap for IsCapCategory, IsFunction}{1.12.114}{X7AA8757780D75E1F}
\makelabel{monoidalcategories:AddCoclosedCoevaluationForCoDual for IsCapCategory, IsFunction}{1.12.115}{X82087A8C7E5EBAA8}
\makelabel{monoidalcategories:AddCoclosedCoevaluationForCoDualWithGivenTensorProduct for IsCapCategory, IsFunction}{1.12.116}{X813CF5C07BAFD19C}
\makelabel{monoidalcategories:AddInternalCoHomTensorProductCompatibilityMorphismInverse for IsCapCategory, IsFunction}{1.12.117}{X7CA7972381FC507F}
\makelabel{monoidalcategories:AddInternalCoHomTensorProductCompatibilityMorphismInverseWithGivenObjects for IsCapCategory, IsFunction}{1.12.118}{X82F222EC80852CF1}
\makelabel{monoidalcategories:AddIsomorphismFromInternalCoHomToTensorProductWithCoDualObject for IsCapCategory, IsFunction}{1.12.119}{X84E2048279A169A6}
\makelabel{monoidalcategories:AddIsomorphismFromTensorProductWithCoDualObjectToInternalCoHom for IsCapCategory, IsFunction}{1.12.120}{X7DFE79B48125A1E0}
\makelabel{monoidalcategories:AddMorphismFromTensorProductToInternalCoHom for IsCapCategory, IsFunction}{1.12.121}{X7F27D275849C84B2}
\makelabel{monoidalcategories:AddMorphismFromTensorProductToInternalCoHomWithGivenObjects for IsCapCategory, IsFunction}{1.12.122}{X7B5706318327501E}
\makelabel{monoidalcategories:AddMorphismToCoBidual for IsCapCategory, IsFunction}{1.12.123}{X7EBD7033871B0F3D}
\makelabel{monoidalcategories:AddMorphismToCoBidualWithGivenCoBidual for IsCapCategory, IsFunction}{1.12.124}{X867E02E07CEC5B34}
\makelabel{monoidalcategories:AdditiveMonoidalCategoriesTest}{2.1.1}{X8131040685BBC24E}
\makelabel{monoidalcategories:BraidedMonoidalCategoriesTest}{2.1.2}{X7D87D6737E0B485F}
\makelabel{monoidalcategories:ClosedMonoidalCategoriesTest}{2.1.3}{X7CDDEF3E87731A54}
\makelabel{monoidalcategories:CoclosedMonoidalCategoriesTest}{2.1.4}{X83E919E984B367B1}
\makelabel{monoidalcategories:MonoidalCategoriesTensorProductAndUnitTest}{2.1.5}{X86C037637DDEB70A}
\makelabel{monoidalcategories:MonoidalCategoriesTest}{2.1.6}{X7BCAF88A806E562D}
\makelabel{monoidalcategories:RigidSymmetricClosedMonoidalCategoriesTest}{2.1.7}{X78CAAAE77DC5CF4F}
\makelabel{monoidalcategories:RigidSymmetricCoclosedMonoidalCategoriesTest}{2.1.8}{X8154BEE7850EFEEA}
\makelabel{monoidalcategories:WriteFileForMonoidalStructure}{3.1.1}{X85C82D6A878B25DD}
\makelabel{monoidalcategories:WriteFileForClosedMonoidalStructure}{3.2.1}{X7EF7CDED85FB1CA1}
\makelabel{monoidalcategories:WriteFileForCoclosedMonoidalStructure}{3.3.1}{X83DBF79278AD1D37}
\makelabel{monoidalcategories:IsBraidedMonoidalCategory for IsCapCategory}{5.1.1}{X7EB424EE81E0290D}
\makelabel{monoidalcategories:IsClosedMonoidalCategory for IsCapCategory}{5.1.2}{X78F907177D3C4BF8}
\makelabel{monoidalcategories:IsCoclosedMonoidalCategory for IsCapCategory}{5.1.3}{X8262914378FA0F1A}
\makelabel{monoidalcategories:IsMonoidalCategory for IsCapCategory}{5.1.4}{X877C15BA81C14016}
\makelabel{monoidalcategories:IsStrictMonoidalCategory for IsCapCategory}{5.1.5}{X867C0E9487F19155}
\makelabel{monoidalcategories:IsRigidSymmetricClosedMonoidalCategory for IsCapCategory}{5.1.6}{X7B5F85DB8497D183}
\makelabel{monoidalcategories:IsRigidSymmetricCoclosedMonoidalCategory for IsCapCategory}{5.1.7}{X7C610A4B848B53FF}
\makelabel{monoidalcategories:IsSymmetricClosedMonoidalCategory for IsCapCategory}{5.1.8}{X7BE3F4D085AA0055}
\makelabel{monoidalcategories:IsSymmetricCoclosedMonoidalCategory for IsCapCategory}{5.1.9}{X84215E5E875DD7DC}
\makelabel{monoidalcategories:IsSymmetricMonoidalCategory for IsCapCategory}{5.1.10}{X8296E9838534F4D1}
