Quelle  manual.six   Sprache: unbekannt

#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 ], 177, 6, "additive monoidal categories", 
      "X7FB8551A815BEC53" ], 
  [ "\033[1X\033[33X\033[0;-2YBraided Monoidal Categories\033[133X\033[101X", 
      "1.3", [ 1, 3, 0 ], 261, 7, "braided monoidal categories", 
      "X7D94AD967E6D60F1" ], 
  [ "\033[1X\033[33X\033[0;-2YSymmetric Monoidal Categories\033[133X\033[101X"
        , "1.4", [ 1, 4, 0 ], 313, 8, "symmetric monoidal categories", 
      "X85ED71067F7CEA82" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YLeft Closed Monoidal Categories\033[133X\033[101X\
", "1.5", [ 1, 5, 0 ], 320, 8, "left closed monoidal categories", 
      "X85035E9683B050D0" ], 
  [ "\033[1X\033[33X\033[0;-2YClosed Monoidal Categories\033[133X\033[101X", 
      "1.6", [ 1, 6, 0 ], 709, 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 ], 1235, 24, "left coclosed monoidal categories", 
      "X86546D277A535EB1" ], 
  [ "\033[1X\033[33X\033[0;-2YCoclosed Monoidal Categories\033[133X\033[101X",
      "1.8", [ 1, 8, 0 ], 1628, 31, "coclosed monoidal categories", 
      "X8197D69B805349AC" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSymmetric Closed Monoidal Categories\033[133X\\
033[101X", "1.9", [ 1, 9, 0 ], 2088, 39, 
      "symmetric closed monoidal categories", "X849F4CB58466EAEB" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSymmetric Coclosed Monoidal Categories\033[133X\\
033[101X", "1.10", [ 1, 10, 0 ], 2097, 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 ], 2106, 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 ], 2253, 42, 
      "rigid symmetric coclosed monoidal categories", "X79E86CAD853AB883" ], 
  [ "\033[1X\033[33X\033[0;-2YConvenience Methods\033[133X\033[101X", "1.13", 
      [ 1, 13, 0 ], 2399, 45, "convenience methods", "X7B40ED8B78D067A5" ], 
  [ "\033[1X\033[33X\033[0;-2YAdd-methods\033[133X\033[101X", "1.14", 
      [ 1, 14, 0 ], 2449, 45, "add-methods", "X85C8C80F785AEB5E" ], 
  [ "\033[1X\033[33X\033[0;-2YExamples and Tests\033[133X\033[101X", "2", 
      [ 2, 0, 0 ], 1, 105, "examples and tests", "X7967FE8E7BBDF485" ], 
  [ "\033[1X\033[33X\033[0;-2YTest functions\033[133X\033[101X", "2.1", 
      [ 2, 1, 0 ], 4, 105, "test functions", "X7862428B781B1F3D" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YCode Generation for Monodial Categories\033[133X\\
033[101X", "3", [ 3, 0, 0 ], 1, 115, "code generation for monodial categories"
        , "X7C2E370A85B0A5CB" ], 
  [ "\033[1X\033[33X\033[0;-2YMonoidal Categories\033[133X\033[101X", "3.1", 
      [ 3, 1, 0 ], 4, 115, "monoidal categories", "X808DC49C7ED99B52" ], 
  [ "\033[1X\033[33X\033[0;-2YClosed Monoidal Categories\033[133X\033[101X", 
      "3.2", [ 3, 2, 0 ], 17, 115, "closed monoidal categories", 
      "X7BC682067A30E580" ], 
  [ "\033[1X\033[33X\033[0;-2YCoclosed Monoidal Categories\033[133X\033[101X",
      "3.3", [ 3, 3, 0 ], 40, 116, "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, 117, 
      "the terminal category with multiple objects", "X84B4C3E17FDDFC55" ], 
  [ "\033[1X\033[33X\033[0;-2YConstructors\033[133X\033[101X", "4.1", 
      [ 4, 1, 0 ], 11, 117, "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, 117, "gap categories", 
      "X7D03633A7D98026B" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YLegacy Operations and Synonyms\033[133X\033[101X"
        , "5", [ 5, 0, 0 ], 1, 118, "legacy operations and synonyms", 
      "X84EF85257973461A" ], 
  [ "\033[1X\033[33X\033[0;-2YLegacy operations\033[133X\033[101X", "5.1", 
      [ 5, 1, 0 ], 4, 118, "legacy operations", "X7F2BBEE67CC67F03" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSynonyms for legacy operations\033[133X\033[101X"
        , "5.2", [ 5, 2, 0 ], 52, 119, "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, 122, 
      "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, 122, 
      "monoidalcategories automatic generated documentation of properties", 
      "X86BA4B7E7B19456B" ], 
  [ "Index", "ind", [ "Ind", 0, 0 ], 1, 124, "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[2XTensorUnit\033[102X for IsCapCategory", "1.1-16", [ 1, 1, 16 ], 
      169, 6, "tensorunit for iscapcategory", "X7BF7FFDF8789474A" ], 
  [ 
      "\033[2XLeftDistributivityExpanding\033[102X for IsCapCategoryObject, IsLis\
t", "1.2-1", [ 1, 2, 1 ], 180, 6, 
      "leftdistributivityexpanding for iscapcategoryobject islist", 
      "X7ACF268E7D82B0C9" ], 
  [ 
      "\033[2XLeftDistributivityExpandingWithGivenObjects\033[102X for IsCapCateg\
oryObject, IsCapCategoryObject, IsList, IsCapCategoryObject", "1.2-2", 
      [ 1, 2, 2 ], 190, 6, 
      "leftdistributivityexpandingwithgivenobjects for iscapcategoryobject isc\
apcategoryobject islist iscapcategoryobject", "X7CA18968862D2285" ], 
  [ 
      "\033[2XLeftDistributivityFactoring\033[102X for IsCapCategoryObject, IsLis\
t", "1.2-3", [ 1, 2, 3 ], 200, 6, 
      "leftdistributivityfactoring for iscapcategoryobject islist", 
      "X780322FE7E5A626D" ], 
  [ 
      "\033[2XLeftDistributivityFactoringWithGivenObjects\033[102X for IsCapCateg\
oryObject, IsCapCategoryObject, IsList, IsCapCategoryObject", "1.2-4", 
      [ 1, 2, 4 ], 210, 6, 
      "leftdistributivityfactoringwithgivenobjects for iscapcategoryobject isc\
apcategoryobject islist iscapcategoryobject", "X784D8CD685F5F021" ], 
  [ 
      "\033[2XRightDistributivityExpanding\033[102X for IsList, IsCapCategoryObje\
ct", "1.2-5", [ 1, 2, 5 ], 220, 7, 
      "rightdistributivityexpanding for islist iscapcategoryobject", 
      "X8409C74778A4313A" ], 
  [ 
      "\033[2XRightDistributivityExpandingWithGivenObjects\033[102X for IsCapCate\
goryObject, IsList, IsCapCategoryObject, IsCapCategoryObject", "1.2-6", 
      [ 1, 2, 6 ], 231, 7, 
      "rightdistributivityexpandingwithgivenobjects for iscapcategoryobject is\
list iscapcategoryobject iscapcategoryobject", "X7DBE629F811DEADC" ], 
  [ 
      "\033[2XRightDistributivityFactoring\033[102X for IsList, IsCapCategoryObje\
ct", "1.2-7", [ 1, 2, 7 ], 241, 7, 
      "rightdistributivityfactoring for islist iscapcategoryobject", 
      "X86C5C33786C1DC28" ], 
  [ 
      "\033[2XRightDistributivityFactoringWithGivenObjects\033[102X for IsCapCate\
goryObject, IsList, IsCapCategoryObject, IsCapCategoryObject", "1.2-8", 
      [ 1, 2, 8 ], 251, 7, 
      "rightdistributivityfactoringwithgivenobjects for iscapcategoryobject is\
list iscapcategoryobject iscapcategoryobject", "X795267217F7807CE" ], 
  [ "\033[2XBraiding\033[102X for IsCapCategoryObject, IsCapCategoryObject", 
      "1.3-1", [ 1, 3, 1 ], 279, 7, 
      "braiding for iscapcategoryobject iscapcategoryobject", 
      "X7C6ADBFE7A8DD1E3" ], 
  [ 
      "\033[2XBraidingWithGivenTensorProducts\033[102X for IsCapCategoryObject, I\
sCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.3-2", 
      [ 1, 3, 2 ], 287, 8, 
      "braidingwithgiventensorproducts for iscapcategoryobject iscapcategoryob\
ject iscapcategoryobject iscapcategoryobject", "X7F4B09A87B2500C0" ], 
  [ 
      "\033[2XBraidingInverse\033[102X for IsCapCategoryObject, IsCapCategoryObje\
ct", "1.3-3", [ 1, 3, 3 ], 296, 8, 
      "braidinginverse for iscapcategoryobject iscapcategoryobject", 
      "X8195EC5279D3E8D0" ], 
  [ 
      "\033[2XBraidingInverseWithGivenTensorProducts\033[102X for IsCapCategoryOb\
ject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", 
      "1.3-4", [ 1, 3, 4 ], 304, 8, 
      "braidinginversewithgiventensorproducts for iscapcategoryobject iscapcat\
egoryobject iscapcategoryobject iscapcategoryobject", "X854AFBC67C836769" ], 
  [ "\033[2XLeftInternalHomOnObjects\033[102X for IsCapCategoryObject, IsCapCa\
tegoryObject", "1.5-1", [ 1, 5, 1 ], 334, 8, 
      "leftinternalhomonobjects for iscapcategoryobject iscapcategoryobject", 
      "X87A4C0637EB8A18E" ], 
  [ 
      "\033[2XLeftInternalHomOnMorphisms\033[102X for IsCapCategoryMorphism, IsCa\
pCategoryMorphism", "1.5-2", [ 1, 5, 2 ], 342, 8, 
      "leftinternalhomonmorphisms for iscapcategorymorphism iscapcategorymorph\
ism", "X8439FF407D2C9C6E" ], 
  [ 
      "\033[2XLeftInternalHomOnMorphismsWithGivenLeftInternalHoms\033[102X for Is\
CapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategory\
Object", "1.5-3", [ 1, 5, 3 ], 354, 9, 
      "leftinternalhomonmorphismswithgivenleftinternalhoms for iscapcategoryob\
ject iscapcategorymorphism iscapcategorymorphism iscapcategoryobject", 
      "X7861C2AD82F62C77" ], 
  [ 
      "\033[2XLeftClosedMonoidalEvaluationMorphism\033[102X for IsCapCategoryObje\
ct, IsCapCategoryObject", "1.5-4", [ 1, 5, 4 ], 366, 9, 
      "leftclosedmonoidalevaluationmorphism for iscapcategoryobject iscapcateg\
oryobject", "X82C4FACF83C3611D" ], 
  [ 
      "\033[2XLeftClosedMonoidalEvaluationMorphismWithGivenSource\033[102X for Is\
CapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.5-5", 
      [ 1, 5, 5 ], 376, 9, 
      "leftclosedmonoidalevaluationmorphismwithgivensource for iscapcategoryob\
ject iscapcategoryobject iscapcategoryobject", "X8575A3748713EACF" ], 
  [ 
      "\033[2XLeftClosedMonoidalCoevaluationMorphism\033[102X for IsCapCategoryOb\
ject, IsCapCategoryObject", "1.5-6", [ 1, 5, 6 ], 386, 9, 
      "leftclosedmonoidalcoevaluationmorphism for iscapcategoryobject iscapcat\
egoryobject", "X7A526C59812F2A59" ], 
  [ 
      "\033[2XLeftClosedMonoidalCoevaluationMorphismWithGivenRange\033[102X for I\
sCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.5-7", 
      [ 1, 5, 7 ], 396, 9, 
      "leftclosedmonoidalcoevaluationmorphismwithgivenrange for iscapcategoryo\
bject iscapcategoryobject iscapcategoryobject", "X7BC7F1497A00E87A" ], 
  [ 
      "\033[2XTensorProductToLeftInternalHomAdjunctMorphism\033[102X for IsCapCat\
egoryObject, IsCapCategoryObject, IsCapCategoryMorphism", "1.5-8", 
      [ 1, 5, 8 ], 407, 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 ], 418, 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 ], 428, 10, 
      "leftinternalhomtotensorproductadjunctmorphism for iscapcategoryobject i\
scapcategoryobject iscapcategorymorphism", "X7C7D769879A7DA90" ], 
  [ 
      "\033[2XLeftInternalHomToTensorProductAdjunctMorphismWithGivenTensorProduct\
\033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism,\
 IsCapCategoryObject", "1.5-11", [ 1, 5, 11 ], 437, 10, 
      "leftinternalhomtotensorproductadjunctmorphismwithgiventensorproduct for\
 iscapcategoryobject iscapcategoryobject iscapcategorymorphism iscapcategoryob\
ject", "X80431C73861AEC43" ], 
  [ 
      "\033[2XLeftClosedMonoidalPreComposeMorphism\033[102X for IsCapCategoryObje\
ct, IsCapCategoryObject, IsCapCategoryObject", "1.5-12", [ 1, 5, 12 ], 447, 
      10, 
      "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 ], 460, 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 ], 474, 
      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 ], 487, 11, 
      "leftclosedmonoidalpostcomposemorphismwithgivenobjects for iscapcategory\
object iscapcategoryobject iscapcategoryobject iscapcategoryobject iscapcatego\
ryobject", "X7D5E05257D908A56" ], 
  [ "\033[2XLeftDualOnObjects\033[102X for IsCapCategoryObject", "1.5-16", 
      [ 1, 5, 16 ], 501, 11, "leftdualonobjects for iscapcategoryobject", 
      "X859959ED7F2CFDCC" ], 
  [ "\033[2XLeftDualOnMorphisms\033[102X for IsCapCategoryMorphism", 
      "1.5-17", [ 1, 5, 17 ], 508, 11, 
      "leftdualonmorphisms for iscapcategorymorphism", "X7B697FFC7B23A48B" ], 
  [ "\033[2XLeftDualOnMorphismsWithGivenLeftDuals\033[102X for IsCapCategoryOb\
ject, IsCapCategoryMorphism, IsCapCategoryObject", "1.5-18", [ 1, 5, 18 ], 
      516, 11, 
      "leftdualonmorphismswithgivenleftduals for iscapcategoryobject iscapcate\
gorymorphism iscapcategoryobject", "X8282E454874316D8" ], 
  [ 
      "\033[2XLeftClosedMonoidalEvaluationForLeftDual\033[102X for IsCapCategoryO\
bject", "1.5-19", [ 1, 5, 19 ], 525, 12, 
      "leftclosedmonoidalevaluationforleftdual for iscapcategoryobject", 
      "X7FF3227087ABDA8E" ], 
  [ 
      "\033[2XLeftClosedMonoidalEvaluationForLeftDualWithGivenTensorProduct\033[1\
02X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", 
      "1.5-20", [ 1, 5, 20 ], 533, 12, 
      "leftclosedmonoidalevaluationforleftdualwithgiventensorproduct for iscap\
categoryobject iscapcategoryobject iscapcategoryobject", "X86995E4D7A63E68F" ]
    , [ "\033[2XMorphismToLeftBidual\033[102X for IsCapCategoryObject", 
      "1.5-21", [ 1, 5, 21 ], 542, 12, 
      "morphismtoleftbidual for iscapcategoryobject", "X85D2B94A85E3DBD5" ], 
  [ "\033[2XMorphismToLeftBidualWithGivenLeftBidual\033[102X for IsCapCategory\
Object, IsCapCategoryObject", "1.5-22", [ 1, 5, 22 ], 550, 12, 
      "morphismtoleftbidualwithgivenleftbidual for iscapcategoryobject iscapca\
tegoryobject", "X868774B68189D7E9" ], 
  [ 
      "\033[2XTensorProductLeftInternalHomCompatibilityMorphism\033[102X for IsLi\
st", "1.5-23", [ 1, 5, 23 ], 558, 12, 
      "tensorproductleftinternalhomcompatibilitymorphism for islist", 
      "X7939CEE8854017D2" ], 
  [ 
      "\033[2XTensorProductLeftInternalHomCompatibilityMorphismWithGivenObjects\\
033[102X for IsCapCategoryObject, IsList, IsCapCategoryObject", "1.5-24", 
      [ 1, 5, 24 ], 572, 12, 
      "tensorproductleftinternalhomcompatibilitymorphismwithgivenobjects for i\
scapcategoryobject islist iscapcategoryobject", "X798C160A84CA5623" ], 
  [ 
      "\033[2XTensorProductLeftDualityCompatibilityMorphism\033[102X for IsCapCat\
egoryObject, IsCapCategoryObject", "1.5-25", [ 1, 5, 25 ], 586, 13, 
      "tensorproductleftdualitycompatibilitymorphism for iscapcategoryobject i\
scapcategoryobject", "X8635D47E7835C8AA" ], 
  [ 
      "\033[2XTensorProductLeftDualityCompatibilityMorphismWithGivenObjects\033[1\
02X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCa\
tegoryObject", "1.5-26", [ 1, 5, 26 ], 596, 13, 
      "tensorproductleftdualitycompatibilitymorphismwithgivenobjects for iscap\
categoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X8435799E83221130" ], 
  [ 
      "\033[2XMorphismFromTensorProductToLeftInternalHom\033[102X for IsCapCatego\
ryObject, IsCapCategoryObject", "1.5-27", [ 1, 5, 27 ], 606, 13, 
      "morphismfromtensorproducttoleftinternalhom for iscapcategoryobject isca\
pcategoryobject", "X80FE157E81B02827" ], 
  [ 
      "\033[2XMorphismFromTensorProductToLeftInternalHomWithGivenObjects\033[102X\
 for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCateg\
oryObject", "1.5-28", [ 1, 5, 28 ], 616, 13, 
      "morphismfromtensorproducttoleftinternalhomwithgivenobjects for iscapcat\
egoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X78FDDC2986E50825" ], 
  [ 
      "\033[2XIsomorphismFromLeftDualObjectToLeftInternalHomIntoTensorUnit\033[10\
2X for IsCapCategoryObject", "1.5-29", [ 1, 5, 29 ], 627, 13, 
      "isomorphismfromleftdualobjecttoleftinternalhomintotensorunit for iscapc\
ategoryobject", "X7EA425DA848670D9" ], 
  [ 
      "\033[2XIsomorphismFromLeftInternalHomIntoTensorUnitToLeftDualObject\033[10\
2X for IsCapCategoryObject", "1.5-30", [ 1, 5, 30 ], 637, 14, 
      "isomorphismfromleftinternalhomintotensorunittoleftdualobject for iscapc\
ategoryobject", "X781A2D417A8BC8DF" ], 
  [ 
      "\033[2XUniversalPropertyOfLeftDual\033[102X for IsCapCategoryObject, IsCap\
CategoryObject, IsCapCategoryMorphism", "1.5-31", [ 1, 5, 31 ], 647, 14, 
      "universalpropertyofleftdual for iscapcategoryobject iscapcategoryobject\
 iscapcategorymorphism", "X82D9D78C7A8DA61A" ], 
  [ 
      "\033[2XLeftClosedMonoidalLambdaIntroduction\033[102X for IsCapCategoryMorp\
hism", "1.5-32", [ 1, 5, 32 ], 656, 14, 
      "leftclosedmonoidallambdaintroduction for iscapcategorymorphism", 
      "X7C7A252A78484873" ], 
  [ 
      "\033[2XLeftClosedMonoidalLambdaElimination\033[102X for IsCapCategoryObjec\
t, IsCapCategoryObject, IsCapCategoryMorphism", "1.5-33", [ 1, 5, 33 ], 666, 
      14, 
      "leftclosedmonoidallambdaelimination for iscapcategoryobject iscapcatego\
ryobject iscapcategorymorphism", "X83B3A8FA8363F620" ], 
  [ 
      "\033[2XIsomorphismFromObjectToLeftInternalHom\033[102X for IsCapCategoryOb\
ject", "1.5-34", [ 1, 5, 34 ], 675, 14, 
      "isomorphismfromobjecttoleftinternalhom for iscapcategoryobject", 
      "X7ECAB43778388C41" ], 
  [ 
      "\033[2XIsomorphismFromObjectToLeftInternalHomWithGivenLeftInternalHom\033[\
102X for IsCapCategoryObject, IsCapCategoryObject", "1.5-35", [ 1, 5, 35 ], 
      683, 14, 
      "isomorphismfromobjecttoleftinternalhomwithgivenleftinternalhom for isca\
pcategoryobject iscapcategoryobject", "X874D7D8E81A6AFF1" ], 
  [ 
      "\033[2XIsomorphismFromLeftInternalHomToObject\033[102X for IsCapCategoryOb\
ject", "1.5-36", [ 1, 5, 36 ], 692, 15, 
      "isomorphismfromleftinternalhomtoobject for iscapcategoryobject", 
      "X7908CF267DDAA38C" ], 
  [ 
      "\033[2XIsomorphismFromLeftInternalHomToObjectWithGivenLeftInternalHom\033[\
102X for IsCapCategoryObject, IsCapCategoryObject", "1.5-37", [ 1, 5, 37 ], 
      700, 15, 
      "isomorphismfromleftinternalhomtoobjectwithgivenleftinternalhom for isca\
pcategoryobject iscapcategoryobject", "X7B2F235C8444803C" ], 
  [ 
      "\033[2XInternalHomOnObjects\033[102X for IsCapCategoryObject, IsCapCategor\
yObject", "1.6-1", [ 1, 6, 1 ], 721, 15, 
      "internalhomonobjects for iscapcategoryobject iscapcategoryobject", 
      "X78AA83E77B380D68" ], 
  [ 
      "\033[2XInternalHomOnMorphisms\033[102X for IsCapCategoryMorphism, IsCapCat\
egoryMorphism", "1.6-2", [ 1, 6, 2 ], 729, 15, 
      "internalhomonmorphisms for iscapcategorymorphism iscapcategorymorphism"
        , "X7C0191A483A72F98" ], 
  [ 
      "\033[2XInternalHomOnMorphismsWithGivenInternalHoms\033[102X for IsCapCateg\
oryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject",
      "1.6-3", [ 1, 6, 3 ], 740, 15, 
      "internalhomonmorphismswithgiveninternalhoms for iscapcategoryobject isc\
apcategorymorphism iscapcategorymorphism iscapcategoryobject", 
      "X861226B47B5CB713" ], 
  [ 
      "\033[2XClosedMonoidalRightEvaluationMorphism\033[102X for IsCapCategoryObj\
ect, IsCapCategoryObject", "1.6-4", [ 1, 6, 4 ], 751, 16, 
      "closedmonoidalrightevaluationmorphism for iscapcategoryobject iscapcate\
goryobject", "X844F05DF7DE23F99" ], 
  [ 
      "\033[2XClosedMonoidalRightEvaluationMorphismWithGivenSource\033[102X for I\
sCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.6-5", 
      [ 1, 6, 5 ], 761, 16, 
      "closedmonoidalrightevaluationmorphismwithgivensource for iscapcategoryo\
bject iscapcategoryobject iscapcategoryobject", "X83E6461280B0EB0C" ], 
  [ 
      "\033[2XClosedMonoidalRightCoevaluationMorphism\033[102X for IsCapCategoryO\
bject, IsCapCategoryObject", "1.6-6", [ 1, 6, 6 ], 771, 16, 
      "closedmonoidalrightcoevaluationmorphism for iscapcategoryobject iscapca\
tegoryobject", "X7A745E5A836B5E91" ], 
  [ 
      "\033[2XClosedMonoidalRightCoevaluationMorphismWithGivenRange\033[102X for \
IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.6-7", 
      [ 1, 6, 7 ], 781, 16, 
      "closedmonoidalrightcoevaluationmorphismwithgivenrange for iscapcategory\
object iscapcategoryobject iscapcategoryobject", "X868AD1A278EBAB03" ], 
  [ 
      "\033[2XTensorProductToInternalHomRightAdjunctMorphism\033[102X for IsCapCa\
tegoryObject, IsCapCategoryObject, IsCapCategoryMorphism", "1.6-8", 
      [ 1, 6, 8 ], 792, 16, 
      "tensorproducttointernalhomrightadjunctmorphism for iscapcategoryobject \
iscapcategoryobject iscapcategorymorphism", "X7BA9C4A184346304" ], 
  [ 
      "\033[2XTensorProductToInternalHomRightAdjunctMorphismWithGivenInternalHom\\
033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, \
IsCapCategoryObject", "1.6-9", [ 1, 6, 9 ], 801, 16, 
      "tensorproducttointernalhomrightadjunctmorphismwithgiveninternalhom for \
iscapcategoryobject iscapcategoryobject iscapcategorymorphism iscapcategoryobj\
ect", "X8218B01287CD44E5" ], 
  [ 
      "\033[2XTensorProductToInternalHomRightAdjunctionIsomorphism\033[102X for I\
sCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.6-10", 
      [ 1, 6, 10 ], 810, 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 ], 820, 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 ], 829, 17, 
      "internalhomtotensorproductrightadjunctmorphism for iscapcategoryobject \
iscapcategoryobject iscapcategorymorphism", "X8271B2767A2DFE76" ], 
  [ 
      "\033[2XInternalHomToTensorProductRightAdjunctMorphismWithGivenTensorProduc\
t\033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism\
, IsCapCategoryObject", "1.6-13", [ 1, 6, 13 ], 838, 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 ], 848, 17, 
      "internalhomtotensorproductrightadjunctionisomorphism for iscapcategoryo\
bject iscapcategoryobject iscapcategoryobject", "X79EEE4757C27C26E" ], 
  [ 
      "\033[2XInternalHomToTensorProductRightAdjunctionIsomorphismWithGivenObject\
s\033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, \
IsCapCategoryObject, IsCapCategoryObject", "1.6-15", [ 1, 6, 15 ], 858, 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 ], 868, 18, 
      "closedmonoidalleftevaluationmorphism for iscapcategoryobject iscapcateg\
oryobject", "X80B3C53A854B515B" ], 
  [ 
      "\033[2XClosedMonoidalLeftEvaluationMorphismWithGivenSource\033[102X for Is\
CapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.6-17", 
      [ 1, 6, 17 ], 878, 18, 
      "closedmonoidalleftevaluationmorphismwithgivensource for iscapcategoryob\
ject iscapcategoryobject iscapcategoryobject", "X84E1E136819BDA89" ], 
  [ 
      "\033[2XClosedMonoidalLeftCoevaluationMorphism\033[102X for IsCapCategoryOb\
ject, IsCapCategoryObject", "1.6-18", [ 1, 6, 18 ], 888, 18, 
      "closedmonoidalleftcoevaluationmorphism for iscapcategoryobject iscapcat\
egoryobject", "X7E35DEB787A71A1F" ], 
  [ 
      "\033[2XClosedMonoidalLeftCoevaluationMorphismWithGivenRange\033[102X for I\
sCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.6-19", 
      [ 1, 6, 19 ], 898, 18, 
      "closedmonoidalleftcoevaluationmorphismwithgivenrange for iscapcategoryo\
bject iscapcategoryobject iscapcategoryobject", "X8196CE5D7C88D83C" ], 
  [ 
      "\033[2XTensorProductToInternalHomLeftAdjunctMorphism\033[102X for IsCapCat\
egoryObject, IsCapCategoryObject, IsCapCategoryMorphism", "1.6-20", 
      [ 1, 6, 20 ], 909, 18, 
      "tensorproducttointernalhomleftadjunctmorphism for iscapcategoryobject i\
scapcategoryobject iscapcategorymorphism", "X80A58B1F80A186BD" ], 
  [ 
      "\033[2XTensorProductToInternalHomLeftAdjunctMorphismWithGivenInternalHom\\
033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, \
IsCapCategoryObject", "1.6-21", [ 1, 6, 21 ], 918, 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 ], 927, 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 ], 937, 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 ], 946, 19, 
      "internalhomtotensorproductleftadjunctmorphism for iscapcategoryobject i\
scapcategoryobject iscapcategorymorphism", "X85F426677EB81BCF" ], 
  [ 
      "\033[2XInternalHomToTensorProductLeftAdjunctMorphismWithGivenTensorProduct\
\033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism,\
 IsCapCategoryObject", "1.6-25", [ 1, 6, 25 ], 955, 19, 
      "internalhomtotensorproductleftadjunctmorphismwithgiventensorproduct for\
 iscapcategoryobject iscapcategoryobject iscapcategorymorphism iscapcategoryob\
ject", "X859B738881052D1C" ], 
  [ 
      "\033[2XInternalHomToTensorProductLeftAdjunctionIsomorphism\033[102X for Is\
CapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.6-26", 
      [ 1, 6, 26 ], 965, 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 ], 975, 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 ], 985, 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 ], 996, 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 ], 1008, 20, 
      "monoidalpostcomposemorphism for iscapcategoryobject iscapcategoryobject\
 iscapcategoryobject", "X79F4FCE781385829" ], 
  [ 
      "\033[2XMonoidalPostComposeMorphismWithGivenObjects\033[102X for IsCapCateg\
oryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCa\
pCategoryObject", "1.6-31", [ 1, 6, 31 ], 1019, 21, 
      "monoidalpostcomposemorphismwithgivenobjects for iscapcategoryobject isc\
apcategoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject",
      "X7E6933B8816EE4E3" ], 
  [ "\033[2XDualOnObjects\033[102X for IsCapCategoryObject", "1.6-32", 
      [ 1, 6, 32 ], 1031, 21, "dualonobjects for iscapcategoryobject", 
      "X80FFC71D7E57DD53" ], 
  [ "\033[2XDualOnMorphisms\033[102X for IsCapCategoryMorphism", "1.6-33", 
      [ 1, 6, 33 ], 1038, 21, "dualonmorphisms for iscapcategorymorphism", 
      "X815C0BC47D000819" ], 
  [ 
      "\033[2XDualOnMorphismsWithGivenDuals\033[102X for IsCapCategoryObject, IsC\
apCategoryMorphism, IsCapCategoryObject", "1.6-34", [ 1, 6, 34 ], 1046, 21, 
      "dualonmorphismswithgivenduals for iscapcategoryobject iscapcategorymorp\
hism iscapcategoryobject", "X7DCC0F468386AA46" ], 
  [ "\033[2XEvaluationForDual\033[102X for IsCapCategoryObject", "1.6-35", 
      [ 1, 6, 35 ], 1055, 21, "evaluationfordual for iscapcategoryobject", 
      "X86D42C7587F03A68" ], 
  [ 
      "\033[2XEvaluationForDualWithGivenTensorProduct\033[102X for IsCapCategoryO\
bject, IsCapCategoryObject, IsCapCategoryObject", "1.6-36", [ 1, 6, 36 ], 
      1063, 21, 
      "evaluationfordualwithgiventensorproduct for iscapcategoryobject iscapca\
tegoryobject iscapcategoryobject", "X7B588B1B8472834E" ], 
  [ "\033[2XMorphismToBidual\033[102X for IsCapCategoryObject", "1.6-37", 
      [ 1, 6, 37 ], 1072, 21, "morphismtobidual for iscapcategoryobject", 
      "X7F68B55781C1DFB1" ], 
  [ 
      "\033[2XMorphismToBidualWithGivenBidual\033[102X for IsCapCategoryObject, I\
sCapCategoryObject", "1.6-38", [ 1, 6, 38 ], 1080, 22, 
      "morphismtobidualwithgivenbidual for iscapcategoryobject iscapcategoryob\
ject", "X79260E5680F1E741" ], 
  [ "\033[2XTensorProductInternalHomCompatibilityMorphism\033[102X for IsList"
        , "1.6-39", [ 1, 6, 39 ], 1088, 22, 
      "tensorproductinternalhomcompatibilitymorphism for islist", 
      "X80CDA0CB821E08EE" ], 
  [ 
      "\033[2XTensorProductInternalHomCompatibilityMorphismWithGivenObjects\033[1\
02X for IsCapCategoryObject, IsList, IsCapCategoryObject", "1.6-40", 
      [ 1, 6, 40 ], 1101, 22, 
      "tensorproductinternalhomcompatibilitymorphismwithgivenobjects for iscap\
categoryobject islist iscapcategoryobject", "X7B0194A07AB73486" ], 
  [ 
      "\033[2XTensorProductDualityCompatibilityMorphism\033[102X for IsCapCategor\
yObject, IsCapCategoryObject", "1.6-41", [ 1, 6, 41 ], 1114, 22, 
      "tensorproductdualitycompatibilitymorphism for iscapcategoryobject iscap\
categoryobject", "X7D173DB08132E40A" ], 
  [ 
      "\033[2XTensorProductDualityCompatibilityMorphismWithGivenObjects\033[102X \
for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCatego\
ryObject", "1.6-42", [ 1, 6, 42 ], 1124, 22, 
      "tensorproductdualitycompatibilitymorphismwithgivenobjects for iscapcate\
goryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X794ED97782B8DF76" ], 
  [ 
      "\033[2XMorphismFromTensorProductToInternalHom\033[102X for IsCapCategoryOb\
ject, IsCapCategoryObject", "1.6-43", [ 1, 6, 43 ], 1134, 23, 
      "morphismfromtensorproducttointernalhom for iscapcategoryobject iscapcat\
egoryobject", "X8439BFF57BFE390F" ], 
  [ 
      "\033[2XMorphismFromTensorProductToInternalHomWithGivenObjects\033[102X for\
 IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryO\
bject", "1.6-44", [ 1, 6, 44 ], 1144, 23, 
      "morphismfromtensorproducttointernalhomwithgivenobjects for iscapcategor\
yobject iscapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X8473D28B7F3A5E20" ], 
  [ 
      "\033[2XIsomorphismFromDualObjectToInternalHomIntoTensorUnit\033[102X for I\
sCapCategoryObject", "1.6-45", [ 1, 6, 45 ], 1154, 23, 
      "isomorphismfromdualobjecttointernalhomintotensorunit for iscapcategoryo\
bject", "X8430726C82D6CFF7" ], 
  [ 
      "\033[2XIsomorphismFromInternalHomIntoTensorUnitToDualObject\033[102X for I\
sCapCategoryObject", "1.6-46", [ 1, 6, 46 ], 1164, 23, 
      "isomorphismfrominternalhomintotensorunittodualobject for iscapcategoryo\
bject", "X7A015736812A97C6" ], 
  [ 
      "\033[2XUniversalPropertyOfDual\033[102X for IsCapCategoryObject, IsCapCate\
goryObject, IsCapCategoryMorphism", "1.6-47", [ 1, 6, 47 ], 1174, 23, 
      "universalpropertyofdual for iscapcategoryobject iscapcategoryobject isc\
apcategorymorphism", "X7AF8F68887146C20" ], 
  [ "\033[2XLambdaIntroduction\033[102X for IsCapCategoryMorphism", "1.6-48", 
      [ 1, 6, 48 ], 1183, 23, "lambdaintroduction for iscapcategorymorphism", 
      "X80F3F2287B9E55E3" ], 
  [ 
      "\033[2XLambdaElimination\033[102X for IsCapCategoryObject, IsCapCategoryOb\
ject, IsCapCategoryMorphism", "1.6-49", [ 1, 6, 49 ], 1192, 24, 
      "lambdaelimination for iscapcategoryobject iscapcategoryobject iscapcate\
gorymorphism", "X79EC44077F661E80" ], 
  [ 
      "\033[2XIsomorphismFromObjectToInternalHom\033[102X for IsCapCategoryObject\
", "1.6-50", [ 1, 6, 50 ], 1201, 24, 
      "isomorphismfromobjecttointernalhom for iscapcategoryobject", 
      "X8726BA888787D53D" ], 
  [ 
      "\033[2XIsomorphismFromObjectToInternalHomWithGivenInternalHom\033[102X for\
 IsCapCategoryObject, IsCapCategoryObject", "1.6-51", [ 1, 6, 51 ], 1209, 24, 
      "isomorphismfromobjecttointernalhomwithgiveninternalhom for iscapcategor\
yobject iscapcategoryobject", "X87F91EF37C76A7F7" ], 
  [ 
      "\033[2XIsomorphismFromInternalHomToObject\033[102X for IsCapCategoryObject\
", "1.6-52", [ 1, 6, 52 ], 1218, 24, 
      "isomorphismfrominternalhomtoobject for iscapcategoryobject", 
      "X831CF4E1824FA178" ], 
  [ 
      "\033[2XIsomorphismFromInternalHomToObjectWithGivenInternalHom\033[102X for\
 IsCapCategoryObject, IsCapCategoryObject", "1.6-53", [ 1, 6, 53 ], 1226, 24, 
      "isomorphismfrominternalhomtoobjectwithgiveninternalhom for iscapcategor\
yobject iscapcategoryobject", "X7988DC7C79BED3B2" ], 
  [ 
      "\033[2XLeftInternalCoHomOnObjects\033[102X for IsCapCategoryObject, IsCapC\
ategoryObject", "1.7-1", [ 1, 7, 1 ], 1249, 25, 
      "leftinternalcohomonobjects for iscapcategoryobject iscapcategoryobject"
        , "X7CE5D10B7F10E9CC" ], 
  [ 
      "\033[2XLeftInternalCoHomOnMorphisms\033[102X for IsCapCategoryMorphism, Is\
CapCategoryMorphism", "1.7-2", [ 1, 7, 2 ], 1257, 25, 
      "leftinternalcohomonmorphisms for iscapcategorymorphism iscapcategorymor\
phism", "X853213767BB48099" ], 
  [ 
      "\033[2XLeftInternalCoHomOnMorphismsWithGivenLeftInternalCoHoms\033[102X fo\
r IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCate\
goryObject", "1.7-3", [ 1, 7, 3 ], 1269, 25, 
      "leftinternalcohomonmorphismswithgivenleftinternalcohoms for iscapcatego\
ryobject iscapcategorymorphism iscapcategorymorphism iscapcategoryobject", 
      "X7F302E3880752A2F" ], 
  [ 
      "\033[2XLeftCoclosedMonoidalEvaluationMorphism\033[102X for IsCapCategoryOb\
ject, IsCapCategoryObject", "1.7-4", [ 1, 7, 4 ], 1281, 25, 
      "leftcoclosedmonoidalevaluationmorphism for iscapcategoryobject iscapcat\
egoryobject", "X819A762D83B1C294" ], 
  [ 
      "\033[2XLeftCoclosedMonoidalEvaluationMorphismWithGivenRange\033[102X for I\
sCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.7-5", 
      [ 1, 7, 5 ], 1292, 25, 
      "leftcoclosedmonoidalevaluationmorphismwithgivenrange for iscapcategoryo\
bject iscapcategoryobject iscapcategoryobject", "X7E5607B1789E00B7" ], 
  [ 
      "\033[2XLeftCoclosedMonoidalCoevaluationMorphism\033[102X for IsCapCategory\
Object, IsCapCategoryObject", "1.7-6", [ 1, 7, 6 ], 1303, 25, 
      "leftcoclosedmonoidalcoevaluationmorphism for iscapcategoryobject iscapc\
ategoryobject", "X81A249CE84828A9D" ], 
  [ 
      "\033[2XLeftCoclosedMonoidalCoevaluationMorphismWithGivenSource\033[102X fo\
r IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.7-7", 
      [ 1, 7, 7 ], 1313, 26, 
      "leftcoclosedmonoidalcoevaluationmorphismwithgivensource for iscapcatego\
ryobject iscapcategoryobject iscapcategoryobject", "X7D1018A284F21140" ], 
  [ 
      "\033[2XTensorProductToLeftInternalCoHomAdjunctMorphism\033[102X for IsCapC\
ategoryObject, IsCapCategoryObject, IsCapCategoryMorphism", "1.7-8", 
      [ 1, 7, 8 ], 1324, 26, 
      "tensorproducttoleftinternalcohomadjunctmorphism for iscapcategoryobject\
 iscapcategoryobject iscapcategorymorphism", "X851216B2807B3900" ], 
  [ 
      "\033[2XTensorProductToLeftInternalCoHomAdjunctMorphismWithGivenLeftInterna\
lCoHom\033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMor\
phism, IsCapCategoryObject", "1.7-9", [ 1, 7, 9 ], 1334, 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 ], 1344, 26, 
      "leftinternalcohomtotensorproductadjunctmorphism for iscapcategoryobject\
 iscapcategoryobject iscapcategorymorphism", "X7DDDACD58454C3A4" ], 
  [ 
      "\033[2XLeftInternalCoHomToTensorProductAdjunctMorphismWithGivenTensorProdu\
ct\033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphis\
m, IsCapCategoryObject", "1.7-11", [ 1, 7, 11 ], 1354, 26, 
      "leftinternalcohomtotensorproductadjunctmorphismwithgiventensorproduct f\
or iscapcategoryobject iscapcategoryobject iscapcategorymorphism iscapcategory\
object", "X821AC96981CA794C" ], 
  [ 
      "\033[2XLeftCoclosedMonoidalPreCoComposeMorphism\033[102X for IsCapCategory\
Object, IsCapCategoryObject, IsCapCategoryObject", "1.7-12", [ 1, 7, 12 ], 
      1364, 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 ], 1377, 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 ], 
      1391, 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 ], 1404, 27, 
      "leftcoclosedmonoidalpostcocomposemorphismwithgivenobjects for iscapcate\
goryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject iscapca\
tegoryobject", "X867C6F087D72AB3F" ], 
  [ "\033[2XLeftCoDualOnObjects\033[102X for IsCapCategoryObject", "1.7-16", 
      [ 1, 7, 16 ], 1418, 27, "leftcodualonobjects for iscapcategoryobject", 
      "X85A63AA57F0678EE" ], 
  [ "\033[2XLeftCoDualOnMorphisms\033[102X for IsCapCategoryMorphism", 
      "1.7-17", [ 1, 7, 17 ], 1425, 28, 
      "leftcodualonmorphisms for iscapcategorymorphism", "X7949DE307D2D5083" ]
    , 
  [ 
      "\033[2XLeftCoDualOnMorphismsWithGivenLeftCoDuals\033[102X for IsCapCategor\
yObject, IsCapCategoryMorphism, IsCapCategoryObject", "1.7-18", [ 1, 7, 18 ], 
      1433, 28, 
      "leftcodualonmorphismswithgivenleftcoduals for iscapcategoryobject iscap\
categorymorphism iscapcategoryobject", "X84C835CB7E708596" ], 
  [ 
      "\033[2XLeftCoclosedMonoidalEvaluationForLeftCoDual\033[102X for IsCapCateg\
oryObject", "1.7-19", [ 1, 7, 19 ], 1442, 28, 
      "leftcoclosedmonoidalevaluationforleftcodual for iscapcategoryobject", 
      "X7A20AC6A837F79BA" ], 
  [ 
      "\033[2XLeftCoclosedMonoidalEvaluationForLeftCoDualWithGivenTensorProduct\\
033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", 
      "1.7-20", [ 1, 7, 20 ], 1450, 28, 
      "leftcoclosedmonoidalevaluationforleftcodualwithgiventensorproduct for i\
scapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X87B15AC678955783" ], 
  [ "\033[2XMorphismFromLeftCoBidual\033[102X for IsCapCategoryObject", 
      "1.7-21", [ 1, 7, 21 ], 1459, 28, 
      "morphismfromleftcobidual for iscapcategoryobject", "X7F67676A85A47BDB" 
     ], 
  [ 
      "\033[2XMorphismFromLeftCoBidualWithGivenLeftCoBidual\033[102X for IsCapCat\
egoryObject, IsCapCategoryObject", "1.7-22", [ 1, 7, 22 ], 1467, 28, 
      "morphismfromleftcobidualwithgivenleftcobidual for iscapcategoryobject i\
scapcategoryobject", "X7AF5F77180E09AAE" ], 
  [ 
      "\033[2XLeftInternalCoHomTensorProductCompatibilityMorphism\033[102X for Is\
List", "1.7-23", [ 1, 7, 23 ], 1475, 28, 
      "leftinternalcohomtensorproductcompatibilitymorphism for islist", 
      "X84331A1B7F62782F" ], 
  [ 
      "\033[2XLeftInternalCoHomTensorProductCompatibilityMorphismWithGivenObjects\
\033[102X for IsCapCategoryObject, IsList, IsCapCategoryObject", "1.7-24", 
      [ 1, 7, 24 ], 1489, 29, 
      "leftinternalcohomtensorproductcompatibilitymorphismwithgivenobjects for\
 iscapcategoryobject islist iscapcategoryobject", "X808BEB0879D58CAF" ], 
  [ 
      "\033[2XLeftCoDualityTensorProductCompatibilityMorphism\033[102X for IsCapC\
ategoryObject, IsCapCategoryObject", "1.7-25", [ 1, 7, 25 ], 1503, 29, 
      "leftcodualitytensorproductcompatibilitymorphism for iscapcategoryobject\
 iscapcategoryobject", "X7B4A66A8803C99BA" ], 
  [ 
      "\033[2XLeftCoDualityTensorProductCompatibilityMorphismWithGivenObjects\\
033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, Is\
CapCategoryObject", "1.7-26", [ 1, 7, 26 ], 1513, 29, 
      "leftcodualitytensorproductcompatibilitymorphismwithgivenobjects for isc\
apcategoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject",
      "X86E72092788A8F2D" ], 
  [ 
      "\033[2XMorphismFromLeftInternalCoHomToTensorProduct\033[102X for IsCapCate\
goryObject, IsCapCategoryObject", "1.7-27", [ 1, 7, 27 ], 1523, 29, 
      "morphismfromleftinternalcohomtotensorproduct for iscapcategoryobject is\
capcategoryobject", "X7A5FDE4B83C5F328" ], 
  [ 
      "\033[2XMorphismFromLeftInternalCoHomToTensorProductWithGivenObjects\033[10\
2X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCat\
egoryObject", "1.7-28", [ 1, 7, 28 ], 1533, 29, 
      "morphismfromleftinternalcohomtotensorproductwithgivenobjects for iscapc\
ategoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X7BD2A33F84A2FBAB" ], 
  [ 
      "\033[2XIsomorphismFromLeftCoDualObjectToLeftInternalCoHomFromTensorUnit\\
033[102X for IsCapCategoryObject", "1.7-29", [ 1, 7, 29 ], 1544, 30, 
      "isomorphismfromleftcodualobjecttoleftinternalcohomfromtensorunit for is\
capcategoryobject", "X7CC10C9E7EA7EED4" ], 
  [ 
      "\033[2XIsomorphismFromLeftInternalCoHomFromTensorUnitToLeftCoDualObject\\
033[102X for IsCapCategoryObject", "1.7-30", [ 1, 7, 30 ], 1554, 30, 
      "isomorphismfromleftinternalcohomfromtensorunittoleftcodualobject for is\
capcategoryobject", "X87F96B047F320A17" ], 
  [ 
      "\033[2XUniversalPropertyOfLeftCoDual\033[102X for IsCapCategoryObject, IsC\
apCategoryObject, IsCapCategoryMorphism", "1.7-31", [ 1, 7, 31 ], 1564, 30, 
      "universalpropertyofleftcodual for iscapcategoryobject iscapcategoryobje\
ct iscapcategorymorphism", "X7A0DE1667FF28457" ], 
  [ 
      "\033[2XLeftCoclosedMonoidalLambdaIntroduction\033[102X for IsCapCategoryMo\
rphism", "1.7-32", [ 1, 7, 32 ], 1573, 30, 
      "leftcoclosedmonoidallambdaintroduction for iscapcategorymorphism", 
      "X85960F7479FFA8DA" ], 
  [ 
      "\033[2XLeftCoclosedMonoidalLambdaElimination\033[102X for IsCapCategoryObj\
ect, IsCapCategoryObject, IsCapCategoryMorphism", "1.7-33", [ 1, 7, 33 ], 
      1583, 30, 
      "leftcoclosedmonoidallambdaelimination for iscapcategoryobject iscapcate\
goryobject iscapcategorymorphism", "X8721DDEC7DF9D89D" ], 
  [ 
      "\033[2XIsomorphismFromObjectToLeftInternalCoHom\033[102X for IsCapCategory\
Object", "1.7-34", [ 1, 7, 34 ], 1592, 30, 
      "isomorphismfromobjecttoleftinternalcohom for iscapcategoryobject", 
      "X853342457CC3B489" ], 
  [ 
      "\033[2XIsomorphismFromObjectToLeftInternalCoHomWithGivenLeftInternalCoHom\\
033[102X for IsCapCategoryObject, IsCapCategoryObject", "1.7-35", 
      [ 1, 7, 35 ], 1601, 31, 
      "isomorphismfromobjecttoleftinternalcohomwithgivenleftinternalcohom for \
iscapcategoryobject iscapcategoryobject", "X82709BED807CB6FC" ], 
  [ 
      "\033[2XIsomorphismFromLeftInternalCoHomToObject\033[102X for IsCapCategory\
Object", "1.7-36", [ 1, 7, 36 ], 1610, 31, 
      "isomorphismfromleftinternalcohomtoobject for iscapcategoryobject", 
      "X806C843B82108148" ], 
  [ 
      "\033[2XIsomorphismFromLeftInternalCoHomToObjectWithGivenLeftInternalCoHom\\
033[102X for IsCapCategoryObject, IsCapCategoryObject", "1.7-37", 
      [ 1, 7, 37 ], 1619, 31, 
      "isomorphismfromleftinternalcohomtoobjectwithgivenleftinternalcohom for \
iscapcategoryobject iscapcategoryobject", "X8370164B7EAF833D" ], 
  [ 
      "\033[2XInternalCoHomOnObjects\033[102X for IsCapCategoryObject, IsCapCateg\
oryObject", "1.8-1", [ 1, 8, 1 ], 1640, 31, 
      "internalcohomonobjects for iscapcategoryobject iscapcategoryobject", 
      "X791BE0B0847A430D" ], 
  [ 
      "\033[2XInternalCoHomOnMorphisms\033[102X for IsCapCategoryMorphism, IsCapC\
ategoryMorphism", "1.8-2", [ 1, 8, 2 ], 1648, 31, 
      "internalcohomonmorphisms for iscapcategorymorphism iscapcategorymorphis\
m", "X7FDF105D7F56EB53" ], 
  [ 
      "\033[2XInternalCoHomOnMorphismsWithGivenInternalCoHoms\033[102X for IsCapC\
ategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObje\
ct", "1.8-3", [ 1, 8, 3 ], 1659, 32, 
      "internalcohomonmorphismswithgiveninternalcohoms for iscapcategoryobject\
 iscapcategorymorphism iscapcategorymorphism iscapcategoryobject", 
      "X84DDA3DD878162B9" ], 
  [ 
      "\033[2XCoclosedMonoidalRightEvaluationMorphism\033[102X for IsCapCategoryO\
bject, IsCapCategoryObject", "1.8-4", [ 1, 8, 4 ], 1671, 32, 
      "coclosedmonoidalrightevaluationmorphism for iscapcategoryobject iscapca\
tegoryobject", "X83CEC88D79AE5684" ], 
  [ 
      "\033[2XCoclosedMonoidalRightEvaluationMorphismWithGivenRange\033[102X for \
IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.8-5", 
      [ 1, 8, 5 ], 1682, 32, 
      "coclosedmonoidalrightevaluationmorphismwithgivenrange for iscapcategory\
object iscapcategoryobject iscapcategoryobject", "X79333EC9822EA316" ], 
  [ 
      "\033[2XCoclosedMonoidalRightCoevaluationMorphism\033[102X for IsCapCategor\
yObject, IsCapCategoryObject", "1.8-6", [ 1, 8, 6 ], 1693, 32, 
      "coclosedmonoidalrightcoevaluationmorphism for iscapcategoryobject iscap\
categoryobject", "X80CA11547F3909E3" ], 
  [ 
      "\033[2XCoclosedMonoidalRightCoevaluationMorphismWithGivenSource\033[102X f\
or IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.8-7", 
      [ 1, 8, 7 ], 1704, 32, 
      "coclosedmonoidalrightcoevaluationmorphismwithgivensource for iscapcateg\
oryobject iscapcategoryobject iscapcategoryobject", "X7F1C10897EC4D14E" ], 
  [ 
      "\033[2XTensorProductToInternalCoHomRightAdjunctMorphism\033[102X for IsCap\
CategoryObject, IsCapCategoryObject, IsCapCategoryMorphism", "1.8-8", 
      [ 1, 8, 8 ], 1714, 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 ], 1723, 33, 
      "tensorproducttointernalcohomrightadjunctmorphismwithgiveninternalcohom \
for iscapcategoryobject iscapcategoryobject iscapcategorymorphism iscapcategor\
yobject", "X833D7B567810D7F3" ], 
  [ 
      "\033[2XInternalCoHomToTensorProductRightAdjunctMorphism\033[102X for IsCap\
CategoryObject, IsCapCategoryObject, IsCapCategoryMorphism", "1.8-10", 
      [ 1, 8, 10 ], 1733, 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 ], 1743, 33, 
      "internalcohomtotensorproductrightadjunctmorphismwithgiventensorproduct \
for iscapcategoryobject iscapcategoryobject iscapcategorymorphism iscapcategor\
yobject", "X821B5212835BD1F6" ], 
  [ 
      "\033[2XCoclosedMonoidalLeftEvaluationMorphism\033[102X for IsCapCategoryOb\
ject, IsCapCategoryObject", "1.8-12", [ 1, 8, 12 ], 1753, 33, 
      "coclosedmonoidalleftevaluationmorphism for iscapcategoryobject iscapcat\
egoryobject", "X81020D9E85C3280A" ], 
  [ 
      "\033[2XCoclosedMonoidalLeftEvaluationMorphismWithGivenRange\033[102X for I\
sCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.8-13", 
      [ 1, 8, 13 ], 1764, 34, 
      "coclosedmonoidalleftevaluationmorphismwithgivenrange for iscapcategoryo\
bject iscapcategoryobject iscapcategoryobject", "X7A1801D77EECEA29" ], 
  [ 
      "\033[2XCoclosedMonoidalLeftCoevaluationMorphism\033[102X for IsCapCategory\
Object, IsCapCategoryObject", "1.8-14", [ 1, 8, 14 ], 1775, 34, 
      "coclosedmonoidalleftcoevaluationmorphism for iscapcategoryobject iscapc\
ategoryobject", "X7D6905F582F06003" ], 
  [ 
      "\033[2XCoclosedMonoidalLeftCoevaluationMorphismWithGivenSource\033[102X fo\
r IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.8-15", 
      [ 1, 8, 15 ], 1786, 34, 
      "coclosedmonoidalleftcoevaluationmorphismwithgivensource for iscapcatego\
ryobject iscapcategoryobject iscapcategoryobject", "X802A3FC48280FBDE" ], 
  [ 
      "\033[2XTensorProductToInternalCoHomLeftAdjunctMorphism\033[102X for IsCapC\
ategoryObject, IsCapCategoryObject, IsCapCategoryMorphism", "1.8-16", 
      [ 1, 8, 16 ], 1796, 34, 
      "tensorproducttointernalcohomleftadjunctmorphism for iscapcategoryobject\
 iscapcategoryobject iscapcategorymorphism", "X7FB4953B7F813D0B" ], 
  [ 
      "\033[2XTensorProductToInternalCoHomLeftAdjunctMorphismWithGivenInternalCoH\
om\033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphis\
m, IsCapCategoryObject", "1.8-17", [ 1, 8, 17 ], 1805, 34, 
      "tensorproducttointernalcohomleftadjunctmorphismwithgiveninternalcohom f\
or iscapcategoryobject iscapcategoryobject iscapcategorymorphism iscapcategory\
object", "X8312DB0A82A97D4B" ], 
  [ 
      "\033[2XInternalCoHomToTensorProductLeftAdjunctMorphism\033[102X for IsCapC\
ategoryObject, IsCapCategoryObject, IsCapCategoryMorphism", "1.8-18", 
      [ 1, 8, 18 ], 1815, 35, 
      "internalcohomtotensorproductleftadjunctmorphism for iscapcategoryobject\
 iscapcategoryobject iscapcategorymorphism", "X7A7FC1957A1905C6" ], 
  [ 
      "\033[2XInternalCoHomToTensorProductLeftAdjunctMorphismWithGivenTensorProdu\
ct\033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphis\
m, IsCapCategoryObject", "1.8-19", [ 1, 8, 19 ], 1825, 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 ], 1835, 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 ], 1847, 35, 
      "monoidalprecocomposemorphismwithgivenobjects for iscapcategoryobject is\
capcategoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject"
        , "X82A183B0807A0A01" ], 
  [ 
      "\033[2XMonoidalPostCoComposeMorphism\033[102X for IsCapCategoryObject, IsC\
apCategoryObject, IsCapCategoryObject", "1.8-22", [ 1, 8, 22 ], 1859, 35, 
      "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 ], 1871, 36, 
      "monoidalpostcocomposemorphismwithgivenobjects for iscapcategoryobject i\
scapcategoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject\
", "X805DF38880B1E9E0" ], 
  [ "\033[2XCoDualOnObjects\033[102X for IsCapCategoryObject", "1.8-24", 
      [ 1, 8, 24 ], 1883, 36, "codualonobjects for iscapcategoryobject", 
      "X817A1F7986256461" ], 
  [ "\033[2XCoDualOnMorphisms\033[102X for IsCapCategoryMorphism", "1.8-25", 
      [ 1, 8, 25 ], 1890, 36, "codualonmorphisms for iscapcategorymorphism", 
      "X840CBC837926138E" ], 
  [ 
      "\033[2XCoDualOnMorphismsWithGivenCoDuals\033[102X for IsCapCategoryObject,\
 IsCapCategoryMorphism, IsCapCategoryObject", "1.8-26", [ 1, 8, 26 ], 1898, 
      36, 
      "codualonmorphismswithgivencoduals for iscapcategoryobject iscapcategory\
morphism iscapcategoryobject", "X79750BFD824D2AAF" ], 
  [ "\033[2XCoclosedEvaluationForCoDual\033[102X for IsCapCategoryObject", 
      "1.8-27", [ 1, 8, 27 ], 1907, 36, 
      "coclosedevaluationforcodual for iscapcategoryobject", 
      "X7C65C05A788415E4" ], 
  [ 
      "\033[2XCoclosedEvaluationForCoDualWithGivenTensorProduct\033[102X for IsCa\
pCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.8-28", 
      [ 1, 8, 28 ], 1915, 36, 
      "coclosedevaluationforcodualwithgiventensorproduct for iscapcategoryobje\
ct iscapcategoryobject iscapcategoryobject", "X7CAB615C86D97CE8" ], 
  [ "\033[2XMorphismFromCoBidual\033[102X for IsCapCategoryObject", "1.8-29", 
      [ 1, 8, 29 ], 1924, 37, "morphismfromcobidual for iscapcategoryobject", 
      "X7841B6757A510799" ], 
  [ 
      "\033[2XMorphismFromCoBidualWithGivenCoBidual\033[102X for IsCapCategoryObj\
ect, IsCapCategoryObject", "1.8-30", [ 1, 8, 30 ], 1932, 37, 
      "morphismfromcobidualwithgivencobidual for iscapcategoryobject iscapcate\
goryobject", "X7B2B002979E1CBF6" ], 
  [ 
      "\033[2XInternalCoHomTensorProductCompatibilityMorphism\033[102X for IsList\
", "1.8-31", [ 1, 8, 31 ], 1940, 37, 
      "internalcohomtensorproductcompatibilitymorphism for islist", 
      "X7D9E57197C820E0E" ], 
  [ 
      "\033[2XInternalCoHomTensorProductCompatibilityMorphismWithGivenObjects\\
033[102X for IsCapCategoryObject, IsList, IsCapCategoryObject", "1.8-32", 
      [ 1, 8, 32 ], 1953, 37, 
      "internalcohomtensorproductcompatibilitymorphismwithgivenobjects for isc\
apcategoryobject islist iscapcategoryobject", "X81E9DC8D7FCD361F" ], 
  [ 
      "\033[2XCoDualityTensorProductCompatibilityMorphism\033[102X for IsCapCateg\
oryObject, IsCapCategoryObject", "1.8-33", [ 1, 8, 33 ], 1966, 37, 
      "codualitytensorproductcompatibilitymorphism for iscapcategoryobject isc\
apcategoryobject", "X7B817BC97C1F1DF8" ], 
  [ 
      "\033[2XCoDualityTensorProductCompatibilityMorphismWithGivenObjects\033[102\
X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCate\
goryObject", "1.8-34", [ 1, 8, 34 ], 1976, 37, 
      "codualitytensorproductcompatibilitymorphismwithgivenobjects for iscapca\
tegoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X82119ED686D3874C" ], 
  [ 
      "\033[2XMorphismFromInternalCoHomToTensorProduct\033[102X for IsCapCategory\
Object, IsCapCategoryObject", "1.8-35", [ 1, 8, 35 ], 1986, 38, 
      "morphismfrominternalcohomtotensorproduct for iscapcategoryobject iscapc\
ategoryobject", "X7A4971267B80B14F" ], 
  [ 
      "\033[2XMorphismFromInternalCoHomToTensorProductWithGivenObjects\033[102X f\
or IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategor\
yObject", "1.8-36", [ 1, 8, 36 ], 1996, 38, 
      "morphismfrominternalcohomtotensorproductwithgivenobjects for iscapcateg\
oryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X7B60FB927C37E125" ], 
  [ 
      "\033[2XIsomorphismFromCoDualObjectToInternalCoHomFromTensorUnit\033[102X f\
or IsCapCategoryObject", "1.8-37", [ 1, 8, 37 ], 2007, 38, 
      "isomorphismfromcodualobjecttointernalcohomfromtensorunit for iscapcateg\
oryobject", "X86C7E40C85318EFA" ], 
  [ 
      "\033[2XIsomorphismFromInternalCoHomFromTensorUnitToCoDualObject\033[102X f\
or IsCapCategoryObject", "1.8-38", [ 1, 8, 38 ], 2017, 38, 
      "isomorphismfrominternalcohomfromtensorunittocodualobject for iscapcateg\
oryobject", "X84C86E29800BB8BC" ], 
  [ 
      "\033[2XUniversalPropertyOfCoDual\033[102X for IsCapCategoryObject, IsCapCa\
tegoryObject, IsCapCategoryMorphism", "1.8-39", [ 1, 8, 39 ], 2027, 38, 
      "universalpropertyofcodual for iscapcategoryobject iscapcategoryobject i\
scapcategorymorphism", "X7AEE412D80799D09" ], 
  [ "\033[2XCoLambdaIntroduction\033[102X for IsCapCategoryMorphism", 
      "1.8-40", [ 1, 8, 40 ], 2036, 39, 
      "colambdaintroduction for iscapcategorymorphism", "X784CBFB984E66E7A" ],
  [ "\033[2XCoLambdaElimination\033[102X for IsCapCategoryObject, IsCapCategor\
yObject, IsCapCategoryMorphism", "1.8-41", [ 1, 8, 41 ], 2045, 39, 
      "colambdaelimination for iscapcategoryobject iscapcategoryobject iscapca\
tegorymorphism", "X83520B098068CF62" ], 
  [ 
      "\033[2XIsomorphismFromObjectToInternalCoHom\033[102X for IsCapCategoryObje\
ct", "1.8-42", [ 1, 8, 42 ], 2054, 39, 
      "isomorphismfromobjecttointernalcohom for iscapcategoryobject", 
      "X83F11F6184DBD507" ], 
  [ 
      "\033[2XIsomorphismFromObjectToInternalCoHomWithGivenInternalCoHom\033[102X\
 for IsCapCategoryObject, IsCapCategoryObject", "1.8-43", [ 1, 8, 43 ], 2062, 
      39, 
      "isomorphismfromobjecttointernalcohomwithgiveninternalcohom for iscapcat\
egoryobject iscapcategoryobject", "X8233C995828387E9" ], 
  [ 
      "\033[2XIsomorphismFromInternalCoHomToObject\033[102X for IsCapCategoryObje\
ct", "1.8-44", [ 1, 8, 44 ], 2071, 39, 
      "isomorphismfrominternalcohomtoobject for iscapcategoryobject", 
      "X875A349280E2095C" ], 
  [ 
      "\033[2XIsomorphismFromInternalCoHomToObjectWithGivenInternalCoHom\033[102X\
 for IsCapCategoryObject, IsCapCategoryObject", "1.8-45", [ 1, 8, 45 ], 2079, 
      39, 
      "isomorphismfrominternalcohomtoobjectwithgiveninternalcohom for iscapcat\
egoryobject iscapcategoryobject", "X858AD1F986BA5BB2" ], 
  [ 
      "\033[2XIsomorphismFromTensorProductWithDualObjectToInternalHom\033[102X fo\
r IsCapCategoryObject, IsCapCategoryObject", "1.11-1", [ 1, 11, 1 ], 2131, 
      40, 
      "isomorphismfromtensorproductwithdualobjecttointernalhom for iscapcatego\
ryobject iscapcategoryobject", "X782B629D7E7835C9" ], 
  [ 
      "\033[2XIsomorphismFromInternalHomToTensorProductWithDualObject\033[102X fo\
r IsCapCategoryObject, IsCapCategoryObject", "1.11-2", [ 1, 11, 2 ], 2141, 
      40, 
      "isomorphismfrominternalhomtotensorproductwithdualobject for iscapcatego\
ryobject iscapcategoryobject", "X84D0668C7CA0B63D" ], 
  [ 
      "\033[2XMorphismFromInternalHomToTensorProduct\033[102X for IsCapCategoryOb\
ject, IsCapCategoryObject", "1.11-3", [ 1, 11, 3 ], 2152, 40, 
      "morphismfrominternalhomtotensorproduct for iscapcategoryobject iscapcat\
egoryobject", "X7D189B8280CECBA2" ], 
  [ 
      "\033[2XMorphismFromInternalHomToTensorProductWithGivenObjects\033[102X for\
 IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryO\
bject", "1.11-4", [ 1, 11, 4 ], 2163, 41, 
      "morphismfrominternalhomtotensorproductwithgivenobjects for iscapcategor\
yobject iscapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X7D10805D840AAC8D" ], 
  [ 
      "\033[2XTensorProductInternalHomCompatibilityMorphismInverse\033[102X for I\
sList", "1.11-5", [ 1, 11, 5 ], 2175, 41, 
      "tensorproductinternalhomcompatibilitymorphisminverse for islist", 
      "X85BA8C10817296F7" ], 
  [ 
      "\033[2XTensorProductInternalHomCompatibilityMorphismInverseWithGivenObject\
s\033[102X for IsCapCategoryObject, IsList, IsCapCategoryObject", "1.11-6", 
      [ 1, 11, 6 ], 2188, 41, 
      "tensorproductinternalhomcompatibilitymorphisminversewithgivenobjects fo\
r iscapcategoryobject islist iscapcategoryobject", "X7CCE67B281EF45C1" ], 
  [ "\033[2XCoevaluationForDual\033[102X for IsCapCategoryObject", "1.11-7", 
      [ 1, 11, 7 ], 2203, 41, "coevaluationfordual for iscapcategoryobject", 
      "X83849B327C8074E9" ], 
  [ 
      "\033[2XCoevaluationForDualWithGivenTensorProduct\033[102X for IsCapCategor\
yObject, IsCapCategoryObject, IsCapCategoryObject", "1.11-8", [ 1, 11, 8 ], 
      2211, 41, 
      "coevaluationfordualwithgiventensorproduct for iscapcategoryobject iscap\
categoryobject iscapcategoryobject", "X7C65E6A97AAE0DE3" ], 
  [ "\033[2XTraceMap\033[102X for IsCapCategoryMorphism", "1.11-9", 
      [ 1, 11, 9 ], 2220, 41, "tracemap for iscapcategorymorphism", 
      "X85D0C9487A22AFFE" ], 
  [ "\033[2XRankMorphism\033[102X for IsCapCategoryObject", "1.11-10", 
      [ 1, 11, 10 ], 2228, 42, "rankmorphism for iscapcategoryobject", 
      "X82F0DBD485D93793" ], 
  [ "\033[2XMorphismFromBidual\033[102X for IsCapCategoryObject", "1.11-11", 
      [ 1, 11, 11 ], 2236, 42, "morphismfrombidual for iscapcategoryobject", 
      "X7E02E8197EA201EA" ], 
  [ 
      "\033[2XMorphismFromBidualWithGivenBidual\033[102X for IsCapCategoryObject,\
 IsCapCategoryObject", "1.11-12", [ 1, 11, 12 ], 2244, 42, 
      "morphismfrombidualwithgivenbidual for iscapcategoryobject iscapcategory\
object", "X785CF0BB7BC0AC0D" ], 
  [ 
      "\033[2XIsomorphismFromInternalCoHomToTensorProductWithCoDualObject\033[102\
X for IsCapCategoryObject, IsCapCategoryObject", "1.12-1", [ 1, 12, 1 ], 
      2277, 42, 
      "isomorphismfrominternalcohomtotensorproductwithcodualobject for iscapca\
tegoryobject iscapcategoryobject", "X82D4EF587F1C194C" ], 
  [ 
      "\033[2XIsomorphismFromTensorProductWithCoDualObjectToInternalCoHom\033[102\
X for IsCapCategoryObject, IsCapCategoryObject", "1.12-2", [ 1, 12, 2 ], 
      2287, 43, 
      "isomorphismfromtensorproductwithcodualobjecttointernalcohom for iscapca\
tegoryobject iscapcategoryobject", "X7FE736BA834D228A" ], 
  [ 
      "\033[2XMorphismFromTensorProductToInternalCoHom\033[102X for IsCapCategory\
Object, IsCapCategoryObject", "1.12-3", [ 1, 12, 3 ], 2298, 43, 
      "morphismfromtensorproducttointernalcohom for iscapcategoryobject iscapc\
ategoryobject", "X7DCA54857A6B45DF" ], 
  [ 
      "\033[2XMorphismFromTensorProductToInternalCoHomWithGivenObjects\033[102X f\
or IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategor\
yObject", "1.12-4", [ 1, 12, 4 ], 2309, 43, 
      "morphismfromtensorproducttointernalcohomwithgivenobjects for iscapcateg\
oryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X7888F9947DDC15B5" ], 
  [ 
      "\033[2XInternalCoHomTensorProductCompatibilityMorphismInverse\033[102X for\
 IsList", "1.12-5", [ 1, 12, 5 ], 2321, 43, 
      "internalcohomtensorproductcompatibilitymorphisminverse for islist", 
      "X7E71AF0985C5AEC5" ], 
  [ 
      "\033[2XInternalCoHomTensorProductCompatibilityMorphismInverseWithGivenObje\
cts\033[102X for IsCapCategoryObject, IsList, IsCapCategoryObject", "1.12-6", 
      [ 1, 12, 6 ], 2334, 43, 
      "internalcohomtensorproductcompatibilitymorphisminversewithgivenobjects \
for iscapcategoryobject islist iscapcategoryobject", "X87BF8BE67AD5ABCF" ], 
  [ "\033[2XCoclosedCoevaluationForCoDual\033[102X for IsCapCategoryObject", 
      "1.12-7", [ 1, 12, 7 ], 2349, 44, 
      "coclosedcoevaluationforcodual for iscapcategoryobject", 
      "X8695F9D97A8C6C61" ], 
  [ 
      "\033[2XCoclosedCoevaluationForCoDualWithGivenTensorProduct\033[102X for Is\
CapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", "1.12-8", 
      [ 1, 12, 8 ], 2357, 44, 
      "coclosedcoevaluationforcodualwithgiventensorproduct for iscapcategoryob\
ject iscapcategoryobject iscapcategoryobject", "X78B2703A7B81E340" ], 
  [ "\033[2XCoTraceMap\033[102X for IsCapCategoryMorphism", "1.12-9", 
      [ 1, 12, 9 ], 2366, 44, "cotracemap for iscapcategorymorphism", 
      "X829BE5F97A656200" ], 
  [ "\033[2XCoRankMorphism\033[102X for IsCapCategoryObject", "1.12-10", 
      [ 1, 12, 10 ], 2374, 44, "corankmorphism for iscapcategoryobject", 
      "X7C5CC8F97D95AD43" ], 
  [ "\033[2XMorphismToCoBidual\033[102X for IsCapCategoryObject", "1.12-11", 
      [ 1, 12, 11 ], 2382, 44, "morphismtocobidual for iscapcategoryobject", 
      "X85BDB94D85C67725" ], 
  [ 
      "\033[2XMorphismToCoBidualWithGivenCoBidual\033[102X for IsCapCategoryObjec\
t, IsCapCategoryObject", "1.12-12", [ 1, 12, 12 ], 2390, 44, 
      "morphismtocobidualwithgivencobidual for iscapcategoryobject iscapcatego\
ryobject", "X800035BF867418D0" ], 
  [ "\033[2XInternalHom\033[102X for IsCapCategoryCell, IsCapCategoryCell", 
      "1.13-1", [ 1, 13, 1 ], 2402, 45, 
      "internalhom for iscapcategorycell iscapcategorycell", 
      "X8055FF847AC2102A" ], 
  [ "\033[2XInternalCoHom\033[102X for IsCapCategoryCell, IsCapCategoryCell", 
      "1.13-2", [ 1, 13, 2 ], 2413, 45, 
      "internalcohom for iscapcategorycell iscapcategorycell", 
      "X7CB6A9497A971F59" ], 
  [ "\033[2XLeftInternalHom\033[102X for IsCapCategoryCell, IsCapCategoryCell"
        , "1.13-3", [ 1, 13, 3 ], 2425, 45, 
      "leftinternalhom for iscapcategorycell iscapcategorycell", 
      "X82DE5FDA794914A0" ], 
  [ 
      "\033[2XLeftInternalCoHom\033[102X for IsCapCategoryCell, IsCapCategoryCell\
", "1.13-4", [ 1, 13, 4 ], 2437, 45, 
      "leftinternalcohom for iscapcategorycell iscapcategorycell", 
      "X862E6A787C9E1F92" ], 
  [ 
      "\033[2XAddLeftDistributivityExpanding\033[102X for IsCapCategory, IsFuncti\
on", "1.14-1", [ 1, 14, 1 ], 2452, 45, 
      "addleftdistributivityexpanding for iscapcategory isfunction", 
      "X78DA7EC37A1E0CCC" ], 
  [ 
      "\033[2XAddLeftDistributivityExpanding\033[102X for IsCapCategory, IsFuncti\
on, IsInt", "1.14-1", [ 1, 14, 1 ], 2452, 45, 
      "addleftdistributivityexpanding for iscapcategory isfunction isint", 
      "X78DA7EC37A1E0CCC" ], 
  [ 
      "\033[2XAddLeftDistributivityExpandingWithGivenObjects\033[102X for IsCapCa\
tegory, IsFunction", "1.14-2", [ 1, 14, 2 ], 2465, 46, 
      "addleftdistributivityexpandingwithgivenobjects for iscapcategory isfunc\
tion", "X814BA200802D26E4" ], 
  [ 
      "\033[2XAddLeftDistributivityExpandingWithGivenObjects\033[102X for IsCapCa\
tegory, IsFunction, IsInt", "1.14-2", [ 1, 14, 2 ], 2465, 46, 
      "addleftdistributivityexpandingwithgivenobjects for iscapcategory isfunc\
tion isint", "X814BA200802D26E4" ], 
  [ 
      "\033[2XAddLeftDistributivityFactoring\033[102X for IsCapCategory, IsFuncti\
on", "1.14-3", [ 1, 14, 3 ], 2479, 46, 
      "addleftdistributivityfactoring for iscapcategory isfunction", 
      "X8381C23A8264435B" ], 
  [ 
      "\033[2XAddLeftDistributivityFactoring\033[102X for IsCapCategory, IsFuncti\
on, IsInt", "1.14-3", [ 1, 14, 3 ], 2479, 46, 
      "addleftdistributivityfactoring for iscapcategory isfunction isint", 
      "X8381C23A8264435B" ], 
  [ 
      "\033[2XAddLeftDistributivityFactoringWithGivenObjects\033[102X for IsCapCa\
tegory, IsFunction", "1.14-4", [ 1, 14, 4 ], 2492, 46, 
      "addleftdistributivityfactoringwithgivenobjects for iscapcategory isfunc\
tion", "X7F0A439478576973" ], 
  [ 
      "\033[2XAddLeftDistributivityFactoringWithGivenObjects\033[102X for IsCapCa\
tegory, IsFunction, IsInt", "1.14-4", [ 1, 14, 4 ], 2492, 46, 
      "addleftdistributivityfactoringwithgivenobjects for iscapcategory isfunc\
tion isint", "X7F0A439478576973" ], 
  [ 
      "\033[2XAddRightDistributivityExpanding\033[102X for IsCapCategory, IsFunct\
ion", "1.14-5", [ 1, 14, 5 ], 2506, 46, 
      "addrightdistributivityexpanding for iscapcategory isfunction", 
      "X82E93F8E79CB7338" ], 
  [ 
      "\033[2XAddRightDistributivityExpanding\033[102X for IsCapCategory, IsFunct\
ion, IsInt", "1.14-5", [ 1, 14, 5 ], 2506, 46, 
      "addrightdistributivityexpanding for iscapcategory isfunction isint", 
      "X82E93F8E79CB7338" ], 
  [ 
      "\033[2XAddRightDistributivityExpandingWithGivenObjects\033[102X for IsCapC\
ategory, IsFunction", "1.14-6", [ 1, 14, 6 ], 2519, 47, 
      "addrightdistributivityexpandingwithgivenobjects for iscapcategory isfun\
ction", "X7A6178C17EFC817A" ], 
  [ 
      "\033[2XAddRightDistributivityExpandingWithGivenObjects\033[102X for IsCapC\
ategory, IsFunction, IsInt", "1.14-6", [ 1, 14, 6 ], 2519, 47, 
      "addrightdistributivityexpandingwithgivenobjects for iscapcategory isfun\
ction isint", "X7A6178C17EFC817A" ], 
  [ 
      "\033[2XAddRightDistributivityFactoring\033[102X for IsCapCategory, IsFunct\
ion", "1.14-7", [ 1, 14, 7 ], 2533, 47, 
      "addrightdistributivityfactoring for iscapcategory isfunction", 
      "X79B283777BC5F12C" ], 
  [ 
      "\033[2XAddRightDistributivityFactoring\033[102X for IsCapCategory, IsFunct\
ion, IsInt", "1.14-7", [ 1, 14, 7 ], 2533, 47, 
      "addrightdistributivityfactoring for iscapcategory isfunction isint", 
      "X79B283777BC5F12C" ], 
  [ 
      "\033[2XAddRightDistributivityFactoringWithGivenObjects\033[102X for IsCapC\
ategory, IsFunction", "1.14-8", [ 1, 14, 8 ], 2546, 47, 
      "addrightdistributivityfactoringwithgivenobjects for iscapcategory isfun\
ction", "X842099557CF2036E" ], 
  [ 
      "\033[2XAddRightDistributivityFactoringWithGivenObjects\033[102X for IsCapC\
ategory, IsFunction, IsInt", "1.14-8", [ 1, 14, 8 ], 2546, 47, 
      "addrightdistributivityfactoringwithgivenobjects for iscapcategory isfun\
ction isint", "X842099557CF2036E" ], 
  [ "\033[2XAddBraiding\033[102X for IsCapCategory, IsFunction", "1.14-9", 
      [ 1, 14, 9 ], 2560, 47, "addbraiding for iscapcategory isfunction", 
      "X7F9C3FD38397D9D4" ], 
  [ "\033[2XAddBraiding\033[102X for IsCapCategory, IsFunction, IsInt", 
      "1.14-9", [ 1, 14, 9 ], 2560, 47, 
      "addbraiding for iscapcategory isfunction isint", "X7F9C3FD38397D9D4" ],
  [ "\033[2XAddBraidingInverse\033[102X for IsCapCategory, IsFunction", 
      "1.14-10", [ 1, 14, 10 ], 2573, 48, 
      "addbraidinginverse for iscapcategory isfunction", "X8423AA1A862E9780" ]
    , 
  [ "\033[2XAddBraidingInverse\033[102X for IsCapCategory, IsFunction, IsInt",
      "1.14-10", [ 1, 14, 10 ], 2573, 48, 
      "addbraidinginverse for iscapcategory isfunction isint", 
      "X8423AA1A862E9780" ], 
  [ 
      "\033[2XAddBraidingInverseWithGivenTensorProducts\033[102X for IsCapCategor\
y, IsFunction", "1.14-11", [ 1, 14, 11 ], 2586, 48, 
      "addbraidinginversewithgiventensorproducts for iscapcategory isfunction"
        , "X85C7E40583A5955F" ], 
  [ 
      "\033[2XAddBraidingInverseWithGivenTensorProducts\033[102X for IsCapCategor\
y, IsFunction, IsInt", "1.14-11", [ 1, 14, 11 ], 2586, 48, 
      "addbraidinginversewithgiventensorproducts for iscapcategory isfunction \
isint", "X85C7E40583A5955F" ], 
  [ 
      "\033[2XAddBraidingWithGivenTensorProducts\033[102X for IsCapCategory, IsFu\
nction", "1.14-12", [ 1, 14, 12 ], 2600, 48, 
      "addbraidingwithgiventensorproducts for iscapcategory isfunction", 
      "X7A52CBE8801D6B28" ], 
  [ 
      "\033[2XAddBraidingWithGivenTensorProducts\033[102X for IsCapCategory, IsFu\
nction, IsInt", "1.14-12", [ 1, 14, 12 ], 2600, 48, 
      "addbraidingwithgiventensorproducts for iscapcategory isfunction isint",
      "X7A52CBE8801D6B28" ], 
  [ 
      "\033[2XAddClosedMonoidalLeftCoevaluationMorphism\033[102X for IsCapCategor\
y, IsFunction", "1.14-13", [ 1, 14, 13 ], 2613, 48, 
      "addclosedmonoidalleftcoevaluationmorphism for iscapcategory isfunction"
        , "X7996A3A980BD5783" ], 
  [ 
      "\033[2XAddClosedMonoidalLeftCoevaluationMorphism\033[102X for IsCapCategor\
y, IsFunction, IsInt", "1.14-13", [ 1, 14, 13 ], 2613, 48, 
      "addclosedmonoidalleftcoevaluationmorphism for iscapcategory isfunction \
isint", "X7996A3A980BD5783" ], 
  [ 
      "\033[2XAddClosedMonoidalLeftCoevaluationMorphismWithGivenRange\033[102X fo\
r IsCapCategory, IsFunction", "1.14-14", [ 1, 14, 14 ], 2626, 49, 
      "addclosedmonoidalleftcoevaluationmorphismwithgivenrange for iscapcatego\
ry isfunction", "X7FD9DC1D870FB3D2" ], 
  [ 
      "\033[2XAddClosedMonoidalLeftCoevaluationMorphismWithGivenRange\033[102X fo\
r IsCapCategory, IsFunction, IsInt", "1.14-14", [ 1, 14, 14 ], 2626, 49, 
      "addclosedmonoidalleftcoevaluationmorphismwithgivenrange for iscapcatego\
ry isfunction isint", "X7FD9DC1D870FB3D2" ], 
  [ 
      "\033[2XAddClosedMonoidalLeftEvaluationMorphism\033[102X for IsCapCategory,\
 IsFunction", "1.14-15", [ 1, 14, 15 ], 2640, 49, 
      "addclosedmonoidalleftevaluationmorphism for iscapcategory isfunction", 
      "X82E0E46E7B374DA9" ], 
  [ 
      "\033[2XAddClosedMonoidalLeftEvaluationMorphism\033[102X for IsCapCategory,\
 IsFunction, IsInt", "1.14-15", [ 1, 14, 15 ], 2640, 49, 
      "addclosedmonoidalleftevaluationmorphism for iscapcategory isfunction is\
int", "X82E0E46E7B374DA9" ], 
  [ 
      "\033[2XAddClosedMonoidalLeftEvaluationMorphismWithGivenSource\033[102X for\
 IsCapCategory, IsFunction", "1.14-16", [ 1, 14, 16 ], 2653, 49, 
      "addclosedmonoidalleftevaluationmorphismwithgivensource for iscapcategor\
y isfunction", "X8742C27B7D30E543" ], 
  [ 
      "\033[2XAddClosedMonoidalLeftEvaluationMorphismWithGivenSource\033[102X for\
 IsCapCategory, IsFunction, IsInt", "1.14-16", [ 1, 14, 16 ], 2653, 49, 
      "addclosedmonoidalleftevaluationmorphismwithgivensource for iscapcategor\
y isfunction isint", "X8742C27B7D30E543" ], 
  [ 
      "\033[2XAddClosedMonoidalRightCoevaluationMorphism\033[102X for IsCapCatego\
ry, IsFunction", "1.14-17", [ 1, 14, 17 ], 2667, 49, 
      "addclosedmonoidalrightcoevaluationmorphism for iscapcategory isfunction\
", "X870332B286200F2A" ], 
  [ 
      "\033[2XAddClosedMonoidalRightCoevaluationMorphism\033[102X for IsCapCatego\
ry, IsFunction, IsInt", "1.14-17", [ 1, 14, 17 ], 2667, 49, 
      "addclosedmonoidalrightcoevaluationmorphism for iscapcategory isfunction\
 isint", "X870332B286200F2A" ], 
  [ 
      "\033[2XAddClosedMonoidalRightCoevaluationMorphismWithGivenRange\033[102X f\
or IsCapCategory, IsFunction", "1.14-18", [ 1, 14, 18 ], 2680, 50, 
      "addclosedmonoidalrightcoevaluationmorphismwithgivenrange for iscapcateg\
ory isfunction", "X7A06D2CC79874E18" ], 
  [ 
      "\033[2XAddClosedMonoidalRightCoevaluationMorphismWithGivenRange\033[102X f\
or IsCapCategory, IsFunction, IsInt", "1.14-18", [ 1, 14, 18 ], 2680, 50, 
      "addclosedmonoidalrightcoevaluationmorphismwithgivenrange for iscapcateg\
ory isfunction isint", "X7A06D2CC79874E18" ], 
  [ 
      "\033[2XAddClosedMonoidalRightEvaluationMorphism\033[102X for IsCapCategory\
, IsFunction", "1.14-19", [ 1, 14, 19 ], 2694, 50, 
      "addclosedmonoidalrightevaluationmorphism for iscapcategory isfunction",
      "X82FD88E87B30334F" ], 
  [ 
      "\033[2XAddClosedMonoidalRightEvaluationMorphism\033[102X for IsCapCategory\
, IsFunction, IsInt", "1.14-19", [ 1, 14, 19 ], 2694, 50, 
      "addclosedmonoidalrightevaluationmorphism for iscapcategory isfunction i\
sint", "X82FD88E87B30334F" ], 
  [ 
      "\033[2XAddClosedMonoidalRightEvaluationMorphismWithGivenSource\033[102X fo\
r IsCapCategory, IsFunction", "1.14-20", [ 1, 14, 20 ], 2707, 50, 
      "addclosedmonoidalrightevaluationmorphismwithgivensource for iscapcatego\
ry isfunction", "X7ECDA3E47F267341" ], 
  [ 
      "\033[2XAddClosedMonoidalRightEvaluationMorphismWithGivenSource\033[102X fo\
r IsCapCategory, IsFunction, IsInt", "1.14-20", [ 1, 14, 20 ], 2707, 50, 
      "addclosedmonoidalrightevaluationmorphismwithgivensource for iscapcatego\
ry isfunction isint", "X7ECDA3E47F267341" ], 
  [ "\033[2XAddDualOnMorphisms\033[102X for IsCapCategory, IsFunction", 
      "1.14-21", [ 1, 14, 21 ], 2721, 50, 
      "adddualonmorphisms for iscapcategory isfunction", "X800DFCF37CC10CCC" ]
    , 
  [ "\033[2XAddDualOnMorphisms\033[102X for IsCapCategory, IsFunction, IsInt",
      "1.14-21", [ 1, 14, 21 ], 2721, 50, 
      "adddualonmorphisms for iscapcategory isfunction isint", 
      "X800DFCF37CC10CCC" ], 
  [ 
      "\033[2XAddDualOnMorphismsWithGivenDuals\033[102X for IsCapCategory, IsFunc\
tion", "1.14-22", [ 1, 14, 22 ], 2734, 51, 
      "adddualonmorphismswithgivenduals for iscapcategory isfunction", 
      "X85DA12C581E673DE" ], 
  [ 
      "\033[2XAddDualOnMorphismsWithGivenDuals\033[102X for IsCapCategory, IsFunc\
tion, IsInt", "1.14-22", [ 1, 14, 22 ], 2734, 51, 
      "adddualonmorphismswithgivenduals for iscapcategory isfunction isint", 
      "X85DA12C581E673DE" ], 
  [ "\033[2XAddDualOnObjects\033[102X for IsCapCategory, IsFunction", 
      "1.14-23", [ 1, 14, 23 ], 2747, 51, 
      "adddualonobjects for iscapcategory isfunction", "X7BB4DD5381EBF082" ], 
  [ "\033[2XAddDualOnObjects\033[102X for IsCapCategory, IsFunction, IsInt", 
      "1.14-23", [ 1, 14, 23 ], 2747, 51, 
      "adddualonobjects for iscapcategory isfunction isint", 
      "X7BB4DD5381EBF082" ], 
  [ "\033[2XAddEvaluationForDual\033[102X for IsCapCategory, IsFunction", 
      "1.14-24", [ 1, 14, 24 ], 2760, 51, 
      "addevaluationfordual for iscapcategory isfunction", 
      "X7FF9C96186646B7C" ], 
  [ 
      "\033[2XAddEvaluationForDual\033[102X for IsCapCategory, IsFunction, IsInt"
        , "1.14-24", [ 1, 14, 24 ], 2760, 51, 
      "addevaluationfordual for iscapcategory isfunction isint", 
      "X7FF9C96186646B7C" ], 
  [ 
      "\033[2XAddEvaluationForDualWithGivenTensorProduct\033[102X for IsCapCatego\
ry, IsFunction", "1.14-25", [ 1, 14, 25 ], 2773, 51, 
      "addevaluationfordualwithgiventensorproduct for iscapcategory isfunction\
", "X7CB63A4E7E905CD4" ], 
  [ 
      "\033[2XAddEvaluationForDualWithGivenTensorProduct\033[102X for IsCapCatego\
ry, IsFunction, IsInt", "1.14-25", [ 1, 14, 25 ], 2773, 51, 
      "addevaluationfordualwithgiventensorproduct for iscapcategory isfunction\
 isint", "X7CB63A4E7E905CD4" ], 
  [ "\033[2XAddInternalHomOnMorphisms\033[102X for IsCapCategory, IsFunction",
      "1.14-26", [ 1, 14, 26 ], 2787, 51, 
      "addinternalhomonmorphisms for iscapcategory isfunction", 
      "X79A5E1EF7F091948" ], 
  [ 
      "\033[2XAddInternalHomOnMorphisms\033[102X for IsCapCategory, IsFunction, I\
sInt", "1.14-26", [ 1, 14, 26 ], 2787, 51, 
      "addinternalhomonmorphisms for iscapcategory isfunction isint", 
      "X79A5E1EF7F091948" ], 
  [ 
      "\033[2XAddInternalHomOnMorphismsWithGivenInternalHoms\033[102X for IsCapCa\
tegory, IsFunction", "1.14-27", [ 1, 14, 27 ], 2800, 52, 
      "addinternalhomonmorphismswithgiveninternalhoms for iscapcategory isfunc\
tion", "X8070203E80388349" ], 
  [ 
      "\033[2XAddInternalHomOnMorphismsWithGivenInternalHoms\033[102X for IsCapCa\
tegory, IsFunction, IsInt", "1.14-27", [ 1, 14, 27 ], 2800, 52, 
      "addinternalhomonmorphismswithgiveninternalhoms for iscapcategory isfunc\
tion isint", "X8070203E80388349" ], 
  [ "\033[2XAddInternalHomOnObjects\033[102X for IsCapCategory, IsFunction", 
      "1.14-28", [ 1, 14, 28 ], 2814, 52, 
      "addinternalhomonobjects for iscapcategory isfunction", 
      "X7B74F8FD8348D590" ], 
  [ 
      "\033[2XAddInternalHomOnObjects\033[102X for IsCapCategory, IsFunction, IsI\
nt", "1.14-28", [ 1, 14, 28 ], 2814, 52, 
      "addinternalhomonobjects for iscapcategory isfunction isint", 
      "X7B74F8FD8348D590" ], 
  [ 
      "\033[2XAddInternalHomToTensorProductLeftAdjunctMorphism\033[102X for IsCap\
Category, IsFunction", "1.14-29", [ 1, 14, 29 ], 2827, 52, 
      "addinternalhomtotensorproductleftadjunctmorphism for iscapcategory isfu\
nction", "X87D40CEF8247DF33" ], 
  [ 
      "\033[2XAddInternalHomToTensorProductLeftAdjunctMorphism\033[102X for IsCap\
Category, IsFunction, IsInt", "1.14-29", [ 1, 14, 29 ], 2827, 52, 
      "addinternalhomtotensorproductleftadjunctmorphism for iscapcategory isfu\
nction isint", "X87D40CEF8247DF33" ], 
  [ 
      "\033[2XAddInternalHomToTensorProductLeftAdjunctMorphismWithGivenTensorProd\
uct\033[102X for IsCapCategory, IsFunction", "1.14-30", [ 1, 14, 30 ], 2841, 
      52, 
      "addinternalhomtotensorproductleftadjunctmorphismwithgiventensorproduct \
for iscapcategory isfunction", "X82D3E7BD7DD67116" ], 
  [ 
      "\033[2XAddInternalHomToTensorProductLeftAdjunctMorphismWithGivenTensorProd\
uct\033[102X for IsCapCategory, IsFunction, IsInt", "1.14-30", [ 1, 14, 30 ], 
      2841, 52, 
      "addinternalhomtotensorproductleftadjunctmorphismwithgiventensorproduct \
for iscapcategory isfunction isint", "X82D3E7BD7DD67116" ], 
  [ 
      "\033[2XAddInternalHomToTensorProductLeftAdjunctionIsomorphism\033[102X for\
 IsCapCategory, IsFunction", "1.14-31", [ 1, 14, 31 ], 2856, 53, 
      "addinternalhomtotensorproductleftadjunctionisomorphism for iscapcategor\
y isfunction", "X7BBC91088476613F" ], 
  [ 
      "\033[2XAddInternalHomToTensorProductLeftAdjunctionIsomorphism\033[102X for\
 IsCapCategory, IsFunction, IsInt", "1.14-31", [ 1, 14, 31 ], 2856, 53, 
      "addinternalhomtotensorproductleftadjunctionisomorphism for iscapcategor\
y isfunction isint", "X7BBC91088476613F" ], 
  [ 
      "\033[2XAddInternalHomToTensorProductLeftAdjunctionIsomorphismWithGivenObje\
cts\033[102X for IsCapCategory, IsFunction", "1.14-32", [ 1, 14, 32 ], 2870, 
      53, 
      "addinternalhomtotensorproductleftadjunctionisomorphismwithgivenobjects \
for iscapcategory isfunction", "X789D0ED680E7D176" ], 
  [ 
      "\033[2XAddInternalHomToTensorProductLeftAdjunctionIsomorphismWithGivenObje\
cts\033[102X for IsCapCategory, IsFunction, IsInt", "1.14-32", [ 1, 14, 32 ], 
      2870, 53, 
      "addinternalhomtotensorproductleftadjunctionisomorphismwithgivenobjects \
for iscapcategory isfunction isint", "X789D0ED680E7D176" ], 
  [ 
      "\033[2XAddInternalHomToTensorProductRightAdjunctMorphism\033[102X for IsCa\
pCategory, IsFunction", "1.14-33", [ 1, 14, 33 ], 2885, 53, 
      "addinternalhomtotensorproductrightadjunctmorphism for iscapcategory isf\
unction", "X84B3BDBF8294E790" ], 
  [ 
      "\033[2XAddInternalHomToTensorProductRightAdjunctMorphism\033[102X for IsCa\
pCategory, IsFunction, IsInt", "1.14-33", [ 1, 14, 33 ], 2885, 53, 
      "addinternalhomtotensorproductrightadjunctmorphism for iscapcategory isf\
unction isint", "X84B3BDBF8294E790" ], 
  [ 
      "\033[2XAddInternalHomToTensorProductRightAdjunctMorphismWithGivenTensorPro\
duct\033[102X for IsCapCategory, IsFunction", "1.14-34", [ 1, 14, 34 ], 2899, 
      54, 
      "addinternalhomtotensorproductrightadjunctmorphismwithgiventensorproduct\
 for iscapcategory isfunction", "X807104E57D50EEB9" ], 
  [ 
      "\033[2XAddInternalHomToTensorProductRightAdjunctMorphismWithGivenTensorPro\
duct\033[102X for IsCapCategory, IsFunction, IsInt", "1.14-34", 
      [ 1, 14, 34 ], 2899, 54, 
      "addinternalhomtotensorproductrightadjunctmorphismwithgiventensorproduct\
 for iscapcategory isfunction isint", "X807104E57D50EEB9" ], 
  [ 
      "\033[2XAddInternalHomToTensorProductRightAdjunctionIsomorphism\033[102X fo\
r IsCapCategory, IsFunction", "1.14-35", [ 1, 14, 35 ], 2914, 54, 
      "addinternalhomtotensorproductrightadjunctionisomorphism for iscapcatego\
ry isfunction", "X8634234A855F18D5" ], 
  [ 
      "\033[2XAddInternalHomToTensorProductRightAdjunctionIsomorphism\033[102X fo\
r IsCapCategory, IsFunction, IsInt", "1.14-35", [ 1, 14, 35 ], 2914, 54, 
      "addinternalhomtotensorproductrightadjunctionisomorphism for iscapcatego\
ry isfunction isint", "X8634234A855F18D5" ], 
  [ 
      "\033[2XAddInternalHomToTensorProductRightAdjunctionIsomorphismWithGivenObj\
ects\033[102X for IsCapCategory, IsFunction", "1.14-36", [ 1, 14, 36 ], 2928, 
      54, 
      "addinternalhomtotensorproductrightadjunctionisomorphismwithgivenobjects\
 for iscapcategory isfunction", "X7A3FED8E84CD4A02" ], 
  [ 
      "\033[2XAddInternalHomToTensorProductRightAdjunctionIsomorphismWithGivenObj\
ects\033[102X for IsCapCategory, IsFunction, IsInt", "1.14-36", 
      [ 1, 14, 36 ], 2928, 54, 
      "addinternalhomtotensorproductrightadjunctionisomorphismwithgivenobjects\
 for iscapcategory isfunction isint", "X7A3FED8E84CD4A02" ], 
  [ 
      "\033[2XAddIsomorphismFromDualObjectToInternalHomIntoTensorUnit\033[102X fo\
r IsCapCategory, IsFunction", "1.14-37", [ 1, 14, 37 ], 2943, 54, 
      "addisomorphismfromdualobjecttointernalhomintotensorunit for iscapcatego\
ry isfunction", "X7983CB57783E6813" ], 
  [ 
      "\033[2XAddIsomorphismFromDualObjectToInternalHomIntoTensorUnit\033[102X fo\
r IsCapCategory, IsFunction, IsInt", "1.14-37", [ 1, 14, 37 ], 2943, 54, 
      "addisomorphismfromdualobjecttointernalhomintotensorunit for iscapcatego\
ry isfunction isint", "X7983CB57783E6813" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalHomIntoTensorUnitToDualObject\033[102X fo\
r IsCapCategory, IsFunction", "1.14-38", [ 1, 14, 38 ], 2957, 55, 
      "addisomorphismfrominternalhomintotensorunittodualobject for iscapcatego\
ry isfunction", "X84E4949886CB84C9" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalHomIntoTensorUnitToDualObject\033[102X fo\
r IsCapCategory, IsFunction, IsInt", "1.14-38", [ 1, 14, 38 ], 2957, 55, 
      "addisomorphismfrominternalhomintotensorunittodualobject for iscapcatego\
ry isfunction isint", "X84E4949886CB84C9" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalHomToObject\033[102X for IsCapCategory, I\
sFunction", "1.14-39", [ 1, 14, 39 ], 2971, 55, 
      "addisomorphismfrominternalhomtoobject for iscapcategory isfunction", 
      "X7FA9FE2B85CE866D" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalHomToObject\033[102X for IsCapCategory, I\
sFunction, IsInt", "1.14-39", [ 1, 14, 39 ], 2971, 55, 
      "addisomorphismfrominternalhomtoobject for iscapcategory isfunction isin\
t", "X7FA9FE2B85CE866D" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalHomToObjectWithGivenInternalHom\033[102X \
for IsCapCategory, IsFunction", "1.14-40", [ 1, 14, 40 ], 2984, 55, 
      "addisomorphismfrominternalhomtoobjectwithgiveninternalhom for iscapcate\
gory isfunction", "X7D6421147BF6651B" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalHomToObjectWithGivenInternalHom\033[102X \
for IsCapCategory, IsFunction, IsInt", "1.14-40", [ 1, 14, 40 ], 2984, 55, 
      "addisomorphismfrominternalhomtoobjectwithgiveninternalhom for iscapcate\
gory isfunction isint", "X7D6421147BF6651B" ], 
  [ 
      "\033[2XAddIsomorphismFromObjectToInternalHom\033[102X for IsCapCategory, I\
sFunction", "1.14-41", [ 1, 14, 41 ], 2998, 56, 
      "addisomorphismfromobjecttointernalhom for iscapcategory isfunction", 
      "X82538F687DE872DD" ], 
  [ 
      "\033[2XAddIsomorphismFromObjectToInternalHom\033[102X for IsCapCategory, I\
sFunction, IsInt", "1.14-41", [ 1, 14, 41 ], 2998, 56, 
      "addisomorphismfromobjecttointernalhom for iscapcategory isfunction isin\
t", "X82538F687DE872DD" ], 
  [ 
      "\033[2XAddIsomorphismFromObjectToInternalHomWithGivenInternalHom\033[102X \
for IsCapCategory, IsFunction", "1.14-42", [ 1, 14, 42 ], 3011, 56, 
      "addisomorphismfromobjecttointernalhomwithgiveninternalhom for iscapcate\
gory isfunction", "X78ED7FCC83D091AB" ], 
  [ 
      "\033[2XAddIsomorphismFromObjectToInternalHomWithGivenInternalHom\033[102X \
for IsCapCategory, IsFunction, IsInt", "1.14-42", [ 1, 14, 42 ], 3011, 56, 
      "addisomorphismfromobjecttointernalhomwithgiveninternalhom for iscapcate\
gory isfunction isint", "X78ED7FCC83D091AB" ], 
  [ "\033[2XAddLambdaElimination\033[102X for IsCapCategory, IsFunction", 
      "1.14-43", [ 1, 14, 43 ], 3025, 56, 
      "addlambdaelimination for iscapcategory isfunction", 
      "X8406FBCD7EE968FF" ], 
  [ 
      "\033[2XAddLambdaElimination\033[102X for IsCapCategory, IsFunction, IsInt"
        , "1.14-43", [ 1, 14, 43 ], 3025, 56, 
      "addlambdaelimination for iscapcategory isfunction isint", 
      "X8406FBCD7EE968FF" ], 
  [ "\033[2XAddLambdaIntroduction\033[102X for IsCapCategory, IsFunction", 
      "1.14-44", [ 1, 14, 44 ], 3038, 56, 
      "addlambdaintroduction for iscapcategory isfunction", 
      "X84944B6283F2802A" ], 
  [ 
      "\033[2XAddLambdaIntroduction\033[102X for IsCapCategory, IsFunction, IsInt\
", "1.14-44", [ 1, 14, 44 ], 3038, 56, 
      "addlambdaintroduction for iscapcategory isfunction isint", 
      "X84944B6283F2802A" ], 
  [ 
      "\033[2XAddMonoidalPostComposeMorphism\033[102X for IsCapCategory, IsFuncti\
on", "1.14-45", [ 1, 14, 45 ], 3051, 57, 
      "addmonoidalpostcomposemorphism for iscapcategory isfunction", 
      "X843DC64486CB2ED1" ], 
  [ 
      "\033[2XAddMonoidalPostComposeMorphism\033[102X for IsCapCategory, IsFuncti\
on, IsInt", "1.14-45", [ 1, 14, 45 ], 3051, 57, 
      "addmonoidalpostcomposemorphism for iscapcategory isfunction isint", 
      "X843DC64486CB2ED1" ], 
  [ 
      "\033[2XAddMonoidalPostComposeMorphismWithGivenObjects\033[102X for IsCapCa\
tegory, IsFunction", "1.14-46", [ 1, 14, 46 ], 3064, 57, 
      "addmonoidalpostcomposemorphismwithgivenobjects for iscapcategory isfunc\
tion", "X7FC3725A7CF804F9" ], 
  [ 
      "\033[2XAddMonoidalPostComposeMorphismWithGivenObjects\033[102X for IsCapCa\
tegory, IsFunction, IsInt", "1.14-46", [ 1, 14, 46 ], 3064, 57, 
      "addmonoidalpostcomposemorphismwithgivenobjects for iscapcategory isfunc\
tion isint", "X7FC3725A7CF804F9" ], 
  [ 
      "\033[2XAddMonoidalPreComposeMorphism\033[102X for IsCapCategory, IsFunctio\
n", "1.14-47", [ 1, 14, 47 ], 3078, 57, 
      "addmonoidalprecomposemorphism for iscapcategory isfunction", 
      "X7B0C198782C01CBA" ], 
  [ 
      "\033[2XAddMonoidalPreComposeMorphism\033[102X for IsCapCategory, IsFunctio\
n, IsInt", "1.14-47", [ 1, 14, 47 ], 3078, 57, 
      "addmonoidalprecomposemorphism for iscapcategory isfunction isint", 
      "X7B0C198782C01CBA" ], 
  [ 
      "\033[2XAddMonoidalPreComposeMorphismWithGivenObjects\033[102X for IsCapCat\
egory, IsFunction", "1.14-48", [ 1, 14, 48 ], 3091, 57, 
      "addmonoidalprecomposemorphismwithgivenobjects for iscapcategory isfunct\
ion", "X7A22CD657A2A338C" ], 
  [ 
      "\033[2XAddMonoidalPreComposeMorphismWithGivenObjects\033[102X for IsCapCat\
egory, IsFunction, IsInt", "1.14-48", [ 1, 14, 48 ], 3091, 57, 
      "addmonoidalprecomposemorphismwithgivenobjects for iscapcategory isfunct\
ion isint", "X7A22CD657A2A338C" ], 
  [ 
      "\033[2XAddMorphismFromTensorProductToInternalHom\033[102X for IsCapCategor\
y, IsFunction", "1.14-49", [ 1, 14, 49 ], 3105, 58, 
      "addmorphismfromtensorproducttointernalhom for iscapcategory isfunction"
        , "X7CF664D87D8D5CA1" ], 
  [ 
      "\033[2XAddMorphismFromTensorProductToInternalHom\033[102X for IsCapCategor\
y, IsFunction, IsInt", "1.14-49", [ 1, 14, 49 ], 3105, 58, 
      "addmorphismfromtensorproducttointernalhom for iscapcategory isfunction \
isint", "X7CF664D87D8D5CA1" ], 
  [ 
      "\033[2XAddMorphismFromTensorProductToInternalHomWithGivenObjects\033[102X \
for IsCapCategory, IsFunction", "1.14-50", [ 1, 14, 50 ], 3118, 58, 
      "addmorphismfromtensorproducttointernalhomwithgivenobjects for iscapcate\
gory isfunction", "X86D3AF4A80FA738D" ], 
  [ 
      "\033[2XAddMorphismFromTensorProductToInternalHomWithGivenObjects\033[102X \
for IsCapCategory, IsFunction, IsInt", "1.14-50", [ 1, 14, 50 ], 3118, 58, 
      "addmorphismfromtensorproducttointernalhomwithgivenobjects for iscapcate\
gory isfunction isint", "X86D3AF4A80FA738D" ], 
  [ "\033[2XAddMorphismToBidual\033[102X for IsCapCategory, IsFunction", 
      "1.14-51", [ 1, 14, 51 ], 3132, 58, 
      "addmorphismtobidual for iscapcategory isfunction", "X864B98B08041EE6C" 
     ], 
  [ "\033[2XAddMorphismToBidual\033[102X for IsCapCategory, IsFunction, IsInt"
        , "1.14-51", [ 1, 14, 51 ], 3132, 58, 
      "addmorphismtobidual for iscapcategory isfunction isint", 
      "X864B98B08041EE6C" ], 
  [ 
      "\033[2XAddMorphismToBidualWithGivenBidual\033[102X for IsCapCategory, IsFu\
nction", "1.14-52", [ 1, 14, 52 ], 3145, 58, 
      "addmorphismtobidualwithgivenbidual for iscapcategory isfunction", 
      "X84C05B087EFCE599" ], 
  [ 
      "\033[2XAddMorphismToBidualWithGivenBidual\033[102X for IsCapCategory, IsFu\
nction, IsInt", "1.14-52", [ 1, 14, 52 ], 3145, 58, 
      "addmorphismtobidualwithgivenbidual for iscapcategory isfunction isint",
      "X84C05B087EFCE599" ], 
  [ 
      "\033[2XAddTensorProductDualityCompatibilityMorphism\033[102X for IsCapCate\
gory, IsFunction", "1.14-53", [ 1, 14, 53 ], 3158, 59, 
      "addtensorproductdualitycompatibilitymorphism for iscapcategory isfuncti\
on", "X7A020DBF860317F5" ], 
  [ 
      "\033[2XAddTensorProductDualityCompatibilityMorphism\033[102X for IsCapCate\
gory, IsFunction, IsInt", "1.14-53", [ 1, 14, 53 ], 3158, 59, 
      "addtensorproductdualitycompatibilitymorphism for iscapcategory isfuncti\
on isint", "X7A020DBF860317F5" ], 
  [ 
      "\033[2XAddTensorProductDualityCompatibilityMorphismWithGivenObjects\033[10\
2X for IsCapCategory, IsFunction", "1.14-54", [ 1, 14, 54 ], 3172, 59, 
      "addtensorproductdualitycompatibilitymorphismwithgivenobjects for iscapc\
ategory isfunction", "X78D1B6AF8654A950" ], 
  [ 
      "\033[2XAddTensorProductDualityCompatibilityMorphismWithGivenObjects\033[10\
2X for IsCapCategory, IsFunction, IsInt", "1.14-54", [ 1, 14, 54 ], 3172, 59, 
      "addtensorproductdualitycompatibilitymorphismwithgivenobjects for iscapc\
ategory isfunction isint", "X78D1B6AF8654A950" ], 
  [ 
      "\033[2XAddTensorProductInternalHomCompatibilityMorphism\033[102X for IsCap\
Category, IsFunction", "1.14-55", [ 1, 14, 55 ], 3187, 59, 
      "addtensorproductinternalhomcompatibilitymorphism for iscapcategory isfu\
nction", "X83A6EF0B7ED71EED" ], 
  [ 
      "\033[2XAddTensorProductInternalHomCompatibilityMorphism\033[102X for IsCap\
Category, IsFunction, IsInt", "1.14-55", [ 1, 14, 55 ], 3187, 59, 
      "addtensorproductinternalhomcompatibilitymorphism for iscapcategory isfu\
nction isint", "X83A6EF0B7ED71EED" ], 
  [ 
      "\033[2XAddTensorProductInternalHomCompatibilityMorphismWithGivenObjects\\
033[102X for IsCapCategory, IsFunction", "1.14-56", [ 1, 14, 56 ], 3201, 59, 
      "addtensorproductinternalhomcompatibilitymorphismwithgivenobjects for is\
capcategory isfunction", "X871C6B55843A0AF3" ], 
  [ 
      "\033[2XAddTensorProductInternalHomCompatibilityMorphismWithGivenObjects\\
033[102X for IsCapCategory, IsFunction, IsInt", "1.14-56", [ 1, 14, 56 ], 
      3201, 59, 
      "addtensorproductinternalhomcompatibilitymorphismwithgivenobjects for is\
capcategory isfunction isint", "X871C6B55843A0AF3" ], 
  [ 
      "\033[2XAddTensorProductToInternalHomLeftAdjunctMorphism\033[102X for IsCap\
Category, IsFunction", "1.14-57", [ 1, 14, 57 ], 3216, 60, 
      "addtensorproducttointernalhomleftadjunctmorphism for iscapcategory isfu\
nction", "X817EAD878544BF68" ], 
  [ 
      "\033[2XAddTensorProductToInternalHomLeftAdjunctMorphism\033[102X for IsCap\
Category, IsFunction, IsInt", "1.14-57", [ 1, 14, 57 ], 3216, 60, 
      "addtensorproducttointernalhomleftadjunctmorphism for iscapcategory isfu\
nction isint", "X817EAD878544BF68" ], 
  [ 
      "\033[2XAddTensorProductToInternalHomLeftAdjunctMorphismWithGivenInternalHo\
m\033[102X for IsCapCategory, IsFunction", "1.14-58", [ 1, 14, 58 ], 3230, 
      60, 
      "addtensorproducttointernalhomleftadjunctmorphismwithgiveninternalhom fo\
r iscapcategory isfunction", "X7B2FEF0985C2FACE" ], 
  [ 
      "\033[2XAddTensorProductToInternalHomLeftAdjunctMorphismWithGivenInternalHo\
m\033[102X for IsCapCategory, IsFunction, IsInt", "1.14-58", [ 1, 14, 58 ], 
      3230, 60, 
      "addtensorproducttointernalhomleftadjunctmorphismwithgiveninternalhom fo\
r iscapcategory isfunction isint", "X7B2FEF0985C2FACE" ], 
  [ 
      "\033[2XAddTensorProductToInternalHomLeftAdjunctionIsomorphism\033[102X for\
 IsCapCategory, IsFunction", "1.14-59", [ 1, 14, 59 ], 3245, 60, 
      "addtensorproducttointernalhomleftadjunctionisomorphism for iscapcategor\
y isfunction", "X85A8D11983750164" ], 
  [ 
      "\033[2XAddTensorProductToInternalHomLeftAdjunctionIsomorphism\033[102X for\
 IsCapCategory, IsFunction, IsInt", "1.14-59", [ 1, 14, 59 ], 3245, 60, 
      "addtensorproducttointernalhomleftadjunctionisomorphism for iscapcategor\
y isfunction isint", "X85A8D11983750164" ], 
  [ 
      "\033[2XAddTensorProductToInternalHomLeftAdjunctionIsomorphismWithGivenObje\
cts\033[102X for IsCapCategory, IsFunction", "1.14-60", [ 1, 14, 60 ], 3259, 
      61, 
      "addtensorproducttointernalhomleftadjunctionisomorphismwithgivenobjects \
for iscapcategory isfunction", "X7AE873FD87E4B12D" ], 
  [ 
      "\033[2XAddTensorProductToInternalHomLeftAdjunctionIsomorphismWithGivenObje\
cts\033[102X for IsCapCategory, IsFunction, IsInt", "1.14-60", [ 1, 14, 60 ], 
      3259, 61, 
      "addtensorproducttointernalhomleftadjunctionisomorphismwithgivenobjects \
for iscapcategory isfunction isint", "X7AE873FD87E4B12D" ], 
  [ 
      "\033[2XAddTensorProductToInternalHomRightAdjunctMorphism\033[102X for IsCa\
pCategory, IsFunction", "1.14-61", [ 1, 14, 61 ], 3274, 61, 
      "addtensorproducttointernalhomrightadjunctmorphism for iscapcategory isf\
unction", "X7AF5FBEE859787CB" ], 
  [ 
      "\033[2XAddTensorProductToInternalHomRightAdjunctMorphism\033[102X for IsCa\
pCategory, IsFunction, IsInt", "1.14-61", [ 1, 14, 61 ], 3274, 61, 
      "addtensorproducttointernalhomrightadjunctmorphism for iscapcategory isf\
unction isint", "X7AF5FBEE859787CB" ], 
  [ 
      "\033[2XAddTensorProductToInternalHomRightAdjunctMorphismWithGivenInternalH\
om\033[102X for IsCapCategory, IsFunction", "1.14-62", [ 1, 14, 62 ], 3288, 
      61, 
      "addtensorproducttointernalhomrightadjunctmorphismwithgiveninternalhom f\
or iscapcategory isfunction", "X86B3F2BF813AFBDA" ], 
  [ 
      "\033[2XAddTensorProductToInternalHomRightAdjunctMorphismWithGivenInternalH\
om\033[102X for IsCapCategory, IsFunction, IsInt", "1.14-62", [ 1, 14, 62 ], 
      3288, 61, 
      "addtensorproducttointernalhomrightadjunctmorphismwithgiveninternalhom f\
or iscapcategory isfunction isint", "X86B3F2BF813AFBDA" ], 
  [ 
      "\033[2XAddTensorProductToInternalHomRightAdjunctionIsomorphism\033[102X fo\
r IsCapCategory, IsFunction", "1.14-63", [ 1, 14, 63 ], 3303, 61, 
      "addtensorproducttointernalhomrightadjunctionisomorphism for iscapcatego\
ry isfunction", "X79777C5F825C788E" ], 
  [ 
      "\033[2XAddTensorProductToInternalHomRightAdjunctionIsomorphism\033[102X fo\
r IsCapCategory, IsFunction, IsInt", "1.14-63", [ 1, 14, 63 ], 3303, 61, 
      "addtensorproducttointernalhomrightadjunctionisomorphism for iscapcatego\
ry isfunction isint", "X79777C5F825C788E" ], 
  [ 
      "\033[2XAddTensorProductToInternalHomRightAdjunctionIsomorphismWithGivenObj\
ects\033[102X for IsCapCategory, IsFunction", "1.14-64", [ 1, 14, 64 ], 3317, 
      62, 
      "addtensorproducttointernalhomrightadjunctionisomorphismwithgivenobjects\
 for iscapcategory isfunction", "X86FD5F8A83CE2A59" ], 
  [ 
      "\033[2XAddTensorProductToInternalHomRightAdjunctionIsomorphismWithGivenObj\
ects\033[102X for IsCapCategory, IsFunction, IsInt", "1.14-64", 
      [ 1, 14, 64 ], 3317, 62, 
      "addtensorproducttointernalhomrightadjunctionisomorphismwithgivenobjects\
 for iscapcategory isfunction isint", "X86FD5F8A83CE2A59" ], 
  [ "\033[2XAddUniversalPropertyOfDual\033[102X for IsCapCategory, IsFunction"
        , "1.14-65", [ 1, 14, 65 ], 3332, 62, 
      "adduniversalpropertyofdual for iscapcategory isfunction", 
      "X7FCEDB3B7DF69A1E" ], 
  [ 
      "\033[2XAddUniversalPropertyOfDual\033[102X for IsCapCategory, IsFunction, \
IsInt", "1.14-65", [ 1, 14, 65 ], 3332, 62, 
      "adduniversalpropertyofdual for iscapcategory isfunction isint", 
      "X7FCEDB3B7DF69A1E" ], 
  [ "\033[2XAddCoDualOnMorphisms\033[102X for IsCapCategory, IsFunction", 
      "1.14-66", [ 1, 14, 66 ], 3345, 62, 
      "addcodualonmorphisms for iscapcategory isfunction", 
      "X7D23088385F021AA" ], 
  [ 
      "\033[2XAddCoDualOnMorphisms\033[102X for IsCapCategory, IsFunction, IsInt"
        , "1.14-66", [ 1, 14, 66 ], 3345, 62, 
      "addcodualonmorphisms for iscapcategory isfunction isint", 
      "X7D23088385F021AA" ], 
  [ 
      "\033[2XAddCoDualOnMorphismsWithGivenCoDuals\033[102X for IsCapCategory, Is\
Function", "1.14-67", [ 1, 14, 67 ], 3358, 62, 
      "addcodualonmorphismswithgivencoduals for iscapcategory isfunction", 
      "X7C2568FD82259231" ], 
  [ 
      "\033[2XAddCoDualOnMorphismsWithGivenCoDuals\033[102X for IsCapCategory, Is\
Function, IsInt", "1.14-67", [ 1, 14, 67 ], 3358, 62, 
      "addcodualonmorphismswithgivencoduals for iscapcategory isfunction isint\
", "X7C2568FD82259231" ], 
  [ "\033[2XAddCoDualOnObjects\033[102X for IsCapCategory, IsFunction", 
      "1.14-68", [ 1, 14, 68 ], 3371, 63, 
      "addcodualonobjects for iscapcategory isfunction", "X7C1CDE7F855ACB74" ]
    , 
  [ "\033[2XAddCoDualOnObjects\033[102X for IsCapCategory, IsFunction, IsInt",
      "1.14-68", [ 1, 14, 68 ], 3371, 63, 
      "addcodualonobjects for iscapcategory isfunction isint", 
      "X7C1CDE7F855ACB74" ], 
  [ 
      "\033[2XAddCoDualityTensorProductCompatibilityMorphism\033[102X for IsCapCa\
tegory, IsFunction", "1.14-69", [ 1, 14, 69 ], 3384, 63, 
      "addcodualitytensorproductcompatibilitymorphism for iscapcategory isfunc\
tion", "X7D9B355D8261CB17" ], 
  [ 
      "\033[2XAddCoDualityTensorProductCompatibilityMorphism\033[102X for IsCapCa\
tegory, IsFunction, IsInt", "1.14-69", [ 1, 14, 69 ], 3384, 63, 
      "addcodualitytensorproductcompatibilitymorphism for iscapcategory isfunc\
tion isint", "X7D9B355D8261CB17" ], 
  [ 
      "\033[2XAddCoDualityTensorProductCompatibilityMorphismWithGivenObjects\033[\
102X for IsCapCategory, IsFunction", "1.14-70", [ 1, 14, 70 ], 3398, 63, 
      "addcodualitytensorproductcompatibilitymorphismwithgivenobjects for isca\
pcategory isfunction", "X7CE8010980DBA597" ], 
  [ 
      "\033[2XAddCoDualityTensorProductCompatibilityMorphismWithGivenObjects\033[\
102X for IsCapCategory, IsFunction, IsInt", "1.14-70", [ 1, 14, 70 ], 3398, 
      63, 
      "addcodualitytensorproductcompatibilitymorphismwithgivenobjects for isca\
pcategory isfunction isint", "X7CE8010980DBA597" ], 
  [ "\033[2XAddCoLambdaElimination\033[102X for IsCapCategory, IsFunction", 
      "1.14-71", [ 1, 14, 71 ], 3413, 63, 
      "addcolambdaelimination for iscapcategory isfunction", 
      "X7E7962CC7E809023" ], 
  [ 
      "\033[2XAddCoLambdaElimination\033[102X for IsCapCategory, IsFunction, IsIn\
t", "1.14-71", [ 1, 14, 71 ], 3413, 63, 
      "addcolambdaelimination for iscapcategory isfunction isint", 
      "X7E7962CC7E809023" ], 
  [ "\033[2XAddCoLambdaIntroduction\033[102X for IsCapCategory, IsFunction", 
      "1.14-72", [ 1, 14, 72 ], 3426, 64, 
      "addcolambdaintroduction for iscapcategory isfunction", 
      "X7C3868657D8A0400" ], 
  [ 
      "\033[2XAddCoLambdaIntroduction\033[102X for IsCapCategory, IsFunction, IsI\
nt", "1.14-72", [ 1, 14, 72 ], 3426, 64, 
      "addcolambdaintroduction for iscapcategory isfunction isint", 
      "X7C3868657D8A0400" ], 
  [ 
      "\033[2XAddCoclosedEvaluationForCoDual\033[102X for IsCapCategory, IsFuncti\
on", "1.14-73", [ 1, 14, 73 ], 3439, 64, 
      "addcoclosedevaluationforcodual for iscapcategory isfunction", 
      "X839204FD79F2968D" ], 
  [ 
      "\033[2XAddCoclosedEvaluationForCoDual\033[102X for IsCapCategory, IsFuncti\
on, IsInt", "1.14-73", [ 1, 14, 73 ], 3439, 64, 
      "addcoclosedevaluationforcodual for iscapcategory isfunction isint", 
      "X839204FD79F2968D" ], 
  [ 
      "\033[2XAddCoclosedEvaluationForCoDualWithGivenTensorProduct\033[102X for I\
sCapCategory, IsFunction", "1.14-74", [ 1, 14, 74 ], 3452, 64, 
      "addcoclosedevaluationforcodualwithgiventensorproduct for iscapcategory \
isfunction", "X803976DB7C8F307C" ], 
  [ 
      "\033[2XAddCoclosedEvaluationForCoDualWithGivenTensorProduct\033[102X for I\
sCapCategory, IsFunction, IsInt", "1.14-74", [ 1, 14, 74 ], 3452, 64, 
      "addcoclosedevaluationforcodualwithgiventensorproduct for iscapcategory \
isfunction isint", "X803976DB7C8F307C" ], 
  [ 
      "\033[2XAddCoclosedMonoidalLeftCoevaluationMorphism\033[102X for IsCapCateg\
ory, IsFunction", "1.14-75", [ 1, 14, 75 ], 3466, 64, 
      "addcoclosedmonoidalleftcoevaluationmorphism for iscapcategory isfunctio\
n", "X829CAF887FAC5BF0" ], 
  [ 
      "\033[2XAddCoclosedMonoidalLeftCoevaluationMorphism\033[102X for IsCapCateg\
ory, IsFunction, IsInt", "1.14-75", [ 1, 14, 75 ], 3466, 64, 
      "addcoclosedmonoidalleftcoevaluationmorphism for iscapcategory isfunctio\
n isint", "X829CAF887FAC5BF0" ], 
  [ 
      "\033[2XAddCoclosedMonoidalLeftCoevaluationMorphismWithGivenSource\033[102X\
 for IsCapCategory, IsFunction", "1.14-76", [ 1, 14, 76 ], 3479, 65, 
      "addcoclosedmonoidalleftcoevaluationmorphismwithgivensource for iscapcat\
egory isfunction", "X7E7EBA4381366E7A" ], 
  [ 
      "\033[2XAddCoclosedMonoidalLeftCoevaluationMorphismWithGivenSource\033[102X\
 for IsCapCategory, IsFunction, IsInt", "1.14-76", [ 1, 14, 76 ], 3479, 65, 
      "addcoclosedmonoidalleftcoevaluationmorphismwithgivensource for iscapcat\
egory isfunction isint", "X7E7EBA4381366E7A" ], 
  [ 
      "\033[2XAddCoclosedMonoidalLeftEvaluationMorphism\033[102X for IsCapCategor\
y, IsFunction", "1.14-77", [ 1, 14, 77 ], 3493, 65, 
      "addcoclosedmonoidalleftevaluationmorphism for iscapcategory isfunction"
        , "X81EC6B3E80876BC8" ], 
  [ 
      "\033[2XAddCoclosedMonoidalLeftEvaluationMorphism\033[102X for IsCapCategor\
y, IsFunction, IsInt", "1.14-77", [ 1, 14, 77 ], 3493, 65, 
      "addcoclosedmonoidalleftevaluationmorphism for iscapcategory isfunction \
isint", "X81EC6B3E80876BC8" ], 
  [ 
      "\033[2XAddCoclosedMonoidalLeftEvaluationMorphismWithGivenRange\033[102X fo\
r IsCapCategory, IsFunction", "1.14-78", [ 1, 14, 78 ], 3506, 65, 
      "addcoclosedmonoidalleftevaluationmorphismwithgivenrange for iscapcatego\
ry isfunction", "X839DE15C87358F99" ], 
  [ 
      "\033[2XAddCoclosedMonoidalLeftEvaluationMorphismWithGivenRange\033[102X fo\
r IsCapCategory, IsFunction, IsInt", "1.14-78", [ 1, 14, 78 ], 3506, 65, 
      "addcoclosedmonoidalleftevaluationmorphismwithgivenrange for iscapcatego\
ry isfunction isint", "X839DE15C87358F99" ], 
  [ 
      "\033[2XAddCoclosedMonoidalRightCoevaluationMorphism\033[102X for IsCapCate\
gory, IsFunction", "1.14-79", [ 1, 14, 79 ], 3520, 65, 
      "addcoclosedmonoidalrightcoevaluationmorphism for iscapcategory isfuncti\
on", "X78A8CB687ADC4653" ], 
  [ 
      "\033[2XAddCoclosedMonoidalRightCoevaluationMorphism\033[102X for IsCapCate\
gory, IsFunction, IsInt", "1.14-79", [ 1, 14, 79 ], 3520, 65, 
      "addcoclosedmonoidalrightcoevaluationmorphism for iscapcategory isfuncti\
on isint", "X78A8CB687ADC4653" ], 
  [ 
      "\033[2XAddCoclosedMonoidalRightCoevaluationMorphismWithGivenSource\033[102\
X for IsCapCategory, IsFunction", "1.14-80", [ 1, 14, 80 ], 3534, 66, 
      "addcoclosedmonoidalrightcoevaluationmorphismwithgivensource for iscapca\
tegory isfunction", "X783C75CD79B2E8C9" ], 
  [ 
      "\033[2XAddCoclosedMonoidalRightCoevaluationMorphismWithGivenSource\033[102\
X for IsCapCategory, IsFunction, IsInt", "1.14-80", [ 1, 14, 80 ], 3534, 66, 
      "addcoclosedmonoidalrightcoevaluationmorphismwithgivensource for iscapca\
tegory isfunction isint", "X783C75CD79B2E8C9" ], 
  [ 
      "\033[2XAddCoclosedMonoidalRightEvaluationMorphism\033[102X for IsCapCatego\
ry, IsFunction", "1.14-81", [ 1, 14, 81 ], 3548, 66, 
      "addcoclosedmonoidalrightevaluationmorphism for iscapcategory isfunction\
", "X85F82B2F84E55DD2" ], 
  [ 
      "\033[2XAddCoclosedMonoidalRightEvaluationMorphism\033[102X for IsCapCatego\
ry, IsFunction, IsInt", "1.14-81", [ 1, 14, 81 ], 3548, 66, 
      "addcoclosedmonoidalrightevaluationmorphism for iscapcategory isfunction\
 isint", "X85F82B2F84E55DD2" ], 
  [ 
      "\033[2XAddCoclosedMonoidalRightEvaluationMorphismWithGivenRange\033[102X f\
or IsCapCategory, IsFunction", "1.14-82", [ 1, 14, 82 ], 3561, 66, 
      "addcoclosedmonoidalrightevaluationmorphismwithgivenrange for iscapcateg\
ory isfunction", "X86DC2EF07B421CE0" ], 
  [ 
      "\033[2XAddCoclosedMonoidalRightEvaluationMorphismWithGivenRange\033[102X f\
or IsCapCategory, IsFunction, IsInt", "1.14-82", [ 1, 14, 82 ], 3561, 66, 
      "addcoclosedmonoidalrightevaluationmorphismwithgivenrange for iscapcateg\
ory isfunction isint", "X86DC2EF07B421CE0" ], 
  [ 
      "\033[2XAddInternalCoHomOnMorphisms\033[102X for IsCapCategory, IsFunction"
        , "1.14-83", [ 1, 14, 83 ], 3575, 67, 
      "addinternalcohomonmorphisms for iscapcategory isfunction", 
      "X7D63C4A57A467DAA" ], 
  [ 
      "\033[2XAddInternalCoHomOnMorphisms\033[102X for IsCapCategory, IsFunction,\
 IsInt", "1.14-83", [ 1, 14, 83 ], 3575, 67, 
      "addinternalcohomonmorphisms for iscapcategory isfunction isint", 
      "X7D63C4A57A467DAA" ], 
  [ 
      "\033[2XAddInternalCoHomOnMorphismsWithGivenInternalCoHoms\033[102X for IsC\
apCategory, IsFunction", "1.14-84", [ 1, 14, 84 ], 3588, 67, 
      "addinternalcohomonmorphismswithgiveninternalcohoms for iscapcategory is\
function", "X87A67CDD86E0CE05" ], 
  [ 
      "\033[2XAddInternalCoHomOnMorphismsWithGivenInternalCoHoms\033[102X for IsC\
apCategory, IsFunction, IsInt", "1.14-84", [ 1, 14, 84 ], 3588, 67, 
      "addinternalcohomonmorphismswithgiveninternalcohoms for iscapcategory is\
function isint", "X87A67CDD86E0CE05" ], 
  [ "\033[2XAddInternalCoHomOnObjects\033[102X for IsCapCategory, IsFunction",
      "1.14-85", [ 1, 14, 85 ], 3602, 67, 
      "addinternalcohomonobjects for iscapcategory isfunction", 
      "X828648F183570AE3" ], 
  [ 
      "\033[2XAddInternalCoHomOnObjects\033[102X for IsCapCategory, IsFunction, I\
sInt", "1.14-85", [ 1, 14, 85 ], 3602, 67, 
      "addinternalcohomonobjects for iscapcategory isfunction isint", 
      "X828648F183570AE3" ], 
  [ 
      "\033[2XAddInternalCoHomTensorProductCompatibilityMorphism\033[102X for IsC\
apCategory, IsFunction", "1.14-86", [ 1, 14, 86 ], 3615, 67, 
      "addinternalcohomtensorproductcompatibilitymorphism for iscapcategory is\
function", "X78278696834ACA53" ], 
  [ 
      "\033[2XAddInternalCoHomTensorProductCompatibilityMorphism\033[102X for IsC\
apCategory, IsFunction, IsInt", "1.14-86", [ 1, 14, 86 ], 3615, 67, 
      "addinternalcohomtensorproductcompatibilitymorphism for iscapcategory is\
function isint", "X78278696834ACA53" ], 
  [ 
      "\033[2XAddInternalCoHomTensorProductCompatibilityMorphismWithGivenObjects\\
033[102X for IsCapCategory, IsFunction", "1.14-87", [ 1, 14, 87 ], 3629, 68, 
      "addinternalcohomtensorproductcompatibilitymorphismwithgivenobjects for \
iscapcategory isfunction", "X82EA4C857C7BCC60" ], 
  [ 
      "\033[2XAddInternalCoHomTensorProductCompatibilityMorphismWithGivenObjects\\
033[102X for IsCapCategory, IsFunction, IsInt", "1.14-87", [ 1, 14, 87 ], 
      3629, 68, 
      "addinternalcohomtensorproductcompatibilitymorphismwithgivenobjects for \
iscapcategory isfunction isint", "X82EA4C857C7BCC60" ], 
  [ 
      "\033[2XAddInternalCoHomToTensorProductLeftAdjunctMorphism\033[102X for IsC\
apCategory, IsFunction", "1.14-88", [ 1, 14, 88 ], 3644, 68, 
      "addinternalcohomtotensorproductleftadjunctmorphism for iscapcategory is\
function", "X7C7256EE79374540" ], 
  [ 
      "\033[2XAddInternalCoHomToTensorProductLeftAdjunctMorphism\033[102X for IsC\
apCategory, IsFunction, IsInt", "1.14-88", [ 1, 14, 88 ], 3644, 68, 
      "addinternalcohomtotensorproductleftadjunctmorphism for iscapcategory is\
function isint", "X7C7256EE79374540" ], 
  [ 
      "\033[2XAddInternalCoHomToTensorProductLeftAdjunctMorphismWithGivenTensorPr\
oduct\033[102X for IsCapCategory, IsFunction", "1.14-89", [ 1, 14, 89 ], 
      3658, 68, 
      "addinternalcohomtotensorproductleftadjunctmorphismwithgiventensorproduc\
t for iscapcategory isfunction", "X84EBD01D7843FAAD" ], 
  [ 
      "\033[2XAddInternalCoHomToTensorProductLeftAdjunctMorphismWithGivenTensorPr\
oduct\033[102X for IsCapCategory, IsFunction, IsInt", "1.14-89", 
      [ 1, 14, 89 ], 3658, 68, 
      "addinternalcohomtotensorproductleftadjunctmorphismwithgiventensorproduc\
t for iscapcategory isfunction isint", "X84EBD01D7843FAAD" ], 
  [ 
      "\033[2XAddInternalCoHomToTensorProductRightAdjunctMorphism\033[102X for Is\
CapCategory, IsFunction", "1.14-90", [ 1, 14, 90 ], 3673, 68, 
      "addinternalcohomtotensorproductrightadjunctmorphism for iscapcategory i\
sfunction", "X858ED26087369677" ], 
  [ 
      "\033[2XAddInternalCoHomToTensorProductRightAdjunctMorphism\033[102X for Is\
CapCategory, IsFunction, IsInt", "1.14-90", [ 1, 14, 90 ], 3673, 68, 
      "addinternalcohomtotensorproductrightadjunctmorphism for iscapcategory i\
sfunction isint", "X858ED26087369677" ], 
  [ 
      "\033[2XAddInternalCoHomToTensorProductRightAdjunctMorphismWithGivenTensorP\
roduct\033[102X for IsCapCategory, IsFunction", "1.14-91", [ 1, 14, 91 ], 
      3687, 69, 
      "addinternalcohomtotensorproductrightadjunctmorphismwithgiventensorprodu\
ct for iscapcategory isfunction", "X7E97DAC0782AACEC" ], 
  [ 
      "\033[2XAddInternalCoHomToTensorProductRightAdjunctMorphismWithGivenTensorP\
roduct\033[102X for IsCapCategory, IsFunction, IsInt", "1.14-91", 
      [ 1, 14, 91 ], 3687, 69, 
      "addinternalcohomtotensorproductrightadjunctmorphismwithgiventensorprodu\
ct for iscapcategory isfunction isint", "X7E97DAC0782AACEC" ], 
  [ 
      "\033[2XAddIsomorphismFromCoDualObjectToInternalCoHomFromTensorUnit\033[102\
X for IsCapCategory, IsFunction", "1.14-92", [ 1, 14, 92 ], 3702, 69, 
      "addisomorphismfromcodualobjecttointernalcohomfromtensorunit for iscapca\
tegory isfunction", "X7A2B14497B4924A7" ], 
  [ 
      "\033[2XAddIsomorphismFromCoDualObjectToInternalCoHomFromTensorUnit\033[102\
X for IsCapCategory, IsFunction, IsInt", "1.14-92", [ 1, 14, 92 ], 3702, 69, 
      "addisomorphismfromcodualobjecttointernalcohomfromtensorunit for iscapca\
tegory isfunction isint", "X7A2B14497B4924A7" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalCoHomFromTensorUnitToCoDualObject\033[102\
X for IsCapCategory, IsFunction", "1.14-93", [ 1, 14, 93 ], 3716, 69, 
      "addisomorphismfrominternalcohomfromtensorunittocodualobject for iscapca\
tegory isfunction", "X8143326C7BE5E321" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalCoHomFromTensorUnitToCoDualObject\033[102\
X for IsCapCategory, IsFunction, IsInt", "1.14-93", [ 1, 14, 93 ], 3716, 69, 
      "addisomorphismfrominternalcohomfromtensorunittocodualobject for iscapca\
tegory isfunction isint", "X8143326C7BE5E321" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalCoHomToObject\033[102X for IsCapCategory,\
 IsFunction", "1.14-94", [ 1, 14, 94 ], 3730, 70, 
      "addisomorphismfrominternalcohomtoobject for iscapcategory isfunction", 
      "X7C9F35A779395B26" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalCoHomToObject\033[102X for IsCapCategory,\
 IsFunction, IsInt", "1.14-94", [ 1, 14, 94 ], 3730, 70, 
      "addisomorphismfrominternalcohomtoobject for iscapcategory isfunction is\
int", "X7C9F35A779395B26" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalCoHomToObjectWithGivenInternalCoHom\033[1\
02X for IsCapCategory, IsFunction", "1.14-95", [ 1, 14, 95 ], 3743, 70, 
      "addisomorphismfrominternalcohomtoobjectwithgiveninternalcohom for iscap\
category isfunction", "X7D0E88AC7C0304D3" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalCoHomToObjectWithGivenInternalCoHom\033[1\
02X for IsCapCategory, IsFunction, IsInt", "1.14-95", [ 1, 14, 95 ], 3743, 
      70, 
      "addisomorphismfrominternalcohomtoobjectwithgiveninternalcohom for iscap\
category isfunction isint", "X7D0E88AC7C0304D3" ], 
  [ 
      "\033[2XAddIsomorphismFromObjectToInternalCoHom\033[102X for IsCapCategory,\
 IsFunction", "1.14-96", [ 1, 14, 96 ], 3757, 70, 
      "addisomorphismfromobjecttointernalcohom for iscapcategory isfunction", 
      "X7E18F31C86620139" ], 
  [ 
      "\033[2XAddIsomorphismFromObjectToInternalCoHom\033[102X for IsCapCategory,\
 IsFunction, IsInt", "1.14-96", [ 1, 14, 96 ], 3757, 70, 
      "addisomorphismfromobjecttointernalcohom for iscapcategory isfunction is\
int", "X7E18F31C86620139" ], 
  [ 
      "\033[2XAddIsomorphismFromObjectToInternalCoHomWithGivenInternalCoHom\033[1\
02X for IsCapCategory, IsFunction", "1.14-97", [ 1, 14, 97 ], 3770, 70, 
      "addisomorphismfromobjecttointernalcohomwithgiveninternalcohom for iscap\
category isfunction", "X8304276383585ECC" ], 
  [ 
      "\033[2XAddIsomorphismFromObjectToInternalCoHomWithGivenInternalCoHom\033[1\
02X for IsCapCategory, IsFunction, IsInt", "1.14-97", [ 1, 14, 97 ], 3770, 
      70, 
      "addisomorphismfromobjecttointernalcohomwithgiveninternalcohom for iscap\
category isfunction isint", "X8304276383585ECC" ], 
  [ 
      "\033[2XAddMonoidalPostCoComposeMorphism\033[102X for IsCapCategory, IsFunc\
tion", "1.14-98", [ 1, 14, 98 ], 3784, 71, 
      "addmonoidalpostcocomposemorphism for iscapcategory isfunction", 
      "X7DE479077F155716" ], 
  [ 
      "\033[2XAddMonoidalPostCoComposeMorphism\033[102X for IsCapCategory, IsFunc\
tion, IsInt", "1.14-98", [ 1, 14, 98 ], 3784, 71, 
      "addmonoidalpostcocomposemorphism for iscapcategory isfunction isint", 
      "X7DE479077F155716" ], 
  [ 
      "\033[2XAddMonoidalPostCoComposeMorphismWithGivenObjects\033[102X for IsCap\
Category, IsFunction", "1.14-99", [ 1, 14, 99 ], 3797, 71, 
      "addmonoidalpostcocomposemorphismwithgivenobjects for iscapcategory isfu\
nction", "X79858B577BD4F1E1" ], 
  [ 
      "\033[2XAddMonoidalPostCoComposeMorphismWithGivenObjects\033[102X for IsCap\
Category, IsFunction, IsInt", "1.14-99", [ 1, 14, 99 ], 3797, 71, 
      "addmonoidalpostcocomposemorphismwithgivenobjects for iscapcategory isfu\
nction isint", "X79858B577BD4F1E1" ], 
  [ 
      "\033[2XAddMonoidalPreCoComposeMorphism\033[102X for IsCapCategory, IsFunct\
ion", "1.14-100", [ 1, 14, 100 ], 3811, 71, 
      "addmonoidalprecocomposemorphism for iscapcategory isfunction", 
      "X7D1662EA819EA1A2" ], 
  [ 
      "\033[2XAddMonoidalPreCoComposeMorphism\033[102X for IsCapCategory, IsFunct\
ion, IsInt", "1.14-100", [ 1, 14, 100 ], 3811, 71, 
      "addmonoidalprecocomposemorphism for iscapcategory isfunction isint", 
      "X7D1662EA819EA1A2" ], 
  [ 
      "\033[2XAddMonoidalPreCoComposeMorphismWithGivenObjects\033[102X for IsCapC\
ategory, IsFunction", "1.14-101", [ 1, 14, 101 ], 3824, 71, 
      "addmonoidalprecocomposemorphismwithgivenobjects for iscapcategory isfun\
ction", "X81DFED7386A953E0" ], 
  [ 
      "\033[2XAddMonoidalPreCoComposeMorphismWithGivenObjects\033[102X for IsCapC\
ategory, IsFunction, IsInt", "1.14-101", [ 1, 14, 101 ], 3824, 71, 
      "addmonoidalprecocomposemorphismwithgivenobjects for iscapcategory isfun\
ction isint", "X81DFED7386A953E0" ], 
  [ "\033[2XAddMorphismFromCoBidual\033[102X for IsCapCategory, IsFunction", 
      "1.14-102", [ 1, 14, 102 ], 3838, 72, 
      "addmorphismfromcobidual for iscapcategory isfunction", 
      "X7D1615257BAA311F" ], 
  [ 
      "\033[2XAddMorphismFromCoBidual\033[102X for IsCapCategory, IsFunction, IsI\
nt", "1.14-102", [ 1, 14, 102 ], 3838, 72, 
      "addmorphismfromcobidual for iscapcategory isfunction isint", 
      "X7D1615257BAA311F" ], 
  [ 
      "\033[2XAddMorphismFromCoBidualWithGivenCoBidual\033[102X for IsCapCategory\
, IsFunction", "1.14-103", [ 1, 14, 103 ], 3851, 72, 
      "addmorphismfromcobidualwithgivencobidual for iscapcategory isfunction",
      "X84D1F74D8118B2A0" ], 
  [ 
      "\033[2XAddMorphismFromCoBidualWithGivenCoBidual\033[102X for IsCapCategory\
, IsFunction, IsInt", "1.14-103", [ 1, 14, 103 ], 3851, 72, 
      "addmorphismfromcobidualwithgivencobidual for iscapcategory isfunction i\
sint", "X84D1F74D8118B2A0" ], 
  [ 
      "\033[2XAddMorphismFromInternalCoHomToTensorProduct\033[102X for IsCapCateg\
ory, IsFunction", "1.14-104", [ 1, 14, 104 ], 3864, 72, 
      "addmorphismfrominternalcohomtotensorproduct for iscapcategory isfunctio\
n", "X7C3C01F1834A4B9B" ], 
  [ 
      "\033[2XAddMorphismFromInternalCoHomToTensorProduct\033[102X for IsCapCateg\
ory, IsFunction, IsInt", "1.14-104", [ 1, 14, 104 ], 3864, 72, 
      "addmorphismfrominternalcohomtotensorproduct for iscapcategory isfunctio\
n isint", "X7C3C01F1834A4B9B" ], 
  [ 
      "\033[2XAddMorphismFromInternalCoHomToTensorProductWithGivenObjects\033[102\
X for IsCapCategory, IsFunction", "1.14-105", [ 1, 14, 105 ], 3877, 72, 
      "addmorphismfrominternalcohomtotensorproductwithgivenobjects for iscapca\
tegory isfunction", "X87AB2C4D84F19F37" ], 
  [ 
      "\033[2XAddMorphismFromInternalCoHomToTensorProductWithGivenObjects\033[102\
X for IsCapCategory, IsFunction, IsInt", "1.14-105", [ 1, 14, 105 ], 3877, 
      72, 
      "addmorphismfrominternalcohomtotensorproductwithgivenobjects for iscapca\
tegory isfunction isint", "X87AB2C4D84F19F37" ], 
  [ 
      "\033[2XAddTensorProductToInternalCoHomLeftAdjunctMorphism\033[102X for IsC\
apCategory, IsFunction", "1.14-106", [ 1, 14, 106 ], 3892, 73, 
      "addtensorproducttointernalcohomleftadjunctmorphism for iscapcategory is\
function", "X7C0E0CF87FEFEB0D" ], 
  [ 
      "\033[2XAddTensorProductToInternalCoHomLeftAdjunctMorphism\033[102X for IsC\
apCategory, IsFunction, IsInt", "1.14-106", [ 1, 14, 106 ], 3892, 73, 
      "addtensorproducttointernalcohomleftadjunctmorphism for iscapcategory is\
function isint", "X7C0E0CF87FEFEB0D" ], 
  [ 
      "\033[2XAddTensorProductToInternalCoHomLeftAdjunctMorphismWithGivenInternal\
CoHom\033[102X for IsCapCategory, IsFunction", "1.14-107", [ 1, 14, 107 ], 
      3906, 73, 
      "addtensorproducttointernalcohomleftadjunctmorphismwithgiveninternalcoho\
m for iscapcategory isfunction", "X7A838651781657DA" ], 
  [ 
      "\033[2XAddTensorProductToInternalCoHomLeftAdjunctMorphismWithGivenInternal\
CoHom\033[102X for IsCapCategory, IsFunction, IsInt", "1.14-107", 
      [ 1, 14, 107 ], 3906, 73, 
      "addtensorproducttointernalcohomleftadjunctmorphismwithgiveninternalcoho\
m for iscapcategory isfunction isint", "X7A838651781657DA" ], 
  [ 
      "\033[2XAddTensorProductToInternalCoHomRightAdjunctMorphism\033[102X for Is\
CapCategory, IsFunction", "1.14-108", [ 1, 14, 108 ], 3921, 73, 
      "addtensorproducttointernalcohomrightadjunctmorphism for iscapcategory i\
sfunction", "X8123546E81EE383A" ], 
  [ 
      "\033[2XAddTensorProductToInternalCoHomRightAdjunctMorphism\033[102X for Is\
CapCategory, IsFunction, IsInt", "1.14-108", [ 1, 14, 108 ], 3921, 73, 
      "addtensorproducttointernalcohomrightadjunctmorphism for iscapcategory i\
sfunction isint", "X8123546E81EE383A" ], 
  [ 
      "\033[2XAddTensorProductToInternalCoHomRightAdjunctMorphismWithGivenInterna\
lCoHom\033[102X for IsCapCategory, IsFunction", "1.14-109", [ 1, 14, 109 ], 
      3935, 74, 
      "addtensorproducttointernalcohomrightadjunctmorphismwithgiveninternalcoh\
om for iscapcategory isfunction", "X8698898584E99695" ], 
  [ 
      "\033[2XAddTensorProductToInternalCoHomRightAdjunctMorphismWithGivenInterna\
lCoHom\033[102X for IsCapCategory, IsFunction, IsInt", "1.14-109", 
      [ 1, 14, 109 ], 3935, 74, 
      "addtensorproducttointernalcohomrightadjunctmorphismwithgiveninternalcoh\
om for iscapcategory isfunction isint", "X8698898584E99695" ], 
  [ 
      "\033[2XAddUniversalPropertyOfCoDual\033[102X for IsCapCategory, IsFunction\
", "1.14-110", [ 1, 14, 110 ], 3950, 74, 
      "adduniversalpropertyofcodual for iscapcategory isfunction", 
      "X8519ECF17EC07916" ], 
  [ 
      "\033[2XAddUniversalPropertyOfCoDual\033[102X for IsCapCategory, IsFunction\
, IsInt", "1.14-110", [ 1, 14, 110 ], 3950, 74, 
      "adduniversalpropertyofcodual for iscapcategory isfunction isint", 
      "X8519ECF17EC07916" ], 
  [ 
      "\033[2XAddIsomorphismFromLeftDualObjectToLeftInternalHomIntoTensorUnit\\
033[102X for IsCapCategory, IsFunction", "1.14-111", [ 1, 14, 111 ], 3963, 
      74, 
      "addisomorphismfromleftdualobjecttoleftinternalhomintotensorunit for isc\
apcategory isfunction", "X7F868E597F1C1AD7" ], 
  [ 
      "\033[2XAddIsomorphismFromLeftDualObjectToLeftInternalHomIntoTensorUnit\\
033[102X for IsCapCategory, IsFunction, IsInt", "1.14-111", [ 1, 14, 111 ], 
      3963, 74, 
      "addisomorphismfromleftdualobjecttoleftinternalhomintotensorunit for isc\
apcategory isfunction isint", "X7F868E597F1C1AD7" ], 
  [ 
      "\033[2XAddIsomorphismFromLeftInternalHomIntoTensorUnitToLeftDualObject\\
033[102X for IsCapCategory, IsFunction", "1.14-112", [ 1, 14, 112 ], 3977, 
      74, 
      "addisomorphismfromleftinternalhomintotensorunittoleftdualobject for isc\
apcategory isfunction", "X810B50C27901021C" ], 
  [ 
      "\033[2XAddIsomorphismFromLeftInternalHomIntoTensorUnitToLeftDualObject\\
033[102X for IsCapCategory, IsFunction, IsInt", "1.14-112", [ 1, 14, 112 ], 
      3977, 74, 
      "addisomorphismfromleftinternalhomintotensorunittoleftdualobject for isc\
apcategory isfunction isint", "X810B50C27901021C" ], 
  [ 
      "\033[2XAddIsomorphismFromLeftInternalHomToObject\033[102X for IsCapCategor\
y, IsFunction", "1.14-113", [ 1, 14, 113 ], 3991, 75, 
      "addisomorphismfromleftinternalhomtoobject for iscapcategory isfunction"
        , "X87415032853E8340" ], 
  [ 
      "\033[2XAddIsomorphismFromLeftInternalHomToObject\033[102X for IsCapCategor\
y, IsFunction, IsInt", "1.14-113", [ 1, 14, 113 ], 3991, 75, 
      "addisomorphismfromleftinternalhomtoobject for iscapcategory isfunction \
isint", "X87415032853E8340" ], 
  [ 
      "\033[2XAddIsomorphismFromLeftInternalHomToObjectWithGivenLeftInternalHom\\
033[102X for IsCapCategory, IsFunction", "1.14-114", [ 1, 14, 114 ], 4004, 
      75, 
      "addisomorphismfromleftinternalhomtoobjectwithgivenleftinternalhom for i\
scapcategory isfunction", "X83DAADEE8139DACA" ], 
  [ 
      "\033[2XAddIsomorphismFromLeftInternalHomToObjectWithGivenLeftInternalHom\\
033[102X for IsCapCategory, IsFunction, IsInt", "1.14-114", [ 1, 14, 114 ], 
      4004, 75, 
      "addisomorphismfromleftinternalhomtoobjectwithgivenleftinternalhom for i\
scapcategory isfunction isint", "X83DAADEE8139DACA" ], 
  [ 
      "\033[2XAddIsomorphismFromObjectToLeftInternalHom\033[102X for IsCapCategor\
y, IsFunction", "1.14-115", [ 1, 14, 115 ], 4019, 75, 
      "addisomorphismfromobjecttoleftinternalhom for iscapcategory isfunction"
        , "X7FA337D07BCD9D5B" ], 
  [ 
      "\033[2XAddIsomorphismFromObjectToLeftInternalHom\033[102X for IsCapCategor\
y, IsFunction, IsInt", "1.14-115", [ 1, 14, 115 ], 4019, 75, 
      "addisomorphismfromobjecttoleftinternalhom for iscapcategory isfunction \
isint", "X7FA337D07BCD9D5B" ], 
  [ 
      "\033[2XAddIsomorphismFromObjectToLeftInternalHomWithGivenLeftInternalHom\\
033[102X for IsCapCategory, IsFunction", "1.14-116", [ 1, 14, 116 ], 4032, 
      76, 
      "addisomorphismfromobjecttoleftinternalhomwithgivenleftinternalhom for i\
scapcategory isfunction", "X7EA7B1777FCAC4D1" ], 
  [ 
      "\033[2XAddIsomorphismFromObjectToLeftInternalHomWithGivenLeftInternalHom\\
033[102X for IsCapCategory, IsFunction, IsInt", "1.14-116", [ 1, 14, 116 ], 
      4032, 76, 
      "addisomorphismfromobjecttoleftinternalhomwithgivenleftinternalhom for i\
scapcategory isfunction isint", "X7EA7B1777FCAC4D1" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalCoevaluationMorphism\033[102X for IsCapCategor\
y, IsFunction", "1.14-117", [ 1, 14, 117 ], 4047, 76, 
      "addleftclosedmonoidalcoevaluationmorphism for iscapcategory isfunction"
        , "X7D1E4F66851991AB" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalCoevaluationMorphism\033[102X for IsCapCategor\
y, IsFunction, IsInt", "1.14-117", [ 1, 14, 117 ], 4047, 76, 
      "addleftclosedmonoidalcoevaluationmorphism for iscapcategory isfunction \
isint", "X7D1E4F66851991AB" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalCoevaluationMorphismWithGivenRange\033[102X fo\
r IsCapCategory, IsFunction", "1.14-118", [ 1, 14, 118 ], 4060, 76, 
      "addleftclosedmonoidalcoevaluationmorphismwithgivenrange for iscapcatego\
ry isfunction", "X7EF0D5B782AB75FA" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalCoevaluationMorphismWithGivenRange\033[102X fo\
r IsCapCategory, IsFunction, IsInt", "1.14-118", [ 1, 14, 118 ], 4060, 76, 
      "addleftclosedmonoidalcoevaluationmorphismwithgivenrange for iscapcatego\
ry isfunction isint", "X7EF0D5B782AB75FA" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalEvaluationForLeftDual\033[102X for IsCapCatego\
ry, IsFunction", "1.14-119", [ 1, 14, 119 ], 4074, 76, 
      "addleftclosedmonoidalevaluationforleftdual for iscapcategory isfunction\
", "X7FD8142C7CBF7FB1" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalEvaluationForLeftDual\033[102X for IsCapCatego\
ry, IsFunction, IsInt", "1.14-119", [ 1, 14, 119 ], 4074, 76, 
      "addleftclosedmonoidalevaluationforleftdual for iscapcategory isfunction\
 isint", "X7FD8142C7CBF7FB1" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalEvaluationForLeftDualWithGivenTensorProduct\\
033[102X for IsCapCategory, IsFunction", "1.14-120", [ 1, 14, 120 ], 4087, 
      77, 
      "addleftclosedmonoidalevaluationforleftdualwithgiventensorproduct for is\
capcategory isfunction", "X7A89130185CCF31D" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalEvaluationForLeftDualWithGivenTensorProduct\\
033[102X for IsCapCategory, IsFunction, IsInt", "1.14-120", [ 1, 14, 120 ], 
      4087, 77, 
      "addleftclosedmonoidalevaluationforleftdualwithgiventensorproduct for is\
capcategory isfunction isint", "X7A89130185CCF31D" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalEvaluationMorphism\033[102X for IsCapCategory,\
 IsFunction", "1.14-121", [ 1, 14, 121 ], 4102, 77, 
      "addleftclosedmonoidalevaluationmorphism for iscapcategory isfunction", 
      "X7D75530C7E938B81" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalEvaluationMorphism\033[102X for IsCapCategory,\
 IsFunction, IsInt", "1.14-121", [ 1, 14, 121 ], 4102, 77, 
      "addleftclosedmonoidalevaluationmorphism for iscapcategory isfunction is\
int", "X7D75530C7E938B81" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalEvaluationMorphismWithGivenSource\033[102X for\
 IsCapCategory, IsFunction", "1.14-122", [ 1, 14, 122 ], 4115, 77, 
      "addleftclosedmonoidalevaluationmorphismwithgivensource for iscapcategor\
y isfunction", "X8535FD8E7894236B" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalEvaluationMorphismWithGivenSource\033[102X for\
 IsCapCategory, IsFunction, IsInt", "1.14-122", [ 1, 14, 122 ], 4115, 77, 
      "addleftclosedmonoidalevaluationmorphismwithgivensource for iscapcategor\
y isfunction isint", "X8535FD8E7894236B" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalLambdaElimination\033[102X for IsCapCategory, \
IsFunction", "1.14-123", [ 1, 14, 123 ], 4129, 77, 
      "addleftclosedmonoidallambdaelimination for iscapcategory isfunction", 
      "X869B3FD87FC09E21" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalLambdaElimination\033[102X for IsCapCategory, \
IsFunction, IsInt", "1.14-123", [ 1, 14, 123 ], 4129, 77, 
      "addleftclosedmonoidallambdaelimination for iscapcategory isfunction isi\
nt", "X869B3FD87FC09E21" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalLambdaIntroduction\033[102X for IsCapCategory,\
 IsFunction", "1.14-124", [ 1, 14, 124 ], 4142, 78, 
      "addleftclosedmonoidallambdaintroduction for iscapcategory isfunction", 
      "X7CC085AB7DBC581A" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalLambdaIntroduction\033[102X for IsCapCategory,\
 IsFunction, IsInt", "1.14-124", [ 1, 14, 124 ], 4142, 78, 
      "addleftclosedmonoidallambdaintroduction for iscapcategory isfunction is\
int", "X7CC085AB7DBC581A" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalPostComposeMorphism\033[102X for IsCapCategory\
, IsFunction", "1.14-125", [ 1, 14, 125 ], 4155, 78, 
      "addleftclosedmonoidalpostcomposemorphism for iscapcategory isfunction",
      "X7BE971CB7E989544" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalPostComposeMorphism\033[102X for IsCapCategory\
, IsFunction, IsInt", "1.14-125", [ 1, 14, 125 ], 4155, 78, 
      "addleftclosedmonoidalpostcomposemorphism for iscapcategory isfunction i\
sint", "X7BE971CB7E989544" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalPostComposeMorphismWithGivenObjects\033[102X f\
or IsCapCategory, IsFunction", "1.14-126", [ 1, 14, 126 ], 4169, 78, 
      "addleftclosedmonoidalpostcomposemorphismwithgivenobjects for iscapcateg\
ory isfunction", "X7B6DBF17796A971A" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalPostComposeMorphismWithGivenObjects\033[102X f\
or IsCapCategory, IsFunction, IsInt", "1.14-126", [ 1, 14, 126 ], 4169, 78, 
      "addleftclosedmonoidalpostcomposemorphismwithgivenobjects for iscapcateg\
ory isfunction isint", "X7B6DBF17796A971A" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalPreComposeMorphism\033[102X for IsCapCategory,\
 IsFunction", "1.14-127", [ 1, 14, 127 ], 4184, 78, 
      "addleftclosedmonoidalprecomposemorphism for iscapcategory isfunction", 
      "X799401467830D201" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalPreComposeMorphism\033[102X for IsCapCategory,\
 IsFunction, IsInt", "1.14-127", [ 1, 14, 127 ], 4184, 78, 
      "addleftclosedmonoidalprecomposemorphism for iscapcategory isfunction is\
int", "X799401467830D201" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalPreComposeMorphismWithGivenObjects\033[102X fo\
r IsCapCategory, IsFunction", "1.14-128", [ 1, 14, 128 ], 4198, 79, 
      "addleftclosedmonoidalprecomposemorphismwithgivenobjects for iscapcatego\
ry isfunction", "X7915D4437C9257A5" ], 
  [ 
      "\033[2XAddLeftClosedMonoidalPreComposeMorphismWithGivenObjects\033[102X fo\
r IsCapCategory, IsFunction, IsInt", "1.14-128", [ 1, 14, 128 ], 4198, 79, 
      "addleftclosedmonoidalprecomposemorphismwithgivenobjects for iscapcatego\
ry isfunction isint", "X7915D4437C9257A5" ], 
  [ "\033[2XAddLeftDualOnMorphisms\033[102X for IsCapCategory, IsFunction", 
      "1.14-129", [ 1, 14, 129 ], 4213, 79, 
      "addleftdualonmorphisms for iscapcategory isfunction", 
      "X79D85C017917C1D4" ], 
  [ 
      "\033[2XAddLeftDualOnMorphisms\033[102X for IsCapCategory, IsFunction, IsIn\
t", "1.14-129", [ 1, 14, 129 ], 4213, 79, 
      "addleftdualonmorphisms for iscapcategory isfunction isint", 
      "X79D85C017917C1D4" ], 
  [ 
      "\033[2XAddLeftDualOnMorphismsWithGivenLeftDuals\033[102X for IsCapCategory\
, IsFunction", "1.14-130", [ 1, 14, 130 ], 4226, 79, 
      "addleftdualonmorphismswithgivenleftduals for iscapcategory isfunction",
      "X816C625A82BCDDE3" ], 
  [ 
      "\033[2XAddLeftDualOnMorphismsWithGivenLeftDuals\033[102X for IsCapCategory\
, IsFunction, IsInt", "1.14-130", [ 1, 14, 130 ], 4226, 79, 
      "addleftdualonmorphismswithgivenleftduals for iscapcategory isfunction i\
sint", "X816C625A82BCDDE3" ], 
  [ "\033[2XAddLeftDualOnObjects\033[102X for IsCapCategory, IsFunction", 
      "1.14-131", [ 1, 14, 131 ], 4240, 79, 
      "addleftdualonobjects for iscapcategory isfunction", 
      "X7CB93B6E8555359D" ], 
  [ 
      "\033[2XAddLeftDualOnObjects\033[102X for IsCapCategory, IsFunction, IsInt"
        , "1.14-131", [ 1, 14, 131 ], 4240, 79, 
      "addleftdualonobjects for iscapcategory isfunction isint", 
      "X7CB93B6E8555359D" ], 
  [ 
      "\033[2XAddLeftInternalHomOnMorphisms\033[102X for IsCapCategory, IsFunctio\
n", "1.14-132", [ 1, 14, 132 ], 4253, 80, 
      "addleftinternalhomonmorphisms for iscapcategory isfunction", 
      "X79B3B2F586530EFF" ], 
  [ 
      "\033[2XAddLeftInternalHomOnMorphisms\033[102X for IsCapCategory, IsFunctio\
n, IsInt", "1.14-132", [ 1, 14, 132 ], 4253, 80, 
      "addleftinternalhomonmorphisms for iscapcategory isfunction isint", 
      "X79B3B2F586530EFF" ], 
  [ 
      "\033[2XAddLeftInternalHomOnMorphismsWithGivenLeftInternalHoms\033[102X for\
 IsCapCategory, IsFunction", "1.14-133", [ 1, 14, 133 ], 4266, 80, 
      "addleftinternalhomonmorphismswithgivenleftinternalhoms for iscapcategor\
y isfunction", "X7DDC722B78B659A2" ], 
  [ 
      "\033[2XAddLeftInternalHomOnMorphismsWithGivenLeftInternalHoms\033[102X for\
 IsCapCategory, IsFunction, IsInt", "1.14-133", [ 1, 14, 133 ], 4266, 80, 
      "addleftinternalhomonmorphismswithgivenleftinternalhoms for iscapcategor\
y isfunction isint", "X7DDC722B78B659A2" ], 
  [ 
      "\033[2XAddLeftInternalHomOnObjects\033[102X for IsCapCategory, IsFunction"
        , "1.14-134", [ 1, 14, 134 ], 4281, 80, 
      "addleftinternalhomonobjects for iscapcategory isfunction", 
      "X7FCF9DEA7F6B73F9" ], 
  [ 
      "\033[2XAddLeftInternalHomOnObjects\033[102X for IsCapCategory, IsFunction,\
 IsInt", "1.14-134", [ 1, 14, 134 ], 4281, 80, 
      "addleftinternalhomonobjects for iscapcategory isfunction isint", 
      "X7FCF9DEA7F6B73F9" ], 
  [ 
      "\033[2XAddLeftInternalHomToTensorProductAdjunctMorphism\033[102X for IsCap\
Category, IsFunction", "1.14-135", [ 1, 14, 135 ], 4294, 80, 
      "addleftinternalhomtotensorproductadjunctmorphism for iscapcategory isfu\
nction", "X7F5EAC1E8104166E" ], 
  [ 
      "\033[2XAddLeftInternalHomToTensorProductAdjunctMorphism\033[102X for IsCap\
Category, IsFunction, IsInt", "1.14-135", [ 1, 14, 135 ], 4294, 80, 
      "addleftinternalhomtotensorproductadjunctmorphism for iscapcategory isfu\
nction isint", "X7F5EAC1E8104166E" ], 
  [ 
      "\033[2XAddLeftInternalHomToTensorProductAdjunctMorphismWithGivenTensorProd\
uct\033[102X for IsCapCategory, IsFunction", "1.14-136", [ 1, 14, 136 ], 
      4308, 81, 
      "addleftinternalhomtotensorproductadjunctmorphismwithgiventensorproduct \
for iscapcategory isfunction", "X7C437ED77E95B84B" ], 
  [ 
      "\033[2XAddLeftInternalHomToTensorProductAdjunctMorphismWithGivenTensorProd\
uct\033[102X for IsCapCategory, IsFunction, IsInt", "1.14-136", 
      [ 1, 14, 136 ], 4308, 81, 
      "addleftinternalhomtotensorproductadjunctmorphismwithgiventensorproduct \
for iscapcategory isfunction isint", "X7C437ED77E95B84B" ], 
  [ 
      "\033[2XAddMorphismFromTensorProductToLeftInternalHom\033[102X for IsCapCat\
egory, IsFunction", "1.14-137", [ 1, 14, 137 ], 4323, 81, 
      "addmorphismfromtensorproducttoleftinternalhom for iscapcategory isfunct\
ion", "X7CA082FF7B01D8FB" ], 
  [ 
      "\033[2XAddMorphismFromTensorProductToLeftInternalHom\033[102X for IsCapCat\
egory, IsFunction, IsInt", "1.14-137", [ 1, 14, 137 ], 4323, 81, 
      "addmorphismfromtensorproducttoleftinternalhom for iscapcategory isfunct\
ion isint", "X7CA082FF7B01D8FB" ], 
  [ 
      "\033[2XAddMorphismFromTensorProductToLeftInternalHomWithGivenObjects\033[1\
02X for IsCapCategory, IsFunction", "1.14-138", [ 1, 14, 138 ], 4337, 81, 
      "addmorphismfromtensorproducttoleftinternalhomwithgivenobjects for iscap\
category isfunction", "X8028DDA77A2AF1D0" ], 
  [ 
      "\033[2XAddMorphismFromTensorProductToLeftInternalHomWithGivenObjects\033[1\
02X for IsCapCategory, IsFunction, IsInt", "1.14-138", [ 1, 14, 138 ], 4337, 
      81, 
      "addmorphismfromtensorproducttoleftinternalhomwithgivenobjects for iscap\
category isfunction isint", "X8028DDA77A2AF1D0" ], 
  [ "\033[2XAddMorphismToLeftBidual\033[102X for IsCapCategory, IsFunction", 
      "1.14-139", [ 1, 14, 139 ], 4352, 82, 
      "addmorphismtoleftbidual for iscapcategory isfunction", 
      "X80EC71197C2C11D1" ], 
  [ 
      "\033[2XAddMorphismToLeftBidual\033[102X for IsCapCategory, IsFunction, IsI\
nt", "1.14-139", [ 1, 14, 139 ], 4352, 82, 
      "addmorphismtoleftbidual for iscapcategory isfunction isint", 
      "X80EC71197C2C11D1" ], 
  [ 
      "\033[2XAddMorphismToLeftBidualWithGivenLeftBidual\033[102X for IsCapCatego\
ry, IsFunction", "1.14-140", [ 1, 14, 140 ], 4365, 82, 
      "addmorphismtoleftbidualwithgivenleftbidual for iscapcategory isfunction\
", "X869265BC78942371" ], 
  [ 
      "\033[2XAddMorphismToLeftBidualWithGivenLeftBidual\033[102X for IsCapCatego\
ry, IsFunction, IsInt", "1.14-140", [ 1, 14, 140 ], 4365, 82, 
      "addmorphismtoleftbidualwithgivenleftbidual for iscapcategory isfunction\
 isint", "X869265BC78942371" ], 
  [ 
      "\033[2XAddTensorProductLeftDualityCompatibilityMorphism\033[102X for IsCap\
Category, IsFunction", "1.14-141", [ 1, 14, 141 ], 4378, 82, 
      "addtensorproductleftdualitycompatibilitymorphism for iscapcategory isfu\
nction", "X7953DC1F805D8C1A" ], 
  [ 
      "\033[2XAddTensorProductLeftDualityCompatibilityMorphism\033[102X for IsCap\
Category, IsFunction, IsInt", "1.14-141", [ 1, 14, 141 ], 4378, 82, 
      "addtensorproductleftdualitycompatibilitymorphism for iscapcategory isfu\
nction isint", "X7953DC1F805D8C1A" ], 
  [ 
      "\033[2XAddTensorProductLeftDualityCompatibilityMorphismWithGivenObjects\\
033[102X for IsCapCategory, IsFunction", "1.14-142", [ 1, 14, 142 ], 4392, 
      82, 
      "addtensorproductleftdualitycompatibilitymorphismwithgivenobjects for is\
capcategory isfunction", "X836F9F347AB09804" ], 
  [ 
      "\033[2XAddTensorProductLeftDualityCompatibilityMorphismWithGivenObjects\\
033[102X for IsCapCategory, IsFunction, IsInt", "1.14-142", [ 1, 14, 142 ], 
      4392, 82, 
      "addtensorproductleftdualitycompatibilitymorphismwithgivenobjects for is\
capcategory isfunction isint", "X836F9F347AB09804" ], 
  [ 
      "\033[2XAddTensorProductLeftInternalHomCompatibilityMorphism\033[102X for I\
sCapCategory, IsFunction", "1.14-143", [ 1, 14, 143 ], 4407, 83, 
      "addtensorproductleftinternalhomcompatibilitymorphism for iscapcategory \
isfunction", "X7A76B21F7DD29DD4" ], 
  [ 
      "\033[2XAddTensorProductLeftInternalHomCompatibilityMorphism\033[102X for I\
sCapCategory, IsFunction, IsInt", "1.14-143", [ 1, 14, 143 ], 4407, 83, 
      "addtensorproductleftinternalhomcompatibilitymorphism for iscapcategory \
isfunction isint", "X7A76B21F7DD29DD4" ], 
  [ 
      "\033[2XAddTensorProductLeftInternalHomCompatibilityMorphismWithGivenObject\
s\033[102X for IsCapCategory, IsFunction", "1.14-144", [ 1, 14, 144 ], 4421, 
      83, 
      "addtensorproductleftinternalhomcompatibilitymorphismwithgivenobjects fo\
r iscapcategory isfunction", "X78BE6DC079995BE8" ], 
  [ 
      "\033[2XAddTensorProductLeftInternalHomCompatibilityMorphismWithGivenObject\
s\033[102X for IsCapCategory, IsFunction, IsInt", "1.14-144", [ 1, 14, 144 ], 
      4421, 83, 
      "addtensorproductleftinternalhomcompatibilitymorphismwithgivenobjects fo\
r iscapcategory isfunction isint", "X78BE6DC079995BE8" ], 
  [ 
      "\033[2XAddTensorProductToLeftInternalHomAdjunctMorphism\033[102X for IsCap\
Category, IsFunction", "1.14-145", [ 1, 14, 145 ], 4436, 83, 
      "addtensorproducttoleftinternalhomadjunctmorphism for iscapcategory isfu\
nction", "X7A7B64B17E0CB68F" ], 
  [ 
      "\033[2XAddTensorProductToLeftInternalHomAdjunctMorphism\033[102X for IsCap\
Category, IsFunction, IsInt", "1.14-145", [ 1, 14, 145 ], 4436, 83, 
      "addtensorproducttoleftinternalhomadjunctmorphism for iscapcategory isfu\
nction isint", "X7A7B64B17E0CB68F" ], 
  [ 
      "\033[2XAddTensorProductToLeftInternalHomAdjunctMorphismWithGivenLeftIntern\
alHom\033[102X for IsCapCategory, IsFunction", "1.14-146", [ 1, 14, 146 ], 
      4450, 83, 
      "addtensorproducttoleftinternalhomadjunctmorphismwithgivenleftinternalho\
m for iscapcategory isfunction", "X852D330679DA479F" ], 
  [ 
      "\033[2XAddTensorProductToLeftInternalHomAdjunctMorphismWithGivenLeftIntern\
alHom\033[102X for IsCapCategory, IsFunction, IsInt", "1.14-146", 
      [ 1, 14, 146 ], 4450, 83, 
      "addtensorproducttoleftinternalhomadjunctmorphismwithgivenleftinternalho\
m for iscapcategory isfunction isint", "X852D330679DA479F" ], 
  [ 
      "\033[2XAddUniversalPropertyOfLeftDual\033[102X for IsCapCategory, IsFuncti\
on", "1.14-147", [ 1, 14, 147 ], 4465, 84, 
      "adduniversalpropertyofleftdual for iscapcategory isfunction", 
      "X814F44BD7ED47029" ], 
  [ 
      "\033[2XAddUniversalPropertyOfLeftDual\033[102X for IsCapCategory, IsFuncti\
on, IsInt", "1.14-147", [ 1, 14, 147 ], 4465, 84, 
      "adduniversalpropertyofleftdual for iscapcategory isfunction isint", 
      "X814F44BD7ED47029" ], 
  [ 
      "\033[2XAddIsomorphismFromLeftCoDualObjectToLeftInternalCoHomFromTensorUnit\
\033[102X for IsCapCategory, IsFunction", "1.14-148", [ 1, 14, 148 ], 4478, 
      84, 
      "addisomorphismfromleftcodualobjecttoleftinternalcohomfromtensorunit for\
 iscapcategory isfunction", "X7DF0FCAF7EF18F8F" ], 
  [ 
      "\033[2XAddIsomorphismFromLeftCoDualObjectToLeftInternalCoHomFromTensorUnit\
\033[102X for IsCapCategory, IsFunction, IsInt", "1.14-148", [ 1, 14, 148 ], 
      4478, 84, 
      "addisomorphismfromleftcodualobjecttoleftinternalcohomfromtensorunit for\
 iscapcategory isfunction isint", "X7DF0FCAF7EF18F8F" ], 
  [ 
      "\033[2XAddIsomorphismFromLeftInternalCoHomFromTensorUnitToLeftCoDualObject\
\033[102X for IsCapCategory, IsFunction", "1.14-149", [ 1, 14, 149 ], 4492, 
      84, 
      "addisomorphismfromleftinternalcohomfromtensorunittoleftcodualobject for\
 iscapcategory isfunction", "X85BAFAF48192ADFD" ], 
  [ 
      "\033[2XAddIsomorphismFromLeftInternalCoHomFromTensorUnitToLeftCoDualObject\
\033[102X for IsCapCategory, IsFunction, IsInt", "1.14-149", [ 1, 14, 149 ], 
      4492, 84, 
      "addisomorphismfromleftinternalcohomfromtensorunittoleftcodualobject for\
 iscapcategory isfunction isint", "X85BAFAF48192ADFD" ], 
  [ 
      "\033[2XAddIsomorphismFromLeftInternalCoHomToObject\033[102X for IsCapCateg\
ory, IsFunction", "1.14-150", [ 1, 14, 150 ], 4506, 85, 
      "addisomorphismfromleftinternalcohomtoobject for iscapcategory isfunctio\
n", "X7F13CA18790E4170" ], 
  [ 
      "\033[2XAddIsomorphismFromLeftInternalCoHomToObject\033[102X for IsCapCateg\
ory, IsFunction, IsInt", "1.14-150", [ 1, 14, 150 ], 4506, 85, 
      "addisomorphismfromleftinternalcohomtoobject for iscapcategory isfunctio\
n isint", "X7F13CA18790E4170" ], 
  [ 
      "\033[2XAddIsomorphismFromLeftInternalCoHomToObjectWithGivenLeftInternalCoH\
om\033[102X for IsCapCategory, IsFunction", "1.14-151", [ 1, 14, 151 ], 4519, 
      85, 
      "addisomorphismfromleftinternalcohomtoobjectwithgivenleftinternalcohom f\
or iscapcategory isfunction", "X8695E6B0854AC59F" ], 
  [ 
      "\033[2XAddIsomorphismFromLeftInternalCoHomToObjectWithGivenLeftInternalCoH\
om\033[102X for IsCapCategory, IsFunction, IsInt", "1.14-151", 
      [ 1, 14, 151 ], 4519, 85, 
      "addisomorphismfromleftinternalcohomtoobjectwithgivenleftinternalcohom f\
or iscapcategory isfunction isint", "X8695E6B0854AC59F" ], 
  [ 
      "\033[2XAddIsomorphismFromObjectToLeftInternalCoHom\033[102X for IsCapCateg\
ory, IsFunction", "1.14-152", [ 1, 14, 152 ], 4534, 85, 
      "addisomorphismfromobjecttoleftinternalcohom for iscapcategory isfunctio\
n", "X78B4B7FE82DC4548" ], 
  [ 
      "\033[2XAddIsomorphismFromObjectToLeftInternalCoHom\033[102X for IsCapCateg\
ory, IsFunction, IsInt", "1.14-152", [ 1, 14, 152 ], 4534, 85, 
      "addisomorphismfromobjecttoleftinternalcohom for iscapcategory isfunctio\
n isint", "X78B4B7FE82DC4548" ], 
  [ 
      "\033[2XAddIsomorphismFromObjectToLeftInternalCoHomWithGivenLeftInternalCoH\
om\033[102X for IsCapCategory, IsFunction", "1.14-153", [ 1, 14, 153 ], 4547, 
      85, 
      "addisomorphismfromobjecttoleftinternalcohomwithgivenleftinternalcohom f\
or iscapcategory isfunction", "X8569A8107E98C1A7" ], 
  [ 
      "\033[2XAddIsomorphismFromObjectToLeftInternalCoHomWithGivenLeftInternalCoH\
om\033[102X for IsCapCategory, IsFunction, IsInt", "1.14-153", 
      [ 1, 14, 153 ], 4547, 85, 
      "addisomorphismfromobjecttoleftinternalcohomwithgivenleftinternalcohom f\
or iscapcategory isfunction isint", "X8569A8107E98C1A7" ], 
  [ "\033[2XAddLeftCoDualOnMorphisms\033[102X for IsCapCategory, IsFunction", 
      "1.14-154", [ 1, 14, 154 ], 4562, 86, 
      "addleftcodualonmorphisms for iscapcategory isfunction", 
      "X834FFF597E5AD96E" ], 
  [ 
      "\033[2XAddLeftCoDualOnMorphisms\033[102X for IsCapCategory, IsFunction, Is\
Int", "1.14-154", [ 1, 14, 154 ], 4562, 86, 
      "addleftcodualonmorphisms for iscapcategory isfunction isint", 
      "X834FFF597E5AD96E" ], 
  [ 
      "\033[2XAddLeftCoDualOnMorphismsWithGivenLeftCoDuals\033[102X for IsCapCate\
gory, IsFunction", "1.14-155", [ 1, 14, 155 ], 4575, 86, 
      "addleftcodualonmorphismswithgivenleftcoduals for iscapcategory isfuncti\
on", "X7EFAFD687AE8B744" ], 
  [ 
      "\033[2XAddLeftCoDualOnMorphismsWithGivenLeftCoDuals\033[102X for IsCapCate\
gory, IsFunction, IsInt", "1.14-155", [ 1, 14, 155 ], 4575, 86, 
      "addleftcodualonmorphismswithgivenleftcoduals for iscapcategory isfuncti\
on isint", "X7EFAFD687AE8B744" ], 
  [ "\033[2XAddLeftCoDualOnObjects\033[102X for IsCapCategory, IsFunction", 
      "1.14-156", [ 1, 14, 156 ], 4589, 86, 
      "addleftcodualonobjects for iscapcategory isfunction", 
      "X85C97E8D7982AA91" ], 
  [ 
      "\033[2XAddLeftCoDualOnObjects\033[102X for IsCapCategory, IsFunction, IsIn\
t", "1.14-156", [ 1, 14, 156 ], 4589, 86, 
      "addleftcodualonobjects for iscapcategory isfunction isint", 
      "X85C97E8D7982AA91" ], 
  [ 
      "\033[2XAddLeftCoDualityTensorProductCompatibilityMorphism\033[102X for IsC\
apCategory, IsFunction", "1.14-157", [ 1, 14, 157 ], 4602, 86, 
      "addleftcodualitytensorproductcompatibilitymorphism for iscapcategory is\
function", "X859C18CA80B931C8" ], 
  [ 
      "\033[2XAddLeftCoDualityTensorProductCompatibilityMorphism\033[102X for IsC\
apCategory, IsFunction, IsInt", "1.14-157", [ 1, 14, 157 ], 4602, 86, 
      "addleftcodualitytensorproductcompatibilitymorphism for iscapcategory is\
function isint", "X859C18CA80B931C8" ], 
  [ 
      "\033[2XAddLeftCoDualityTensorProductCompatibilityMorphismWithGivenObjects\\
033[102X for IsCapCategory, IsFunction", "1.14-158", [ 1, 14, 158 ], 4616, 
      87, 
      "addleftcodualitytensorproductcompatibilitymorphismwithgivenobjects for \
iscapcategory isfunction", "X7D8D0BE17F8837FB" ], 
  [ 
      "\033[2XAddLeftCoDualityTensorProductCompatibilityMorphismWithGivenObjects\\
033[102X for IsCapCategory, IsFunction, IsInt", "1.14-158", [ 1, 14, 158 ], 
      4616, 87, 
      "addleftcodualitytensorproductcompatibilitymorphismwithgivenobjects for \
iscapcategory isfunction isint", "X7D8D0BE17F8837FB" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalCoevaluationMorphism\033[102X for IsCapCateg\
ory, IsFunction", "1.14-159", [ 1, 14, 159 ], 4631, 87, 
      "addleftcoclosedmonoidalcoevaluationmorphism for iscapcategory isfunctio\
n", "X788B63417F1F60F9" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalCoevaluationMorphism\033[102X for IsCapCateg\
ory, IsFunction, IsInt", "1.14-159", [ 1, 14, 159 ], 4631, 87, 
      "addleftcoclosedmonoidalcoevaluationmorphism for iscapcategory isfunctio\
n isint", "X788B63417F1F60F9" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalCoevaluationMorphismWithGivenSource\033[102X\
 for IsCapCategory, IsFunction", "1.14-160", [ 1, 14, 160 ], 4644, 87, 
      "addleftcoclosedmonoidalcoevaluationmorphismwithgivensource for iscapcat\
egory isfunction", "X82B5F67881855573" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalCoevaluationMorphismWithGivenSource\033[102X\
 for IsCapCategory, IsFunction, IsInt", "1.14-160", [ 1, 14, 160 ], 4644, 87, 
      "addleftcoclosedmonoidalcoevaluationmorphismwithgivensource for iscapcat\
egory isfunction isint", "X82B5F67881855573" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalEvaluationForLeftCoDual\033[102X for IsCapCa\
tegory, IsFunction", "1.14-161", [ 1, 14, 161 ], 4658, 88, 
      "addleftcoclosedmonoidalevaluationforleftcodual for iscapcategory isfunc\
tion", "X7825101881671E7F" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalEvaluationForLeftCoDual\033[102X for IsCapCa\
tegory, IsFunction, IsInt", "1.14-161", [ 1, 14, 161 ], 4658, 88, 
      "addleftcoclosedmonoidalevaluationforleftcodual for iscapcategory isfunc\
tion isint", "X7825101881671E7F" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalEvaluationForLeftCoDualWithGivenTensorProduc\
t\033[102X for IsCapCategory, IsFunction", "1.14-162", [ 1, 14, 162 ], 4671, 
      88, 
      "addleftcoclosedmonoidalevaluationforleftcodualwithgiventensorproduct fo\
r iscapcategory isfunction", "X846EE69A797450F9" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalEvaluationForLeftCoDualWithGivenTensorProduc\
t\033[102X for IsCapCategory, IsFunction, IsInt", "1.14-162", [ 1, 14, 162 ], 
      4671, 88, 
      "addleftcoclosedmonoidalevaluationforleftcodualwithgiventensorproduct fo\
r iscapcategory isfunction isint", "X846EE69A797450F9" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalEvaluationMorphism\033[102X for IsCapCategor\
y, IsFunction", "1.14-163", [ 1, 14, 163 ], 4686, 88, 
      "addleftcoclosedmonoidalevaluationmorphism for iscapcategory isfunction"
        , "X826AE548803450C1" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalEvaluationMorphism\033[102X for IsCapCategor\
y, IsFunction, IsInt", "1.14-163", [ 1, 14, 163 ], 4686, 88, 
      "addleftcoclosedmonoidalevaluationmorphism for iscapcategory isfunction \
isint", "X826AE548803450C1" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalEvaluationMorphismWithGivenRange\033[102X fo\
r IsCapCategory, IsFunction", "1.14-164", [ 1, 14, 164 ], 4699, 88, 
      "addleftcoclosedmonoidalevaluationmorphismwithgivenrange for iscapcatego\
ry isfunction", "X8082909C8786B490" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalEvaluationMorphismWithGivenRange\033[102X fo\
r IsCapCategory, IsFunction, IsInt", "1.14-164", [ 1, 14, 164 ], 4699, 88, 
      "addleftcoclosedmonoidalevaluationmorphismwithgivenrange for iscapcatego\
ry isfunction isint", "X8082909C8786B490" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalLambdaElimination\033[102X for IsCapCategory\
, IsFunction", "1.14-165", [ 1, 14, 165 ], 4713, 89, 
      "addleftcoclosedmonoidallambdaelimination for iscapcategory isfunction",
      "X84635F4580F63BD0" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalLambdaElimination\033[102X for IsCapCategory\
, IsFunction, IsInt", "1.14-165", [ 1, 14, 165 ], 4713, 89, 
      "addleftcoclosedmonoidallambdaelimination for iscapcategory isfunction i\
sint", "X84635F4580F63BD0" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalLambdaIntroduction\033[102X for IsCapCategor\
y, IsFunction", "1.14-166", [ 1, 14, 166 ], 4727, 89, 
      "addleftcoclosedmonoidallambdaintroduction for iscapcategory isfunction"
        , "X83DF33EF7A19E291" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalLambdaIntroduction\033[102X for IsCapCategor\
y, IsFunction, IsInt", "1.14-166", [ 1, 14, 166 ], 4727, 89, 
      "addleftcoclosedmonoidallambdaintroduction for iscapcategory isfunction \
isint", "X83DF33EF7A19E291" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalPostCoComposeMorphism\033[102X for IsCapCate\
gory, IsFunction", "1.14-167", [ 1, 14, 167 ], 4740, 89, 
      "addleftcoclosedmonoidalpostcocomposemorphism for iscapcategory isfuncti\
on", "X7954E35E784BCB8B" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalPostCoComposeMorphism\033[102X for IsCapCate\
gory, IsFunction, IsInt", "1.14-167", [ 1, 14, 167 ], 4740, 89, 
      "addleftcoclosedmonoidalpostcocomposemorphism for iscapcategory isfuncti\
on isint", "X7954E35E784BCB8B" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalPostCoComposeMorphismWithGivenObjects\033[10\
2X for IsCapCategory, IsFunction", "1.14-168", [ 1, 14, 168 ], 4754, 89, 
      "addleftcoclosedmonoidalpostcocomposemorphismwithgivenobjects for iscapc\
ategory isfunction", "X7FE2EC92781C752E" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalPostCoComposeMorphismWithGivenObjects\033[10\
2X for IsCapCategory, IsFunction, IsInt", "1.14-168", [ 1, 14, 168 ], 4754, 
      89, 
      "addleftcoclosedmonoidalpostcocomposemorphismwithgivenobjects for iscapc\
ategory isfunction isint", "X7FE2EC92781C752E" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalPreCoComposeMorphism\033[102X for IsCapCateg\
ory, IsFunction", "1.14-169", [ 1, 14, 169 ], 4769, 90, 
      "addleftcoclosedmonoidalprecocomposemorphism for iscapcategory isfunctio\
n", "X7DC17F0884BAD720" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalPreCoComposeMorphism\033[102X for IsCapCateg\
ory, IsFunction, IsInt", "1.14-169", [ 1, 14, 169 ], 4769, 90, 
      "addleftcoclosedmonoidalprecocomposemorphism for iscapcategory isfunctio\
n isint", "X7DC17F0884BAD720" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalPreCoComposeMorphismWithGivenObjects\033[102\
X for IsCapCategory, IsFunction", "1.14-170", [ 1, 14, 170 ], 4783, 90, 
      "addleftcoclosedmonoidalprecocomposemorphismwithgivenobjects for iscapca\
tegory isfunction", "X86DB94FE8301038C" ], 
  [ 
      "\033[2XAddLeftCoclosedMonoidalPreCoComposeMorphismWithGivenObjects\033[102\
X for IsCapCategory, IsFunction, IsInt", "1.14-170", [ 1, 14, 170 ], 4783, 
      90, 
      "addleftcoclosedmonoidalprecocomposemorphismwithgivenobjects for iscapca\
tegory isfunction isint", "X86DB94FE8301038C" ], 
  [ 
      "\033[2XAddLeftInternalCoHomOnMorphisms\033[102X for IsCapCategory, IsFunct\
ion", "1.14-171", [ 1, 14, 171 ], 4798, 90, 
      "addleftinternalcohomonmorphisms for iscapcategory isfunction", 
      "X829E5F7E783539C3" ], 
  [ 
      "\033[2XAddLeftInternalCoHomOnMorphisms\033[102X for IsCapCategory, IsFunct\
ion, IsInt", "1.14-171", [ 1, 14, 171 ], 4798, 90, 
      "addleftinternalcohomonmorphisms for iscapcategory isfunction isint", 
      "X829E5F7E783539C3" ], 
  [ 
      "\033[2XAddLeftInternalCoHomOnMorphismsWithGivenLeftInternalCoHoms\033[102X\
 for IsCapCategory, IsFunction", "1.14-172", [ 1, 14, 172 ], 4811, 91, 
      "addleftinternalcohomonmorphismswithgivenleftinternalcohoms for iscapcat\
egory isfunction", "X78538C8E78635666" ], 
  [ 
      "\033[2XAddLeftInternalCoHomOnMorphismsWithGivenLeftInternalCoHoms\033[102X\
 for IsCapCategory, IsFunction, IsInt", "1.14-172", [ 1, 14, 172 ], 4811, 91, 
      "addleftinternalcohomonmorphismswithgivenleftinternalcohoms for iscapcat\
egory isfunction isint", "X78538C8E78635666" ], 
  [ 
      "\033[2XAddLeftInternalCoHomOnObjects\033[102X for IsCapCategory, IsFunctio\
n", "1.14-173", [ 1, 14, 173 ], 4826, 91, 
      "addleftinternalcohomonobjects for iscapcategory isfunction", 
      "X82901BEB81D0A428" ], 
  [ 
      "\033[2XAddLeftInternalCoHomOnObjects\033[102X for IsCapCategory, IsFunctio\
n, IsInt", "1.14-173", [ 1, 14, 173 ], 4826, 91, 
      "addleftinternalcohomonobjects for iscapcategory isfunction isint", 
      "X82901BEB81D0A428" ], 
  [ 
      "\033[2XAddLeftInternalCoHomTensorProductCompatibilityMorphism\033[102X for\
 IsCapCategory, IsFunction", "1.14-174", [ 1, 14, 174 ], 4839, 91, 
      "addleftinternalcohomtensorproductcompatibilitymorphism for iscapcategor\
y isfunction", "X814CCC847F369708" ], 
  [ 
      "\033[2XAddLeftInternalCoHomTensorProductCompatibilityMorphism\033[102X for\
 IsCapCategory, IsFunction, IsInt", "1.14-174", [ 1, 14, 174 ], 4839, 91, 
      "addleftinternalcohomtensorproductcompatibilitymorphism for iscapcategor\
y isfunction isint", "X814CCC847F369708" ], 
  [ 
      "\033[2XAddLeftInternalCoHomTensorProductCompatibilityMorphismWithGivenObje\
cts\033[102X for IsCapCategory, IsFunction", "1.14-175", [ 1, 14, 175 ], 
      4853, 91, 
      "addleftinternalcohomtensorproductcompatibilitymorphismwithgivenobjects \
for iscapcategory isfunction", "X7C3A3DEB7BA72741" ], 
  [ 
      "\033[2XAddLeftInternalCoHomTensorProductCompatibilityMorphismWithGivenObje\
cts\033[102X for IsCapCategory, IsFunction, IsInt", "1.14-175", 
      [ 1, 14, 175 ], 4853, 91, 
      "addleftinternalcohomtensorproductcompatibilitymorphismwithgivenobjects \
for iscapcategory isfunction isint", "X7C3A3DEB7BA72741" ], 
  [ 
      "\033[2XAddLeftInternalCoHomToTensorProductAdjunctMorphism\033[102X for IsC\
apCategory, IsFunction", "1.14-176", [ 1, 14, 176 ], 4868, 92, 
      "addleftinternalcohomtotensorproductadjunctmorphism for iscapcategory is\
function", "X80C1A62B812B4565" ], 
  [ 
      "\033[2XAddLeftInternalCoHomToTensorProductAdjunctMorphism\033[102X for IsC\
apCategory, IsFunction, IsInt", "1.14-176", [ 1, 14, 176 ], 4868, 92, 
      "addleftinternalcohomtotensorproductadjunctmorphism for iscapcategory is\
function isint", "X80C1A62B812B4565" ], 
  [ 
      "\033[2XAddLeftInternalCoHomToTensorProductAdjunctMorphismWithGivenTensorPr\
oduct\033[102X for IsCapCategory, IsFunction", "1.14-177", [ 1, 14, 177 ], 
      4882, 92, 
      "addleftinternalcohomtotensorproductadjunctmorphismwithgiventensorproduc\
t for iscapcategory isfunction", "X83DDE598805FFA88" ], 
  [ 
      "\033[2XAddLeftInternalCoHomToTensorProductAdjunctMorphismWithGivenTensorPr\
oduct\033[102X for IsCapCategory, IsFunction, IsInt", "1.14-177", 
      [ 1, 14, 177 ], 4882, 92, 
      "addleftinternalcohomtotensorproductadjunctmorphismwithgiventensorproduc\
t for iscapcategory isfunction isint", "X83DDE598805FFA88" ], 
  [ 
      "\033[2XAddMorphismFromLeftCoBidual\033[102X for IsCapCategory, IsFunction"
        , "1.14-178", [ 1, 14, 178 ], 4897, 92, 
      "addmorphismfromleftcobidual for iscapcategory isfunction", 
      "X8104426A8327EF5E" ], 
  [ 
      "\033[2XAddMorphismFromLeftCoBidual\033[102X for IsCapCategory, IsFunction,\
 IsInt", "1.14-178", [ 1, 14, 178 ], 4897, 92, 
      "addmorphismfromleftcobidual for iscapcategory isfunction isint", 
      "X8104426A8327EF5E" ], 
  [ 
      "\033[2XAddMorphismFromLeftCoBidualWithGivenLeftCoBidual\033[102X for IsCap\
Category, IsFunction", "1.14-179", [ 1, 14, 179 ], 4910, 92, 
      "addmorphismfromleftcobidualwithgivenleftcobidual for iscapcategory isfu\
nction", "X849C36147F09B8A0" ], 
  [ 
      "\033[2XAddMorphismFromLeftCoBidualWithGivenLeftCoBidual\033[102X for IsCap\
Category, IsFunction, IsInt", "1.14-179", [ 1, 14, 179 ], 4910, 92, 
      "addmorphismfromleftcobidualwithgivenleftcobidual for iscapcategory isfu\
nction isint", "X849C36147F09B8A0" ], 
  [ 
      "\033[2XAddMorphismFromLeftInternalCoHomToTensorProduct\033[102X for IsCapC\
ategory, IsFunction", "1.14-180", [ 1, 14, 180 ], 4924, 93, 
      "addmorphismfromleftinternalcohomtotensorproduct for iscapcategory isfun\
ction", "X86168FF07A697A15" ], 
  [ 
      "\033[2XAddMorphismFromLeftInternalCoHomToTensorProduct\033[102X for IsCapC\
ategory, IsFunction, IsInt", "1.14-180", [ 1, 14, 180 ], 4924, 93, 
      "addmorphismfromleftinternalcohomtotensorproduct for iscapcategory isfun\
ction isint", "X86168FF07A697A15" ], 
  [ 
      "\033[2XAddMorphismFromLeftInternalCoHomToTensorProductWithGivenObjects\\
033[102X for IsCapCategory, IsFunction", "1.14-181", [ 1, 14, 181 ], 4938, 
      93, 
      "addmorphismfromleftinternalcohomtotensorproductwithgivenobjects for isc\
apcategory isfunction", "X830428C27A6BC07B" ], 
  [ 
      "\033[2XAddMorphismFromLeftInternalCoHomToTensorProductWithGivenObjects\\
033[102X for IsCapCategory, IsFunction, IsInt", "1.14-181", [ 1, 14, 181 ], 
      4938, 93, 
      "addmorphismfromleftinternalcohomtotensorproductwithgivenobjects for isc\
apcategory isfunction isint", "X830428C27A6BC07B" ], 
  [ 
      "\033[2XAddTensorProductToLeftInternalCoHomAdjunctMorphism\033[102X for IsC\
apCategory, IsFunction", "1.14-182", [ 1, 14, 182 ], 4953, 93, 
      "addtensorproducttoleftinternalcohomadjunctmorphism for iscapcategory is\
function", "X7AA7EDE881098270" ], 
  [ 
      "\033[2XAddTensorProductToLeftInternalCoHomAdjunctMorphism\033[102X for IsC\
apCategory, IsFunction, IsInt", "1.14-182", [ 1, 14, 182 ], 4953, 93, 
      "addtensorproducttoleftinternalcohomadjunctmorphism for iscapcategory is\
function isint", "X7AA7EDE881098270" ], 
  [ 
      "\033[2XAddTensorProductToLeftInternalCoHomAdjunctMorphismWithGivenLeftInte\
rnalCoHom\033[102X for IsCapCategory, IsFunction", "1.14-183", 
      [ 1, 14, 183 ], 4967, 94, 
      "addtensorproducttoleftinternalcohomadjunctmorphismwithgivenleftinternal\
cohom for iscapcategory isfunction", "X7CDB23877B3C8292" ], 
  [ 
      "\033[2XAddTensorProductToLeftInternalCoHomAdjunctMorphismWithGivenLeftInte\
rnalCoHom\033[102X for IsCapCategory, IsFunction, IsInt", "1.14-183", 
      [ 1, 14, 183 ], 4967, 94, 
      "addtensorproducttoleftinternalcohomadjunctmorphismwithgivenleftinternal\
cohom for iscapcategory isfunction isint", "X7CDB23877B3C8292" ], 
  [ 
      "\033[2XAddUniversalPropertyOfLeftCoDual\033[102X for IsCapCategory, IsFunc\
tion", "1.14-184", [ 1, 14, 184 ], 4982, 94, 
      "adduniversalpropertyofleftcodual for iscapcategory isfunction", 
      "X864F1EF47CAD2BE8" ], 
  [ 
      "\033[2XAddUniversalPropertyOfLeftCoDual\033[102X for IsCapCategory, IsFunc\
tion, IsInt", "1.14-184", [ 1, 14, 184 ], 4982, 94, 
      "adduniversalpropertyofleftcodual for iscapcategory isfunction isint", 
      "X864F1EF47CAD2BE8" ], 
  [ "\033[2XAddAssociatorLeftToRight\033[102X for IsCapCategory, IsFunction", 
      "1.14-185", [ 1, 14, 185 ], 4995, 94, 
      "addassociatorlefttoright for iscapcategory isfunction", 
      "X79CDE3B87D14EF9A" ], 
  [ 
      "\033[2XAddAssociatorLeftToRight\033[102X for IsCapCategory, IsFunction, Is\
Int", "1.14-185", [ 1, 14, 185 ], 4995, 94, 
      "addassociatorlefttoright for iscapcategory isfunction isint", 
      "X79CDE3B87D14EF9A" ], 
  [ 
      "\033[2XAddAssociatorLeftToRightWithGivenTensorProducts\033[102X for IsCapC\
ategory, IsFunction", "1.14-186", [ 1, 14, 186 ], 5008, 94, 
      "addassociatorlefttorightwithgiventensorproducts for iscapcategory isfun\
ction", "X850B5B357F592FAE" ], 
  [ 
      "\033[2XAddAssociatorLeftToRightWithGivenTensorProducts\033[102X for IsCapC\
ategory, IsFunction, IsInt", "1.14-186", [ 1, 14, 186 ], 5008, 94, 
      "addassociatorlefttorightwithgiventensorproducts for iscapcategory isfun\
ction isint", "X850B5B357F592FAE" ], 
  [ "\033[2XAddAssociatorRightToLeft\033[102X for IsCapCategory, IsFunction", 
      "1.14-187", [ 1, 14, 187 ], 5022, 95, 
      "addassociatorrighttoleft for iscapcategory isfunction", 
      "X8045C4FC7B4912B4" ], 
  [ 
      "\033[2XAddAssociatorRightToLeft\033[102X for IsCapCategory, IsFunction, Is\
Int", "1.14-187", [ 1, 14, 187 ], 5022, 95, 
      "addassociatorrighttoleft for iscapcategory isfunction isint", 
      "X8045C4FC7B4912B4" ], 
  [ 
      "\033[2XAddAssociatorRightToLeftWithGivenTensorProducts\033[102X for IsCapC\
ategory, IsFunction", "1.14-188", [ 1, 14, 188 ], 5035, 95, 
      "addassociatorrighttoleftwithgiventensorproducts for iscapcategory isfun\
ction", "X7CF105217904D280" ], 
  [ 
      "\033[2XAddAssociatorRightToLeftWithGivenTensorProducts\033[102X for IsCapC\
ategory, IsFunction, IsInt", "1.14-188", [ 1, 14, 188 ], 5035, 95, 
      "addassociatorrighttoleftwithgiventensorproducts for iscapcategory isfun\
ction isint", "X7CF105217904D280" ], 
  [ "\033[2XAddLeftUnitor\033[102X for IsCapCategory, IsFunction", 
      "1.14-189", [ 1, 14, 189 ], 5049, 95, 
      "addleftunitor for iscapcategory isfunction", "X7986052487D3CDBB" ], 
  [ "\033[2XAddLeftUnitor\033[102X for IsCapCategory, IsFunction, IsInt", 
      "1.14-189", [ 1, 14, 189 ], 5049, 95, 
      "addleftunitor for iscapcategory isfunction isint", "X7986052487D3CDBB" 
     ], 
  [ "\033[2XAddLeftUnitorInverse\033[102X for IsCapCategory, IsFunction", 
      "1.14-190", [ 1, 14, 190 ], 5061, 95, 
      "addleftunitorinverse for iscapcategory isfunction", 
      "X793D2C657F19096D" ], 
  [ 
      "\033[2XAddLeftUnitorInverse\033[102X for IsCapCategory, IsFunction, IsInt"
        , "1.14-190", [ 1, 14, 190 ], 5061, 95, 
      "addleftunitorinverse for iscapcategory isfunction isint", 
      "X793D2C657F19096D" ], 
  [ 
      "\033[2XAddLeftUnitorInverseWithGivenTensorProduct\033[102X for IsCapCatego\
ry, IsFunction", "1.14-191", [ 1, 14, 191 ], 5074, 95, 
      "addleftunitorinversewithgiventensorproduct for iscapcategory isfunction\
", "X87CB487587ED3EC5" ], 
  [ 
      "\033[2XAddLeftUnitorInverseWithGivenTensorProduct\033[102X for IsCapCatego\
ry, IsFunction, IsInt", "1.14-191", [ 1, 14, 191 ], 5074, 95, 
      "addleftunitorinversewithgiventensorproduct for iscapcategory isfunction\
 isint", "X87CB487587ED3EC5" ], 
  [ 
      "\033[2XAddLeftUnitorWithGivenTensorProduct\033[102X for IsCapCategory, IsF\
unction", "1.14-192", [ 1, 14, 192 ], 5087, 96, 
      "addleftunitorwithgiventensorproduct for iscapcategory isfunction", 
      "X8614FD9C78812C98" ], 
  [ 
      "\033[2XAddLeftUnitorWithGivenTensorProduct\033[102X for IsCapCategory, IsF\
unction, IsInt", "1.14-192", [ 1, 14, 192 ], 5087, 96, 
      "addleftunitorwithgiventensorproduct for iscapcategory isfunction isint"
        , "X8614FD9C78812C98" ], 
  [ "\033[2XAddRightUnitor\033[102X for IsCapCategory, IsFunction", 
      "1.14-193", [ 1, 14, 193 ], 5100, 96, 
      "addrightunitor for iscapcategory isfunction", "X8568708E7C5D8D28" ], 
  [ "\033[2XAddRightUnitor\033[102X for IsCapCategory, IsFunction, IsInt", 
      "1.14-193", [ 1, 14, 193 ], 5100, 96, 
      "addrightunitor for iscapcategory isfunction isint", 
      "X8568708E7C5D8D28" ], 
  [ "\033[2XAddRightUnitorInverse\033[102X for IsCapCategory, IsFunction", 
      "1.14-194", [ 1, 14, 194 ], 5112, 96, 
      "addrightunitorinverse for iscapcategory isfunction", 
      "X7B2AAD6286833F68" ], 
  [ 
      "\033[2XAddRightUnitorInverse\033[102X for IsCapCategory, IsFunction, IsInt\
", "1.14-194", [ 1, 14, 194 ], 5112, 96, 
      "addrightunitorinverse for iscapcategory isfunction isint", 
      "X7B2AAD6286833F68" ], 
  [ 
      "\033[2XAddRightUnitorInverseWithGivenTensorProduct\033[102X for IsCapCateg\
ory, IsFunction", "1.14-195", [ 1, 14, 195 ], 5125, 96, 
      "addrightunitorinversewithgiventensorproduct for iscapcategory isfunctio\
n", "X8682171F86C6793E" ], 
  [ 
      "\033[2XAddRightUnitorInverseWithGivenTensorProduct\033[102X for IsCapCateg\
ory, IsFunction, IsInt", "1.14-195", [ 1, 14, 195 ], 5125, 96, 
      "addrightunitorinversewithgiventensorproduct for iscapcategory isfunctio\
n isint", "X8682171F86C6793E" ], 
  [ 
      "\033[2XAddRightUnitorWithGivenTensorProduct\033[102X for IsCapCategory, Is\
Function", "1.14-196", [ 1, 14, 196 ], 5138, 97, 
      "addrightunitorwithgiventensorproduct for iscapcategory isfunction", 
      "X7DB39DC9794F3FCA" ], 
  [ 
      "\033[2XAddRightUnitorWithGivenTensorProduct\033[102X for IsCapCategory, Is\
Function, IsInt", "1.14-196", [ 1, 14, 196 ], 5138, 97, 
      "addrightunitorwithgiventensorproduct for iscapcategory isfunction isint\
", "X7DB39DC9794F3FCA" ], 
  [ 
      "\033[2XAddTensorProductOnMorphisms\033[102X for IsCapCategory, IsFunction"
        , "1.14-197", [ 1, 14, 197 ], 5151, 97, 
      "addtensorproductonmorphisms for iscapcategory isfunction", 
      "X83DEDFA3803035BC" ], 
  [ 
      "\033[2XAddTensorProductOnMorphisms\033[102X for IsCapCategory, IsFunction,\
 IsInt", "1.14-197", [ 1, 14, 197 ], 5151, 97, 
      "addtensorproductonmorphisms for iscapcategory isfunction isint", 
      "X83DEDFA3803035BC" ], 
  [ 
      "\033[2XAddTensorProductOnMorphismsWithGivenTensorProducts\033[102X for IsC\
apCategory, IsFunction", "1.14-198", [ 1, 14, 198 ], 5164, 97, 
      "addtensorproductonmorphismswithgiventensorproducts for iscapcategory is\
function", "X879659397D11AD9F" ], 
  [ 
      "\033[2XAddTensorProductOnMorphismsWithGivenTensorProducts\033[102X for IsC\
apCategory, IsFunction, IsInt", "1.14-198", [ 1, 14, 198 ], 5164, 97, 
      "addtensorproductonmorphismswithgiventensorproducts for iscapcategory is\
function isint", "X879659397D11AD9F" ], 
  [ "\033[2XAddTensorProductOnObjects\033[102X for IsCapCategory, IsFunction",
      "1.14-199", [ 1, 14, 199 ], 5178, 97, 
      "addtensorproductonobjects for iscapcategory isfunction", 
      "X7CED389B792142F5" ], 
  [ 
      "\033[2XAddTensorProductOnObjects\033[102X for IsCapCategory, IsFunction, I\
sInt", "1.14-199", [ 1, 14, 199 ], 5178, 97, 
      "addtensorproductonobjects for iscapcategory isfunction isint", 
      "X7CED389B792142F5" ], 
  [ "\033[2XAddTensorUnit\033[102X for IsCapCategory, IsFunction", 
      "1.14-200", [ 1, 14, 200 ], 5191, 98, 
      "addtensorunit for iscapcategory isfunction", "X7BC4B940858F903B" ], 
  [ "\033[2XAddTensorUnit\033[102X for IsCapCategory, IsFunction, IsInt", 
      "1.14-200", [ 1, 14, 200 ], 5191, 98, 
      "addtensorunit for iscapcategory isfunction isint", "X7BC4B940858F903B" 
     ], 
  [ "\033[2XAddCoevaluationForDual\033[102X for IsCapCategory, IsFunction", 
      "1.14-201", [ 1, 14, 201 ], 5203, 98, 
      "addcoevaluationfordual for iscapcategory isfunction", 
      "X8586506084917A30" ], 
  [ 
      "\033[2XAddCoevaluationForDual\033[102X for IsCapCategory, IsFunction, IsIn\
t", "1.14-201", [ 1, 14, 201 ], 5203, 98, 
      "addcoevaluationfordual for iscapcategory isfunction isint", 
      "X8586506084917A30" ], 
  [ 
      "\033[2XAddCoevaluationForDualWithGivenTensorProduct\033[102X for IsCapCate\
gory, IsFunction", "1.14-202", [ 1, 14, 202 ], 5216, 98, 
      "addcoevaluationfordualwithgiventensorproduct for iscapcategory isfuncti\
on", "X831DC3947941E8BA" ], 
  [ 
      "\033[2XAddCoevaluationForDualWithGivenTensorProduct\033[102X for IsCapCate\
gory, IsFunction, IsInt", "1.14-202", [ 1, 14, 202 ], 5216, 98, 
      "addcoevaluationfordualwithgiventensorproduct for iscapcategory isfuncti\
on isint", "X831DC3947941E8BA" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalHomToTensorProductWithDualObject\033[102X\
 for IsCapCategory, IsFunction", "1.14-203", [ 1, 14, 203 ], 5230, 98, 
      "addisomorphismfrominternalhomtotensorproductwithdualobject for iscapcat\
egory isfunction", "X817D08298188F2BC" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalHomToTensorProductWithDualObject\033[102X\
 for IsCapCategory, IsFunction, IsInt", "1.14-203", [ 1, 14, 203 ], 5230, 98, 
      "addisomorphismfrominternalhomtotensorproductwithdualobject for iscapcat\
egory isfunction isint", "X817D08298188F2BC" ], 
  [ 
      "\033[2XAddIsomorphismFromTensorProductWithDualObjectToInternalHom\033[102X\
 for IsCapCategory, IsFunction", "1.14-204", [ 1, 14, 204 ], 5244, 99, 
      "addisomorphismfromtensorproductwithdualobjecttointernalhom for iscapcat\
egory isfunction", "X840BC8AB7DFFD68E" ], 
  [ 
      "\033[2XAddIsomorphismFromTensorProductWithDualObjectToInternalHom\033[102X\
 for IsCapCategory, IsFunction, IsInt", "1.14-204", [ 1, 14, 204 ], 5244, 99, 
      "addisomorphismfromtensorproductwithdualobjecttointernalhom for iscapcat\
egory isfunction isint", "X840BC8AB7DFFD68E" ], 
  [ "\033[2XAddMorphismFromBidual\033[102X for IsCapCategory, IsFunction", 
      "1.14-205", [ 1, 14, 205 ], 5258, 99, 
      "addmorphismfrombidual for iscapcategory isfunction", 
      "X7D2FDE687E0CB66A" ], 
  [ 
      "\033[2XAddMorphismFromBidual\033[102X for IsCapCategory, IsFunction, IsInt\
", "1.14-205", [ 1, 14, 205 ], 5258, 99, 
      "addmorphismfrombidual for iscapcategory isfunction isint", 
      "X7D2FDE687E0CB66A" ], 
  [ 
      "\033[2XAddMorphismFromBidualWithGivenBidual\033[102X for IsCapCategory, Is\
Function", "1.14-206", [ 1, 14, 206 ], 5271, 99, 
      "addmorphismfrombidualwithgivenbidual for iscapcategory isfunction", 
      "X877C409E865C2BB3" ], 
  [ 
      "\033[2XAddMorphismFromBidualWithGivenBidual\033[102X for IsCapCategory, Is\
Function, IsInt", "1.14-206", [ 1, 14, 206 ], 5271, 99, 
      "addmorphismfrombidualwithgivenbidual for iscapcategory isfunction isint\
", "X877C409E865C2BB3" ], 
  [ 
      "\033[2XAddMorphismFromInternalHomToTensorProduct\033[102X for IsCapCategor\
y, IsFunction", "1.14-207", [ 1, 14, 207 ], 5284, 99, 
      "addmorphismfrominternalhomtotensorproduct for iscapcategory isfunction"
        , "X82FDEF277A71FABF" ], 
  [ 
      "\033[2XAddMorphismFromInternalHomToTensorProduct\033[102X for IsCapCategor\
y, IsFunction, IsInt", "1.14-207", [ 1, 14, 207 ], 5284, 99, 
      "addmorphismfrominternalhomtotensorproduct for iscapcategory isfunction \
isint", "X82FDEF277A71FABF" ], 
  [ 
      "\033[2XAddMorphismFromInternalHomToTensorProductWithGivenObjects\033[102X \
for IsCapCategory, IsFunction", "1.14-208", [ 1, 14, 208 ], 5297, 100, 
      "addmorphismfrominternalhomtotensorproductwithgivenobjects for iscapcate\
gory isfunction", "X7A4A4C668706D593" ], 
  [ 
      "\033[2XAddMorphismFromInternalHomToTensorProductWithGivenObjects\033[102X \
for IsCapCategory, IsFunction, IsInt", "1.14-208", [ 1, 14, 208 ], 5297, 100, 
      "addmorphismfrominternalhomtotensorproductwithgivenobjects for iscapcate\
gory isfunction isint", "X7A4A4C668706D593" ], 
  [ "\033[2XAddRankMorphism\033[102X for IsCapCategory, IsFunction", 
      "1.14-209", [ 1, 14, 209 ], 5311, 100, 
      "addrankmorphism for iscapcategory isfunction", "X849B17E08679450A" ], 
  [ "\033[2XAddRankMorphism\033[102X for IsCapCategory, IsFunction, IsInt", 
      "1.14-209", [ 1, 14, 209 ], 5311, 100, 
      "addrankmorphism for iscapcategory isfunction isint", 
      "X849B17E08679450A" ], 
  [ 
      "\033[2XAddTensorProductInternalHomCompatibilityMorphismInverse\033[102X fo\
r IsCapCategory, IsFunction", "1.14-210", [ 1, 14, 210 ], 5323, 100, 
      "addtensorproductinternalhomcompatibilitymorphisminverse for iscapcatego\
ry isfunction", "X798FA16B818559DB" ], 
  [ 
      "\033[2XAddTensorProductInternalHomCompatibilityMorphismInverse\033[102X fo\
r IsCapCategory, IsFunction, IsInt", "1.14-210", [ 1, 14, 210 ], 5323, 100, 
      "addtensorproductinternalhomcompatibilitymorphisminverse for iscapcatego\
ry isfunction isint", "X798FA16B818559DB" ], 
  [ 
      "\033[2XAddTensorProductInternalHomCompatibilityMorphismInverseWithGivenObj\
ects\033[102X for IsCapCategory, IsFunction", "1.14-211", [ 1, 14, 211 ], 
      5337, 100, 
      "addtensorproductinternalhomcompatibilitymorphisminversewithgivenobjects\
 for iscapcategory isfunction", "X7D9EA11980170B0C" ], 
  [ 
      "\033[2XAddTensorProductInternalHomCompatibilityMorphismInverseWithGivenObj\
ects\033[102X for IsCapCategory, IsFunction, IsInt", "1.14-211", 
      [ 1, 14, 211 ], 5337, 100, 
      "addtensorproductinternalhomcompatibilitymorphisminversewithgivenobjects\
 for iscapcategory isfunction isint", "X7D9EA11980170B0C" ], 
  [ "\033[2XAddTraceMap\033[102X for IsCapCategory, IsFunction", "1.14-212", 
      [ 1, 14, 212 ], 5352, 101, "addtracemap for iscapcategory isfunction", 
      "X8446431880FFF111" ], 
  [ "\033[2XAddTraceMap\033[102X for IsCapCategory, IsFunction, IsInt", 
      "1.14-212", [ 1, 14, 212 ], 5352, 101, 
      "addtracemap for iscapcategory isfunction isint", "X8446431880FFF111" ],
  [ "\033[2XAddCoRankMorphism\033[102X for IsCapCategory, IsFunction", 
      "1.14-213", [ 1, 14, 213 ], 5365, 101, 
      "addcorankmorphism for iscapcategory isfunction", "X7A3D91F87F170676" ],
  [ "\033[2XAddCoRankMorphism\033[102X for IsCapCategory, IsFunction, IsInt", 
      "1.14-213", [ 1, 14, 213 ], 5365, 101, 
      "addcorankmorphism for iscapcategory isfunction isint", 
      "X7A3D91F87F170676" ], 
  [ "\033[2XAddCoTraceMap\033[102X for IsCapCategory, IsFunction", 
      "1.14-214", [ 1, 14, 214 ], 5378, 101, 
      "addcotracemap for iscapcategory isfunction", "X7AA8757780D75E1F" ], 
  [ "\033[2XAddCoTraceMap\033[102X for IsCapCategory, IsFunction, IsInt", 
      "1.14-214", [ 1, 14, 214 ], 5378, 101, 
      "addcotracemap for iscapcategory isfunction isint", "X7AA8757780D75E1F" 
     ], 
  [ 
      "\033[2XAddCoclosedCoevaluationForCoDual\033[102X for IsCapCategory, IsFunc\
tion", "1.14-215", [ 1, 14, 215 ], 5391, 101, 
      "addcoclosedcoevaluationforcodual for iscapcategory isfunction", 
      "X82087A8C7E5EBAA8" ], 
  [ 
      "\033[2XAddCoclosedCoevaluationForCoDual\033[102X for IsCapCategory, IsFunc\
tion, IsInt", "1.14-215", [ 1, 14, 215 ], 5391, 101, 
      "addcoclosedcoevaluationforcodual for iscapcategory isfunction isint", 
      "X82087A8C7E5EBAA8" ], 
  [ 
      "\033[2XAddCoclosedCoevaluationForCoDualWithGivenTensorProduct\033[102X for\
 IsCapCategory, IsFunction", "1.14-216", [ 1, 14, 216 ], 5404, 102, 
      "addcoclosedcoevaluationforcodualwithgiventensorproduct for iscapcategor\
y isfunction", "X813CF5C07BAFD19C" ], 
  [ 
      "\033[2XAddCoclosedCoevaluationForCoDualWithGivenTensorProduct\033[102X for\
 IsCapCategory, IsFunction, IsInt", "1.14-216", [ 1, 14, 216 ], 5404, 102, 
      "addcoclosedcoevaluationforcodualwithgiventensorproduct for iscapcategor\
y isfunction isint", "X813CF5C07BAFD19C" ], 
  [ 
      "\033[2XAddInternalCoHomTensorProductCompatibilityMorphismInverse\033[102X \
for IsCapCategory, IsFunction", "1.14-217", [ 1, 14, 217 ], 5418, 102, 
      "addinternalcohomtensorproductcompatibilitymorphisminverse for iscapcate\
gory isfunction", "X7CA7972381FC507F" ], 
  [ 
      "\033[2XAddInternalCoHomTensorProductCompatibilityMorphismInverse\033[102X \
for IsCapCategory, IsFunction, IsInt", "1.14-217", [ 1, 14, 217 ], 5418, 102, 
      "addinternalcohomtensorproductcompatibilitymorphisminverse for iscapcate\
gory isfunction isint", "X7CA7972381FC507F" ], 
  [ 
      "\033[2XAddInternalCoHomTensorProductCompatibilityMorphismInverseWithGivenO\
bjects\033[102X for IsCapCategory, IsFunction", "1.14-218", [ 1, 14, 218 ], 
      5432, 102, 
      "addinternalcohomtensorproductcompatibilitymorphisminversewithgivenobjec\
ts for iscapcategory isfunction", "X82F222EC80852CF1" ], 
  [ 
      "\033[2XAddInternalCoHomTensorProductCompatibilityMorphismInverseWithGivenO\
bjects\033[102X for IsCapCategory, IsFunction, IsInt", "1.14-218", 
      [ 1, 14, 218 ], 5432, 102, 
      "addinternalcohomtensorproductcompatibilitymorphisminversewithgivenobjec\
ts for iscapcategory isfunction isint", "X82F222EC80852CF1" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalCoHomToTensorProductWithCoDualObject\033[\
102X for IsCapCategory, IsFunction", "1.14-219", [ 1, 14, 219 ], 5447, 102, 
      "addisomorphismfrominternalcohomtotensorproductwithcodualobject for isca\
pcategory isfunction", "X84E2048279A169A6" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalCoHomToTensorProductWithCoDualObject\033[\
102X for IsCapCategory, IsFunction, IsInt", "1.14-219", [ 1, 14, 219 ], 5447, 
      102, 
      "addisomorphismfrominternalcohomtotensorproductwithcodualobject for isca\
pcategory isfunction isint", "X84E2048279A169A6" ], 
  [ 
      "\033[2XAddIsomorphismFromTensorProductWithCoDualObjectToInternalCoHom\033[\
102X for IsCapCategory, IsFunction", "1.14-220", [ 1, 14, 220 ], 5461, 103, 
      "addisomorphismfromtensorproductwithcodualobjecttointernalcohom for isca\
pcategory isfunction", "X7DFE79B48125A1E0" ], 
  [ 
      "\033[2XAddIsomorphismFromTensorProductWithCoDualObjectToInternalCoHom\033[\
102X for IsCapCategory, IsFunction, IsInt", "1.14-220", [ 1, 14, 220 ], 5461, 
      103, 
      "addisomorphismfromtensorproductwithcodualobjecttointernalcohom for isca\
pcategory isfunction isint", "X7DFE79B48125A1E0" ], 
  [ 
      "\033[2XAddMorphismFromTensorProductToInternalCoHom\033[102X for IsCapCateg\
ory, IsFunction", "1.14-221", [ 1, 14, 221 ], 5475, 103, 
      "addmorphismfromtensorproducttointernalcohom for iscapcategory isfunctio\
n", "X7F27D275849C84B2" ], 
  [ 
      "\033[2XAddMorphismFromTensorProductToInternalCoHom\033[102X for IsCapCateg\
ory, IsFunction, IsInt", "1.14-221", [ 1, 14, 221 ], 5475, 103, 
      "addmorphismfromtensorproducttointernalcohom for iscapcategory isfunctio\
n isint", "X7F27D275849C84B2" ], 
  [ 
      "\033[2XAddMorphismFromTensorProductToInternalCoHomWithGivenObjects\033[102\
X for IsCapCategory, IsFunction", "1.14-222", [ 1, 14, 222 ], 5488, 103, 
      "addmorphismfromtensorproducttointernalcohomwithgivenobjects for iscapca\
tegory isfunction", "X7B5706318327501E" ], 
  [ 
      "\033[2XAddMorphismFromTensorProductToInternalCoHomWithGivenObjects\033[102\
X for IsCapCategory, IsFunction, IsInt", "1.14-222", [ 1, 14, 222 ], 5488, 
      103, 
      "addmorphismfromtensorproducttointernalcohomwithgivenobjects for iscapca\
tegory isfunction isint", "X7B5706318327501E" ], 
  [ "\033[2XAddMorphismToCoBidual\033[102X for IsCapCategory, IsFunction", 
      "1.14-223", [ 1, 14, 223 ], 5503, 104, 
      "addmorphismtocobidual for iscapcategory isfunction", 
      "X7EBD7033871B0F3D" ], 
  [ 
      "\033[2XAddMorphismToCoBidual\033[102X for IsCapCategory, IsFunction, IsInt\
", "1.14-223", [ 1, 14, 223 ], 5503, 104, 
      "addmorphismtocobidual for iscapcategory isfunction isint", 
      "X7EBD7033871B0F3D" ], 
  [ 
      "\033[2XAddMorphismToCoBidualWithGivenCoBidual\033[102X for IsCapCategory, \
IsFunction", "1.14-224", [ 1, 14, 224 ], 5516, 104, 
      "addmorphismtocobidualwithgivencobidual for iscapcategory isfunction", 
      "X867E02E07CEC5B34" ], 
  [ 
      "\033[2XAddMorphismToCoBidualWithGivenCoBidual\033[102X for IsCapCategory, \
IsFunction, IsInt", "1.14-224", [ 1, 14, 224 ], 5516, 104, 
      "addmorphismtocobidualwithgivencobidual for iscapcategory isfunction isi\
nt", "X867E02E07CEC5B34" ], 
  [ "\033[2XAdditiveMonoidalCategoriesTest\033[102X", "2.1-1", [ 2, 1, 1 ], 
      7, 105, "additivemonoidalcategoriestest", "X8131040685BBC24E" ], 
  [ 
      "\033[2XTestBraidingForInvertibility\033[102X for IsCapCategory, IsCapCateg\
oryObject, IsCapCategoryObject", "2.1-2", [ 2, 1, 2 ], 33, 105, 
      "testbraidingforinvertibility for iscapcategory iscapcategoryobject isca\
pcategoryobject", "X803EED927C6BFB83" ], 
  [ 
      "\033[2XTestBraidingCompatibility\033[102X for IsCapCategory, IsCapCategory\
Object, IsCapCategoryObject, IsCapCategoryObject", "2.1-3", [ 2, 1, 3 ], 42, 
      106, 
      "testbraidingcompatibility for iscapcategory iscapcategoryobject iscapca\
tegoryobject iscapcategoryobject", "X794ADC5E7B9ED6E9" ], 
  [ 
      "\033[2XTestBraidingCompatibilityForAllTriplesInList\033[102X for IsCapCate\
gory, IsList", "2.1-4", [ 2, 1, 4 ], 51, 106, 
      "testbraidingcompatibilityforalltriplesinlist for iscapcategory islist",
      "X85D661D482543648" ], 
  [ "\033[2XBraidedMonoidalCategoriesTest\033[102X", "2.1-5", [ 2, 1, 5 ], 
      60, 106, "braidedmonoidalcategoriestest", "X7D87D6737E0B485F" ], 
  [ "\033[2XClosedMonoidalCategoriesTest\033[102X", "2.1-6", [ 2, 1, 6 ], 84, 
      106, "closedmonoidalcategoriestest", "X7CDDEF3E87731A54" ], 
  [ "\033[2XClosedMonoidalCategoriesTestWithGiven\033[102X", "2.1-7", 
      [ 2, 1, 7 ], 120, 107, "closedmonoidalcategoriestestwithgiven", 
      "X7EAC790E85CC1D26" ], 
  [ "\033[2XCoclosedMonoidalCategoriesTest\033[102X", "2.1-8", [ 2, 1, 8 ], 
      148, 108, "coclosedmonoidalcategoriestest", "X83E919E984B367B1" ], 
  [ "\033[2XCoclosedMonoidalCategoriesTestWithGiven\033[102X", "2.1-9", 
      [ 2, 1, 9 ], 184, 108, "coclosedmonoidalcategoriestestwithgiven", 
      "X7F29A16A810D390D" ], 
  [ "\033[2XLeftClosedMonoidalCategoriesTest\033[102X", "2.1-10", 
      [ 2, 1, 10 ], 212, 109, "leftclosedmonoidalcategoriestest", 
      "X7B0D72D07AAA7B9B" ], 
  [ "\033[2XLeftClosedMonoidalCategoriesTestWithGiven\033[102X", "2.1-11", 
      [ 2, 1, 11 ], 248, 109, "leftclosedmonoidalcategoriestestwithgiven", 
      "X7BCAE7FE7E32B70A" ], 
  [ "\033[2XLeftCoclosedMonoidalCategoriesTest\033[102X", "2.1-12", 
      [ 2, 1, 12 ], 276, 110, "leftcoclosedmonoidalcategoriestest", 
      "X865E82AA7FB9B0BE" ], 
  [ "\033[2XLeftCoclosedMonoidalCategoriesTestWithGiven\033[102X", "2.1-13", 
      [ 2, 1, 13 ], 312, 111, "leftcoclosedmonoidalcategoriestestwithgiven", 
      "X7BF584B6805BB8DA" ], 
  [ 
      "\033[2XMonoidalCategoriesTensorProductOnObjectsAndTensorUnitTest\033[102X"
        , "2.1-14", [ 2, 1, 14 ], 340, 111, 
      "monoidalcategoriestensorproductonobjectsandtensorunittest", 
      "X7B05AB7F7BAF2B62" ], 
  [ 
      "\033[2XTestMonoidalUnitorsForInvertibility\033[102X for IsCapCategory, IsC\
apCategoryObject", "2.1-15", [ 2, 1, 15 ], 364, 112, 
      "testmonoidalunitorsforinvertibility for iscapcategory iscapcategoryobje\
ct", "X7FE8E3E581929705" ], 
  [ 
      "\033[2XTestAssociatorForInvertibility\033[102X for IsCapCategory, IsCapCat\
egoryObject, IsCapCategoryObject, IsCapCategoryObject", "2.1-16", 
      [ 2, 1, 16 ], 373, 112, 
      "testassociatorforinvertibility for iscapcategory iscapcategoryobject is\
capcategoryobject iscapcategoryobject", "X78A123237F5F81BE" ], 
  [ 
      "\033[2XTestMonoidalTriangleIdentity\033[102X for IsCapCategory, IsCapCateg\
oryObject, IsCapCategoryObject", "2.1-17", [ 2, 1, 17 ], 382, 112, 
      "testmonoidaltriangleidentity for iscapcategory iscapcategoryobject isca\
pcategoryobject", "X7EB6CE877FDBFAE5" ], 
  [ 
      "\033[2XTestMonoidalTriangleIdentityForAllPairsInList\033[102X for IsCapCat\
egory, IsList", "2.1-18", [ 2, 1, 18 ], 391, 112, 
      "testmonoidaltriangleidentityforallpairsinlist for iscapcategory islist"
        , "X7B0890C57F20717C" ], 
  [ 
      "\033[2XTestMonoidalPentagonIdentity\033[102X for IsCapCategory, IsCapCateg\
oryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject", 
      "2.1-19", [ 2, 1, 19 ], 400, 112, 
      "testmonoidalpentagonidentity for iscapcategory iscapcategoryobject isca\
pcategoryobject iscapcategoryobject iscapcategoryobject", "X8786C1FF7F09F124" 
     ], 
  [ 
      "\033[2XTestMonoidalPentagonIdentityUsingWithGivenOperations\033[102X for I\
sCapCategory, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, I\
sCapCategoryObject", "2.1-20", [ 2, 1, 20 ], 409, 112, 
      "testmonoidalpentagonidentityusingwithgivenoperations for iscapcategory \
iscapcategoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobjec\
t", "X7D45BF317D6237DC" ], 
  [ 
      "\033[2XTestMonoidalPentagonIdentityForAllQuadruplesInList\033[102X for IsC\
apCategory, IsList", "2.1-21", [ 2, 1, 21 ], 419, 113, 
      "testmonoidalpentagonidentityforallquadruplesinlist for iscapcategory is\
list", "X7E96BEF17CD1B38B" ], 
  [ "\033[2XMonoidalCategoriesTest\033[102X", "2.1-22", [ 2, 1, 22 ], 428, 
      113, "monoidalcategoriestest", "X7BCAF88A806E562D" ], 
  [ 
      "\033[2XTestZigZagIdentitiesForDual\033[102X for IsCapCategory, IsCapCatego\
ryObject", "2.1-23", [ 2, 1, 23 ], 455, 113, 
      "testzigzagidentitiesfordual for iscapcategory iscapcategoryobject", 
      "X85AB97E9788D543D" ], 
  [ "\033[2XRigidSymmetricClosedMonoidalCategoriesTest\033[102X", "2.1-24", 
      [ 2, 1, 24 ], 464, 113, "rigidsymmetricclosedmonoidalcategoriestest", 
      "X78CAAAE77DC5CF4F" ], 
  [ "\033[2XRigidSymmetricCoclosedMonoidalCategoriesTest\033[102X", "2.1-25", 
      [ 2, 1, 25 ], 490, 114, "rigidsymmetriccoclosedmonoidalcategoriestest", 
      "X8154BEE7850EFEEA" ], 
  [ "\033[2XWriteFileForMonoidalStructure\033[102X", "3.1-1", [ 3, 1, 1 ], 7, 
      115, "writefileformonoidalstructure", "X85C82D6A878B25DD" ], 
  [ "\033[2XWriteFileForClosedMonoidalStructure\033[102X", "3.2-1", 
      [ 3, 2, 1 ], 20, 115, "writefileforclosedmonoidalstructure", 
      "X7EF7CDED85FB1CA1" ], 
  [ "\033[2XWriteFileForLeftClosedMonoidalStructure\033[102X", "3.2-2", 
      [ 3, 2, 2 ], 30, 115, "writefileforleftclosedmonoidalstructure", 
      "X7B1E6E95839A2EB7" ], 
  [ "\033[2XWriteFileForCoclosedMonoidalStructure\033[102X", "3.3-1", 
      [ 3, 3, 1 ], 43, 116, "writefileforcoclosedmonoidalstructure", 
      "X83DBF79278AD1D37" ], 
  [ "\033[2XWriteFileForLeftCoclosedMonoidalStructure\033[102X", "3.3-2", 
      [ 3, 3, 2 ], 53, 116, "writefileforleftcoclosedmonoidalstructure", 
      "X7DAEDDFF84783E19" ], 
  [ 
      "\033[2XCoclosedCoevaluationMorphism\033[102X for IsCapCategoryObject, IsCa\
pCategoryObject", "5.1-1", [ 5, 1, 1 ], 7, 118, 
      "coclosedcoevaluationmorphism for iscapcategoryobject iscapcategoryobjec\
t", "X87648A1B86BC12CD" ], 
  [ 
      "\033[2XCoclosedCoevaluationMorphismWithGivenSource\033[102X for IsCapCateg\
oryObject, IsCapCategoryObject, IsCapCategoryObject", "5.1-2", [ 5, 1, 2 ], 
      14, 118, 
      "coclosedcoevaluationmorphismwithgivensource for iscapcategoryobject isc\
apcategoryobject iscapcategoryobject", "X78E1EE0879D7E094" ], 
  [ 
      "\033[2XCoclosedEvaluationMorphism\033[102X for IsCapCategoryObject, IsCapC\
ategoryObject", "5.1-3", [ 5, 1, 3 ], 22, 118, 
      "coclosedevaluationmorphism for iscapcategoryobject iscapcategoryobject"
        , "X8013AC4C837F9828" ], 
  [ 
      "\033[2XCoclosedEvaluationMorphismWithGivenRange\033[102X for IsCapCategory\
Object, IsCapCategoryObject, IsCapCategoryObject", "5.1-4", [ 5, 1, 4 ], 29, 
      118, 
      "coclosedevaluationmorphismwithgivenrange for iscapcategoryobject iscapc\
ategoryobject iscapcategoryobject", "X84FE6ABB879495DE" ], 
  [ 
      "\033[2XCoevaluationMorphism\033[102X for IsCapCategoryObject, IsCapCategor\
yObject", "5.1-5", [ 5, 1, 5 ], 37, 119, 
      "coevaluationmorphism for iscapcategoryobject iscapcategoryobject", 
      "X79E277047AB3E909" ], 
  [ 
      "\033[2XCoevaluationMorphismWithGivenRange\033[102X for IsCapCategoryObject\
, IsCapCategoryObject, IsCapCategoryObject", "5.1-6", [ 5, 1, 6 ], 44, 119, 
      "coevaluationmorphismwithgivenrange for iscapcategoryobject iscapcategor\
yobject iscapcategoryobject", "X7E8123AD8567A5C0" ], 
  [ 
      "\033[2XEvaluationMorphism\033[102X for IsCapCategoryObject, IsCapCategoryO\
bject", "5.2-1", [ 5, 2, 1 ], 55, 119, 
      "evaluationmorphism for iscapcategoryobject iscapcategoryobject", 
      "X809226D2878DD662" ], 
  [ 
      "\033[2XEvaluationMorphismWithGivenSource\033[102X for IsCapCategoryObject,\
 IsCapCategoryObject, IsCapCategoryObject", "5.2-2", [ 5, 2, 2 ], 61, 119, 
      "evaluationmorphismwithgivensource for iscapcategoryobject iscapcategory\
object iscapcategoryobject", "X7E42359B7A888F61" ], 
  [ "\033[2XInternalCoHomToTensorProductAdjunctionMap\033[102X for IsObject", 
      "5.2-3", [ 5, 2, 3 ], 67, 119, 
      "internalcohomtotensorproductadjunctionmap for isobject", 
      "X78B6BE768607496E" ], 
  [ 
      "\033[2XInternalCoHomToTensorProductAdjunctionMapWithGivenTensorProduct\\
033[102X for IsObject", "5.2-4", [ 5, 2, 4 ], 73, 119, 
      "internalcohomtotensorproductadjunctionmapwithgiventensorproduct for iso\
bject", "X7BBB6AD87A056F37" ], 
  [ "\033[2XInternalHomToTensorProductAdjunctionMap\033[102X for IsObject", 
      "5.2-5", [ 5, 2, 5 ], 80, 120, 
      "internalhomtotensorproductadjunctionmap for isobject", 
      "X7E415A5E859935AA" ], 
  [ 
      "\033[2XInternalHomToTensorProductAdjunctionMapWithGivenTensorProduct\033[1\
02X for IsObject", "5.2-6", [ 5, 2, 6 ], 86, 120, 
      "internalhomtotensorproductadjunctionmapwithgiventensorproduct for isobj\
ect", "X7E89D6DA7828F99E" ], 
  [ "\033[2XTensorProductToInternalCoHomAdjunctionMap\033[102X for IsObject", 
      "5.2-7", [ 5, 2, 7 ], 93, 120, 
      "tensorproducttointernalcohomadjunctionmap for isobject", 
      "X86CB055F839F71A3" ], 
  [ 
      "\033[2XTensorProductToInternalCoHomAdjunctionMapWithGivenInternalCoHom\\
033[102X for IsObject", "5.2-8", [ 5, 2, 8 ], 99, 120, 
      "tensorproducttointernalcohomadjunctionmapwithgiveninternalcohom for iso\
bject", "X7E1C1567803E7C91" ], 
  [ "\033[2XTensorProductToInternalHomAdjunctionMap\033[102X for IsObject", 
      "5.2-9", [ 5, 2, 9 ], 106, 120, 
      "tensorproducttointernalhomadjunctionmap for isobject", 
      "X8534C5AB7B80A8D8" ], 
  [ 
      "\033[2XTensorProductToInternalHomAdjunctionMapWithGivenInternalHom\033[102\
X for IsObject", "5.2-10", [ 5, 2, 10 ], 112, 120, 
      "tensorproducttointernalhomadjunctionmapwithgiveninternalhom for isobjec\
t", "X875D98EF835CC34C" ], 
  [ 
      "\033[2XInternalCoHomToTensorProductLeftAdjunctionMap\033[102X for IsObject\
", "5.2-11", [ 5, 2, 11 ], 119, 120, 
      "internalcohomtotensorproductleftadjunctionmap for isobject", 
      "X7A68E9AF856E8EC5" ], 
  [ "\033[2XInternalHomToTensorProductLeftAdjunctionMap\033[102X for IsObject"
        , "5.2-12", [ 5, 2, 12 ], 125, 121, 
      "internalhomtotensorproductleftadjunctionmap for isobject", 
      "X7A6128507D63055E" ], 
  [ 
      "\033[2XTensorProductToInternalCoHomLeftAdjunctionMap\033[102X for IsObject\
", "5.2-13", [ 5, 2, 13 ], 131, 121, 
      "tensorproducttointernalcohomleftadjunctionmap for isobject", 
      "X7D9D52A780F6B608" ], 
  [ 
      "\033[2XTensorProductToInternalCoHomLeftAdjunctionMapWithGivenInternalCoHom\
\033[102X for IsObject", "5.2-14", [ 5, 2, 14 ], 137, 121, 
      "tensorproducttointernalcohomleftadjunctionmapwithgiveninternalcohom for\
 isobject", "X814AE2D67D150C0B" ], 
  [ "\033[2XTensorProductToInternalHomLeftAdjunctionMap\033[102X for IsObject"
        , "5.2-15", [ 5, 2, 15 ], 144, 121, 
      "tensorproducttointernalhomleftadjunctionmap for isobject", 
      "X782469E1837A982C" ], 
  [ 
      "\033[2XTensorProductToInternalHomLeftAdjunctionMapWithGivenInternalHom\\
033[102X for IsObject", "5.2-16", [ 5, 2, 16 ], 150, 121, 
      "tensorproducttointernalhomleftadjunctionmapwithgiveninternalhom for iso\
bject", "X846E5D587AD2FB8D" ], 
  [ "\033[2XIsAdditiveMonoidalCategory\033[102X for IsCapCategory", "6.1-1", 
      [ 6, 1, 1 ], 7, 122, "isadditivemonoidalcategory for iscapcategory", 
      "X845F43E584BE51F3" ], 
  [ "\033[2XIsBraidedMonoidalCategory\033[102X for IsCapCategory", "6.1-2", 
      [ 6, 1, 2 ], 15, 122, "isbraidedmonoidalcategory for iscapcategory", 
      "X7EB424EE81E0290D" ], 
  [ "\033[2XIsClosedMonoidalCategory\033[102X for IsCapCategory", "6.1-3", 
      [ 6, 1, 3 ], 22, 122, "isclosedmonoidalcategory for iscapcategory", 
      "X78F907177D3C4BF8" ], 
  [ "\033[2XIsCoclosedMonoidalCategory\033[102X for IsCapCategory", "6.1-4", 
      [ 6, 1, 4 ], 29, 122, "iscoclosedmonoidalcategory for iscapcategory", 
      "X8262914378FA0F1A" ], 
  [ "\033[2XIsLeftClosedMonoidalCategory\033[102X for IsCapCategory", 
      "6.1-5", [ 6, 1, 5 ], 36, 122, 
      "isleftclosedmonoidalcategory for iscapcategory", "X861056EA7B4BFD70" ],
  [ "\033[2XIsLeftCoclosedMonoidalCategory\033[102X for IsCapCategory", 
      "6.1-6", [ 6, 1, 6 ], 43, 123, 
      "isleftcoclosedmonoidalcategory for iscapcategory", "X7D0F6DAC862788BE" 
     ], [ "\033[2XIsMonoidalCategory\033[102X for IsCapCategory", "6.1-7", 
      [ 6, 1, 7 ], 50, 123, "ismonoidalcategory for iscapcategory", 
      "X877C15BA81C14016" ], 
  [ "\033[2XIsStrictMonoidalCategory\033[102X for IsCapCategory", "6.1-8", 
      [ 6, 1, 8 ], 57, 123, "isstrictmonoidalcategory for iscapcategory", 
      "X867C0E9487F19155" ], 
  [ "\033[2XIsRigidSymmetricClosedMonoidalCategory\033[102X for IsCapCategory"
        , "6.1-9", [ 6, 1, 9 ], 64, 123, 
      "isrigidsymmetricclosedmonoidalcategory for iscapcategory", 
      "X7B5F85DB8497D183" ], 
  [ 
      "\033[2XIsRigidSymmetricCoclosedMonoidalCategory\033[102X for IsCapCategory\
", "6.1-10", [ 6, 1, 10 ], 71, 123, 
      "isrigidsymmetriccoclosedmonoidalcategory for iscapcategory", 
      "X7C610A4B848B53FF" ], 
  [ "\033[2XIsSymmetricClosedMonoidalCategory\033[102X for IsCapCategory", 
      "6.1-11", [ 6, 1, 11 ], 78, 123, 
      "issymmetricclosedmonoidalcategory for iscapcategory", 
      "X7BE3F4D085AA0055" ], 
  [ "\033[2XIsSymmetricCoclosedMonoidalCategory\033[102X for IsCapCategory", 
      "6.1-12", [ 6, 1, 12 ], 85, 123, 
      "issymmetriccoclosedmonoidalcategory for iscapcategory", 
      "X84215E5E875DD7DC" ], 
  [ "\033[2XIsSymmetricMonoidalCategory\033[102X for IsCapCategory", 
      "6.1-13", [ 6, 1, 13 ], 92, 123, 
      "issymmetricmonoidalcategory for iscapcategory", "X8296E9838534F4D1" ] ]
);