#SIXFORMAT  GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "MonoidalCategories",
entries :=
[ [ "Title page", "0.0", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5" 
     ], 
  [ "Table of Contents", "0.0-1", [ 0, 0, 1 ], 75, 2, "table of contents", 
      "X8537FEB07AF2BEC8" ], 
  [ "\033[1X\033[33X\033[0;-2YMonoidal Categories\033[133X\033[101X", "1", 
      [ 1, 0, 0 ], 1, 3, "monoidal categories", "X808DC49C7ED99B52" ], 
  [ "\033[1X\033[33X\033[0;-2YMonoidal Categories\033[133X\033[101X", "1.1", 
      [ 1, 1, 0 ], 4, 3, "monoidal categories", "X808DC49C7ED99B52" ], 
  [ "\033[1X\033[33X\033[0;-2YAdditive Monoidal Categories\033[133X\033[101X",
      "1.2", [ 1, 2, 0 ], 195, 6, "additive monoidal categories", 
      "X7FB8551A815BEC53" ], 
  [ "\033[1X\033[33X\033[0;-2YBraided Monoidal Categories\033[133X\033[101X", 
      "1.3", [ 1, 3, 0 ], 279, 7, "braided monoidal categories", 
      "X7D94AD967E6D60F1" ], 
  [ "\033[1X\033[33X\033[0;-2YSymmetric Monoidal Categories\033[133X\033[101X"
        , "1.4", [ 1, 4, 0 ], 331, 8, "symmetric monoidal categories", 
      "X85ED71067F7CEA82" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YLeft Closed Monoidal Categories\033[133X\033[101X\
", "1.5", [ 1, 5, 0 ], 338, 8, "left closed monoidal categories", 
      "X85035E9683B050D0" ], 
  [ "\033[1X\033[33X\033[0;-2YClosed Monoidal Categories\033[133X\033[101X", 
      "1.6", [ 1, 6, 0 ], 727, 15, "closed monoidal categories", 
      "X7BC682067A30E580" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YLeft Coclosed Monoidal Categories\033[133X\033[10\
1X", "1.7", [ 1, 7, 0 ], 1253, 25, "left coclosed monoidal categories", 
      "X86546D277A535EB1" ], 
  [ "\033[1X\033[33X\033[0;-2YCoclosed Monoidal Categories\033[133X\033[101X",
      "1.8", [ 1, 8, 0 ], 1646, 32, "coclosed monoidal categories", 
      "X8197D69B805349AC" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSymmetric Closed Monoidal Categories\033[133X\\
033[101X", "1.9", [ 1, 9, 0 ], 2106, 40, 
      "symmetric closed monoidal categories", "X849F4CB58466EAEB" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSymmetric Coclosed Monoidal Categories\033[133X\\
033[101X", "1.10", [ 1, 10, 0 ], 2115, 40, 
      "symmetric coclosed monoidal categories", "X86F60BCA79C63F20" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YRigid Symmetric Closed Monoidal Categories\033[13\
3X\033[101X", "1.11", [ 1, 11, 0 ], 2124, 40, 
      "rigid symmetric closed monoidal categories", "X805AEF9784062A31" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YRigid Symmetric Coclosed Monoidal Categories\033[\
133X\033[101X", "1.12", [ 1, 12, 0 ], 2271, 42, 
      "rigid symmetric coclosed monoidal categories", "X79E86CAD853AB883" ], 
  [ "\033[1X\033[33X\033[0;-2YConvenience Methods\033[133X\033[101X", "1.13", 
      [ 1, 13, 0 ], 2417, 45, "convenience methods", "X7B40ED8B78D067A5" ], 
  [ "\033[1X\033[33X\033[0;-2YAdd-methods\033[133X\033[101X", "1.14", 
      [ 1, 14, 0 ], 2467, 46, "add-methods", "X85C8C80F785AEB5E" ], 
  [ "\033[1X\033[33X\033[0;-2YExamples and Tests\033[133X\033[101X", "2", 
      [ 2, 0, 0 ], 1, 90, "examples and tests", "X7967FE8E7BBDF485" ], 
  [ "\033[1X\033[33X\033[0;-2YTest functions\033[133X\033[101X", "2.1", 
      [ 2, 1, 0 ], 4, 90, "test functions", "X7862428B781B1F3D" ], 
  [ "\033[1X\033[33X\033[0;-2YBasics\033[133X\033[101X", "2.2", [ 2, 2, 0 ], 
      416, 97, "basics", "X868F7BAB7AC2EEBC" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YCode Generation for Monodial Categories\033[133X\\
033[101X", "3", [ 3, 0, 0 ], 1, 99, "code generation for monodial categories",
      "X7C2E370A85B0A5CB" ], 
  [ "\033[1X\033[33X\033[0;-2YMonoidal Categories\033[133X\033[101X", "3.1", 
      [ 3, 1, 0 ], 4, 99, "monoidal categories", "X808DC49C7ED99B52" ], 
  [ "\033[1X\033[33X\033[0;-2YClosed Monoidal Categories\033[133X\033[101X", 
      "3.2", [ 3, 2, 0 ], 17, 99, "closed monoidal categories", 
      "X7BC682067A30E580" ], 
  [ "\033[1X\033[33X\033[0;-2YCoclosed Monoidal Categories\033[133X\033[101X",
      "3.3", [ 3, 3, 0 ], 40, 100, "coclosed monoidal categories", 
      "X8197D69B805349AC" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YThe terminal category with multiple objects\033[1\
33X\033[101X", "4", [ 4, 0, 0 ], 1, 101, 
      "the terminal category with multiple objects", "X84B4C3E17FDDFC55" ], 
  [ "\033[1X\033[33X\033[0;-2YConstructors\033[133X\033[101X", "4.1", 
      [ 4, 1, 0 ], 11, 101, "constructors", "X86EC0F0A78ECBC10" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[5XGAP\033[105X\033[101X\027\033[1X\027 Categ\
ories\033[133X\033[101X", "4.2", [ 4, 2, 0 ], 14, 101, "gap categories", 
      "X7D03633A7D98026B" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YLegacy Operations and Synonyms\033[133X\033[101X"
        , "5", [ 5, 0, 0 ], 1, 102, "legacy operations and synonyms", 
      "X84EF85257973461A" ], 
  [ "\033[1X\033[33X\033[0;-2YLegacy operations\033[133X\033[101X", "5.1", 
      [ 5, 1, 0 ], 4, 102, "legacy operations", "X7F2BBEE67CC67F03" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSynonyms for legacy operations\033[133X\033[101X"
        , "5.2", [ 5, 2, 0 ], 52, 103, "synonyms for legacy operations", 
      "X85F14B247ED4A698" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YMonoidalCategories automatic generated documentat\
ion\033[133X\033[101X", "6", [ 6, 0, 0 ], 1, 106, 
      "monoidalcategories automatic generated documentation", 
      "X806DBCCC82BE4D32" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YMonoidalCategories automatic generated documentat\
ion of properties\033[133X\033[101X", "6.1", [ 6, 1, 0 ], 4, 106, 
      "monoidalcategories automatic generated documentation of properties", 
      "X86BA4B7E7B19456B" ], 
  [ "Index", "ind", [ "Ind", 0, 0 ], 1, 108, "index", "X83A0356F839C696F" ], 
  [ "\033[2XTensorProductOnMorphisms\033[102X for IsCapCategoryMorphism, IsCap\
CategoryMorphism", "1.1-1", [ 1, 1, 1 ], 38, 3, 
      "tensorproductonmorphisms for iscapcategorymorphism iscapcategorymorphis\
m", "X84997A1E8188D6BE" ], 
  [ 
      "\033[2XTensorProductOnMorphismsWithGivenTensorProducts\033[102X for IsCapC\
ategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObje\
ct", "1.1-2", [ 1, 1, 2 ], 46, 4, 
      "tensorproductonmorphismswithgiventensorproducts for iscapcategoryobject\
 iscapcategorymorphism iscapcategorymorphism iscapcategoryobject", 
      "X85008BF07C2C0386" ], 
  [ 
      "\033[2XAssociatorRightToLeft\033[102X for IsCapCategoryObject, IsCapCatego\
ryObject, IsCapCategoryObject", "1.1-3", [ 1, 1, 3 ], 55, 4, 
      "associatorrighttoleft for iscapcategoryobject iscapcategoryobject iscap\
categoryobject", "X84C2FAEA7B9678AA" ], 
  [ 
      "\033[2XAssociatorRightToLeftWithGivenTensorProducts\033[102X for IsCapCate\
goryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsC\
apCategoryObject", "1.1-4", [ 1, 1, 4 ], 65, 4, 
      "associatorrighttoleftwithgiventensorproducts for iscapcategoryobject is\
capcategoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject"
        , "X85645C4D86060ED2" ], 
  [ 
      "\033[2XAssociatorLeftToRight\033[102X for IsCapCategoryObject, IsCapCatego\
ryObject, IsCapCategoryObject", "1.1-5", [ 1, 1, 5 ], 76, 4, 
      "associatorlefttoright for iscapcategoryobject iscapcategoryobject iscap\
categoryobject", "X7C5A064C7E1995F1" ], 
  [ 
      "\033[2XAssociatorLeftToRightWithGivenTensorProducts\033[102X for IsCapCate\
goryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsC\
apCategoryObject", "1.1-6", [ 1, 1, 6 ], 86, 4, 
      "associatorlefttorightwithgiventensorproducts for iscapcategoryobject is\
capcategoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject"
        , "X7C59D73F8389E389" ], 
  [ "\033[2XLeftUnitor\033[102X for IsCapCategoryObject", "1.1-7", 
      [ 1, 1, 7 ], 97, 4, "leftunitor for iscapcategoryobject", 
      "X7EBCAFDD81BDB655" ], 
  [ 
      "\033[2XLeftUnitorWithGivenTensorProduct\033[102X for IsCapCategoryObject, \
IsCapCategoryObject", "1.1-8", [ 1, 1, 8 ], 105, 5, 
      "leftunitorwithgiventensorproduct for iscapcategoryobject iscapcategoryo\
bject", "X7ED284DF7BA21774" ], 
  [ "\033[2XLeftUnitorInverse\033[102X for IsCapCategoryObject", "1.1-9", 
      [ 1, 1, 9 ], 113, 5, "leftunitorinverse for iscapcategoryobject", 
      "X79A274078147A9F7" ], 
  [ 
      "\033[2XLeftUnitorInverseWithGivenTensorProduct\033[102X for IsCapCategoryO\
bject, IsCapCategoryObject", "1.1-10", [ 1, 1, 10 ], 121, 5, 
      "leftunitorinversewithgiventensorproduct for iscapcategoryobject iscapca\
tegoryobject", "X849609447CAE996B" ], 
  [ "\033[2XRightUnitor\033[102X for IsCapCategoryObject", "1.1-11", 
      [ 1, 1, 11 ], 129, 5, "rightunitor for iscapcategoryobject", 
      "X82F758CB7A23468A" ], 
  [ 
      "\033[2XRightUnitorWithGivenTensorProduct\033[102X for IsCapCategoryObject,\
 IsCapCategoryObject", "1.1-12", [ 1, 1, 12 ], 137, 5, 
      "rightunitorwithgiventensorproduct for iscapcategoryobject iscapcategory\
object", "X84C8F97F7BF2282D" ], 
  [ "\033[2XRightUnitorInverse\033[102X for IsCapCategoryObject", "1.1-13", 
      [ 1, 1, 13 ], 145, 5, "rightunitorinverse for iscapcategoryobject", 
      "X82DC825480E87301" ], 
  [ 
      "\033[2XRightUnitorInverseWithGivenTensorProduct\033[102X for IsCapCategory\
Object, IsCapCategoryObject", "1.1-14", [ 1, 1, 14 ], 153, 5, 
      "rightunitorinversewithgiventensorproduct for iscapcategoryobject iscapc\
ategoryobject", "X85A8A87C87B33008" ], 
  [ 
      "\033[2XTensorProductOnObjects\033[102X for IsCapCategoryObject, IsCapCateg\
oryObject", "1.1-15", [ 1, 1, 15 ], 161, 6, 
      "tensorproductonobjects for iscapcategoryobject iscapcategoryobject", 
      "X797034F17AA47EE0" ], 
  [ "\033[2XAddTensorProductOnObjects\033[102X for IsCapCategory, IsFunction",
      "1.1-16", [ 1, 1, 16 ], 169, 6, 
      "addtensorproductonobjects for iscapcategory isfunction", 
      "X7CED389B792142F5" ], 
  [ "\033[2XTensorUnit\033[102X for IsCapCategory", "1.1-17", [ 1, 1, 17 ], 
      178, 6, "tensorunit for iscapcategory", "X7BF7FFDF8789474A" ], 
  [ "\033[2XAddTensorUnit\033[102X for IsCapCategory, IsFunction", "1.1-18", 
      [ 1, 1, 18 ], 186, 6, "addtensorunit for iscapcategory isfunction", 
      "X7BC4B940858F903B" ], 
  [ 
      "\033[2XLeftDistributivityExpanding\033[102X for IsCapCategoryObject, IsLis\
t", "1.2-1", [ 1, 2, 1 ], 198, 6, 
      "leftdistributivityexpanding for iscapcategoryobject islist", 
      "X7ACF268E7D82B0C9" ], 
  [ 
      "\033[2XLeftDistributivityExpandingWithGivenObjects\033[102X for IsCapCateg\
oryObject, IsCapCategoryObject, IsList, IsCapCategoryObject", "1.2-2", 
      [ 1, 2, 2 ], 208, 6, 
      "leftdistributivityexpandingwithgivenobjects for iscapcategoryobject isc\
apcategoryobject islist iscapcategoryobject", "X7CA18968862D2285" ], 
  [ 
      "\033[2XLeftDistributivityFactoring\033[102X for IsCapCategoryObject, IsLis\
t", "1.2-3", [ 1, 2, 3 ], 218, 6, 
      "leftdistributivityfactoring for iscapcategoryobject islist", 
      "X780322FE7E5A626D" ], 
  [ 
      "\033[2XLeftDistributivityFactoringWithGivenObjects\033[102X for IsCapCateg\
oryObject, IsCapCategoryObject, IsList, IsCapCategoryObject", "1.2-4", 
      [ 1, 2, 4 ], 228, 7, 
      "leftdistributivityfactoringwithgivenobjects for iscapcategoryobject isc\
apcategoryobject islist iscapcategoryobject", "X784D8CD685F5F021" ], 
  [ 
      "\033[2XRightDistributivityExpanding\033[102X for IsList, IsCapCategoryObje\
ct", "1.2-5", [ 1, 2, 5 ], 238, 7, 
      "rightdistributivityexpanding for islist iscapcategoryobject", 
      "X8409C74778A4313A" ], 
  [ 
      "\033[2XRightDistributivityExpandingWithGivenObjects\033[102X for IsCapCate\
goryObject, IsList, IsCapCategoryObject, IsCapCategoryObject", "1.2-6", 
      [ 1, 2, 6 ], 249, 7, 
      "rightdistributivityexpandingwithgivenobjects for iscapcategoryobject is\
list iscapcategoryobject iscapcategoryobject", "X7DBE629F811DEADC" ], 
  [ 
      "\033[2XRightDistributivityFactoring\033[102X for IsList, IsCapCategoryObje\
ct", "1.2-7", [ 1, 2, 7 ], 259, 7, 
      "rightdistributivityfactoring for islist iscapcategoryobject", 
      "X86C5C33786C1DC28" ], 
  [ 
      "\033[2XRightDistributivityFactoringWithGivenObjects\033[102X for IsCapCate\
goryObject, IsList, IsCapCategoryObject, IsCapCategoryObject", "1.2-8", 
      [ 1, 2, 8 ], 269, 7, 
      "rightdistributivityfactoringwithgivenobjects for iscapcategoryobject is\
list iscapcategoryobject iscapcategoryobject", "X795267217F7807CE" ], 
  [ "\033[2XBraiding\033[102X for IsCapCategoryObject, IsCapCategoryObject", 
      "1.3-1", [ 1, 3, 1 ], 297, 8, 
      "braiding for iscapcategoryobject iscapcategoryobject", 
      "X7C6ADBFE7A8DD1E3" ], 
  [ 
      "\033[2XBraidingWithGivenTensorProducts\033[102X for IsCapCategoryObject, I\
sCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.3-2", 
      [ 1, 3, 2 ], 305, 8, 
      "braidingwithgiventensorproducts for iscapcategoryobject iscapcategoryob\
ject iscapcategoryobject iscapcategoryobject", "X7F4B09A87B2500C0" ], 
  [ 
      "\033[2XBraidingInverse\033[102X for IsCapCategoryObject, IsCapCategoryObje\
ct", "1.3-3", [ 1, 3, 3 ], 314, 8, 
      "braidinginverse for iscapcategoryobject iscapcategoryobject", 
      "X8195EC5279D3E8D0" ], 
  [ 
      "\033[2XBraidingInverseWithGivenTensorProducts\033[102X for IsCapCategoryOb\
ject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", 
      "1.3-4", [ 1, 3, 4 ], 322, 8, 
      "braidinginversewithgiventensorproducts for iscapcategoryobject iscapcat\
egoryobject iscapcategoryobject iscapcategoryobject", "X854AFBC67C836769" ], 
  [ "\033[2XLeftInternalHomOnObjects\033[102X for IsCapCategoryObject, IsCapCa\
tegoryObject", "1.5-1", [ 1, 5, 1 ], 352, 9, 
      "leftinternalhomonobjects for iscapcategoryobject iscapcategoryobject", 
      "X87A4C0637EB8A18E" ], 
  [ 
      "\033[2XLeftInternalHomOnMorphisms\033[102X for IsCapCategoryMorphism, IsCa\
pCategoryMorphism", "1.5-2", [ 1, 5, 2 ], 360, 9, 
      "leftinternalhomonmorphisms for iscapcategorymorphism iscapcategorymorph\
ism", "X8439FF407D2C9C6E" ], 
  [ 
      "\033[2XLeftInternalHomOnMorphismsWithGivenLeftInternalHoms\033[102X for Is\
CapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategory\
Object", "1.5-3", [ 1, 5, 3 ], 372, 9, 
      "leftinternalhomonmorphismswithgivenleftinternalhoms for iscapcategoryob\
ject iscapcategorymorphism iscapcategorymorphism iscapcategoryobject", 
      "X7861C2AD82F62C77" ], 
  [ 
      "\033[2XLeftClosedMonoidalEvaluationMorphism\033[102X for IsCapCategoryObje\
ct, IsCapCategoryObject", "1.5-4", [ 1, 5, 4 ], 384, 9, 
      "leftclosedmonoidalevaluationmorphism for iscapcategoryobject iscapcateg\
oryobject", "X82C4FACF83C3611D" ], 
  [ 
      "\033[2XLeftClosedMonoidalEvaluationMorphismWithGivenSource\033[102X for Is\
CapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.5-5", 
      [ 1, 5, 5 ], 394, 9, 
      "leftclosedmonoidalevaluationmorphismwithgivensource for iscapcategoryob\
ject iscapcategoryobject iscapcategoryobject", "X8575A3748713EACF" ], 
  [ 
      "\033[2XLeftClosedMonoidalCoevaluationMorphism\033[102X for IsCapCategoryOb\
ject, IsCapCategoryObject", "1.5-6", [ 1, 5, 6 ], 404, 9, 
      "leftclosedmonoidalcoevaluationmorphism for iscapcategoryobject iscapcat\
egoryobject", "X7A526C59812F2A59" ], 
  [ 
      "\033[2XLeftClosedMonoidalCoevaluationMorphismWithGivenRange\033[102X for I\
sCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.5-7", 
      [ 1, 5, 7 ], 414, 10, 
      "leftclosedmonoidalcoevaluationmorphismwithgivenrange for iscapcategoryo\
bject iscapcategoryobject iscapcategoryobject", "X7BC7F1497A00E87A" ], 
  [ 
      "\033[2XTensorProductToLeftInternalHomAdjunctMorphism\033[102X for IsCapCat\
egoryObject, IsCapCategoryObject, IsCapCategoryMorphism", "1.5-8", 
      [ 1, 5, 8 ], 425, 10, 
      "tensorproducttoleftinternalhomadjunctmorphism for iscapcategoryobject i\
scapcategoryobject iscapcategorymorphism", "X83A5A47979C9B92D" ], 
  [ 
      "\033[2XTensorProductToLeftInternalHomAdjunctMorphismWithGivenLeftInternalH\
om\033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphis\
m, IsCapCategoryObject", "1.5-9", [ 1, 5, 9 ], 436, 10, 
      "tensorproducttoleftinternalhomadjunctmorphismwithgivenleftinternalhom f\
or iscapcategoryobject iscapcategoryobject iscapcategorymorphism iscapcategory\
object", "X7BB734AA7F213B47" ], 
  [ 
      "\033[2XLeftInternalHomToTensorProductAdjunctMorphism\033[102X for IsCapCat\
egoryObject, IsCapCategoryObject, IsCapCategoryMorphism", "1.5-10", 
      [ 1, 5, 10 ], 446, 10, 
      "leftinternalhomtotensorproductadjunctmorphism for iscapcategoryobject i\
scapcategoryobject iscapcategorymorphism", "X7C7D769879A7DA90" ], 
  [ 
      "\033[2XLeftInternalHomToTensorProductAdjunctMorphismWithGivenTensorProduct\
\033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism,\
 IsCapCategoryObject", "1.5-11", [ 1, 5, 11 ], 455, 10, 
      "leftinternalhomtotensorproductadjunctmorphismwithgiventensorproduct for\
 iscapcategoryobject iscapcategoryobject iscapcategorymorphism iscapcategoryob\
ject", "X80431C73861AEC43" ], 
  [ 
      "\033[2XLeftClosedMonoidalPreComposeMorphism\033[102X for IsCapCategoryObje\
ct, IsCapCategoryObject, IsCapCategoryObject", "1.5-12", [ 1, 5, 12 ], 465, 
      11, 
      "leftclosedmonoidalprecomposemorphism for iscapcategoryobject iscapcateg\
oryobject iscapcategoryobject", "X79AC308B847F5177" ], 
  [ 
      "\033[2XLeftClosedMonoidalPreComposeMorphismWithGivenObjects\033[102X for I\
sCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObj\
ect, IsCapCategoryObject", "1.5-13", [ 1, 5, 13 ], 478, 11, 
      "leftclosedmonoidalprecomposemorphismwithgivenobjects for iscapcategoryo\
bject iscapcategoryobject iscapcategoryobject iscapcategoryobject iscapcategor\
yobject", "X78E3E67480AC81F4" ], 
  [ 
      "\033[2XLeftClosedMonoidalPostComposeMorphism\033[102X for IsCapCategoryObj\
ect, IsCapCategoryObject, IsCapCategoryObject", "1.5-14", [ 1, 5, 14 ], 492, 
      11, 
      "leftclosedmonoidalpostcomposemorphism for iscapcategoryobject iscapcate\
goryobject iscapcategoryobject", "X7CFBE32D7F8F16CD" ], 
  [ 
      "\033[2XLeftClosedMonoidalPostComposeMorphismWithGivenObjects\033[102X for \
IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryOb\
ject, IsCapCategoryObject", "1.5-15", [ 1, 5, 15 ], 505, 11, 
      "leftclosedmonoidalpostcomposemorphismwithgivenobjects for iscapcategory\
object iscapcategoryobject iscapcategoryobject iscapcategoryobject iscapcatego\
ryobject", "X7D5E05257D908A56" ], 
  [ "\033[2XLeftDualOnObjects\033[102X for IsCapCategoryObject", "1.5-16", 
      [ 1, 5, 16 ], 519, 11, "leftdualonobjects for iscapcategoryobject", 
      "X859959ED7F2CFDCC" ], 
  [ "\033[2XLeftDualOnMorphisms\033[102X for IsCapCategoryMorphism", 
      "1.5-17", [ 1, 5, 17 ], 526, 11, 
      "leftdualonmorphisms for iscapcategorymorphism", "X7B697FFC7B23A48B" ], 
  [ "\033[2XLeftDualOnMorphismsWithGivenLeftDuals\033[102X for IsCapCategoryOb\
ject, IsCapCategoryMorphism, IsCapCategoryObject", "1.5-18", [ 1, 5, 18 ], 
      534, 12, 
      "leftdualonmorphismswithgivenleftduals for iscapcategoryobject iscapcate\
gorymorphism iscapcategoryobject", "X8282E454874316D8" ], 
  [ 
      "\033[2XLeftClosedMonoidalEvaluationForLeftDual\033[102X for IsCapCategoryO\
bject", "1.5-19", [ 1, 5, 19 ], 543, 12, 
      "leftclosedmonoidalevaluationforleftdual for iscapcategoryobject", 
      "X7FF3227087ABDA8E" ], 
  [ 
      "\033[2XLeftClosedMonoidalEvaluationForLeftDualWithGivenTensorProduct\033[1\
02X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", 
      "1.5-20", [ 1, 5, 20 ], 551, 12, 
      "leftclosedmonoidalevaluationforleftdualwithgiventensorproduct for iscap\
categoryobject iscapcategoryobject iscapcategoryobject", "X86995E4D7A63E68F" ]
    , [ "\033[2XMorphismToLeftBidual\033[102X for IsCapCategoryObject", 
      "1.5-21", [ 1, 5, 21 ], 560, 12, 
      "morphismtoleftbidual for iscapcategoryobject", "X85D2B94A85E3DBD5" ], 
  [ "\033[2XMorphismToLeftBidualWithGivenLeftBidual\033[102X for IsCapCategory\
Object, IsCapCategoryObject", "1.5-22", [ 1, 5, 22 ], 568, 12, 
      "morphismtoleftbidualwithgivenleftbidual for iscapcategoryobject iscapca\
tegoryobject", "X868774B68189D7E9" ], 
  [ 
      "\033[2XTensorProductLeftInternalHomCompatibilityMorphism\033[102X for IsLi\
st", "1.5-23", [ 1, 5, 23 ], 576, 12, 
      "tensorproductleftinternalhomcompatibilitymorphism for islist", 
      "X7939CEE8854017D2" ], 
  [ 
      "\033[2XTensorProductLeftInternalHomCompatibilityMorphismWithGivenObjects\\
033[102X for IsCapCategoryObject, IsList, IsCapCategoryObject", "1.5-24", 
      [ 1, 5, 24 ], 590, 13, 
      "tensorproductleftinternalhomcompatibilitymorphismwithgivenobjects for i\
scapcategoryobject islist iscapcategoryobject", "X798C160A84CA5623" ], 
  [ 
      "\033[2XTensorProductLeftDualityCompatibilityMorphism\033[102X for IsCapCat\
egoryObject, IsCapCategoryObject", "1.5-25", [ 1, 5, 25 ], 604, 13, 
      "tensorproductleftdualitycompatibilitymorphism for iscapcategoryobject i\
scapcategoryobject", "X8635D47E7835C8AA" ], 
  [ 
      "\033[2XTensorProductLeftDualityCompatibilityMorphismWithGivenObjects\033[1\
02X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCa\
tegoryObject", "1.5-26", [ 1, 5, 26 ], 614, 13, 
      "tensorproductleftdualitycompatibilitymorphismwithgivenobjects for iscap\
categoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X8435799E83221130" ], 
  [ 
      "\033[2XMorphismFromTensorProductToLeftInternalHom\033[102X for IsCapCatego\
ryObject, IsCapCategoryObject", "1.5-27", [ 1, 5, 27 ], 624, 13, 
      "morphismfromtensorproducttoleftinternalhom for iscapcategoryobject isca\
pcategoryobject", "X80FE157E81B02827" ], 
  [ 
      "\033[2XMorphismFromTensorProductToLeftInternalHomWithGivenObjects\033[102X\
 for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCateg\
oryObject", "1.5-28", [ 1, 5, 28 ], 634, 13, 
      "morphismfromtensorproducttoleftinternalhomwithgivenobjects for iscapcat\
egoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X78FDDC2986E50825" ], 
  [ 
      "\033[2XIsomorphismFromLeftDualObjectToLeftInternalHomIntoTensorUnit\033[10\
2X for IsCapCategoryObject", "1.5-29", [ 1, 5, 29 ], 645, 14, 
      "isomorphismfromleftdualobjecttoleftinternalhomintotensorunit for iscapc\
ategoryobject", "X7EA425DA848670D9" ], 
  [ 
      "\033[2XIsomorphismFromLeftInternalHomIntoTensorUnitToLeftDualObject\033[10\
2X for IsCapCategoryObject", "1.5-30", [ 1, 5, 30 ], 655, 14, 
      "isomorphismfromleftinternalhomintotensorunittoleftdualobject for iscapc\
ategoryobject", "X781A2D417A8BC8DF" ], 
  [ 
      "\033[2XUniversalPropertyOfLeftDual\033[102X for IsCapCategoryObject, IsCap\
CategoryObject, IsCapCategoryMorphism", "1.5-31", [ 1, 5, 31 ], 665, 14, 
      "universalpropertyofleftdual for iscapcategoryobject iscapcategoryobject\
 iscapcategorymorphism", "X82D9D78C7A8DA61A" ], 
  [ 
      "\033[2XLeftClosedMonoidalLambdaIntroduction\033[102X for IsCapCategoryMorp\
hism", "1.5-32", [ 1, 5, 32 ], 674, 14, 
      "leftclosedmonoidallambdaintroduction for iscapcategorymorphism", 
      "X7C7A252A78484873" ], 
  [ 
      "\033[2XLeftClosedMonoidalLambdaElimination\033[102X for IsCapCategoryObjec\
t, IsCapCategoryObject, IsCapCategoryMorphism", "1.5-33", [ 1, 5, 33 ], 684, 
      14, 
      "leftclosedmonoidallambdaelimination for iscapcategoryobject iscapcatego\
ryobject iscapcategorymorphism", "X83B3A8FA8363F620" ], 
  [ 
      "\033[2XIsomorphismFromObjectToLeftInternalHom\033[102X for IsCapCategoryOb\
ject", "1.5-34", [ 1, 5, 34 ], 693, 14, 
      "isomorphismfromobjecttoleftinternalhom for iscapcategoryobject", 
      "X7ECAB43778388C41" ], 
  [ 
      "\033[2XIsomorphismFromObjectToLeftInternalHomWithGivenLeftInternalHom\033[\
102X for IsCapCategoryObject, IsCapCategoryObject", "1.5-35", [ 1, 5, 35 ], 
      701, 15, 
      "isomorphismfromobjecttoleftinternalhomwithgivenleftinternalhom for isca\
pcategoryobject iscapcategoryobject", "X874D7D8E81A6AFF1" ], 
  [ 
      "\033[2XIsomorphismFromLeftInternalHomToObject\033[102X for IsCapCategoryOb\
ject", "1.5-36", [ 1, 5, 36 ], 710, 15, 
      "isomorphismfromleftinternalhomtoobject for iscapcategoryobject", 
      "X7908CF267DDAA38C" ], 
  [ 
      "\033[2XIsomorphismFromLeftInternalHomToObjectWithGivenLeftInternalHom\033[\
102X for IsCapCategoryObject, IsCapCategoryObject", "1.5-37", [ 1, 5, 37 ], 
      718, 15, 
      "isomorphismfromleftinternalhomtoobjectwithgivenleftinternalhom for isca\
pcategoryobject iscapcategoryobject", "X7B2F235C8444803C" ], 
  [ 
      "\033[2XInternalHomOnObjects\033[102X for IsCapCategoryObject, IsCapCategor\
yObject", "1.6-1", [ 1, 6, 1 ], 739, 15, 
      "internalhomonobjects for iscapcategoryobject iscapcategoryobject", 
      "X78AA83E77B380D68" ], 
  [ 
      "\033[2XInternalHomOnMorphisms\033[102X for IsCapCategoryMorphism, IsCapCat\
egoryMorphism", "1.6-2", [ 1, 6, 2 ], 747, 15, 
      "internalhomonmorphisms for iscapcategorymorphism iscapcategorymorphism"
        , "X7C0191A483A72F98" ], 
  [ 
      "\033[2XInternalHomOnMorphismsWithGivenInternalHoms\033[102X for IsCapCateg\
oryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject",
      "1.6-3", [ 1, 6, 3 ], 758, 16, 
      "internalhomonmorphismswithgiveninternalhoms for iscapcategoryobject isc\
apcategorymorphism iscapcategorymorphism iscapcategoryobject", 
      "X861226B47B5CB713" ], 
  [ 
      "\033[2XClosedMonoidalRightEvaluationMorphism\033[102X for IsCapCategoryObj\
ect, IsCapCategoryObject", "1.6-4", [ 1, 6, 4 ], 769, 16, 
      "closedmonoidalrightevaluationmorphism for iscapcategoryobject iscapcate\
goryobject", "X844F05DF7DE23F99" ], 
  [ 
      "\033[2XClosedMonoidalRightEvaluationMorphismWithGivenSource\033[102X for I\
sCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.6-5", 
      [ 1, 6, 5 ], 779, 16, 
      "closedmonoidalrightevaluationmorphismwithgivensource for iscapcategoryo\
bject iscapcategoryobject iscapcategoryobject", "X83E6461280B0EB0C" ], 
  [ 
      "\033[2XClosedMonoidalRightCoevaluationMorphism\033[102X for IsCapCategoryO\
bject, IsCapCategoryObject", "1.6-6", [ 1, 6, 6 ], 789, 16, 
      "closedmonoidalrightcoevaluationmorphism for iscapcategoryobject iscapca\
tegoryobject", "X7A745E5A836B5E91" ], 
  [ 
      "\033[2XClosedMonoidalRightCoevaluationMorphismWithGivenRange\033[102X for \
IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.6-7", 
      [ 1, 6, 7 ], 799, 16, 
      "closedmonoidalrightcoevaluationmorphismwithgivenrange for iscapcategory\
object iscapcategoryobject iscapcategoryobject", "X868AD1A278EBAB03" ], 
  [ 
      "\033[2XTensorProductToInternalHomRightAdjunctMorphism\033[102X for IsCapCa\
tegoryObject, IsCapCategoryObject, IsCapCategoryMorphism", "1.6-8", 
      [ 1, 6, 8 ], 810, 16, 
      "tensorproducttointernalhomrightadjunctmorphism for iscapcategoryobject \
iscapcategoryobject iscapcategorymorphism", "X7BA9C4A184346304" ], 
  [ 
      "\033[2XTensorProductToInternalHomRightAdjunctMorphismWithGivenInternalHom\\
033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, \
IsCapCategoryObject", "1.6-9", [ 1, 6, 9 ], 819, 17, 
      "tensorproducttointernalhomrightadjunctmorphismwithgiveninternalhom for \
iscapcategoryobject iscapcategoryobject iscapcategorymorphism iscapcategoryobj\
ect", "X8218B01287CD44E5" ], 
  [ 
      "\033[2XTensorProductToInternalHomRightAdjunctionIsomorphism\033[102X for I\
sCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.6-10", 
      [ 1, 6, 10 ], 828, 17, 
      "tensorproducttointernalhomrightadjunctionisomorphism for iscapcategoryo\
bject iscapcategoryobject iscapcategoryobject", "X78A16762823E5F1C" ], 
  [ 
      "\033[2XTensorProductToInternalHomRightAdjunctionIsomorphismWithGivenObject\
s\033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, \
IsCapCategoryObject, IsCapCategoryObject", "1.6-11", [ 1, 6, 11 ], 838, 17, 
      "tensorproducttointernalhomrightadjunctionisomorphismwithgivenobjects fo\
r iscapcategoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobj\
ect iscapcategoryobject", "X81D37FA282FC8F11" ], 
  [ 
      "\033[2XInternalHomToTensorProductRightAdjunctMorphism\033[102X for IsCapCa\
tegoryObject, IsCapCategoryObject, IsCapCategoryMorphism", "1.6-12", 
      [ 1, 6, 12 ], 847, 17, 
      "internalhomtotensorproductrightadjunctmorphism for iscapcategoryobject \
iscapcategoryobject iscapcategorymorphism", "X8271B2767A2DFE76" ], 
  [ 
      "\033[2XInternalHomToTensorProductRightAdjunctMorphismWithGivenTensorProduc\
t\033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism\
, IsCapCategoryObject", "1.6-13", [ 1, 6, 13 ], 856, 17, 
      "internalhomtotensorproductrightadjunctmorphismwithgiventensorproduct fo\
r iscapcategoryobject iscapcategoryobject iscapcategorymorphism iscapcategoryo\
bject", "X7ACBB0CE7FA4C781" ], 
  [ 
      "\033[2XInternalHomToTensorProductRightAdjunctionIsomorphism\033[102X for I\
sCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.6-14", 
      [ 1, 6, 14 ], 866, 18, 
      "internalhomtotensorproductrightadjunctionisomorphism for iscapcategoryo\
bject iscapcategoryobject iscapcategoryobject", "X79EEE4757C27C26E" ], 
  [ 
      "\033[2XInternalHomToTensorProductRightAdjunctionIsomorphismWithGivenObject\
s\033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, \
IsCapCategoryObject, IsCapCategoryObject", "1.6-15", [ 1, 6, 15 ], 876, 18, 
      "internalhomtotensorproductrightadjunctionisomorphismwithgivenobjects fo\
r iscapcategoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobj\
ect iscapcategoryobject", "X7B4CD74A7CE51263" ], 
  [ 
      "\033[2XClosedMonoidalLeftEvaluationMorphism\033[102X for IsCapCategoryObje\
ct, IsCapCategoryObject", "1.6-16", [ 1, 6, 16 ], 886, 18, 
      "closedmonoidalleftevaluationmorphism for iscapcategoryobject iscapcateg\
oryobject", "X80B3C53A854B515B" ], 
  [ 
      "\033[2XClosedMonoidalLeftEvaluationMorphismWithGivenSource\033[102X for Is\
CapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.6-17", 
      [ 1, 6, 17 ], 896, 18, 
      "closedmonoidalleftevaluationmorphismwithgivensource for iscapcategoryob\
ject iscapcategoryobject iscapcategoryobject", "X84E1E136819BDA89" ], 
  [ 
      "\033[2XClosedMonoidalLeftCoevaluationMorphism\033[102X for IsCapCategoryOb\
ject, IsCapCategoryObject", "1.6-18", [ 1, 6, 18 ], 906, 18, 
      "closedmonoidalleftcoevaluationmorphism for iscapcategoryobject iscapcat\
egoryobject", "X7E35DEB787A71A1F" ], 
  [ 
      "\033[2XClosedMonoidalLeftCoevaluationMorphismWithGivenRange\033[102X for I\
sCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.6-19", 
      [ 1, 6, 19 ], 916, 18, 
      "closedmonoidalleftcoevaluationmorphismwithgivenrange for iscapcategoryo\
bject iscapcategoryobject iscapcategoryobject", "X8196CE5D7C88D83C" ], 
  [ 
      "\033[2XTensorProductToInternalHomLeftAdjunctMorphism\033[102X for IsCapCat\
egoryObject, IsCapCategoryObject, IsCapCategoryMorphism", "1.6-20", 
      [ 1, 6, 20 ], 927, 19, 
      "tensorproducttointernalhomleftadjunctmorphism for iscapcategoryobject i\
scapcategoryobject iscapcategorymorphism", "X80A58B1F80A186BD" ], 
  [ 
      "\033[2XTensorProductToInternalHomLeftAdjunctMorphismWithGivenInternalHom\\
033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, \
IsCapCategoryObject", "1.6-21", [ 1, 6, 21 ], 936, 19, 
      "tensorproducttointernalhomleftadjunctmorphismwithgiveninternalhom for i\
scapcategoryobject iscapcategoryobject iscapcategorymorphism iscapcategoryobje\
ct", "X7CCE373482D60A57" ], 
  [ 
      "\033[2XTensorProductToInternalHomLeftAdjunctionIsomorphism\033[102X for Is\
CapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.6-22", 
      [ 1, 6, 22 ], 945, 19, 
      "tensorproducttointernalhomleftadjunctionisomorphism for iscapcategoryob\
ject iscapcategoryobject iscapcategoryobject", "X793BAA50819573E4" ], 
  [ 
      "\033[2XTensorProductToInternalHomLeftAdjunctionIsomorphismWithGivenObjects\
\033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, I\
sCapCategoryObject, IsCapCategoryObject", "1.6-23", [ 1, 6, 23 ], 955, 19, 
      "tensorproducttointernalhomleftadjunctionisomorphismwithgivenobjects for\
 iscapcategoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobje\
ct iscapcategoryobject", "X791276987824CDF8" ], 
  [ 
      "\033[2XInternalHomToTensorProductLeftAdjunctMorphism\033[102X for IsCapCat\
egoryObject, IsCapCategoryObject, IsCapCategoryMorphism", "1.6-24", 
      [ 1, 6, 24 ], 964, 19, 
      "internalhomtotensorproductleftadjunctmorphism for iscapcategoryobject i\
scapcategoryobject iscapcategorymorphism", "X85F426677EB81BCF" ], 
  [ 
      "\033[2XInternalHomToTensorProductLeftAdjunctMorphismWithGivenTensorProduct\
\033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism,\
 IsCapCategoryObject", "1.6-25", [ 1, 6, 25 ], 973, 20, 
      "internalhomtotensorproductleftadjunctmorphismwithgiventensorproduct for\
 iscapcategoryobject iscapcategoryobject iscapcategorymorphism iscapcategoryob\
ject", "X859B738881052D1C" ], 
  [ 
      "\033[2XInternalHomToTensorProductLeftAdjunctionIsomorphism\033[102X for Is\
CapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.6-26", 
      [ 1, 6, 26 ], 983, 20, 
      "internalhomtotensorproductleftadjunctionisomorphism for iscapcategoryob\
ject iscapcategoryobject iscapcategoryobject", "X86AD79F17F8CEE96" ], 
  [ 
      "\033[2XInternalHomToTensorProductLeftAdjunctionIsomorphismWithGivenObjects\
\033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, I\
sCapCategoryObject, IsCapCategoryObject", "1.6-27", [ 1, 6, 27 ], 993, 20, 
      "internalhomtotensorproductleftadjunctionisomorphismwithgivenobjects for\
 iscapcategoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobje\
ct iscapcategoryobject", "X7D707B26863D508A" ], 
  [ 
      "\033[2XMonoidalPreComposeMorphism\033[102X for IsCapCategoryObject, IsCapC\
ategoryObject, IsCapCategoryObject", "1.6-28", [ 1, 6, 28 ], 1003, 20, 
      "monoidalprecomposemorphism for iscapcategoryobject iscapcategoryobject \
iscapcategoryobject", "X86E4E97C82BFB45C" ], 
  [ 
      "\033[2XMonoidalPreComposeMorphismWithGivenObjects\033[102X for IsCapCatego\
ryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCap\
CategoryObject", "1.6-29", [ 1, 6, 29 ], 1014, 20, 
      "monoidalprecomposemorphismwithgivenobjects for iscapcategoryobject isca\
pcategoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X7FE4A52284060F20" ], 
  [ 
      "\033[2XMonoidalPostComposeMorphism\033[102X for IsCapCategoryObject, IsCap\
CategoryObject, IsCapCategoryObject", "1.6-30", [ 1, 6, 30 ], 1026, 21, 
      "monoidalpostcomposemorphism for iscapcategoryobject iscapcategoryobject\
 iscapcategoryobject", "X79F4FCE781385829" ], 
  [ 
      "\033[2XMonoidalPostComposeMorphismWithGivenObjects\033[102X for IsCapCateg\
oryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCa\
pCategoryObject", "1.6-31", [ 1, 6, 31 ], 1037, 21, 
      "monoidalpostcomposemorphismwithgivenobjects for iscapcategoryobject isc\
apcategoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject",
      "X7E6933B8816EE4E3" ], 
  [ "\033[2XDualOnObjects\033[102X for IsCapCategoryObject", "1.6-32", 
      [ 1, 6, 32 ], 1049, 21, "dualonobjects for iscapcategoryobject", 
      "X80FFC71D7E57DD53" ], 
  [ "\033[2XDualOnMorphisms\033[102X for IsCapCategoryMorphism", "1.6-33", 
      [ 1, 6, 33 ], 1056, 21, "dualonmorphisms for iscapcategorymorphism", 
      "X815C0BC47D000819" ], 
  [ 
      "\033[2XDualOnMorphismsWithGivenDuals\033[102X for IsCapCategoryObject, IsC\
apCategoryMorphism, IsCapCategoryObject", "1.6-34", [ 1, 6, 34 ], 1064, 21, 
      "dualonmorphismswithgivenduals for iscapcategoryobject iscapcategorymorp\
hism iscapcategoryobject", "X7DCC0F468386AA46" ], 
  [ "\033[2XEvaluationForDual\033[102X for IsCapCategoryObject", "1.6-35", 
      [ 1, 6, 35 ], 1073, 21, "evaluationfordual for iscapcategoryobject", 
      "X86D42C7587F03A68" ], 
  [ 
      "\033[2XEvaluationForDualWithGivenTensorProduct\033[102X for IsCapCategoryO\
bject, IsCapCategoryObject, IsCapCategoryObject", "1.6-36", [ 1, 6, 36 ], 
      1081, 21, 
      "evaluationfordualwithgiventensorproduct for iscapcategoryobject iscapca\
tegoryobject iscapcategoryobject", "X7B588B1B8472834E" ], 
  [ "\033[2XMorphismToBidual\033[102X for IsCapCategoryObject", "1.6-37", 
      [ 1, 6, 37 ], 1090, 22, "morphismtobidual for iscapcategoryobject", 
      "X7F68B55781C1DFB1" ], 
  [ 
      "\033[2XMorphismToBidualWithGivenBidual\033[102X for IsCapCategoryObject, I\
sCapCategoryObject", "1.6-38", [ 1, 6, 38 ], 1098, 22, 
      "morphismtobidualwithgivenbidual for iscapcategoryobject iscapcategoryob\
ject", "X79260E5680F1E741" ], 
  [ "\033[2XTensorProductInternalHomCompatibilityMorphism\033[102X for IsList"
        , "1.6-39", [ 1, 6, 39 ], 1106, 22, 
      "tensorproductinternalhomcompatibilitymorphism for islist", 
      "X80CDA0CB821E08EE" ], 
  [ 
      "\033[2XTensorProductInternalHomCompatibilityMorphismWithGivenObjects\033[1\
02X for IsCapCategoryObject, IsList, IsCapCategoryObject", "1.6-40", 
      [ 1, 6, 40 ], 1119, 22, 
      "tensorproductinternalhomcompatibilitymorphismwithgivenobjects for iscap\
categoryobject islist iscapcategoryobject", "X7B0194A07AB73486" ], 
  [ 
      "\033[2XTensorProductDualityCompatibilityMorphism\033[102X for IsCapCategor\
yObject, IsCapCategoryObject", "1.6-41", [ 1, 6, 41 ], 1132, 22, 
      "tensorproductdualitycompatibilitymorphism for iscapcategoryobject iscap\
categoryobject", "X7D173DB08132E40A" ], 
  [ 
      "\033[2XTensorProductDualityCompatibilityMorphismWithGivenObjects\033[102X \
for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCatego\
ryObject", "1.6-42", [ 1, 6, 42 ], 1142, 23, 
      "tensorproductdualitycompatibilitymorphismwithgivenobjects for iscapcate\
goryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X794ED97782B8DF76" ], 
  [ 
      "\033[2XMorphismFromTensorProductToInternalHom\033[102X for IsCapCategoryOb\
ject, IsCapCategoryObject", "1.6-43", [ 1, 6, 43 ], 1152, 23, 
      "morphismfromtensorproducttointernalhom for iscapcategoryobject iscapcat\
egoryobject", "X8439BFF57BFE390F" ], 
  [ 
      "\033[2XMorphismFromTensorProductToInternalHomWithGivenObjects\033[102X for\
 IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryO\
bject", "1.6-44", [ 1, 6, 44 ], 1162, 23, 
      "morphismfromtensorproducttointernalhomwithgivenobjects for iscapcategor\
yobject iscapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X8473D28B7F3A5E20" ], 
  [ 
      "\033[2XIsomorphismFromDualObjectToInternalHomIntoTensorUnit\033[102X for I\
sCapCategoryObject", "1.6-45", [ 1, 6, 45 ], 1172, 23, 
      "isomorphismfromdualobjecttointernalhomintotensorunit for iscapcategoryo\
bject", "X8430726C82D6CFF7" ], 
  [ 
      "\033[2XIsomorphismFromInternalHomIntoTensorUnitToDualObject\033[102X for I\
sCapCategoryObject", "1.6-46", [ 1, 6, 46 ], 1182, 23, 
      "isomorphismfrominternalhomintotensorunittodualobject for iscapcategoryo\
bject", "X7A015736812A97C6" ], 
  [ 
      "\033[2XUniversalPropertyOfDual\033[102X for IsCapCategoryObject, IsCapCate\
goryObject, IsCapCategoryMorphism", "1.6-47", [ 1, 6, 47 ], 1192, 24, 
      "universalpropertyofdual for iscapcategoryobject iscapcategoryobject isc\
apcategorymorphism", "X7AF8F68887146C20" ], 
  [ "\033[2XLambdaIntroduction\033[102X for IsCapCategoryMorphism", "1.6-48", 
      [ 1, 6, 48 ], 1201, 24, "lambdaintroduction for iscapcategorymorphism", 
      "X80F3F2287B9E55E3" ], 
  [ 
      "\033[2XLambdaElimination\033[102X for IsCapCategoryObject, IsCapCategoryOb\
ject, IsCapCategoryMorphism", "1.6-49", [ 1, 6, 49 ], 1210, 24, 
      "lambdaelimination for iscapcategoryobject iscapcategoryobject iscapcate\
gorymorphism", "X79EC44077F661E80" ], 
  [ 
      "\033[2XIsomorphismFromObjectToInternalHom\033[102X for IsCapCategoryObject\
", "1.6-50", [ 1, 6, 50 ], 1219, 24, 
      "isomorphismfromobjecttointernalhom for iscapcategoryobject", 
      "X8726BA888787D53D" ], 
  [ 
      "\033[2XIsomorphismFromObjectToInternalHomWithGivenInternalHom\033[102X for\
 IsCapCategoryObject, IsCapCategoryObject", "1.6-51", [ 1, 6, 51 ], 1227, 24, 
      "isomorphismfromobjecttointernalhomwithgiveninternalhom for iscapcategor\
yobject iscapcategoryobject", "X87F91EF37C76A7F7" ], 
  [ 
      "\033[2XIsomorphismFromInternalHomToObject\033[102X for IsCapCategoryObject\
", "1.6-52", [ 1, 6, 52 ], 1236, 24, 
      "isomorphismfrominternalhomtoobject for iscapcategoryobject", 
      "X831CF4E1824FA178" ], 
  [ 
      "\033[2XIsomorphismFromInternalHomToObjectWithGivenInternalHom\033[102X for\
 IsCapCategoryObject, IsCapCategoryObject", "1.6-53", [ 1, 6, 53 ], 1244, 24, 
      "isomorphismfrominternalhomtoobjectwithgiveninternalhom for iscapcategor\
yobject iscapcategoryobject", "X7988DC7C79BED3B2" ], 
  [ 
      "\033[2XLeftInternalCoHomOnObjects\033[102X for IsCapCategoryObject, IsCapC\
ategoryObject", "1.7-1", [ 1, 7, 1 ], 1267, 25, 
      "leftinternalcohomonobjects for iscapcategoryobject iscapcategoryobject"
        , "X7CE5D10B7F10E9CC" ], 
  [ 
      "\033[2XLeftInternalCoHomOnMorphisms\033[102X for IsCapCategoryMorphism, Is\
CapCategoryMorphism", "1.7-2", [ 1, 7, 2 ], 1275, 25, 
      "leftinternalcohomonmorphisms for iscapcategorymorphism iscapcategorymor\
phism", "X853213767BB48099" ], 
  [ 
      "\033[2XLeftInternalCoHomOnMorphismsWithGivenLeftInternalCoHoms\033[102X fo\
r IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCate\
goryObject", "1.7-3", [ 1, 7, 3 ], 1287, 25, 
      "leftinternalcohomonmorphismswithgivenleftinternalcohoms for iscapcatego\
ryobject iscapcategorymorphism iscapcategorymorphism iscapcategoryobject", 
      "X7F302E3880752A2F" ], 
  [ 
      "\033[2XLeftCoclosedMonoidalEvaluationMorphism\033[102X for IsCapCategoryOb\
ject, IsCapCategoryObject", "1.7-4", [ 1, 7, 4 ], 1299, 25, 
      "leftcoclosedmonoidalevaluationmorphism for iscapcategoryobject iscapcat\
egoryobject", "X819A762D83B1C294" ], 
  [ 
      "\033[2XLeftCoclosedMonoidalEvaluationMorphismWithGivenRange\033[102X for I\
sCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.7-5", 
      [ 1, 7, 5 ], 1310, 26, 
      "leftcoclosedmonoidalevaluationmorphismwithgivenrange for iscapcategoryo\
bject iscapcategoryobject iscapcategoryobject", "X7E5607B1789E00B7" ], 
  [ 
      "\033[2XLeftCoclosedMonoidalCoevaluationMorphism\033[102X for IsCapCategory\
Object, IsCapCategoryObject", "1.7-6", [ 1, 7, 6 ], 1321, 26, 
      "leftcoclosedmonoidalcoevaluationmorphism for iscapcategoryobject iscapc\
ategoryobject", "X81A249CE84828A9D" ], 
  [ 
      "\033[2XLeftCoclosedMonoidalCoevaluationMorphismWithGivenSource\033[102X fo\
r IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.7-7", 
      [ 1, 7, 7 ], 1331, 26, 
      "leftcoclosedmonoidalcoevaluationmorphismwithgivensource for iscapcatego\
ryobject iscapcategoryobject iscapcategoryobject", "X7D1018A284F21140" ], 
  [ 
      "\033[2XTensorProductToLeftInternalCoHomAdjunctMorphism\033[102X for IsCapC\
ategoryObject, IsCapCategoryObject, IsCapCategoryMorphism", "1.7-8", 
      [ 1, 7, 8 ], 1342, 26, 
      "tensorproducttoleftinternalcohomadjunctmorphism for iscapcategoryobject\
 iscapcategoryobject iscapcategorymorphism", "X851216B2807B3900" ], 
  [ 
      "\033[2XTensorProductToLeftInternalCoHomAdjunctMorphismWithGivenLeftInterna\
lCoHom\033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMor\
phism, IsCapCategoryObject", "1.7-9", [ 1, 7, 9 ], 1352, 26, 
      "tensorproducttoleftinternalcohomadjunctmorphismwithgivenleftinternalcoh\
om for iscapcategoryobject iscapcategoryobject iscapcategorymorphism iscapcate\
goryobject", "X87BFA0FA7AFF2868" ], 
  [ 
      "\033[2XLeftInternalCoHomToTensorProductAdjunctMorphism\033[102X for IsCapC\
ategoryObject, IsCapCategoryObject, IsCapCategoryMorphism", "1.7-10", 
      [ 1, 7, 10 ], 1362, 26, 
      "leftinternalcohomtotensorproductadjunctmorphism for iscapcategoryobject\
 iscapcategoryobject iscapcategorymorphism", "X7DDDACD58454C3A4" ], 
  [ 
      "\033[2XLeftInternalCoHomToTensorProductAdjunctMorphismWithGivenTensorProdu\
ct\033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphis\
m, IsCapCategoryObject", "1.7-11", [ 1, 7, 11 ], 1372, 27, 
      "leftinternalcohomtotensorproductadjunctmorphismwithgiventensorproduct f\
or iscapcategoryobject iscapcategoryobject iscapcategorymorphism iscapcategory\
object", "X821AC96981CA794C" ], 
  [ 
      "\033[2XLeftCoclosedMonoidalPreCoComposeMorphism\033[102X for IsCapCategory\
Object, IsCapCategoryObject, IsCapCategoryObject", "1.7-12", [ 1, 7, 12 ], 
      1382, 27, 
      "leftcoclosedmonoidalprecocomposemorphism for iscapcategoryobject iscapc\
ategoryobject iscapcategoryobject", "X8416357982DCBEE4" ], 
  [ 
      "\033[2XLeftCoclosedMonoidalPreCoComposeMorphismWithGivenObjects\033[102X f\
or IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategor\
yObject, IsCapCategoryObject", "1.7-13", [ 1, 7, 13 ], 1395, 27, 
      "leftcoclosedmonoidalprecocomposemorphismwithgivenobjects for iscapcateg\
oryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject iscapcat\
egoryobject", "X7EECDE4583E14A59" ], 
  [ 
      "\033[2XLeftCoclosedMonoidalPostCoComposeMorphism\033[102X for IsCapCategor\
yObject, IsCapCategoryObject, IsCapCategoryObject", "1.7-14", [ 1, 7, 14 ], 
      1409, 27, 
      "leftcoclosedmonoidalpostcocomposemorphism for iscapcategoryobject iscap\
categoryobject iscapcategoryobject", "X80A270E982F5BC2D" ], 
  [ 
      "\033[2XLeftCoclosedMonoidalPostCoComposeMorphismWithGivenObjects\033[102X \
for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCatego\
ryObject, IsCapCategoryObject", "1.7-15", [ 1, 7, 15 ], 1422, 28, 
      "leftcoclosedmonoidalpostcocomposemorphismwithgivenobjects for iscapcate\
goryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject iscapca\
tegoryobject", "X867C6F087D72AB3F" ], 
  [ "\033[2XLeftCoDualOnObjects\033[102X for IsCapCategoryObject", "1.7-16", 
      [ 1, 7, 16 ], 1436, 28, "leftcodualonobjects for iscapcategoryobject", 
      "X85A63AA57F0678EE" ], 
  [ "\033[2XLeftCoDualOnMorphisms\033[102X for IsCapCategoryMorphism", 
      "1.7-17", [ 1, 7, 17 ], 1443, 28, 
      "leftcodualonmorphisms for iscapcategorymorphism", "X7949DE307D2D5083" ]
    , 
  [ 
      "\033[2XLeftCoDualOnMorphismsWithGivenLeftCoDuals\033[102X for IsCapCategor\
yObject, IsCapCategoryMorphism, IsCapCategoryObject", "1.7-18", [ 1, 7, 18 ], 
      1451, 28, 
      "leftcodualonmorphismswithgivenleftcoduals for iscapcategoryobject iscap\
categorymorphism iscapcategoryobject", "X84C835CB7E708596" ], 
  [ 
      "\033[2XLeftCoclosedMonoidalEvaluationForLeftCoDual\033[102X for IsCapCateg\
oryObject", "1.7-19", [ 1, 7, 19 ], 1460, 28, 
      "leftcoclosedmonoidalevaluationforleftcodual for iscapcategoryobject", 
      "X7A20AC6A837F79BA" ], 
  [ 
      "\033[2XLeftCoclosedMonoidalEvaluationForLeftCoDualWithGivenTensorProduct\\
033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", 
      "1.7-20", [ 1, 7, 20 ], 1468, 28, 
      "leftcoclosedmonoidalevaluationforleftcodualwithgiventensorproduct for i\
scapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X87B15AC678955783" ], 
  [ "\033[2XMorphismFromLeftCoBidual\033[102X for IsCapCategoryObject", 
      "1.7-21", [ 1, 7, 21 ], 1477, 29, 
      "morphismfromleftcobidual for iscapcategoryobject", "X7F67676A85A47BDB" 
     ], 
  [ 
      "\033[2XMorphismFromLeftCoBidualWithGivenLeftCoBidual\033[102X for IsCapCat\
egoryObject, IsCapCategoryObject", "1.7-22", [ 1, 7, 22 ], 1485, 29, 
      "morphismfromleftcobidualwithgivenleftcobidual for iscapcategoryobject i\
scapcategoryobject", "X7AF5F77180E09AAE" ], 
  [ 
      "\033[2XLeftInternalCoHomTensorProductCompatibilityMorphism\033[102X for Is\
List", "1.7-23", [ 1, 7, 23 ], 1493, 29, 
      "leftinternalcohomtensorproductcompatibilitymorphism for islist", 
      "X84331A1B7F62782F" ], 
  [ 
      "\033[2XLeftInternalCoHomTensorProductCompatibilityMorphismWithGivenObjects\
\033[102X for IsCapCategoryObject, IsList, IsCapCategoryObject", "1.7-24", 
      [ 1, 7, 24 ], 1507, 29, 
      "leftinternalcohomtensorproductcompatibilitymorphismwithgivenobjects for\
 iscapcategoryobject islist iscapcategoryobject", "X808BEB0879D58CAF" ], 
  [ 
      "\033[2XLeftCoDualityTensorProductCompatibilityMorphism\033[102X for IsCapC\
ategoryObject, IsCapCategoryObject", "1.7-25", [ 1, 7, 25 ], 1521, 29, 
      "leftcodualitytensorproductcompatibilitymorphism for iscapcategoryobject\
 iscapcategoryobject", "X7B4A66A8803C99BA" ], 
  [ 
      "\033[2XLeftCoDualityTensorProductCompatibilityMorphismWithGivenObjects\\
033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, Is\
CapCategoryObject", "1.7-26", [ 1, 7, 26 ], 1531, 29, 
      "leftcodualitytensorproductcompatibilitymorphismwithgivenobjects for isc\
apcategoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject",
      "X86E72092788A8F2D" ], 
  [ 
      "\033[2XMorphismFromLeftInternalCoHomToTensorProduct\033[102X for IsCapCate\
goryObject, IsCapCategoryObject", "1.7-27", [ 1, 7, 27 ], 1541, 30, 
      "morphismfromleftinternalcohomtotensorproduct for iscapcategoryobject is\
capcategoryobject", "X7A5FDE4B83C5F328" ], 
  [ 
      "\033[2XMorphismFromLeftInternalCoHomToTensorProductWithGivenObjects\033[10\
2X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCat\
egoryObject", "1.7-28", [ 1, 7, 28 ], 1551, 30, 
      "morphismfromleftinternalcohomtotensorproductwithgivenobjects for iscapc\
ategoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X7BD2A33F84A2FBAB" ], 
  [ 
      "\033[2XIsomorphismFromLeftCoDualObjectToLeftInternalCoHomFromTensorUnit\\
033[102X for IsCapCategoryObject", "1.7-29", [ 1, 7, 29 ], 1562, 30, 
      "isomorphismfromleftcodualobjecttoleftinternalcohomfromtensorunit for is\
capcategoryobject", "X7CC10C9E7EA7EED4" ], 
  [ 
      "\033[2XIsomorphismFromLeftInternalCoHomFromTensorUnitToLeftCoDualObject\\
033[102X for IsCapCategoryObject", "1.7-30", [ 1, 7, 30 ], 1572, 30, 
      "isomorphismfromleftinternalcohomfromtensorunittoleftcodualobject for is\
capcategoryobject", "X87F96B047F320A17" ], 
  [ 
      "\033[2XUniversalPropertyOfLeftCoDual\033[102X for IsCapCategoryObject, IsC\
apCategoryObject, IsCapCategoryMorphism", "1.7-31", [ 1, 7, 31 ], 1582, 30, 
      "universalpropertyofleftcodual for iscapcategoryobject iscapcategoryobje\
ct iscapcategorymorphism", "X7A0DE1667FF28457" ], 
  [ 
      "\033[2XLeftCoclosedMonoidalLambdaIntroduction\033[102X for IsCapCategoryMo\
rphism", "1.7-32", [ 1, 7, 32 ], 1591, 31, 
      "leftcoclosedmonoidallambdaintroduction for iscapcategorymorphism", 
      "X85960F7479FFA8DA" ], 
  [ 
      "\033[2XLeftCoclosedMonoidalLambdaElimination\033[102X for IsCapCategoryObj\
ect, IsCapCategoryObject, IsCapCategoryMorphism", "1.7-33", [ 1, 7, 33 ], 
      1601, 31, 
      "leftcoclosedmonoidallambdaelimination for iscapcategoryobject iscapcate\
goryobject iscapcategorymorphism", "X8721DDEC7DF9D89D" ], 
  [ 
      "\033[2XIsomorphismFromObjectToLeftInternalCoHom\033[102X for IsCapCategory\
Object", "1.7-34", [ 1, 7, 34 ], 1610, 31, 
      "isomorphismfromobjecttoleftinternalcohom for iscapcategoryobject", 
      "X853342457CC3B489" ], 
  [ 
      "\033[2XIsomorphismFromObjectToLeftInternalCoHomWithGivenLeftInternalCoHom\\
033[102X for IsCapCategoryObject, IsCapCategoryObject", "1.7-35", 
      [ 1, 7, 35 ], 1619, 31, 
      "isomorphismfromobjecttoleftinternalcohomwithgivenleftinternalcohom for \
iscapcategoryobject iscapcategoryobject", "X82709BED807CB6FC" ], 
  [ 
      "\033[2XIsomorphismFromLeftInternalCoHomToObject\033[102X for IsCapCategory\
Object", "1.7-36", [ 1, 7, 36 ], 1628, 31, 
      "isomorphismfromleftinternalcohomtoobject for iscapcategoryobject", 
      "X806C843B82108148" ], 
  [ 
      "\033[2XIsomorphismFromLeftInternalCoHomToObjectWithGivenLeftInternalCoHom\\
033[102X for IsCapCategoryObject, IsCapCategoryObject", "1.7-37", 
      [ 1, 7, 37 ], 1637, 31, 
      "isomorphismfromleftinternalcohomtoobjectwithgivenleftinternalcohom for \
iscapcategoryobject iscapcategoryobject", "X8370164B7EAF833D" ], 
  [ 
      "\033[2XInternalCoHomOnObjects\033[102X for IsCapCategoryObject, IsCapCateg\
oryObject", "1.8-1", [ 1, 8, 1 ], 1658, 32, 
      "internalcohomonobjects for iscapcategoryobject iscapcategoryobject", 
      "X791BE0B0847A430D" ], 
  [ 
      "\033[2XInternalCoHomOnMorphisms\033[102X for IsCapCategoryMorphism, IsCapC\
ategoryMorphism", "1.8-2", [ 1, 8, 2 ], 1666, 32, 
      "internalcohomonmorphisms for iscapcategorymorphism iscapcategorymorphis\
m", "X7FDF105D7F56EB53" ], 
  [ 
      "\033[2XInternalCoHomOnMorphismsWithGivenInternalCoHoms\033[102X for IsCapC\
ategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObje\
ct", "1.8-3", [ 1, 8, 3 ], 1677, 32, 
      "internalcohomonmorphismswithgiveninternalcohoms for iscapcategoryobject\
 iscapcategorymorphism iscapcategorymorphism iscapcategoryobject", 
      "X84DDA3DD878162B9" ], 
  [ 
      "\033[2XCoclosedMonoidalRightEvaluationMorphism\033[102X for IsCapCategoryO\
bject, IsCapCategoryObject", "1.8-4", [ 1, 8, 4 ], 1689, 32, 
      "coclosedmonoidalrightevaluationmorphism for iscapcategoryobject iscapca\
tegoryobject", "X83CEC88D79AE5684" ], 
  [ 
      "\033[2XCoclosedMonoidalRightEvaluationMorphismWithGivenRange\033[102X for \
IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.8-5", 
      [ 1, 8, 5 ], 1700, 32, 
      "coclosedmonoidalrightevaluationmorphismwithgivenrange for iscapcategory\
object iscapcategoryobject iscapcategoryobject", "X79333EC9822EA316" ], 
  [ 
      "\033[2XCoclosedMonoidalRightCoevaluationMorphism\033[102X for IsCapCategor\
yObject, IsCapCategoryObject", "1.8-6", [ 1, 8, 6 ], 1711, 33, 
      "coclosedmonoidalrightcoevaluationmorphism for iscapcategoryobject iscap\
categoryobject", "X80CA11547F3909E3" ], 
  [ 
      "\033[2XCoclosedMonoidalRightCoevaluationMorphismWithGivenSource\033[102X f\
or IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.8-7", 
      [ 1, 8, 7 ], 1722, 33, 
      "coclosedmonoidalrightcoevaluationmorphismwithgivensource for iscapcateg\
oryobject iscapcategoryobject iscapcategoryobject", "X7F1C10897EC4D14E" ], 
  [ 
      "\033[2XTensorProductToInternalCoHomRightAdjunctMorphism\033[102X for IsCap\
CategoryObject, IsCapCategoryObject, IsCapCategoryMorphism", "1.8-8", 
      [ 1, 8, 8 ], 1732, 33, 
      "tensorproducttointernalcohomrightadjunctmorphism for iscapcategoryobjec\
t iscapcategoryobject iscapcategorymorphism", "X82B0937678F04730" ], 
  [ 
      "\033[2XTensorProductToInternalCoHomRightAdjunctMorphismWithGivenInternalCo\
Hom\033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphi\
sm, IsCapCategoryObject", "1.8-9", [ 1, 8, 9 ], 1741, 33, 
      "tensorproducttointernalcohomrightadjunctmorphismwithgiveninternalcohom \
for iscapcategoryobject iscapcategoryobject iscapcategorymorphism iscapcategor\
yobject", "X833D7B567810D7F3" ], 
  [ 
      "\033[2XInternalCoHomToTensorProductRightAdjunctMorphism\033[102X for IsCap\
CategoryObject, IsCapCategoryObject, IsCapCategoryMorphism", "1.8-10", 
      [ 1, 8, 10 ], 1751, 33, 
      "internalcohomtotensorproductrightadjunctmorphism for iscapcategoryobjec\
t iscapcategoryobject iscapcategorymorphism", "X8623CC567D687FFD" ], 
  [ 
      "\033[2XInternalCoHomToTensorProductRightAdjunctMorphismWithGivenTensorProd\
uct\033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphi\
sm, IsCapCategoryObject", "1.8-11", [ 1, 8, 11 ], 1761, 34, 
      "internalcohomtotensorproductrightadjunctmorphismwithgiventensorproduct \
for iscapcategoryobject iscapcategoryobject iscapcategorymorphism iscapcategor\
yobject", "X821B5212835BD1F6" ], 
  [ 
      "\033[2XCoclosedMonoidalLeftEvaluationMorphism\033[102X for IsCapCategoryOb\
ject, IsCapCategoryObject", "1.8-12", [ 1, 8, 12 ], 1771, 34, 
      "coclosedmonoidalleftevaluationmorphism for iscapcategoryobject iscapcat\
egoryobject", "X81020D9E85C3280A" ], 
  [ 
      "\033[2XCoclosedMonoidalLeftEvaluationMorphismWithGivenRange\033[102X for I\
sCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.8-13", 
      [ 1, 8, 13 ], 1782, 34, 
      "coclosedmonoidalleftevaluationmorphismwithgivenrange for iscapcategoryo\
bject iscapcategoryobject iscapcategoryobject", "X7A1801D77EECEA29" ], 
  [ 
      "\033[2XCoclosedMonoidalLeftCoevaluationMorphism\033[102X for IsCapCategory\
Object, IsCapCategoryObject", "1.8-14", [ 1, 8, 14 ], 1793, 34, 
      "coclosedmonoidalleftcoevaluationmorphism for iscapcategoryobject iscapc\
ategoryobject", "X7D6905F582F06003" ], 
  [ 
      "\033[2XCoclosedMonoidalLeftCoevaluationMorphismWithGivenSource\033[102X fo\
r IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.8-15", 
      [ 1, 8, 15 ], 1804, 34, 
      "coclosedmonoidalleftcoevaluationmorphismwithgivensource for iscapcatego\
ryobject iscapcategoryobject iscapcategoryobject", "X802A3FC48280FBDE" ], 
  [ 
      "\033[2XTensorProductToInternalCoHomLeftAdjunctMorphism\033[102X for IsCapC\
ategoryObject, IsCapCategoryObject, IsCapCategoryMorphism", "1.8-16", 
      [ 1, 8, 16 ], 1814, 35, 
      "tensorproducttointernalcohomleftadjunctmorphism for iscapcategoryobject\
 iscapcategoryobject iscapcategorymorphism", "X7FB4953B7F813D0B" ], 
  [ 
      "\033[2XTensorProductToInternalCoHomLeftAdjunctMorphismWithGivenInternalCoH\
om\033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphis\
m, IsCapCategoryObject", "1.8-17", [ 1, 8, 17 ], 1823, 35, 
      "tensorproducttointernalcohomleftadjunctmorphismwithgiveninternalcohom f\
or iscapcategoryobject iscapcategoryobject iscapcategorymorphism iscapcategory\
object", "X8312DB0A82A97D4B" ], 
  [ 
      "\033[2XInternalCoHomToTensorProductLeftAdjunctMorphism\033[102X for IsCapC\
ategoryObject, IsCapCategoryObject, IsCapCategoryMorphism", "1.8-18", 
      [ 1, 8, 18 ], 1833, 35, 
      "internalcohomtotensorproductleftadjunctmorphism for iscapcategoryobject\
 iscapcategoryobject iscapcategorymorphism", "X7A7FC1957A1905C6" ], 
  [ 
      "\033[2XInternalCoHomToTensorProductLeftAdjunctMorphismWithGivenTensorProdu\
ct\033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphis\
m, IsCapCategoryObject", "1.8-19", [ 1, 8, 19 ], 1843, 35, 
      "internalcohomtotensorproductleftadjunctmorphismwithgiventensorproduct f\
or iscapcategoryobject iscapcategoryobject iscapcategorymorphism iscapcategory\
object", "X85F970897F87BF2E" ], 
  [ 
      "\033[2XMonoidalPreCoComposeMorphism\033[102X for IsCapCategoryObject, IsCa\
pCategoryObject, IsCapCategoryObject", "1.8-20", [ 1, 8, 20 ], 1853, 35, 
      "monoidalprecocomposemorphism for iscapcategoryobject iscapcategoryobjec\
t iscapcategoryobject", "X8337DE6B7D61EAC2" ], 
  [ 
      "\033[2XMonoidalPreCoComposeMorphismWithGivenObjects\033[102X for IsCapCate\
goryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsC\
apCategoryObject", "1.8-21", [ 1, 8, 21 ], 1865, 36, 
      "monoidalprecocomposemorphismwithgivenobjects for iscapcategoryobject is\
capcategoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject"
        , "X82A183B0807A0A01" ], 
  [ 
      "\033[2XMonoidalPostCoComposeMorphism\033[102X for IsCapCategoryObject, IsC\
apCategoryObject, IsCapCategoryObject", "1.8-22", [ 1, 8, 22 ], 1877, 36, 
      "monoidalpostcocomposemorphism for iscapcategoryobject iscapcategoryobje\
ct iscapcategoryobject", "X83FE0B8D853A76C1" ], 
  [ 
      "\033[2XMonoidalPostCoComposeMorphismWithGivenObjects\033[102X for IsCapCat\
egoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, Is\
CapCategoryObject", "1.8-23", [ 1, 8, 23 ], 1889, 36, 
      "monoidalpostcocomposemorphismwithgivenobjects for iscapcategoryobject i\
scapcategoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject\
", "X805DF38880B1E9E0" ], 
  [ "\033[2XCoDualOnObjects\033[102X for IsCapCategoryObject", "1.8-24", 
      [ 1, 8, 24 ], 1901, 36, "codualonobjects for iscapcategoryobject", 
      "X817A1F7986256461" ], 
  [ "\033[2XCoDualOnMorphisms\033[102X for IsCapCategoryMorphism", "1.8-25", 
      [ 1, 8, 25 ], 1908, 36, "codualonmorphisms for iscapcategorymorphism", 
      "X840CBC837926138E" ], 
  [ 
      "\033[2XCoDualOnMorphismsWithGivenCoDuals\033[102X for IsCapCategoryObject,\
 IsCapCategoryMorphism, IsCapCategoryObject", "1.8-26", [ 1, 8, 26 ], 1916, 
      36, 
      "codualonmorphismswithgivencoduals for iscapcategoryobject iscapcategory\
morphism iscapcategoryobject", "X79750BFD824D2AAF" ], 
  [ "\033[2XCoclosedEvaluationForCoDual\033[102X for IsCapCategoryObject", 
      "1.8-27", [ 1, 8, 27 ], 1925, 37, 
      "coclosedevaluationforcodual for iscapcategoryobject", 
      "X7C65C05A788415E4" ], 
  [ 
      "\033[2XCoclosedEvaluationForCoDualWithGivenTensorProduct\033[102X for IsCa\
pCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.8-28", 
      [ 1, 8, 28 ], 1933, 37, 
      "coclosedevaluationforcodualwithgiventensorproduct for iscapcategoryobje\
ct iscapcategoryobject iscapcategoryobject", "X7CAB615C86D97CE8" ], 
  [ "\033[2XMorphismFromCoBidual\033[102X for IsCapCategoryObject", "1.8-29", 
      [ 1, 8, 29 ], 1942, 37, "morphismfromcobidual for iscapcategoryobject", 
      "X7841B6757A510799" ], 
  [ 
      "\033[2XMorphismFromCoBidualWithGivenCoBidual\033[102X for IsCapCategoryObj\
ect, IsCapCategoryObject", "1.8-30", [ 1, 8, 30 ], 1950, 37, 
      "morphismfromcobidualwithgivencobidual for iscapcategoryobject iscapcate\
goryobject", "X7B2B002979E1CBF6" ], 
  [ 
      "\033[2XInternalCoHomTensorProductCompatibilityMorphism\033[102X for IsList\
", "1.8-31", [ 1, 8, 31 ], 1958, 37, 
      "internalcohomtensorproductcompatibilitymorphism for islist", 
      "X7D9E57197C820E0E" ], 
  [ 
      "\033[2XInternalCoHomTensorProductCompatibilityMorphismWithGivenObjects\\
033[102X for IsCapCategoryObject, IsList, IsCapCategoryObject", "1.8-32", 
      [ 1, 8, 32 ], 1971, 37, 
      "internalcohomtensorproductcompatibilitymorphismwithgivenobjects for isc\
apcategoryobject islist iscapcategoryobject", "X81E9DC8D7FCD361F" ], 
  [ 
      "\033[2XCoDualityTensorProductCompatibilityMorphism\033[102X for IsCapCateg\
oryObject, IsCapCategoryObject", "1.8-33", [ 1, 8, 33 ], 1984, 38, 
      "codualitytensorproductcompatibilitymorphism for iscapcategoryobject isc\
apcategoryobject", "X7B817BC97C1F1DF8" ], 
  [ 
      "\033[2XCoDualityTensorProductCompatibilityMorphismWithGivenObjects\033[102\
X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCate\
goryObject", "1.8-34", [ 1, 8, 34 ], 1994, 38, 
      "codualitytensorproductcompatibilitymorphismwithgivenobjects for iscapca\
tegoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X82119ED686D3874C" ], 
  [ 
      "\033[2XMorphismFromInternalCoHomToTensorProduct\033[102X for IsCapCategory\
Object, IsCapCategoryObject", "1.8-35", [ 1, 8, 35 ], 2004, 38, 
      "morphismfrominternalcohomtotensorproduct for iscapcategoryobject iscapc\
ategoryobject", "X7A4971267B80B14F" ], 
  [ 
      "\033[2XMorphismFromInternalCoHomToTensorProductWithGivenObjects\033[102X f\
or IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategor\
yObject", "1.8-36", [ 1, 8, 36 ], 2014, 38, 
      "morphismfrominternalcohomtotensorproductwithgivenobjects for iscapcateg\
oryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X7B60FB927C37E125" ], 
  [ 
      "\033[2XIsomorphismFromCoDualObjectToInternalCoHomFromTensorUnit\033[102X f\
or IsCapCategoryObject", "1.8-37", [ 1, 8, 37 ], 2025, 38, 
      "isomorphismfromcodualobjecttointernalcohomfromtensorunit for iscapcateg\
oryobject", "X86C7E40C85318EFA" ], 
  [ 
      "\033[2XIsomorphismFromInternalCoHomFromTensorUnitToCoDualObject\033[102X f\
or IsCapCategoryObject", "1.8-38", [ 1, 8, 38 ], 2035, 39, 
      "isomorphismfrominternalcohomfromtensorunittocodualobject for iscapcateg\
oryobject", "X84C86E29800BB8BC" ], 
  [ 
      "\033[2XUniversalPropertyOfCoDual\033[102X for IsCapCategoryObject, IsCapCa\
tegoryObject, IsCapCategoryMorphism", "1.8-39", [ 1, 8, 39 ], 2045, 39, 
      "universalpropertyofcodual for iscapcategoryobject iscapcategoryobject i\
scapcategorymorphism", "X7AEE412D80799D09" ], 
  [ "\033[2XCoLambdaIntroduction\033[102X for IsCapCategoryMorphism", 
      "1.8-40", [ 1, 8, 40 ], 2054, 39, 
      "colambdaintroduction for iscapcategorymorphism", "X784CBFB984E66E7A" ],
  [ "\033[2XCoLambdaElimination\033[102X for IsCapCategoryObject, IsCapCategor\
yObject, IsCapCategoryMorphism", "1.8-41", [ 1, 8, 41 ], 2063, 39, 
      "colambdaelimination for iscapcategoryobject iscapcategoryobject iscapca\
tegorymorphism", "X83520B098068CF62" ], 
  [ 
      "\033[2XIsomorphismFromObjectToInternalCoHom\033[102X for IsCapCategoryObje\
ct", "1.8-42", [ 1, 8, 42 ], 2072, 39, 
      "isomorphismfromobjecttointernalcohom for iscapcategoryobject", 
      "X83F11F6184DBD507" ], 
  [ 
      "\033[2XIsomorphismFromObjectToInternalCoHomWithGivenInternalCoHom\033[102X\
 for IsCapCategoryObject, IsCapCategoryObject", "1.8-43", [ 1, 8, 43 ], 2080, 
      39, 
      "isomorphismfromobjecttointernalcohomwithgiveninternalcohom for iscapcat\
egoryobject iscapcategoryobject", "X8233C995828387E9" ], 
  [ 
      "\033[2XIsomorphismFromInternalCoHomToObject\033[102X for IsCapCategoryObje\
ct", "1.8-44", [ 1, 8, 44 ], 2089, 40, 
      "isomorphismfrominternalcohomtoobject for iscapcategoryobject", 
      "X875A349280E2095C" ], 
  [ 
      "\033[2XIsomorphismFromInternalCoHomToObjectWithGivenInternalCoHom\033[102X\
 for IsCapCategoryObject, IsCapCategoryObject", "1.8-45", [ 1, 8, 45 ], 2097, 
      40, 
      "isomorphismfrominternalcohomtoobjectwithgiveninternalcohom for iscapcat\
egoryobject iscapcategoryobject", "X858AD1F986BA5BB2" ], 
  [ 
      "\033[2XIsomorphismFromTensorProductWithDualObjectToInternalHom\033[102X fo\
r IsCapCategoryObject, IsCapCategoryObject", "1.11-1", [ 1, 11, 1 ], 2149, 
      40, 
      "isomorphismfromtensorproductwithdualobjecttointernalhom for iscapcatego\
ryobject iscapcategoryobject", "X782B629D7E7835C9" ], 
  [ 
      "\033[2XIsomorphismFromInternalHomToTensorProductWithDualObject\033[102X fo\
r IsCapCategoryObject, IsCapCategoryObject", "1.11-2", [ 1, 11, 2 ], 2159, 
      41, 
      "isomorphismfrominternalhomtotensorproductwithdualobject for iscapcatego\
ryobject iscapcategoryobject", "X84D0668C7CA0B63D" ], 
  [ 
      "\033[2XMorphismFromInternalHomToTensorProduct\033[102X for IsCapCategoryOb\
ject, IsCapCategoryObject", "1.11-3", [ 1, 11, 3 ], 2170, 41, 
      "morphismfrominternalhomtotensorproduct for iscapcategoryobject iscapcat\
egoryobject", "X7D189B8280CECBA2" ], 
  [ 
      "\033[2XMorphismFromInternalHomToTensorProductWithGivenObjects\033[102X for\
 IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryO\
bject", "1.11-4", [ 1, 11, 4 ], 2181, 41, 
      "morphismfrominternalhomtotensorproductwithgivenobjects for iscapcategor\
yobject iscapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X7D10805D840AAC8D" ], 
  [ 
      "\033[2XTensorProductInternalHomCompatibilityMorphismInverse\033[102X for I\
sList", "1.11-5", [ 1, 11, 5 ], 2193, 41, 
      "tensorproductinternalhomcompatibilitymorphisminverse for islist", 
      "X85BA8C10817296F7" ], 
  [ 
      "\033[2XTensorProductInternalHomCompatibilityMorphismInverseWithGivenObject\
s\033[102X for IsCapCategoryObject, IsList, IsCapCategoryObject", "1.11-6", 
      [ 1, 11, 6 ], 2206, 41, 
      "tensorproductinternalhomcompatibilitymorphisminversewithgivenobjects fo\
r iscapcategoryobject islist iscapcategoryobject", "X7CCE67B281EF45C1" ], 
  [ "\033[2XCoevaluationForDual\033[102X for IsCapCategoryObject", "1.11-7", 
      [ 1, 11, 7 ], 2221, 42, "coevaluationfordual for iscapcategoryobject", 
      "X83849B327C8074E9" ], 
  [ 
      "\033[2XCoevaluationForDualWithGivenTensorProduct\033[102X for IsCapCategor\
yObject, IsCapCategoryObject, IsCapCategoryObject", "1.11-8", [ 1, 11, 8 ], 
      2229, 42, 
      "coevaluationfordualwithgiventensorproduct for iscapcategoryobject iscap\
categoryobject iscapcategoryobject", "X7C65E6A97AAE0DE3" ], 
  [ "\033[2XTraceMap\033[102X for IsCapCategoryMorphism", "1.11-9", 
      [ 1, 11, 9 ], 2238, 42, "tracemap for iscapcategorymorphism", 
      "X85D0C9487A22AFFE" ], 
  [ "\033[2XRankMorphism\033[102X for IsCapCategoryObject", "1.11-10", 
      [ 1, 11, 10 ], 2246, 42, "rankmorphism for iscapcategoryobject", 
      "X82F0DBD485D93793" ], 
  [ "\033[2XMorphismFromBidual\033[102X for IsCapCategoryObject", "1.11-11", 
      [ 1, 11, 11 ], 2254, 42, "morphismfrombidual for iscapcategoryobject", 
      "X7E02E8197EA201EA" ], 
  [ 
      "\033[2XMorphismFromBidualWithGivenBidual\033[102X for IsCapCategoryObject,\
 IsCapCategoryObject", "1.11-12", [ 1, 11, 12 ], 2262, 42, 
      "morphismfrombidualwithgivenbidual for iscapcategoryobject iscapcategory\
object", "X785CF0BB7BC0AC0D" ], 
  [ 
      "\033[2XIsomorphismFromInternalCoHomToTensorProductWithCoDualObject\033[102\
X for IsCapCategoryObject, IsCapCategoryObject", "1.12-1", [ 1, 12, 1 ], 
      2295, 43, 
      "isomorphismfrominternalcohomtotensorproductwithcodualobject for iscapca\
tegoryobject iscapcategoryobject", "X82D4EF587F1C194C" ], 
  [ 
      "\033[2XIsomorphismFromTensorProductWithCoDualObjectToInternalCoHom\033[102\
X for IsCapCategoryObject, IsCapCategoryObject", "1.12-2", [ 1, 12, 2 ], 
      2305, 43, 
      "isomorphismfromtensorproductwithcodualobjecttointernalcohom for iscapca\
tegoryobject iscapcategoryobject", "X7FE736BA834D228A" ], 
  [ 
      "\033[2XMorphismFromTensorProductToInternalCoHom\033[102X for IsCapCategory\
Object, IsCapCategoryObject", "1.12-3", [ 1, 12, 3 ], 2316, 43, 
      "morphismfromtensorproducttointernalcohom for iscapcategoryobject iscapc\
ategoryobject", "X7DCA54857A6B45DF" ], 
  [ 
      "\033[2XMorphismFromTensorProductToInternalCoHomWithGivenObjects\033[102X f\
or IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategor\
yObject", "1.12-4", [ 1, 12, 4 ], 2327, 43, 
      "morphismfromtensorproducttointernalcohomwithgivenobjects for iscapcateg\
oryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X7888F9947DDC15B5" ], 
  [ 
      "\033[2XInternalCoHomTensorProductCompatibilityMorphismInverse\033[102X for\
 IsList", "1.12-5", [ 1, 12, 5 ], 2339, 43, 
      "internalcohomtensorproductcompatibilitymorphisminverse for islist", 
      "X7E71AF0985C5AEC5" ], 
  [ 
      "\033[2XInternalCoHomTensorProductCompatibilityMorphismInverseWithGivenObje\
cts\033[102X for IsCapCategoryObject, IsList, IsCapCategoryObject", "1.12-6", 
      [ 1, 12, 6 ], 2352, 44, 
      "internalcohomtensorproductcompatibilitymorphisminversewithgivenobjects \
for iscapcategoryobject islist iscapcategoryobject", "X87BF8BE67AD5ABCF" ], 
  [ "\033[2XCoclosedCoevaluationForCoDual\033[102X for IsCapCategoryObject", 
      "1.12-7", [ 1, 12, 7 ], 2367, 44, 
      "coclosedcoevaluationforcodual for iscapcategoryobject", 
      "X8695F9D97A8C6C61" ], 
  [ 
      "\033[2XCoclosedCoevaluationForCoDualWithGivenTensorProduct\033[102X for Is\
CapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.12-8", 
      [ 1, 12, 8 ], 2375, 44, 
      "coclosedcoevaluationforcodualwithgiventensorproduct for iscapcategoryob\
ject iscapcategoryobject iscapcategoryobject", "X78B2703A7B81E340" ], 
  [ "\033[2XCoTraceMap\033[102X for IsCapCategoryMorphism", "1.12-9", 
      [ 1, 12, 9 ], 2384, 44, "cotracemap for iscapcategorymorphism", 
      "X829BE5F97A656200" ], 
  [ "\033[2XCoRankMorphism\033[102X for IsCapCategoryObject", "1.12-10", 
      [ 1, 12, 10 ], 2392, 44, "corankmorphism for iscapcategoryobject", 
      "X7C5CC8F97D95AD43" ], 
  [ "\033[2XMorphismToCoBidual\033[102X for IsCapCategoryObject", "1.12-11", 
      [ 1, 12, 11 ], 2400, 44, "morphismtocobidual for iscapcategoryobject", 
      "X85BDB94D85C67725" ], 
  [ 
      "\033[2XMorphismToCoBidualWithGivenCoBidual\033[102X for IsCapCategoryObjec\
t, IsCapCategoryObject", "1.12-12", [ 1, 12, 12 ], 2408, 45, 
      "morphismtocobidualwithgivencobidual for iscapcategoryobject iscapcatego\
ryobject", "X800035BF867418D0" ], 
  [ "\033[2XInternalHom\033[102X for IsCapCategoryCell, IsCapCategoryCell", 
      "1.13-1", [ 1, 13, 1 ], 2420, 45, 
      "internalhom for iscapcategorycell iscapcategorycell", 
      "X8055FF847AC2102A" ], 
  [ "\033[2XInternalCoHom\033[102X for IsCapCategoryCell, IsCapCategoryCell", 
      "1.13-2", [ 1, 13, 2 ], 2431, 45, 
      "internalcohom for iscapcategorycell iscapcategorycell", 
      "X7CB6A9497A971F59" ], 
  [ "\033[2XLeftInternalHom\033[102X for IsCapCategoryCell, IsCapCategoryCell"
        , "1.13-3", [ 1, 13, 3 ], 2443, 45, 
      "leftinternalhom for iscapcategorycell iscapcategorycell", 
      "X82DE5FDA794914A0" ], 
  [ 
      "\033[2XLeftInternalCoHom\033[102X for IsCapCategoryCell, IsCapCategoryCell\
", "1.13-4", [ 1, 13, 4 ], 2455, 45, 
      "leftinternalcohom for iscapcategorycell iscapcategorycell", 
      "X862E6A787C9E1F92" ], 
  [ 
      "\033[2XAddLeftDistributivityExpanding\033[102X for IsCapCategory, IsFuncti\
on", "1.14-1", [ 1, 14, 1 ], 2470, 46, 
      "addleftdistributivityexpanding for iscapcategory isfunction", 
      "X78DA7EC37A1E0CCC" ], 
  [ 
      "\033[2XAddLeftDistributivityExpandingWithGivenObjects\033[102X for IsCapCa\
tegory, IsFunction", "1.14-2", [ 1, 14, 2 ], 2480, 46, 
      "addleftdistributivityexpandingwithgivenobjects for iscapcategory isfunc\
tion", "X814BA200802D26E4" ], 
  [ 
      "\033[2XAddLeftDistributivityFactoring\033[102X for IsCapCategory, IsFuncti\
on", "1.14-3", [ 1, 14, 3 ], 2490, 46, 
      "addleftdistributivityfactoring for iscapcategory isfunction", 
      "X8381C23A8264435B" ], 
  [ 
      "\033[2XAddLeftDistributivityFactoringWithGivenObjects\033[102X for IsCapCa\
tegory, IsFunction", "1.14-4", [ 1, 14, 4 ], 2500, 46, 
      "addleftdistributivityfactoringwithgivenobjects for iscapcategory isfunc\
tion", "X7F0A439478576973" ], 
  [ 
      "\033[2XAddRightDistributivityExpanding\033[102X for IsCapCategory, IsFunct\
ion", "1.14-5", [ 1, 14, 5 ], 2510, 46, 
      "addrightdistributivityexpanding for iscapcategory isfunction", 
      "X82E93F8E79CB7338" ], 
  [ 
      "\033[2XAddRightDistributivityExpandingWithGivenObjects\033[102X for IsCapC\
ategory, IsFunction", "1.14-6", [ 1, 14, 6 ], 2520, 47, 
      "addrightdistributivityexpandingwithgivenobjects for iscapcategory isfun\
ction", "X7A6178C17EFC817A" ], 
  [ 
      "\033[2XAddRightDistributivityFactoring\033[102X for IsCapCategory, IsFunct\
ion", "1.14-7", [ 1, 14, 7 ], 2530, 47, 
      "addrightdistributivityfactoring for iscapcategory isfunction", 
      "X79B283777BC5F12C" ], 
  [ 
      "\033[2XAddRightDistributivityFactoringWithGivenObjects\033[102X for IsCapC\
ategory, IsFunction", "1.14-8", [ 1, 14, 8 ], 2540, 47, 
      "addrightdistributivityfactoringwithgivenobjects for iscapcategory isfun\
ction", "X842099557CF2036E" ], 
  [ "\033[2XAddBraiding\033[102X for IsCapCategory, IsFunction", "1.14-9", 
      [ 1, 14, 9 ], 2550, 47, "addbraiding for iscapcategory isfunction", 
      "X7F9C3FD38397D9D4" ], 
  [ "\033[2XAddBraidingInverse\033[102X for IsCapCategory, IsFunction", 
      "1.14-10", [ 1, 14, 10 ], 2559, 47, 
      "addbraidinginverse for iscapcategory isfunction", "X8423AA1A862E9780" ]
    , 
  [ 
      "\033[2XAddBraidingInverseWithGivenTensorProducts\033[102X for IsCapCategor\
y, IsFunction", "1.14-11", [ 1, 14, 11 ], 2568, 47, 
      "addbraidinginversewithgiventensorproducts for iscapcategory isfunction"
        , "X85C7E40583A5955F" ], 
  [ 
      "\033[2XAddBraidingWithGivenTensorProducts\033[102X for IsCapCategory, IsFu\
nction", "1.14-12", [ 1, 14, 12 ], 2578, 48, 
      "addbraidingwithgiventensorproducts for iscapcategory isfunction", 
      "X7A52CBE8801D6B28" ], 
  [ 
      "\033[2XAddClosedMonoidalLeftCoevaluationMorphism\033[102X for IsCapCategor\
y, IsFunction", "1.14-13", [ 1, 14, 13 ], 2588, 48, 
      "addclosedmonoidalleftcoevaluationmorphism for iscapcategory isfunction"
        , "X7996A3A980BD5783" ], 
  [ 
      "\033[2XAddClosedMonoidalLeftCoevaluationMorphismWithGivenRange\033[102X fo\
r IsCapCategory, IsFunction", "1.14-14", [ 1, 14, 14 ], 2598, 48, 
      "addclosedmonoidalleftcoevaluationmorphismwithgivenrange for iscapcatego\
ry isfunction", "X7FD9DC1D870FB3D2" ], 
  [ 
      "\033[2XAddClosedMonoidalLeftEvaluationMorphism\033[102X for IsCapCategory,\
 IsFunction", "1.14-15", [ 1, 14, 15 ], 2608, 48, 
      "addclosedmonoidalleftevaluationmorphism for iscapcategory isfunction", 
      "X82E0E46E7B374DA9" ], 
  [ 
      "\033[2XAddClosedMonoidalLeftEvaluationMorphismWithGivenSource\033[102X for\
 IsCapCategory, IsFunction", "1.14-16", [ 1, 14, 16 ], 2618, 48, 
      "addclosedmonoidalleftevaluationmorphismwithgivensource for iscapcategor\
y isfunction", "X8742C27B7D30E543" ], 
  [ 
      "\033[2XAddClosedMonoidalRightCoevaluationMorphism\033[102X for IsCapCatego\
ry, IsFunction", "1.14-17", [ 1, 14, 17 ], 2628, 49, 
      "addclosedmonoidalrightcoevaluationmorphism for iscapcategory isfunction\
", "X870332B286200F2A" ], 
  [ 
      "\033[2XAddClosedMonoidalRightCoevaluationMorphismWithGivenRange\033[102X f\
or IsCapCategory, IsFunction", "1.14-18", [ 1, 14, 18 ], 2638, 49, 
      "addclosedmonoidalrightcoevaluationmorphismwithgivenrange for iscapcateg\
ory isfunction", "X7A06D2CC79874E18" ], 
  [ 
      "\033[2XAddClosedMonoidalRightEvaluationMorphism\033[102X for IsCapCategory\
, IsFunction", "1.14-19", [ 1, 14, 19 ], 2649, 49, 
      "addclosedmonoidalrightevaluationmorphism for iscapcategory isfunction",
      "X82FD88E87B30334F" ], 
  [ 
      "\033[2XAddClosedMonoidalRightEvaluationMorphismWithGivenSource\033[102X fo\
r IsCapCategory, IsFunction", "1.14-20", [ 1, 14, 20 ], 2659, 49, 
      "addclosedmonoidalrightevaluationmorphismwithgivensource for iscapcatego\
ry isfunction", "X7ECDA3E47F267341" ], 
  [ "\033[2XAddDualOnMorphisms\033[102X for IsCapCategory, IsFunction", 
      "1.14-21", [ 1, 14, 21 ], 2669, 49, 
      "adddualonmorphisms for iscapcategory isfunction", "X800DFCF37CC10CCC" ]
    , 
  [ 
      "\033[2XAddDualOnMorphismsWithGivenDuals\033[102X for IsCapCategory, IsFunc\
tion", "1.14-22", [ 1, 14, 22 ], 2678, 49, 
      "adddualonmorphismswithgivenduals for iscapcategory isfunction", 
      "X85DA12C581E673DE" ], 
  [ "\033[2XAddDualOnObjects\033[102X for IsCapCategory, IsFunction", 
      "1.14-23", [ 1, 14, 23 ], 2688, 50, 
      "adddualonobjects for iscapcategory isfunction", "X7BB4DD5381EBF082" ], 
  [ "\033[2XAddEvaluationForDual\033[102X for IsCapCategory, IsFunction", 
      "1.14-24", [ 1, 14, 24 ], 2697, 50, 
      "addevaluationfordual for iscapcategory isfunction", 
      "X7FF9C96186646B7C" ], 
  [ 
      "\033[2XAddEvaluationForDualWithGivenTensorProduct\033[102X for IsCapCatego\
ry, IsFunction", "1.14-25", [ 1, 14, 25 ], 2706, 50, 
      "addevaluationfordualwithgiventensorproduct for iscapcategory isfunction\
", "X7CB63A4E7E905CD4" ], 
  [ "\033[2XAddInternalHomOnMorphisms\033[102X for IsCapCategory, IsFunction",
      "1.14-26", [ 1, 14, 26 ], 2716, 50, 
      "addinternalhomonmorphisms for iscapcategory isfunction", 
      "X79A5E1EF7F091948" ], 
  [ 
      "\033[2XAddInternalHomOnMorphismsWithGivenInternalHoms\033[102X for IsCapCa\
tegory, IsFunction", "1.14-27", [ 1, 14, 27 ], 2726, 50, 
      "addinternalhomonmorphismswithgiveninternalhoms for iscapcategory isfunc\
tion", "X8070203E80388349" ], 
  [ "\033[2XAddInternalHomOnObjects\033[102X for IsCapCategory, IsFunction", 
      "1.14-28", [ 1, 14, 28 ], 2737, 50, 
      "addinternalhomonobjects for iscapcategory isfunction", 
      "X7B74F8FD8348D590" ], 
  [ 
      "\033[2XAddInternalHomToTensorProductLeftAdjunctMorphism\033[102X for IsCap\
Category, IsFunction", "1.14-29", [ 1, 14, 29 ], 2747, 51, 
      "addinternalhomtotensorproductleftadjunctmorphism for iscapcategory isfu\
nction", "X87D40CEF8247DF33" ], 
  [ 
      "\033[2XAddInternalHomToTensorProductLeftAdjunctMorphismWithGivenTensorProd\
uct\033[102X for IsCapCategory, IsFunction", "1.14-30", [ 1, 14, 30 ], 2757, 
      51, 
      "addinternalhomtotensorproductleftadjunctmorphismwithgiventensorproduct \
for iscapcategory isfunction", "X82D3E7BD7DD67116" ], 
  [ 
      "\033[2XAddInternalHomToTensorProductLeftAdjunctionIsomorphism\033[102X for\
 IsCapCategory, IsFunction", "1.14-31", [ 1, 14, 31 ], 2769, 51, 
      "addinternalhomtotensorproductleftadjunctionisomorphism for iscapcategor\
y isfunction", "X7BBC91088476613F" ], 
  [ 
      "\033[2XAddInternalHomToTensorProductLeftAdjunctionIsomorphismWithGivenObje\
cts\033[102X for IsCapCategory, IsFunction", "1.14-32", [ 1, 14, 32 ], 2779, 
      51, 
      "addinternalhomtotensorproductleftadjunctionisomorphismwithgivenobjects \
for iscapcategory isfunction", "X789D0ED680E7D176" ], 
  [ 
      "\033[2XAddInternalHomToTensorProductRightAdjunctMorphism\033[102X for IsCa\
pCategory, IsFunction", "1.14-33", [ 1, 14, 33 ], 2791, 52, 
      "addinternalhomtotensorproductrightadjunctmorphism for iscapcategory isf\
unction", "X84B3BDBF8294E790" ], 
  [ 
      "\033[2XAddInternalHomToTensorProductRightAdjunctMorphismWithGivenTensorPro\
duct\033[102X for IsCapCategory, IsFunction", "1.14-34", [ 1, 14, 34 ], 2801, 
      52, 
      "addinternalhomtotensorproductrightadjunctmorphismwithgiventensorproduct\
 for iscapcategory isfunction", "X807104E57D50EEB9" ], 
  [ 
      "\033[2XAddInternalHomToTensorProductRightAdjunctionIsomorphism\033[102X fo\
r IsCapCategory, IsFunction", "1.14-35", [ 1, 14, 35 ], 2813, 52, 
      "addinternalhomtotensorproductrightadjunctionisomorphism for iscapcatego\
ry isfunction", "X8634234A855F18D5" ], 
  [ 
      "\033[2XAddInternalHomToTensorProductRightAdjunctionIsomorphismWithGivenObj\
ects\033[102X for IsCapCategory, IsFunction", "1.14-36", [ 1, 14, 36 ], 2823, 
      52, 
      "addinternalhomtotensorproductrightadjunctionisomorphismwithgivenobjects\
 for iscapcategory isfunction", "X7A3FED8E84CD4A02" ], 
  [ 
      "\033[2XAddIsomorphismFromDualObjectToInternalHomIntoTensorUnit\033[102X fo\
r IsCapCategory, IsFunction", "1.14-37", [ 1, 14, 37 ], 2835, 52, 
      "addisomorphismfromdualobjecttointernalhomintotensorunit for iscapcatego\
ry isfunction", "X7983CB57783E6813" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalHomIntoTensorUnitToDualObject\033[102X fo\
r IsCapCategory, IsFunction", "1.14-38", [ 1, 14, 38 ], 2845, 53, 
      "addisomorphismfrominternalhomintotensorunittodualobject for iscapcatego\
ry isfunction", "X84E4949886CB84C9" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalHomToObject\033[102X for IsCapCategory, I\
sFunction", "1.14-39", [ 1, 14, 39 ], 2855, 53, 
      "addisomorphismfrominternalhomtoobject for iscapcategory isfunction", 
      "X7FA9FE2B85CE866D" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalHomToObjectWithGivenInternalHom\033[102X \
for IsCapCategory, IsFunction", "1.14-40", [ 1, 14, 40 ], 2865, 53, 
      "addisomorphismfrominternalhomtoobjectwithgiveninternalhom for iscapcate\
gory isfunction", "X7D6421147BF6651B" ], 
  [ 
      "\033[2XAddIsomorphismFromObjectToInternalHom\033[102X for IsCapCategory, I\
sFunction", "1.14-41", [ 1, 14, 41 ], 2875, 53, 
      "addisomorphismfromobjecttointernalhom for iscapcategory isfunction", 
      "X82538F687DE872DD" ], 
  [ 
      "\033[2XAddIsomorphismFromObjectToInternalHomWithGivenInternalHom\033[102X \
for IsCapCategory, IsFunction", "1.14-42", [ 1, 14, 42 ], 2885, 53, 
      "addisomorphismfromobjecttointernalhomwithgiveninternalhom for iscapcate\
gory isfunction", "X78ED7FCC83D091AB" ], 
  [ "\033[2XAddLambdaElimination\033[102X for IsCapCategory, IsFunction", 
      "1.14-43", [ 1, 14, 43 ], 2895, 54, 
      "addlambdaelimination for iscapcategory isfunction", 
      "X8406FBCD7EE968FF" ], 
  [ "\033[2XAddLambdaIntroduction\033[102X for IsCapCategory, IsFunction", 
      "1.14-44", [ 1, 14, 44 ], 2904, 54, 
      "addlambdaintroduction for iscapcategory isfunction", 
      "X84944B6283F2802A" ], 
  [ 
      "\033[2XAddMonoidalPostComposeMorphism\033[102X for IsCapCategory, IsFuncti\
on", "1.14-45", [ 1, 14, 45 ], 2913, 54, 
      "addmonoidalpostcomposemorphism for iscapcategory isfunction", 
      "X843DC64486CB2ED1" ], 
  [ 
      "\033[2XAddMonoidalPostComposeMorphismWithGivenObjects\033[102X for IsCapCa\
tegory, IsFunction", "1.14-46", [ 1, 14, 46 ], 2923, 54, 
      "addmonoidalpostcomposemorphismwithgivenobjects for iscapcategory isfunc\
tion", "X7FC3725A7CF804F9" ], 
  [ 
      "\033[2XAddMonoidalPreComposeMorphism\033[102X for IsCapCategory, IsFunctio\
n", "1.14-47", [ 1, 14, 47 ], 2933, 54, 
      "addmonoidalprecomposemorphism for iscapcategory isfunction", 
      "X7B0C198782C01CBA" ], 
  [ 
      "\033[2XAddMonoidalPreComposeMorphismWithGivenObjects\033[102X for IsCapCat\
egory, IsFunction", "1.14-48", [ 1, 14, 48 ], 2943, 55, 
      "addmonoidalprecomposemorphismwithgivenobjects for iscapcategory isfunct\
ion", "X7A22CD657A2A338C" ], 
  [ 
      "\033[2XAddMorphismFromTensorProductToInternalHom\033[102X for IsCapCategor\
y, IsFunction", "1.14-49", [ 1, 14, 49 ], 2953, 55, 
      "addmorphismfromtensorproducttointernalhom for iscapcategory isfunction"
        , "X7CF664D87D8D5CA1" ], 
  [ 
      "\033[2XAddMorphismFromTensorProductToInternalHomWithGivenObjects\033[102X \
for IsCapCategory, IsFunction", "1.14-50", [ 1, 14, 50 ], 2963, 55, 
      "addmorphismfromtensorproducttointernalhomwithgivenobjects for iscapcate\
gory isfunction", "X86D3AF4A80FA738D" ], 
  [ "\033[2XAddMorphismToBidual\033[102X for IsCapCategory, IsFunction", 
      "1.14-51", [ 1, 14, 51 ], 2974, 55, 
      "addmorphismtobidual for iscapcategory isfunction", "X864B98B08041EE6C" 
     ], 
  [ 
      "\033[2XAddMorphismToBidualWithGivenBidual\033[102X for IsCapCategory, IsFu\
nction", "1.14-52", [ 1, 14, 52 ], 2983, 55, 
      "addmorphismtobidualwithgivenbidual for iscapcategory isfunction", 
      "X84C05B087EFCE599" ], 
  [ 
      "\033[2XAddTensorProductDualityCompatibilityMorphism\033[102X for IsCapCate\
gory, IsFunction", "1.14-53", [ 1, 14, 53 ], 2993, 55, 
      "addtensorproductdualitycompatibilitymorphism for iscapcategory isfuncti\
on", "X7A020DBF860317F5" ], 
  [ 
      "\033[2XAddTensorProductDualityCompatibilityMorphismWithGivenObjects\033[10\
2X for IsCapCategory, IsFunction", "1.14-54", [ 1, 14, 54 ], 3003, 56, 
      "addtensorproductdualitycompatibilitymorphismwithgivenobjects for iscapc\
ategory isfunction", "X78D1B6AF8654A950" ], 
  [ 
      "\033[2XAddTensorProductInternalHomCompatibilityMorphism\033[102X for IsCap\
Category, IsFunction", "1.14-55", [ 1, 14, 55 ], 3015, 56, 
      "addtensorproductinternalhomcompatibilitymorphism for iscapcategory isfu\
nction", "X83A6EF0B7ED71EED" ], 
  [ 
      "\033[2XAddTensorProductInternalHomCompatibilityMorphismWithGivenObjects\\
033[102X for IsCapCategory, IsFunction", "1.14-56", [ 1, 14, 56 ], 3025, 56, 
      "addtensorproductinternalhomcompatibilitymorphismwithgivenobjects for is\
capcategory isfunction", "X871C6B55843A0AF3" ], 
  [ 
      "\033[2XAddTensorProductToInternalHomLeftAdjunctMorphism\033[102X for IsCap\
Category, IsFunction", "1.14-57", [ 1, 14, 57 ], 3037, 56, 
      "addtensorproducttointernalhomleftadjunctmorphism for iscapcategory isfu\
nction", "X817EAD878544BF68" ], 
  [ 
      "\033[2XAddTensorProductToInternalHomLeftAdjunctMorphismWithGivenInternalHo\
m\033[102X for IsCapCategory, IsFunction", "1.14-58", [ 1, 14, 58 ], 3047, 
      57, 
      "addtensorproducttointernalhomleftadjunctmorphismwithgiveninternalhom fo\
r iscapcategory isfunction", "X7B2FEF0985C2FACE" ], 
  [ 
      "\033[2XAddTensorProductToInternalHomLeftAdjunctionIsomorphism\033[102X for\
 IsCapCategory, IsFunction", "1.14-59", [ 1, 14, 59 ], 3059, 57, 
      "addtensorproducttointernalhomleftadjunctionisomorphism for iscapcategor\
y isfunction", "X85A8D11983750164" ], 
  [ 
      "\033[2XAddTensorProductToInternalHomLeftAdjunctionIsomorphismWithGivenObje\
cts\033[102X for IsCapCategory, IsFunction", "1.14-60", [ 1, 14, 60 ], 3069, 
      57, 
      "addtensorproducttointernalhomleftadjunctionisomorphismwithgivenobjects \
for iscapcategory isfunction", "X7AE873FD87E4B12D" ], 
  [ 
      "\033[2XAddTensorProductToInternalHomRightAdjunctMorphism\033[102X for IsCa\
pCategory, IsFunction", "1.14-61", [ 1, 14, 61 ], 3081, 57, 
      "addtensorproducttointernalhomrightadjunctmorphism for iscapcategory isf\
unction", "X7AF5FBEE859787CB" ], 
  [ 
      "\033[2XAddTensorProductToInternalHomRightAdjunctMorphismWithGivenInternalH\
om\033[102X for IsCapCategory, IsFunction", "1.14-62", [ 1, 14, 62 ], 3091, 
      57, 
      "addtensorproducttointernalhomrightadjunctmorphismwithgiveninternalhom f\
or iscapcategory isfunction", "X86B3F2BF813AFBDA" ], 
  [ 
      "\033[2XAddTensorProductToInternalHomRightAdjunctionIsomorphism\033[102X fo\
r IsCapCategory, IsFunction", "1.14-63", [ 1, 14, 63 ], 3103, 58, 
      "addtensorproducttointernalhomrightadjunctionisomorphism for iscapcatego\
ry isfunction", "X79777C5F825C788E" ], 
  [ 
      "\033[2XAddTensorProductToInternalHomRightAdjunctionIsomorphismWithGivenObj\
ects\033[102X for IsCapCategory, IsFunction", "1.14-64", [ 1, 14, 64 ], 3113, 
      58, 
      "addtensorproducttointernalhomrightadjunctionisomorphismwithgivenobjects\
 for iscapcategory isfunction", "X86FD5F8A83CE2A59" ], 
  [ "\033[2XAddUniversalPropertyOfDual\033[102X for IsCapCategory, IsFunction"
        , "1.14-65", [ 1, 14, 65 ], 3125, 58, 
      "adduniversalpropertyofdual for iscapcategory isfunction", 
      "X7FCEDB3B7DF69A1E" ], 
  [ "\033[2XAddCoDualOnMorphisms\033[102X for IsCapCategory, IsFunction", 
      "1.14-66", [ 1, 14, 66 ], 3135, 58, 
      "addcodualonmorphisms for iscapcategory isfunction", 
      "X7D23088385F021AA" ], 
  [ 
      "\033[2XAddCoDualOnMorphismsWithGivenCoDuals\033[102X for IsCapCategory, Is\
Function", "1.14-67", [ 1, 14, 67 ], 3144, 58, 
      "addcodualonmorphismswithgivencoduals for iscapcategory isfunction", 
      "X7C2568FD82259231" ], 
  [ "\033[2XAddCoDualOnObjects\033[102X for IsCapCategory, IsFunction", 
      "1.14-68", [ 1, 14, 68 ], 3154, 59, 
      "addcodualonobjects for iscapcategory isfunction", "X7C1CDE7F855ACB74" ]
    , 
  [ 
      "\033[2XAddCoDualityTensorProductCompatibilityMorphism\033[102X for IsCapCa\
tegory, IsFunction", "1.14-69", [ 1, 14, 69 ], 3163, 59, 
      "addcodualitytensorproductcompatibilitymorphism for iscapcategory isfunc\
tion", "X7D9B355D8261CB17" ], 
  [ 
      "\033[2XAddCoDualityTensorProductCompatibilityMorphismWithGivenObjects\033[\
102X for IsCapCategory, IsFunction", "1.14-70", [ 1, 14, 70 ], 3173, 59, 
      "addcodualitytensorproductcompatibilitymorphismwithgivenobjects for isca\
pcategory isfunction", "X7CE8010980DBA597" ], 
  [ "\033[2XAddCoLambdaElimination\033[102X for IsCapCategory, IsFunction", 
      "1.14-71", [ 1, 14, 71 ], 3185, 59, 
      "addcolambdaelimination for iscapcategory isfunction", 
      "X7E7962CC7E809023" ], 
  [ "\033[2XAddCoLambdaIntroduction\033[102X for IsCapCategory, IsFunction", 
      "1.14-72", [ 1, 14, 72 ], 3195, 59, 
      "addcolambdaintroduction for iscapcategory isfunction", 
      "X7C3868657D8A0400" ], 
  [ 
      "\033[2XAddCoclosedEvaluationForCoDual\033[102X for IsCapCategory, IsFuncti\
on", "1.14-73", [ 1, 14, 73 ], 3205, 60, 
      "addcoclosedevaluationforcodual for iscapcategory isfunction", 
      "X839204FD79F2968D" ], 
  [ 
      "\033[2XAddCoclosedEvaluationForCoDualWithGivenTensorProduct\033[102X for I\
sCapCategory, IsFunction", "1.14-74", [ 1, 14, 74 ], 3215, 60, 
      "addcoclosedevaluationforcodualwithgiventensorproduct for iscapcategory \
isfunction", "X803976DB7C8F307C" ], 
  [ 
      "\033[2XAddCoclosedMonoidalLeftCoevaluationMorphism\033[102X for IsCapCateg\
ory, IsFunction", "1.14-75", [ 1, 14, 75 ], 3225, 60, 
      "addcoclosedmonoidalleftcoevaluationmorphism for iscapcategory isfunctio\
n", "X829CAF887FAC5BF0" ], 
  [ 
      "\033[2XAddCoclosedMonoidalLeftCoevaluationMorphismWithGivenSource\033[102X\
 for IsCapCategory, IsFunction", "1.14-76", [ 1, 14, 76 ], 3235, 60, 
      "addcoclosedmonoidalleftcoevaluationmorphismwithgivensource for iscapcat\
egory isfunction", "X7E7EBA4381366E7A" ], 
  [ 
      "\033[2XAddCoclosedMonoidalLeftEvaluationMorphism\033[102X for IsCapCategor\
y, IsFunction", "1.14-77", [ 1, 14, 77 ], 3246, 60, 
      "addcoclosedmonoidalleftevaluationmorphism for iscapcategory isfunction"
        , "X81EC6B3E80876BC8" ], 
  [ 
      "\033[2XAddCoclosedMonoidalLeftEvaluationMorphismWithGivenRange\033[102X fo\
r IsCapCategory, IsFunction", "1.14-78", [ 1, 14, 78 ], 3256, 61, 
      "addcoclosedmonoidalleftevaluationmorphismwithgivenrange for iscapcatego\
ry isfunction", "X839DE15C87358F99" ], 
  [ 
      "\033[2XAddCoclosedMonoidalRightCoevaluationMorphism\033[102X for IsCapCate\
gory, IsFunction", "1.14-79", [ 1, 14, 79 ], 3266, 61, 
      "addcoclosedmonoidalrightcoevaluationmorphism for iscapcategory isfuncti\
on", "X78A8CB687ADC4653" ], 
  [ 
      "\033[2XAddCoclosedMonoidalRightCoevaluationMorphismWithGivenSource\033[102\
X for IsCapCategory, IsFunction", "1.14-80", [ 1, 14, 80 ], 3276, 61, 
      "addcoclosedmonoidalrightcoevaluationmorphismwithgivensource for iscapca\
tegory isfunction", "X783C75CD79B2E8C9" ], 
  [ 
      "\033[2XAddCoclosedMonoidalRightEvaluationMorphism\033[102X for IsCapCatego\
ry, IsFunction", "1.14-81", [ 1, 14, 81 ], 3287, 61, 
      "addcoclosedmonoidalrightevaluationmorphism for iscapcategory isfunction\
", "X85F82B2F84E55DD2" ], 
  [ 
      "\033[2XAddCoclosedMonoidalRightEvaluationMorphismWithGivenRange\033[102X f\
or IsCapCategory, IsFunction", "1.14-82", [ 1, 14, 82 ], 3297, 61, 
      "addcoclosedmonoidalrightevaluationmorphismwithgivenrange for iscapcateg\
ory isfunction", "X86DC2EF07B421CE0" ], 
  [ 
      "\033[2XAddInternalCoHomOnMorphisms\033[102X for IsCapCategory, IsFunction"
        , "1.14-83", [ 1, 14, 83 ], 3308, 62, 
      "addinternalcohomonmorphisms for iscapcategory isfunction", 
      "X7D63C4A57A467DAA" ], 
  [ 
      "\033[2XAddInternalCoHomOnMorphismsWithGivenInternalCoHoms\033[102X for IsC\
apCategory, IsFunction", "1.14-84", [ 1, 14, 84 ], 3318, 62, 
      "addinternalcohomonmorphismswithgiveninternalcohoms for iscapcategory is\
function", "X87A67CDD86E0CE05" ], 
  [ "\033[2XAddInternalCoHomOnObjects\033[102X for IsCapCategory, IsFunction",
      "1.14-85", [ 1, 14, 85 ], 3329, 62, 
      "addinternalcohomonobjects for iscapcategory isfunction", 
      "X828648F183570AE3" ], 
  [ 
      "\033[2XAddInternalCoHomTensorProductCompatibilityMorphism\033[102X for IsC\
apCategory, IsFunction", "1.14-86", [ 1, 14, 86 ], 3339, 62, 
      "addinternalcohomtensorproductcompatibilitymorphism for iscapcategory is\
function", "X78278696834ACA53" ], 
  [ 
      "\033[2XAddInternalCoHomTensorProductCompatibilityMorphismWithGivenObjects\\
033[102X for IsCapCategory, IsFunction", "1.14-87", [ 1, 14, 87 ], 3349, 62, 
      "addinternalcohomtensorproductcompatibilitymorphismwithgivenobjects for \
iscapcategory isfunction", "X82EA4C857C7BCC60" ], 
  [ 
      "\033[2XAddInternalCoHomToTensorProductLeftAdjunctMorphism\033[102X for IsC\
apCategory, IsFunction", "1.14-88", [ 1, 14, 88 ], 3361, 63, 
      "addinternalcohomtotensorproductleftadjunctmorphism for iscapcategory is\
function", "X7C7256EE79374540" ], 
  [ 
      "\033[2XAddInternalCoHomToTensorProductLeftAdjunctMorphismWithGivenTensorPr\
oduct\033[102X for IsCapCategory, IsFunction", "1.14-89", [ 1, 14, 89 ], 
      3371, 63, 
      "addinternalcohomtotensorproductleftadjunctmorphismwithgiventensorproduc\
t for iscapcategory isfunction", "X84EBD01D7843FAAD" ], 
  [ 
      "\033[2XAddInternalCoHomToTensorProductRightAdjunctMorphism\033[102X for Is\
CapCategory, IsFunction", "1.14-90", [ 1, 14, 90 ], 3383, 63, 
      "addinternalcohomtotensorproductrightadjunctmorphism for iscapcategory i\
sfunction", "X858ED26087369677" ], 
  [ 
      "\033[2XAddInternalCoHomToTensorProductRightAdjunctMorphismWithGivenTensorP\
roduct\033[102X for IsCapCategory, IsFunction", "1.14-91", [ 1, 14, 91 ], 
      3393, 63, 
      "addinternalcohomtotensorproductrightadjunctmorphismwithgiventensorprodu\
ct for iscapcategory isfunction", "X7E97DAC0782AACEC" ], 
  [ 
      "\033[2XAddIsomorphismFromCoDualObjectToInternalCoHomFromTensorUnit\033[102\
X for IsCapCategory, IsFunction", "1.14-92", [ 1, 14, 92 ], 3405, 63, 
      "addisomorphismfromcodualobjecttointernalcohomfromtensorunit for iscapca\
tegory isfunction", "X7A2B14497B4924A7" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalCoHomFromTensorUnitToCoDualObject\033[102\
X for IsCapCategory, IsFunction", "1.14-93", [ 1, 14, 93 ], 3415, 64, 
      "addisomorphismfrominternalcohomfromtensorunittocodualobject for iscapca\
tegory isfunction", "X8143326C7BE5E321" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalCoHomToObject\033[102X for IsCapCategory,\
 IsFunction", "1.14-94", [ 1, 14, 94 ], 3425, 64, 
      "addisomorphismfrominternalcohomtoobject for iscapcategory isfunction", 
      "X7C9F35A779395B26" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalCoHomToObjectWithGivenInternalCoHom\033[1\
02X for IsCapCategory, IsFunction", "1.14-95", [ 1, 14, 95 ], 3435, 64, 
      "addisomorphismfrominternalcohomtoobjectwithgiveninternalcohom for iscap\
category isfunction", "X7D0E88AC7C0304D3" ], 
  [ 
      "\033[2XAddIsomorphismFromObjectToInternalCoHom\033[102X for IsCapCategory,\
 IsFunction", "1.14-96", [ 1, 14, 96 ], 3446, 64, 
      "addisomorphismfromobjecttointernalcohom for iscapcategory isfunction", 
      "X7E18F31C86620139" ], 
  [ 
      "\033[2XAddIsomorphismFromObjectToInternalCoHomWithGivenInternalCoHom\033[1\
02X for IsCapCategory, IsFunction", "1.14-97", [ 1, 14, 97 ], 3456, 64, 
      "addisomorphismfromobjecttointernalcohomwithgiveninternalcohom for iscap\
category isfunction", "X8304276383585ECC" ], 
  [ 
      "\033[2XAddMonoidalPostCoComposeMorphism\033[102X for IsCapCategory, IsFunc\
tion", "1.14-98", [ 1, 14, 98 ], 3467, 65, 
      "addmonoidalpostcocomposemorphism for iscapcategory isfunction", 
      "X7DE479077F155716" ], 
  [ 
      "\033[2XAddMonoidalPostCoComposeMorphismWithGivenObjects\033[102X for IsCap\
Category, IsFunction", "1.14-99", [ 1, 14, 99 ], 3477, 65, 
      "addmonoidalpostcocomposemorphismwithgivenobjects for iscapcategory isfu\
nction", "X79858B577BD4F1E1" ], 
  [ 
      "\033[2XAddMonoidalPreCoComposeMorphism\033[102X for IsCapCategory, IsFunct\
ion", "1.14-100", [ 1, 14, 100 ], 3487, 65, 
      "addmonoidalprecocomposemorphism for iscapcategory isfunction", 
      "X7D1662EA819EA1A2" ], 
  [ 
      "\033[2XAddMonoidalPreCoComposeMorphismWithGivenObjects\033[102X for IsCapC\
ategory, IsFunction", "1.14-101", [ 1, 14, 101 ], 3497, 65, 
      "addmonoidalprecocomposemorphismwithgivenobjects for iscapcategory isfun\
ction", "X81DFED7386A953E0" ], 
  [ "\033[2XAddMorphismFromCoBidual\033[102X for IsCapCategory, IsFunction", 
      "1.14-102", [ 1, 14, 102 ], 3507, 65, 
      "addmorphismfromcobidual for iscapcategory isfunction", 
      "X7D1615257BAA311F" ], 
  [ 
      "\033[2XAddMorphismFromCoBidualWithGivenCoBidual\033[102X for IsCapCategory\
, IsFunction", "1.14-103", [ 1, 14, 103 ], 3516, 66, 
      "addmorphismfromcobidualwithgivencobidual for iscapcategory isfunction",
      "X84D1F74D8118B2A0" ], 
  [ 
      "\033[2XAddMorphismFromInternalCoHomToTensorProduct\033[102X for IsCapCateg\
ory, IsFunction", "1.14-104", [ 1, 14, 104 ], 3526, 66, 
      "addmorphismfrominternalcohomtotensorproduct for iscapcategory isfunctio\
n", "X7C3C01F1834A4B9B" ], 
  [ 
      "\033[2XAddMorphismFromInternalCoHomToTensorProductWithGivenObjects\033[102\
X for IsCapCategory, IsFunction", "1.14-105", [ 1, 14, 105 ], 3536, 66, 
      "addmorphismfrominternalcohomtotensorproductwithgivenobjects for iscapca\
tegory isfunction", "X87AB2C4D84F19F37" ], 
  [ 
      "\033[2XAddTensorProductToInternalCoHomLeftAdjunctMorphism\033[102X for IsC\
apCategory, IsFunction", "1.14-106", [ 1, 14, 106 ], 3547, 66, 
      "addtensorproducttointernalcohomleftadjunctmorphism for iscapcategory is\
function", "X7C0E0CF87FEFEB0D" ], 
  [ 
      "\033[2XAddTensorProductToInternalCoHomLeftAdjunctMorphismWithGivenInternal\
CoHom\033[102X for IsCapCategory, IsFunction", "1.14-107", [ 1, 14, 107 ], 
      3557, 66, 
      "addtensorproducttointernalcohomleftadjunctmorphismwithgiveninternalcoho\
m for iscapcategory isfunction", "X7A838651781657DA" ], 
  [ 
      "\033[2XAddTensorProductToInternalCoHomRightAdjunctMorphism\033[102X for Is\
CapCategory, IsFunction", "1.14-108", [ 1, 14, 108 ], 3569, 67, 
      "addtensorproducttointernalcohomrightadjunctmorphism for iscapcategory i\
sfunction", "X8123546E81EE383A" ], 
  [ 
      "\033[2XAddTensorProductToInternalCoHomRightAdjunctMorphismWithGivenInterna\
lCoHom\033[102X for IsCapCategory, IsFunction", "1.14-109", [ 1, 14, 109 ], 
      3579, 67, 
      "addtensorproducttointernalcohomrightadjunctmorphismwithgiveninternalcoh\
om for iscapcategory isfunction", "X8698898584E99695" ], 
  [ 
      "\033[2XAddUniversalPropertyOfCoDual\033[102X for IsCapCategory, IsFunction\
", "1.14-110", [ 1, 14, 110 ], 3591, 67, 
      "adduniversalpropertyofcodual for iscapcategory isfunction", 
      "X8519ECF17EC07916" ], 
  [ 
      "\033[2XAddIsomorphismFromLeftDualObjectToLeftInternalHomIntoTensorUnit\\
033[102X for IsCapCategory, IsFunction", "1.14-111", [ 1, 14, 111 ], 3601, 
      67, 
      "addisomorphismfromleftdualobjecttoleftinternalhomintotensorunit for isc\
apcategory isfunction", "X7F868E597F1C1AD7" ], 
  [ 
      "\033[2XAddIsomorphismFromLeftInternalHomIntoTensorUnitToLeftDualObject\\
033[102X for IsCapCategory, IsFunction", "1.14-112", [ 1, 14, 112 ], 3612, 
      67, 
      "addisomorphismfromleftinternalhomintotensorunittoleftdualobject for isc\
apcategory isfunction", "X810B50C27901021C" ], 
  [ 
      "\033[2XAddIsomorphismFromLeftInternalHomToObject\033[102X for IsCapCategor\
y, IsFunction", "1.14-113", [ 1, 14, 113 ], 3623, 68, 
      "addisomorphismfromleftinternalhomtoobject for iscapcategory isfunction"
        , "X87415032853E8340" ], 
  [ 
      "\033[2XAddIsomorphismFromLeftInternalHomToObjectWithGivenLeftInternalHom\\
033[102X for IsCapCategory, IsFunction", "1.14-114", [ 1, 14, 114 ], 3633, 
      68, 
      "addisomorphismfromleftinternalhomtoobjectwithgivenleftinternalhom for i\
scapcategory isfunction", "X83DAADEE8139DACA" ], 
  [ 
      "\033[2XAddIsomorphismFromObjectToLeftInternalHom\033[102X for IsCapCategor\
y, IsFunction", "1.14-115", [ 1, 14, 115 ], 3645, 68, 
      "addisomorphismfromobjecttoleftinternalhom for iscapcategory isfunction"
        , "X7FA337D07BCD9D5B" ], 
  [ 
      "\033[2XAddIsomorphismFromObjectToLeftInternalHomWithGivenLeftInternalHom\\
033[102X for IsCapCategory, IsFunction", "1.14-116", [ 1, 14, 116 ], 3655, 
      68, 
      "addisomorphismfromobjecttoleftinternalhomwithgivenleftinternalhom for i\
scapcategory isfunction", "X7EA7B1777FCAC4D1" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalCoevaluationMorphism\033[102X for IsCapCategor\
y, IsFunction", "1.14-117", [ 1, 14, 117 ], 3667, 68, 
      "addleftclosedmonoidalcoevaluationmorphism for iscapcategory isfunction"
        , "X7D1E4F66851991AB" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalCoevaluationMorphismWithGivenRange\033[102X fo\
r IsCapCategory, IsFunction", "1.14-118", [ 1, 14, 118 ], 3677, 69, 
      "addleftclosedmonoidalcoevaluationmorphismwithgivenrange for iscapcatego\
ry isfunction", "X7EF0D5B782AB75FA" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalEvaluationForLeftDual\033[102X for IsCapCatego\
ry, IsFunction", "1.14-119", [ 1, 14, 119 ], 3687, 69, 
      "addleftclosedmonoidalevaluationforleftdual for iscapcategory isfunction\
", "X7FD8142C7CBF7FB1" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalEvaluationForLeftDualWithGivenTensorProduct\\
033[102X for IsCapCategory, IsFunction", "1.14-120", [ 1, 14, 120 ], 3697, 
      69, 
      "addleftclosedmonoidalevaluationforleftdualwithgiventensorproduct for is\
capcategory isfunction", "X7A89130185CCF31D" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalEvaluationMorphism\033[102X for IsCapCategory,\
 IsFunction", "1.14-121", [ 1, 14, 121 ], 3709, 69, 
      "addleftclosedmonoidalevaluationmorphism for iscapcategory isfunction", 
      "X7D75530C7E938B81" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalEvaluationMorphismWithGivenSource\033[102X for\
 IsCapCategory, IsFunction", "1.14-122", [ 1, 14, 122 ], 3719, 69, 
      "addleftclosedmonoidalevaluationmorphismwithgivensource for iscapcategor\
y isfunction", "X8535FD8E7894236B" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalLambdaElimination\033[102X for IsCapCategory, \
IsFunction", "1.14-123", [ 1, 14, 123 ], 3729, 70, 
      "addleftclosedmonoidallambdaelimination for iscapcategory isfunction", 
      "X869B3FD87FC09E21" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalLambdaIntroduction\033[102X for IsCapCategory,\
 IsFunction", "1.14-124", [ 1, 14, 124 ], 3739, 70, 
      "addleftclosedmonoidallambdaintroduction for iscapcategory isfunction", 
      "X7CC085AB7DBC581A" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalPostComposeMorphism\033[102X for IsCapCategory\
, IsFunction", "1.14-125", [ 1, 14, 125 ], 3749, 70, 
      "addleftclosedmonoidalpostcomposemorphism for iscapcategory isfunction",
      "X7BE971CB7E989544" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalPostComposeMorphismWithGivenObjects\033[102X f\
or IsCapCategory, IsFunction", "1.14-126", [ 1, 14, 126 ], 3759, 70, 
      "addleftclosedmonoidalpostcomposemorphismwithgivenobjects for iscapcateg\
ory isfunction", "X7B6DBF17796A971A" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalPreComposeMorphism\033[102X for IsCapCategory,\
 IsFunction", "1.14-127", [ 1, 14, 127 ], 3770, 70, 
      "addleftclosedmonoidalprecomposemorphism for iscapcategory isfunction", 
      "X799401467830D201" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalPreComposeMorphismWithGivenObjects\033[102X fo\
r IsCapCategory, IsFunction", "1.14-128", [ 1, 14, 128 ], 3780, 71, 
      "addleftclosedmonoidalprecomposemorphismwithgivenobjects for iscapcatego\
ry isfunction", "X7915D4437C9257A5" ], 
  [ "\033[2XAddLeftDualOnMorphisms\033[102X for IsCapCategory, IsFunction", 
      "1.14-129", [ 1, 14, 129 ], 3791, 71, 
      "addleftdualonmorphisms for iscapcategory isfunction", 
      "X79D85C017917C1D4" ], 
  [ 
      "\033[2XAddLeftDualOnMorphismsWithGivenLeftDuals\033[102X for IsCapCategory\
, IsFunction", "1.14-130", [ 1, 14, 130 ], 3801, 71, 
      "addleftdualonmorphismswithgivenleftduals for iscapcategory isfunction",
      "X816C625A82BCDDE3" ], 
  [ "\033[2XAddLeftDualOnObjects\033[102X for IsCapCategory, IsFunction", 
      "1.14-131", [ 1, 14, 131 ], 3811, 71, 
      "addleftdualonobjects for iscapcategory isfunction", 
      "X7CB93B6E8555359D" ], 
  [ 
      "\033[2XAddLeftInternalHomOnMorphisms\033[102X for IsCapCategory, IsFunctio\
n", "1.14-132", [ 1, 14, 132 ], 3820, 71, 
      "addleftinternalhomonmorphisms for iscapcategory isfunction", 
      "X79B3B2F586530EFF" ], 
  [ 
      "\033[2XAddLeftInternalHomOnMorphismsWithGivenLeftInternalHoms\033[102X for\
 IsCapCategory, IsFunction", "1.14-133", [ 1, 14, 133 ], 3830, 71, 
      "addleftinternalhomonmorphismswithgivenleftinternalhoms for iscapcategor\
y isfunction", "X7DDC722B78B659A2" ], 
  [ 
      "\033[2XAddLeftInternalHomOnObjects\033[102X for IsCapCategory, IsFunction"
        , "1.14-134", [ 1, 14, 134 ], 3841, 72, 
      "addleftinternalhomonobjects for iscapcategory isfunction", 
      "X7FCF9DEA7F6B73F9" ], 
  [ 
      "\033[2XAddLeftInternalHomToTensorProductAdjunctMorphism\033[102X for IsCap\
Category, IsFunction", "1.14-135", [ 1, 14, 135 ], 3851, 72, 
      "addleftinternalhomtotensorproductadjunctmorphism for iscapcategory isfu\
nction", "X7F5EAC1E8104166E" ], 
  [ 
      "\033[2XAddLeftInternalHomToTensorProductAdjunctMorphismWithGivenTensorProd\
uct\033[102X for IsCapCategory, IsFunction", "1.14-136", [ 1, 14, 136 ], 
      3861, 72, 
      "addleftinternalhomtotensorproductadjunctmorphismwithgiventensorproduct \
for iscapcategory isfunction", "X7C437ED77E95B84B" ], 
  [ 
      "\033[2XAddMorphismFromTensorProductToLeftInternalHom\033[102X for IsCapCat\
egory, IsFunction", "1.14-137", [ 1, 14, 137 ], 3873, 72, 
      "addmorphismfromtensorproducttoleftinternalhom for iscapcategory isfunct\
ion", "X7CA082FF7B01D8FB" ], 
  [ 
      "\033[2XAddMorphismFromTensorProductToLeftInternalHomWithGivenObjects\033[1\
02X for IsCapCategory, IsFunction", "1.14-138", [ 1, 14, 138 ], 3883, 72, 
      "addmorphismfromtensorproducttoleftinternalhomwithgivenobjects for iscap\
category isfunction", "X8028DDA77A2AF1D0" ], 
  [ "\033[2XAddMorphismToLeftBidual\033[102X for IsCapCategory, IsFunction", 
      "1.14-139", [ 1, 14, 139 ], 3895, 73, 
      "addmorphismtoleftbidual for iscapcategory isfunction", 
      "X80EC71197C2C11D1" ], 
  [ 
      "\033[2XAddMorphismToLeftBidualWithGivenLeftBidual\033[102X for IsCapCatego\
ry, IsFunction", "1.14-140", [ 1, 14, 140 ], 3904, 73, 
      "addmorphismtoleftbidualwithgivenleftbidual for iscapcategory isfunction\
", "X869265BC78942371" ], 
  [ 
      "\033[2XAddTensorProductLeftDualityCompatibilityMorphism\033[102X for IsCap\
Category, IsFunction", "1.14-141", [ 1, 14, 141 ], 3914, 73, 
      "addtensorproductleftdualitycompatibilitymorphism for iscapcategory isfu\
nction", "X7953DC1F805D8C1A" ], 
  [ 
      "\033[2XAddTensorProductLeftDualityCompatibilityMorphismWithGivenObjects\\
033[102X for IsCapCategory, IsFunction", "1.14-142", [ 1, 14, 142 ], 3924, 
      73, 
      "addtensorproductleftdualitycompatibilitymorphismwithgivenobjects for is\
capcategory isfunction", "X836F9F347AB09804" ], 
  [ 
      "\033[2XAddTensorProductLeftInternalHomCompatibilityMorphism\033[102X for I\
sCapCategory, IsFunction", "1.14-143", [ 1, 14, 143 ], 3936, 73, 
      "addtensorproductleftinternalhomcompatibilitymorphism for iscapcategory \
isfunction", "X7A76B21F7DD29DD4" ], 
  [ 
      "\033[2XAddTensorProductLeftInternalHomCompatibilityMorphismWithGivenObject\
s\033[102X for IsCapCategory, IsFunction", "1.14-144", [ 1, 14, 144 ], 3946, 
      74, 
      "addtensorproductleftinternalhomcompatibilitymorphismwithgivenobjects fo\
r iscapcategory isfunction", "X78BE6DC079995BE8" ], 
  [ 
      "\033[2XAddTensorProductToLeftInternalHomAdjunctMorphism\033[102X for IsCap\
Category, IsFunction", "1.14-145", [ 1, 14, 145 ], 3958, 74, 
      "addtensorproducttoleftinternalhomadjunctmorphism for iscapcategory isfu\
nction", "X7A7B64B17E0CB68F" ], 
  [ 
      "\033[2XAddTensorProductToLeftInternalHomAdjunctMorphismWithGivenLeftIntern\
alHom\033[102X for IsCapCategory, IsFunction", "1.14-146", [ 1, 14, 146 ], 
      3968, 74, 
      "addtensorproducttoleftinternalhomadjunctmorphismwithgivenleftinternalho\
m for iscapcategory isfunction", "X852D330679DA479F" ], 
  [ 
      "\033[2XAddUniversalPropertyOfLeftDual\033[102X for IsCapCategory, IsFuncti\
on", "1.14-147", [ 1, 14, 147 ], 3980, 74, 
      "adduniversalpropertyofleftdual for iscapcategory isfunction", 
      "X814F44BD7ED47029" ], 
  [ 
      "\033[2XAddIsomorphismFromLeftCoDualObjectToLeftInternalCoHomFromTensorUnit\
\033[102X for IsCapCategory, IsFunction", "1.14-148", [ 1, 14, 148 ], 3990, 
      74, 
      "addisomorphismfromleftcodualobjecttoleftinternalcohomfromtensorunit for\
 iscapcategory isfunction", "X7DF0FCAF7EF18F8F" ], 
  [ 
      "\033[2XAddIsomorphismFromLeftInternalCoHomFromTensorUnitToLeftCoDualObject\
\033[102X for IsCapCategory, IsFunction", "1.14-149", [ 1, 14, 149 ], 4001, 
      75, 
      "addisomorphismfromleftinternalcohomfromtensorunittoleftcodualobject for\
 iscapcategory isfunction", "X85BAFAF48192ADFD" ], 
  [ 
      "\033[2XAddIsomorphismFromLeftInternalCoHomToObject\033[102X for IsCapCateg\
ory, IsFunction", "1.14-150", [ 1, 14, 150 ], 4012, 75, 
      "addisomorphismfromleftinternalcohomtoobject for iscapcategory isfunctio\
n", "X7F13CA18790E4170" ], 
  [ 
      "\033[2XAddIsomorphismFromLeftInternalCoHomToObjectWithGivenLeftInternalCoH\
om\033[102X for IsCapCategory, IsFunction", "1.14-151", [ 1, 14, 151 ], 4022, 
      75, 
      "addisomorphismfromleftinternalcohomtoobjectwithgivenleftinternalcohom f\
or iscapcategory isfunction", "X8695E6B0854AC59F" ], 
  [ 
      "\033[2XAddIsomorphismFromObjectToLeftInternalCoHom\033[102X for IsCapCateg\
ory, IsFunction", "1.14-152", [ 1, 14, 152 ], 4034, 75, 
      "addisomorphismfromobjecttoleftinternalcohom for iscapcategory isfunctio\
n", "X78B4B7FE82DC4548" ], 
  [ 
      "\033[2XAddIsomorphismFromObjectToLeftInternalCoHomWithGivenLeftInternalCoH\
om\033[102X for IsCapCategory, IsFunction", "1.14-153", [ 1, 14, 153 ], 4044, 
      76, 
      "addisomorphismfromobjecttoleftinternalcohomwithgivenleftinternalcohom f\
or iscapcategory isfunction", "X8569A8107E98C1A7" ], 
  [ "\033[2XAddLeftCoDualOnMorphisms\033[102X for IsCapCategory, IsFunction", 
      "1.14-154", [ 1, 14, 154 ], 4056, 76, 
      "addleftcodualonmorphisms for iscapcategory isfunction", 
      "X834FFF597E5AD96E" ], 
  [ 
      "\033[2XAddLeftCoDualOnMorphismsWithGivenLeftCoDuals\033[102X for IsCapCate\
gory, IsFunction", "1.14-155", [ 1, 14, 155 ], 4066, 76, 
      "addleftcodualonmorphismswithgivenleftcoduals for iscapcategory isfuncti\
on", "X7EFAFD687AE8B744" ], 
  [ "\033[2XAddLeftCoDualOnObjects\033[102X for IsCapCategory, IsFunction", 
      "1.14-156", [ 1, 14, 156 ], 4076, 76, 
      "addleftcodualonobjects for iscapcategory isfunction", 
      "X85C97E8D7982AA91" ], 
  [ 
      "\033[2XAddLeftCoDualityTensorProductCompatibilityMorphism\033[102X for IsC\
apCategory, IsFunction", "1.14-157", [ 1, 14, 157 ], 4085, 76, 
      "addleftcodualitytensorproductcompatibilitymorphism for iscapcategory is\
function", "X859C18CA80B931C8" ], 
  [ 
      "\033[2XAddLeftCoDualityTensorProductCompatibilityMorphismWithGivenObjects\\
033[102X for IsCapCategory, IsFunction", "1.14-158", [ 1, 14, 158 ], 4095, 
      77, 
      "addleftcodualitytensorproductcompatibilitymorphismwithgivenobjects for \
iscapcategory isfunction", "X7D8D0BE17F8837FB" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalCoevaluationMorphism\033[102X for IsCapCateg\
ory, IsFunction", "1.14-159", [ 1, 14, 159 ], 4107, 77, 
      "addleftcoclosedmonoidalcoevaluationmorphism for iscapcategory isfunctio\
n", "X788B63417F1F60F9" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalCoevaluationMorphismWithGivenSource\033[102X\
 for IsCapCategory, IsFunction", "1.14-160", [ 1, 14, 160 ], 4117, 77, 
      "addleftcoclosedmonoidalcoevaluationmorphismwithgivensource for iscapcat\
egory isfunction", "X82B5F67881855573" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalEvaluationForLeftCoDual\033[102X for IsCapCa\
tegory, IsFunction", "1.14-161", [ 1, 14, 161 ], 4128, 77, 
      "addleftcoclosedmonoidalevaluationforleftcodual for iscapcategory isfunc\
tion", "X7825101881671E7F" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalEvaluationForLeftCoDualWithGivenTensorProduc\
t\033[102X for IsCapCategory, IsFunction", "1.14-162", [ 1, 14, 162 ], 4138, 
      77, 
      "addleftcoclosedmonoidalevaluationforleftcodualwithgiventensorproduct fo\
r iscapcategory isfunction", "X846EE69A797450F9" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalEvaluationMorphism\033[102X for IsCapCategor\
y, IsFunction", "1.14-163", [ 1, 14, 163 ], 4150, 78, 
      "addleftcoclosedmonoidalevaluationmorphism for iscapcategory isfunction"
        , "X826AE548803450C1" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalEvaluationMorphismWithGivenRange\033[102X fo\
r IsCapCategory, IsFunction", "1.14-164", [ 1, 14, 164 ], 4160, 78, 
      "addleftcoclosedmonoidalevaluationmorphismwithgivenrange for iscapcatego\
ry isfunction", "X8082909C8786B490" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalLambdaElimination\033[102X for IsCapCategory\
, IsFunction", "1.14-165", [ 1, 14, 165 ], 4170, 78, 
      "addleftcoclosedmonoidallambdaelimination for iscapcategory isfunction",
      "X84635F4580F63BD0" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalLambdaIntroduction\033[102X for IsCapCategor\
y, IsFunction", "1.14-166", [ 1, 14, 166 ], 4180, 78, 
      "addleftcoclosedmonoidallambdaintroduction for iscapcategory isfunction"
        , "X83DF33EF7A19E291" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalPostCoComposeMorphism\033[102X for IsCapCate\
gory, IsFunction", "1.14-167", [ 1, 14, 167 ], 4190, 78, 
      "addleftcoclosedmonoidalpostcocomposemorphism for iscapcategory isfuncti\
on", "X7954E35E784BCB8B" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalPostCoComposeMorphismWithGivenObjects\033[10\
2X for IsCapCategory, IsFunction", "1.14-168", [ 1, 14, 168 ], 4200, 79, 
      "addleftcoclosedmonoidalpostcocomposemorphismwithgivenobjects for iscapc\
ategory isfunction", "X7FE2EC92781C752E" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalPreCoComposeMorphism\033[102X for IsCapCateg\
ory, IsFunction", "1.14-169", [ 1, 14, 169 ], 4212, 79, 
      "addleftcoclosedmonoidalprecocomposemorphism for iscapcategory isfunctio\
n", "X7DC17F0884BAD720" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalPreCoComposeMorphismWithGivenObjects\033[102\
X for IsCapCategory, IsFunction", "1.14-170", [ 1, 14, 170 ], 4222, 79, 
      "addleftcoclosedmonoidalprecocomposemorphismwithgivenobjects for iscapca\
tegory isfunction", "X86DB94FE8301038C" ], 
  [ 
      "\033[2XAddLeftInternalCoHomOnMorphisms\033[102X for IsCapCategory, IsFunct\
ion", "1.14-171", [ 1, 14, 171 ], 4234, 79, 
      "addleftinternalcohomonmorphisms for iscapcategory isfunction", 
      "X829E5F7E783539C3" ], 
  [ 
      "\033[2XAddLeftInternalCoHomOnMorphismsWithGivenLeftInternalCoHoms\033[102X\
 for IsCapCategory, IsFunction", "1.14-172", [ 1, 14, 172 ], 4244, 79, 
      "addleftinternalcohomonmorphismswithgivenleftinternalcohoms for iscapcat\
egory isfunction", "X78538C8E78635666" ], 
  [ 
      "\033[2XAddLeftInternalCoHomOnObjects\033[102X for IsCapCategory, IsFunctio\
n", "1.14-173", [ 1, 14, 173 ], 4256, 80, 
      "addleftinternalcohomonobjects for iscapcategory isfunction", 
      "X82901BEB81D0A428" ], 
  [ 
      "\033[2XAddLeftInternalCoHomTensorProductCompatibilityMorphism\033[102X for\
 IsCapCategory, IsFunction", "1.14-174", [ 1, 14, 174 ], 4266, 80, 
      "addleftinternalcohomtensorproductcompatibilitymorphism for iscapcategor\
y isfunction", "X814CCC847F369708" ], 
  [ 
      "\033[2XAddLeftInternalCoHomTensorProductCompatibilityMorphismWithGivenObje\
cts\033[102X for IsCapCategory, IsFunction", "1.14-175", [ 1, 14, 175 ], 
      4276, 80, 
      "addleftinternalcohomtensorproductcompatibilitymorphismwithgivenobjects \
for iscapcategory isfunction", "X7C3A3DEB7BA72741" ], 
  [ 
      "\033[2XAddLeftInternalCoHomToTensorProductAdjunctMorphism\033[102X for IsC\
apCategory, IsFunction", "1.14-176", [ 1, 14, 176 ], 4288, 80, 
      "addleftinternalcohomtotensorproductadjunctmorphism for iscapcategory is\
function", "X80C1A62B812B4565" ], 
  [ 
      "\033[2XAddLeftInternalCoHomToTensorProductAdjunctMorphismWithGivenTensorPr\
oduct\033[102X for IsCapCategory, IsFunction", "1.14-177", [ 1, 14, 177 ], 
      4298, 80, 
      "addleftinternalcohomtotensorproductadjunctmorphismwithgiventensorproduc\
t for iscapcategory isfunction", "X83DDE598805FFA88" ], 
  [ 
      "\033[2XAddMorphismFromLeftCoBidual\033[102X for IsCapCategory, IsFunction"
        , "1.14-178", [ 1, 14, 178 ], 4310, 81, 
      "addmorphismfromleftcobidual for iscapcategory isfunction", 
      "X8104426A8327EF5E" ], 
  [ 
      "\033[2XAddMorphismFromLeftCoBidualWithGivenLeftCoBidual\033[102X for IsCap\
Category, IsFunction", "1.14-179", [ 1, 14, 179 ], 4320, 81, 
      "addmorphismfromleftcobidualwithgivenleftcobidual for iscapcategory isfu\
nction", "X849C36147F09B8A0" ], 
  [ 
      "\033[2XAddMorphismFromLeftInternalCoHomToTensorProduct\033[102X for IsCapC\
ategory, IsFunction", "1.14-180", [ 1, 14, 180 ], 4330, 81, 
      "addmorphismfromleftinternalcohomtotensorproduct for iscapcategory isfun\
ction", "X86168FF07A697A15" ], 
  [ 
      "\033[2XAddMorphismFromLeftInternalCoHomToTensorProductWithGivenObjects\\
033[102X for IsCapCategory, IsFunction", "1.14-181", [ 1, 14, 181 ], 4340, 
      81, 
      "addmorphismfromleftinternalcohomtotensorproductwithgivenobjects for isc\
apcategory isfunction", "X830428C27A6BC07B" ], 
  [ 
      "\033[2XAddTensorProductToLeftInternalCoHomAdjunctMorphism\033[102X for IsC\
apCategory, IsFunction", "1.14-182", [ 1, 14, 182 ], 4352, 81, 
      "addtensorproducttoleftinternalcohomadjunctmorphism for iscapcategory is\
function", "X7AA7EDE881098270" ], 
  [ 
      "\033[2XAddTensorProductToLeftInternalCoHomAdjunctMorphismWithGivenLeftInte\
rnalCoHom\033[102X for IsCapCategory, IsFunction", "1.14-183", 
      [ 1, 14, 183 ], 4362, 82, 
      "addtensorproducttoleftinternalcohomadjunctmorphismwithgivenleftinternal\
cohom for iscapcategory isfunction", "X7CDB23877B3C8292" ], 
  [ 
      "\033[2XAddUniversalPropertyOfLeftCoDual\033[102X for IsCapCategory, IsFunc\
tion", "1.14-184", [ 1, 14, 184 ], 4374, 82, 
      "adduniversalpropertyofleftcodual for iscapcategory isfunction", 
      "X864F1EF47CAD2BE8" ], 
  [ "\033[2XAddAssociatorLeftToRight\033[102X for IsCapCategory, IsFunction", 
      "1.14-185", [ 1, 14, 185 ], 4384, 82, 
      "addassociatorlefttoright for iscapcategory isfunction", 
      "X79CDE3B87D14EF9A" ], 
  [ 
      "\033[2XAddAssociatorLeftToRightWithGivenTensorProducts\033[102X for IsCapC\
ategory, IsFunction", "1.14-186", [ 1, 14, 186 ], 4394, 82, 
      "addassociatorlefttorightwithgiventensorproducts for iscapcategory isfun\
ction", "X850B5B357F592FAE" ], 
  [ "\033[2XAddAssociatorRightToLeft\033[102X for IsCapCategory, IsFunction", 
      "1.14-187", [ 1, 14, 187 ], 4404, 82, 
      "addassociatorrighttoleft for iscapcategory isfunction", 
      "X8045C4FC7B4912B4" ], 
  [ 
      "\033[2XAddAssociatorRightToLeftWithGivenTensorProducts\033[102X for IsCapC\
ategory, IsFunction", "1.14-188", [ 1, 14, 188 ], 4414, 83, 
      "addassociatorrighttoleftwithgiventensorproducts for iscapcategory isfun\
ction", "X7CF105217904D280" ], 
  [ "\033[2XAddLeftUnitor\033[102X for IsCapCategory, IsFunction", 
      "1.14-189", [ 1, 14, 189 ], 4424, 83, 
      "addleftunitor for iscapcategory isfunction", "X7986052487D3CDBB" ], 
  [ "\033[2XAddLeftUnitorInverse\033[102X for IsCapCategory, IsFunction", 
      "1.14-190", [ 1, 14, 190 ], 4433, 83, 
      "addleftunitorinverse for iscapcategory isfunction", 
      "X793D2C657F19096D" ], 
  [ 
      "\033[2XAddLeftUnitorInverseWithGivenTensorProduct\033[102X for IsCapCatego\
ry, IsFunction", "1.14-191", [ 1, 14, 191 ], 4442, 83, 
      "addleftunitorinversewithgiventensorproduct for iscapcategory isfunction\
", "X87CB487587ED3EC5" ], 
  [ 
      "\033[2XAddLeftUnitorWithGivenTensorProduct\033[102X for IsCapCategory, IsF\
unction", "1.14-192", [ 1, 14, 192 ], 4452, 83, 
      "addleftunitorwithgiventensorproduct for iscapcategory isfunction", 
      "X8614FD9C78812C98" ], 
  [ "\033[2XAddRightUnitor\033[102X for IsCapCategory, IsFunction", 
      "1.14-193", [ 1, 14, 193 ], 4462, 83, 
      "addrightunitor for iscapcategory isfunction", "X8568708E7C5D8D28" ], 
  [ "\033[2XAddRightUnitorInverse\033[102X for IsCapCategory, IsFunction", 
      "1.14-194", [ 1, 14, 194 ], 4471, 84, 
      "addrightunitorinverse for iscapcategory isfunction", 
      "X7B2AAD6286833F68" ], 
  [ 
      "\033[2XAddRightUnitorInverseWithGivenTensorProduct\033[102X for IsCapCateg\
ory, IsFunction", "1.14-195", [ 1, 14, 195 ], 4480, 84, 
      "addrightunitorinversewithgiventensorproduct for iscapcategory isfunctio\
n", "X8682171F86C6793E" ], 
  [ 
      "\033[2XAddRightUnitorWithGivenTensorProduct\033[102X for IsCapCategory, Is\
Function", "1.14-196", [ 1, 14, 196 ], 4490, 84, 
      "addrightunitorwithgiventensorproduct for iscapcategory isfunction", 
      "X7DB39DC9794F3FCA" ], 
  [ 
      "\033[2XAddTensorProductOnMorphisms\033[102X for IsCapCategory, IsFunction"
        , "1.14-197", [ 1, 14, 197 ], 4500, 84, 
      "addtensorproductonmorphisms for iscapcategory isfunction", 
      "X83DEDFA3803035BC" ], 
  [ 
      "\033[2XAddTensorProductOnMorphismsWithGivenTensorProducts\033[102X for IsC\
apCategory, IsFunction", "1.14-198", [ 1, 14, 198 ], 4510, 84, 
      "addtensorproductonmorphismswithgiventensorproducts for iscapcategory is\
function", "X879659397D11AD9F" ], 
  [ "\033[2XAddCoevaluationForDual\033[102X for IsCapCategory, IsFunction", 
      "1.14-199", [ 1, 14, 199 ], 4521, 84, 
      "addcoevaluationfordual for iscapcategory isfunction", 
      "X8586506084917A30" ], 
  [ 
      "\033[2XAddCoevaluationForDualWithGivenTensorProduct\033[102X for IsCapCate\
gory, IsFunction", "1.14-200", [ 1, 14, 200 ], 4530, 85, 
      "addcoevaluationfordualwithgiventensorproduct for iscapcategory isfuncti\
on", "X831DC3947941E8BA" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalHomToTensorProductWithDualObject\033[102X\
 for IsCapCategory, IsFunction", "1.14-201", [ 1, 14, 201 ], 4540, 85, 
      "addisomorphismfrominternalhomtotensorproductwithdualobject for iscapcat\
egory isfunction", "X817D08298188F2BC" ], 
  [ 
      "\033[2XAddIsomorphismFromTensorProductWithDualObjectToInternalHom\033[102X\
 for IsCapCategory, IsFunction", "1.14-202", [ 1, 14, 202 ], 4550, 85, 
      "addisomorphismfromtensorproductwithdualobjecttointernalhom for iscapcat\
egory isfunction", "X840BC8AB7DFFD68E" ], 
  [ "\033[2XAddMorphismFromBidual\033[102X for IsCapCategory, IsFunction", 
      "1.14-203", [ 1, 14, 203 ], 4560, 85, 
      "addmorphismfrombidual for iscapcategory isfunction", 
      "X7D2FDE687E0CB66A" ], 
  [ 
      "\033[2XAddMorphismFromBidualWithGivenBidual\033[102X for IsCapCategory, Is\
Function", "1.14-204", [ 1, 14, 204 ], 4569, 85, 
      "addmorphismfrombidualwithgivenbidual for iscapcategory isfunction", 
      "X877C409E865C2BB3" ], 
  [ 
      "\033[2XAddMorphismFromInternalHomToTensorProduct\033[102X for IsCapCategor\
y, IsFunction", "1.14-205", [ 1, 14, 205 ], 4579, 86, 
      "addmorphismfrominternalhomtotensorproduct for iscapcategory isfunction"
        , "X82FDEF277A71FABF" ], 
  [ 
      "\033[2XAddMorphismFromInternalHomToTensorProductWithGivenObjects\033[102X \
for IsCapCategory, IsFunction", "1.14-206", [ 1, 14, 206 ], 4589, 86, 
      "addmorphismfrominternalhomtotensorproductwithgivenobjects for iscapcate\
gory isfunction", "X7A4A4C668706D593" ], 
  [ "\033[2XAddRankMorphism\033[102X for IsCapCategory, IsFunction", 
      "1.14-207", [ 1, 14, 207 ], 4600, 86, 
      "addrankmorphism for iscapcategory isfunction", "X849B17E08679450A" ], 
  [ "\033[2XAddTensorProductInternalHomCompatibilityMorphismInverse\033[102X f\
or IsCapCategory, IsFunction", "1.14-208", [ 1, 14, 208 ], 4609, 86, 
      "addtensorproductinternalhomcompatibilitymorphisminverse for iscapcatego\
ry isfunction", "X798FA16B818559DB" ], 
  [ 
      "\033[2XAddTensorProductInternalHomCompatibilityMorphismInverseWithGivenObj\
ects\033[102X for IsCapCategory, IsFunction", "1.14-209", [ 1, 14, 209 ], 
      4619, 86, 
      "addtensorproductinternalhomcompatibilitymorphisminversewithgivenobjects\
 for iscapcategory isfunction", "X7D9EA11980170B0C" ], 
  [ "\033[2XAddTraceMap\033[102X for IsCapCategory, IsFunction", "1.14-210", 
      [ 1, 14, 210 ], 4631, 87, "addtracemap for iscapcategory isfunction", 
      "X8446431880FFF111" ], 
  [ "\033[2XAddCoRankMorphism\033[102X for IsCapCategory, IsFunction", 
      "1.14-211", [ 1, 14, 211 ], 4640, 87, 
      "addcorankmorphism for iscapcategory isfunction", "X7A3D91F87F170676" ],
  [ "\033[2XAddCoTraceMap\033[102X for IsCapCategory, IsFunction", 
      "1.14-212", [ 1, 14, 212 ], 4649, 87, 
      "addcotracemap for iscapcategory isfunction", "X7AA8757780D75E1F" ], 
  [ 
      "\033[2XAddCoclosedCoevaluationForCoDual\033[102X for IsCapCategory, IsFunc\
tion", "1.14-213", [ 1, 14, 213 ], 4658, 87, 
      "addcoclosedcoevaluationforcodual for iscapcategory isfunction", 
      "X82087A8C7E5EBAA8" ], 
  [ 
      "\033[2XAddCoclosedCoevaluationForCoDualWithGivenTensorProduct\033[102X for\
 IsCapCategory, IsFunction", "1.14-214", [ 1, 14, 214 ], 4668, 87, 
      "addcoclosedcoevaluationforcodualwithgiventensorproduct for iscapcategor\
y isfunction", "X813CF5C07BAFD19C" ], 
  [ 
      "\033[2XAddInternalCoHomTensorProductCompatibilityMorphismInverse\033[102X \
for IsCapCategory, IsFunction", "1.14-215", [ 1, 14, 215 ], 4678, 87, 
      "addinternalcohomtensorproductcompatibilitymorphisminverse for iscapcate\
gory isfunction", "X7CA7972381FC507F" ], 
  [ 
      "\033[2XAddInternalCoHomTensorProductCompatibilityMorphismInverseWithGivenO\
bjects\033[102X for IsCapCategory, IsFunction", "1.14-216", [ 1, 14, 216 ], 
      4688, 88, 
      "addinternalcohomtensorproductcompatibilitymorphisminversewithgivenobjec\
ts for iscapcategory isfunction", "X82F222EC80852CF1" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalCoHomToTensorProductWithCoDualObject\033[\
102X for IsCapCategory, IsFunction", "1.14-217", [ 1, 14, 217 ], 4700, 88, 
      "addisomorphismfrominternalcohomtotensorproductwithcodualobject for isca\
pcategory isfunction", "X84E2048279A169A6" ], 
  [ 
      "\033[2XAddIsomorphismFromTensorProductWithCoDualObjectToInternalCoHom\033[\
102X for IsCapCategory, IsFunction", "1.14-218", [ 1, 14, 218 ], 4711, 88, 
      "addisomorphismfromtensorproductwithcodualobjecttointernalcohom for isca\
pcategory isfunction", "X7DFE79B48125A1E0" ], 
  [ 
      "\033[2XAddMorphismFromTensorProductToInternalCoHom\033[102X for IsCapCateg\
ory, IsFunction", "1.14-219", [ 1, 14, 219 ], 4722, 88, 
      "addmorphismfromtensorproducttointernalcohom for iscapcategory isfunctio\
n", "X7F27D275849C84B2" ], 
  [ 
      "\033[2XAddMorphismFromTensorProductToInternalCoHomWithGivenObjects\033[102\
X for IsCapCategory, IsFunction", "1.14-220", [ 1, 14, 220 ], 4732, 88, 
      "addmorphismfromtensorproducttointernalcohomwithgivenobjects for iscapca\
tegory isfunction", "X7B5706318327501E" ], 
  [ "\033[2XAddMorphismToCoBidual\033[102X for IsCapCategory, IsFunction", 
      "1.14-221", [ 1, 14, 221 ], 4743, 89, 
      "addmorphismtocobidual for iscapcategory isfunction", 
      "X7EBD7033871B0F3D" ], 
  [ 
      "\033[2XAddMorphismToCoBidualWithGivenCoBidual\033[102X for IsCapCategory, \
IsFunction", "1.14-222", [ 1, 14, 222 ], 4752, 89, 
      "addmorphismtocobidualwithgivencobidual for iscapcategory isfunction", 
      "X867E02E07CEC5B34" ], 
  [ "\033[2XAdditiveMonoidalCategoriesTest\033[102X", "2.1-1", [ 2, 1, 1 ], 
      7, 90, "additivemonoidalcategoriestest", "X8131040685BBC24E" ], 
  [ "\033[2XBraidedMonoidalCategoriesTest\033[102X", "2.1-2", [ 2, 1, 2 ], 
      33, 90, "braidedmonoidalcategoriestest", "X7D87D6737E0B485F" ], 
  [ "\033[2XClosedMonoidalCategoriesTest\033[102X", "2.1-3", [ 2, 1, 3 ], 57, 
      91, "closedmonoidalcategoriestest", "X7CDDEF3E87731A54" ], 
  [ "\033[2XClosedMonoidalCategoriesTestWithGiven\033[102X", "2.1-4", 
      [ 2, 1, 4 ], 93, 91, "closedmonoidalcategoriestestwithgiven", 
      "X7EAC790E85CC1D26" ], 
  [ "\033[2XCoclosedMonoidalCategoriesTest\033[102X", "2.1-5", [ 2, 1, 5 ], 
      121, 92, "coclosedmonoidalcategoriestest", "X83E919E984B367B1" ], 
  [ "\033[2XCoclosedMonoidalCategoriesTestWithGiven\033[102X", "2.1-6", 
      [ 2, 1, 6 ], 157, 93, "coclosedmonoidalcategoriestestwithgiven", 
      "X7F29A16A810D390D" ], 
  [ "\033[2XLeftClosedMonoidalCategoriesTest\033[102X", "2.1-7", [ 2, 1, 7 ], 
      185, 93, "leftclosedmonoidalcategoriestest", "X7B0D72D07AAA7B9B" ], 
  [ "\033[2XLeftClosedMonoidalCategoriesTestWithGiven\033[102X", "2.1-8", 
      [ 2, 1, 8 ], 221, 94, "leftclosedmonoidalcategoriestestwithgiven", 
      "X7BCAE7FE7E32B70A" ], 
  [ "\033[2XLeftCoclosedMonoidalCategoriesTest\033[102X", "2.1-9", 
      [ 2, 1, 9 ], 249, 94, "leftcoclosedmonoidalcategoriestest", 
      "X865E82AA7FB9B0BE" ], 
  [ "\033[2XLeftCoclosedMonoidalCategoriesTestWithGiven\033[102X", "2.1-10", 
      [ 2, 1, 10 ], 285, 95, "leftcoclosedmonoidalcategoriestestwithgiven", 
      "X7BF584B6805BB8DA" ], 
  [ "\033[2XMonoidalCategoriesTensorProductAndUnitTest\033[102X", "2.1-11", 
      [ 2, 1, 11 ], 313, 95, "monoidalcategoriestensorproductandunittest", 
      "X86C037637DDEB70A" ], 
  [ "\033[2XMonoidalCategoriesTest\033[102X", "2.1-12", [ 2, 1, 12 ], 337, 
      96, "monoidalcategoriestest", "X7BCAF88A806E562D" ], 
  [ "\033[2XRigidSymmetricClosedMonoidalCategoriesTest\033[102X", "2.1-13", 
      [ 2, 1, 13 ], 364, 96, "rigidsymmetricclosedmonoidalcategoriestest", 
      "X78CAAAE77DC5CF4F" ], 
  [ "\033[2XRigidSymmetricCoclosedMonoidalCategoriesTest\033[102X", "2.1-14", 
      [ 2, 1, 14 ], 390, 97, "rigidsymmetriccoclosedmonoidalcategoriestest", 
      "X8154BEE7850EFEEA" ], 
  [ "\033[2XWriteFileForMonoidalStructure\033[102X", "3.1-1", [ 3, 1, 1 ], 7, 
      99, "writefileformonoidalstructure", "X85C82D6A878B25DD" ], 
  [ "\033[2XWriteFileForClosedMonoidalStructure\033[102X", "3.2-1", 
      [ 3, 2, 1 ], 20, 99, "writefileforclosedmonoidalstructure", 
      "X7EF7CDED85FB1CA1" ], 
  [ "\033[2XWriteFileForLeftClosedMonoidalStructure\033[102X", "3.2-2", 
      [ 3, 2, 2 ], 30, 99, "writefileforleftclosedmonoidalstructure", 
      "X7B1E6E95839A2EB7" ], 
  [ "\033[2XWriteFileForCoclosedMonoidalStructure\033[102X", "3.3-1", 
      [ 3, 3, 1 ], 43, 100, "writefileforcoclosedmonoidalstructure", 
      "X83DBF79278AD1D37" ], 
  [ "\033[2XWriteFileForLeftCoclosedMonoidalStructure\033[102X", "3.3-2", 
      [ 3, 3, 2 ], 53, 100, "writefileforleftcoclosedmonoidalstructure", 
      "X7DAEDDFF84783E19" ], 
  [ 
      "\033[2XCoclosedCoevaluationMorphism\033[102X for IsCapCategoryObject, IsCa\
pCategoryObject", "5.1-1", [ 5, 1, 1 ], 7, 102, 
      "coclosedcoevaluationmorphism for iscapcategoryobject iscapcategoryobjec\
t", "X87648A1B86BC12CD" ], 
  [ 
      "\033[2XCoclosedCoevaluationMorphismWithGivenSource\033[102X for IsCapCateg\
oryObject, IsCapCategoryObject, IsCapCategoryObject", "5.1-2", [ 5, 1, 2 ], 
      14, 102, 
      "coclosedcoevaluationmorphismwithgivensource for iscapcategoryobject isc\
apcategoryobject iscapcategoryobject", "X78E1EE0879D7E094" ], 
  [ 
      "\033[2XCoclosedEvaluationMorphism\033[102X for IsCapCategoryObject, IsCapC\
ategoryObject", "5.1-3", [ 5, 1, 3 ], 22, 102, 
      "coclosedevaluationmorphism for iscapcategoryobject iscapcategoryobject"
        , "X8013AC4C837F9828" ], 
  [ 
      "\033[2XCoclosedEvaluationMorphismWithGivenRange\033[102X for IsCapCategory\
Object, IsCapCategoryObject, IsCapCategoryObject", "5.1-4", [ 5, 1, 4 ], 29, 
      102, 
      "coclosedevaluationmorphismwithgivenrange for iscapcategoryobject iscapc\
ategoryobject iscapcategoryobject", "X84FE6ABB879495DE" ], 
  [ 
      "\033[2XCoevaluationMorphism\033[102X for IsCapCategoryObject, IsCapCategor\
yObject", "5.1-5", [ 5, 1, 5 ], 37, 103, 
      "coevaluationmorphism for iscapcategoryobject iscapcategoryobject", 
      "X79E277047AB3E909" ], 
  [ 
      "\033[2XCoevaluationMorphismWithGivenRange\033[102X for IsCapCategoryObject\
, IsCapCategoryObject, IsCapCategoryObject", "5.1-6", [ 5, 1, 6 ], 44, 103, 
      "coevaluationmorphismwithgivenrange for iscapcategoryobject iscapcategor\
yobject iscapcategoryobject", "X7E8123AD8567A5C0" ], 
  [ 
      "\033[2XEvaluationMorphism\033[102X for IsCapCategoryObject, IsCapCategoryO\
bject", "5.2-1", [ 5, 2, 1 ], 55, 103, 
      "evaluationmorphism for iscapcategoryobject iscapcategoryobject", 
      "X809226D2878DD662" ], 
  [ 
      "\033[2XEvaluationMorphismWithGivenSource\033[102X for IsCapCategoryObject,\
 IsCapCategoryObject, IsCapCategoryObject", "5.2-2", [ 5, 2, 2 ], 61, 103, 
      "evaluationmorphismwithgivensource for iscapcategoryobject iscapcategory\
object iscapcategoryobject", "X7E42359B7A888F61" ], 
  [ "\033[2XInternalCoHomToTensorProductAdjunctionMap\033[102X for IsObject", 
      "5.2-3", [ 5, 2, 3 ], 67, 103, 
      "internalcohomtotensorproductadjunctionmap for isobject", 
      "X78B6BE768607496E" ], 
  [ 
      "\033[2XInternalCoHomToTensorProductAdjunctionMapWithGivenTensorProduct\\
033[102X for IsObject", "5.2-4", [ 5, 2, 4 ], 73, 103, 
      "internalcohomtotensorproductadjunctionmapwithgiventensorproduct for iso\
bject", "X7BBB6AD87A056F37" ], 
  [ "\033[2XInternalHomToTensorProductAdjunctionMap\033[102X for IsObject", 
      "5.2-5", [ 5, 2, 5 ], 80, 104, 
      "internalhomtotensorproductadjunctionmap for isobject", 
      "X7E415A5E859935AA" ], 
  [ 
      "\033[2XInternalHomToTensorProductAdjunctionMapWithGivenTensorProduct\033[1\
02X for IsObject", "5.2-6", [ 5, 2, 6 ], 86, 104, 
      "internalhomtotensorproductadjunctionmapwithgiventensorproduct for isobj\
ect", "X7E89D6DA7828F99E" ], 
  [ "\033[2XTensorProductToInternalCoHomAdjunctionMap\033[102X for IsObject", 
      "5.2-7", [ 5, 2, 7 ], 93, 104, 
      "tensorproducttointernalcohomadjunctionmap for isobject", 
      "X86CB055F839F71A3" ], 
  [ 
      "\033[2XTensorProductToInternalCoHomAdjunctionMapWithGivenInternalCoHom\\
033[102X for IsObject", "5.2-8", [ 5, 2, 8 ], 99, 104, 
      "tensorproducttointernalcohomadjunctionmapwithgiveninternalcohom for iso\
bject", "X7E1C1567803E7C91" ], 
  [ "\033[2XTensorProductToInternalHomAdjunctionMap\033[102X for IsObject", 
      "5.2-9", [ 5, 2, 9 ], 106, 104, 
      "tensorproducttointernalhomadjunctionmap for isobject", 
      "X8534C5AB7B80A8D8" ], 
  [ 
      "\033[2XTensorProductToInternalHomAdjunctionMapWithGivenInternalHom\033[102\
X for IsObject", "5.2-10", [ 5, 2, 10 ], 112, 104, 
      "tensorproducttointernalhomadjunctionmapwithgiveninternalhom for isobjec\
t", "X875D98EF835CC34C" ], 
  [ 
      "\033[2XInternalCoHomToTensorProductLeftAdjunctionMap\033[102X for IsObject\
", "5.2-11", [ 5, 2, 11 ], 119, 104, 
      "internalcohomtotensorproductleftadjunctionmap for isobject", 
      "X7A68E9AF856E8EC5" ], 
  [ "\033[2XInternalHomToTensorProductLeftAdjunctionMap\033[102X for IsObject"
        , "5.2-12", [ 5, 2, 12 ], 125, 105, 
      "internalhomtotensorproductleftadjunctionmap for isobject", 
      "X7A6128507D63055E" ], 
  [ 
      "\033[2XTensorProductToInternalCoHomLeftAdjunctionMap\033[102X for IsObject\
", "5.2-13", [ 5, 2, 13 ], 131, 105, 
      "tensorproducttointernalcohomleftadjunctionmap for isobject", 
      "X7D9D52A780F6B608" ], 
  [ 
      "\033[2XTensorProductToInternalCoHomLeftAdjunctionMapWithGivenInternalCoHom\
\033[102X for IsObject", "5.2-14", [ 5, 2, 14 ], 137, 105, 
      "tensorproducttointernalcohomleftadjunctionmapwithgiveninternalcohom for\
 isobject", "X814AE2D67D150C0B" ], 
  [ "\033[2XTensorProductToInternalHomLeftAdjunctionMap\033[102X for IsObject"
        , "5.2-15", [ 5, 2, 15 ], 144, 105, 
      "tensorproducttointernalhomleftadjunctionmap for isobject", 
      "X782469E1837A982C" ], 
  [ 
      "\033[2XTensorProductToInternalHomLeftAdjunctionMapWithGivenInternalHom\\
033[102X for IsObject", "5.2-16", [ 5, 2, 16 ], 150, 105, 
      "tensorproducttointernalhomleftadjunctionmapwithgiveninternalhom for iso\
bject", "X846E5D587AD2FB8D" ], 
  [ "\033[2XIsBraidedMonoidalCategory\033[102X for IsCapCategory", "6.1-1", 
      [ 6, 1, 1 ], 7, 106, "isbraidedmonoidalcategory for iscapcategory", 
      "X7EB424EE81E0290D" ], 
  [ "\033[2XIsClosedMonoidalCategory\033[102X for IsCapCategory", "6.1-2", 
      [ 6, 1, 2 ], 14, 106, "isclosedmonoidalcategory for iscapcategory", 
      "X78F907177D3C4BF8" ], 
  [ "\033[2XIsCoclosedMonoidalCategory\033[102X for IsCapCategory", "6.1-3", 
      [ 6, 1, 3 ], 21, 106, "iscoclosedmonoidalcategory for iscapcategory", 
      "X8262914378FA0F1A" ], 
  [ "\033[2XIsLeftClosedMonoidalCategory\033[102X for IsCapCategory", 
      "6.1-4", [ 6, 1, 4 ], 28, 106, 
      "isleftclosedmonoidalcategory for iscapcategory", "X861056EA7B4BFD70" ],
  [ "\033[2XIsLeftCoclosedMonoidalCategory\033[102X for IsCapCategory", 
      "6.1-5", [ 6, 1, 5 ], 35, 106, 
      "isleftcoclosedmonoidalcategory for iscapcategory", "X7D0F6DAC862788BE" 
     ], [ "\033[2XIsMonoidalCategory\033[102X for IsCapCategory", "6.1-6", 
      [ 6, 1, 6 ], 42, 107, "ismonoidalcategory for iscapcategory", 
      "X877C15BA81C14016" ], 
  [ "\033[2XIsStrictMonoidalCategory\033[102X for IsCapCategory", "6.1-7", 
      [ 6, 1, 7 ], 49, 107, "isstrictmonoidalcategory for iscapcategory", 
      "X867C0E9487F19155" ], 
  [ "\033[2XIsRigidSymmetricClosedMonoidalCategory\033[102X for IsCapCategory"
        , "6.1-8", [ 6, 1, 8 ], 56, 107, 
      "isrigidsymmetricclosedmonoidalcategory for iscapcategory", 
      "X7B5F85DB8497D183" ], 
  [ 
      "\033[2XIsRigidSymmetricCoclosedMonoidalCategory\033[102X for IsCapCategory\
", "6.1-9", [ 6, 1, 9 ], 63, 107, 
      "isrigidsymmetriccoclosedmonoidalcategory for iscapcategory", 
      "X7C610A4B848B53FF" ], 
  [ "\033[2XIsSymmetricClosedMonoidalCategory\033[102X for IsCapCategory", 
      "6.1-10", [ 6, 1, 10 ], 70, 107, 
      "issymmetricclosedmonoidalcategory for iscapcategory", 
      "X7BE3F4D085AA0055" ], 
  [ "\033[2XIsSymmetricCoclosedMonoidalCategory\033[102X for IsCapCategory", 
      "6.1-11", [ 6, 1, 11 ], 77, 107, 
      "issymmetriccoclosedmonoidalcategory for iscapcategory", 
      "X84215E5E875DD7DC" ], 
  [ "\033[2XIsSymmetricMonoidalCategory\033[102X for IsCapCategory", 
      "6.1-12", [ 6, 1, 12 ], 84, 107, 
      "issymmetricmonoidalcategory for iscapcategory", "X8296E9838534F4D1" ] ]
);
