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, 
--> --------------------

--> maximum size reached

--> --------------------