#SIXFORMAT  GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "CAP",
entries :=
[ [ "Title page", ".", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5" ],
  [ "Table of Contents", ".-1", [ 0, 0, 1 ], 54, 2, "table of contents", 
      "X8537FEB07AF2BEC8" ], 
  [ "\033[1X\033[33X\033[0;-2YCAP Categories\033[133X\033[101X", "1", 
      [ 1, 0, 0 ], 1, 5, "cap categories", "X7C99ABCB7DEEDE2A" ], 
  [ "\033[1X\033[33X\033[0;-2YCategories\033[133X\033[101X", "1.1", 
      [ 1, 1, 0 ], 13, 5, "categories", "X7CC6903E78F24167" ], 
  [ "\033[1X\033[33X\033[0;-2YConstructor\033[133X\033[101X", "1.2", 
      [ 1, 2, 0 ], 58, 6, "constructor", "X7ABF649E831D4D8E" ], 
  [ "\033[1X\033[33X\033[0;-2YInternal Attributes\033[133X\033[101X", "1.3", 
      [ 1, 3, 0 ], 76, 6, "internal attributes", "X79CE135F7E6EBFEE" ], 
  [ "\033[1X\033[33X\033[0;-2YLogic switcher\033[133X\033[101X", "1.4", 
      [ 1, 4, 0 ], 130, 7, "logic switcher", "X8305A19E86EC7B67" ], 
  [ "\033[1X\033[33X\033[0;-2YTool functions\033[133X\033[101X", "1.5", 
      [ 1, 5, 0 ], 145, 7, "tool functions", "X7A15CCB67FBCF3E3" ], 
  [ "\033[1X\033[33X\033[0;-2YWell-Definedness of Cells\033[133X\033[101X", 
      "1.6", [ 1, 6, 0 ], 168, 8, "well-definedness of cells", 
      "X7DB3D2BD8792ABBC" ], 
  [ "\033[1X\033[33X\033[0;-2YType check\033[133X\033[101X", "1.7", 
      [ 1, 7, 0 ], 179, 8, "type check", "X83E6CD177C796894" ], 
  [ "\033[1X\033[33X\033[0;-2YDisable add in functions\033[133X\033[101X", 
      "1.8", [ 1, 8, 0 ], 193, 8, "disable add in functions", 
      "X82A6B5827EB7B1DB" ], 
  [ "\033[1X\033[33X\033[0;-2YCategory of Categories\033[133X\033[101X", "2", 
      [ 2, 0, 0 ], 1, 9, "category of categories", "X87C0818C7EFB273D" ], 
  [ "\033[1X\033[33X\033[0;-2YThe Category Cat\033[133X\033[101X", "2.1", 
      [ 2, 1, 0 ], 13, 9, "the category cat", "X7A8C280B85B50DE0" ], 
  [ "\033[1X\033[33X\033[0;-2YCategories\033[133X\033[101X", "2.2", 
      [ 2, 2, 0 ], 24, 9, "categories", "X7CC6903E78F24167" ], 
  [ "\033[1X\033[33X\033[0;-2YConstructors\033[133X\033[101X", "2.3", 
      [ 2, 3, 0 ], 48, 10, "constructors", "X86EC0F0A78ECBC10" ], 
  [ "\033[1X\033[33X\033[0;-2YFunctors\033[133X\033[101X", "2.4", 
      [ 2, 4, 0 ], 72, 10, "functors", "X78D1062D78BE08C1" ], 
  [ "\033[1X\033[33X\033[0;-2YNatural transformations\033[133X\033[101X", 
      "2.5", [ 2, 5, 0 ], 187, 12, "natural transformations", 
      "X836749D8814FEEE6" ], 
  [ "\033[1X\033[33X\033[0;-2YMorphisms\033[133X\033[101X", "3", [ 3, 0, 0 ], 
      1, 14, "morphisms", "X7BEB6C617FED52DA" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YAttributes for the Type of Morphisms\033[133X\\
033[101X", "3.1", [ 3, 1, 0 ], 11, 14, "attributes for the type of morphisms",
      "X8642E3327E96BBDD" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YCategorical Properties of Morphisms\033[133X\033[\
101X", "3.2", [ 3, 2, 0 ], 38, 14, "categorical properties of morphisms", 
      "X7A00D0C181471D06" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YNon-Categorical Properties of Morphisms\033[133X\\
033[101X", "3.3", [ 3, 3, 0 ], 104, 15, 
      "non-categorical properties of morphisms", "X7EA50D6587A93936" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YAdding Morphisms to a Category\033[133X\033[101X"
        , "3.4", [ 3, 4, 0 ], 163, 17, "adding morphisms to a category", 
      "X867B9398854FEFFD" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YEquality and Congruence for Morphisms\033[133X\\
033[101X", "3.5", [ 3, 5, 0 ], 186, 17, 
      "equality and congruence for morphisms", "X850CFDD48773998E" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YBasic Operations for Morphisms in Ab-Categories\\
033[133X\033[101X", "3.6", [ 3, 6, 0 ], 244, 18, 
      "basic operations for morphisms in ab-categories", "X8312421679CAAE35" ]
    , 
  [ 
      "\033[1X\033[33X\033[0;-2YSubobject and Factorobject Operations\033[133X\\
033[101X", "3.7", [ 3, 7, 0 ], 351, 20, 
      "subobject and factorobject operations", "X7C81E153817F489F" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YIdentity Morphism and Composition of Morphisms\\
033[133X\033[101X", "3.8", [ 3, 8, 0 ], 438, 21, 
      "identity morphism and composition of morphisms", "X82ADC0BF82DA2122" ],
  [ "\033[1X\033[33X\033[0;-2YWell-Definedness of Morphisms\033[133X\033[101X"
        , "3.9", [ 3, 9, 0 ], 515, 23, "well-definedness of morphisms", 
      "X7D5182B48598FBC5" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YBasic Operations for Morphisms in Abelian Categor\
ies\033[133X\033[101X", "3.10", [ 3, 10, 0 ], 536, 23, 
      "basic operations for morphisms in abelian categories", 
      "X7E4EC4B97985DB35" ], 
  [ "\033[1X\033[33X\033[0;-2YLift/ Colift\033[133X\033[101X", "3.11", 
      [ 3, 11, 0 ], 576, 24, "lift/ colift", "X80EC4D217F67F376" ], 
  [ "\033[1X\033[33X\033[0;-2YInverses\033[133X\033[101X", "3.12", 
      [ 3, 12, 0 ], 637, 25, "inverses", "X864F84C47DC1A620" ], 
  [ "\033[1X\033[33X\033[0;-2YTool functions for caches\033[133X\033[101X", 
      "3.13", [ 3, 13, 0 ], 654, 25, "tool functions for caches", 
      "X7DD668627932185C" ], 
  [ "\033[1X\033[33X\033[0;-2YObjects\033[133X\033[101X", "4", [ 4, 0, 0 ], 
      1, 26, "objects", "X78497E777FB3E402" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YAttributes for the Type of Objects\033[133X\033[1\
01X", "4.1", [ 4, 1, 0 ], 11, 26, "attributes for the type of objects", 
      "X7ABD8E5A8408A301" ], 
  [ "\033[1X\033[33X\033[0;-2YEquality for Objects\033[133X\033[101X", "4.2", 
      [ 4, 2, 0 ], 22, 26, "equality for objects", "X7B4B807A848111AA" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YCategorical Properties of Objects\033[133X\033[10\
1X", "4.3", [ 4, 3, 0 ], 42, 27, "categorical properties of objects", 
      "X86CCD70884952468" ], 
  [ "\033[1X\033[33X\033[0;-2YTool functions for caches\033[133X\033[101X", 
      "4.4", [ 4, 4, 0 ], 99, 28, "tool functions for caches", 
      "X7DD668627932185C" ], 
  [ "\033[1X\033[33X\033[0;-2YAdding Objects to a Category\033[133X\033[101X",
      "4.5", [ 4, 5, 0 ], 123, 28, "adding objects to a category", 
      "X81817A2C84F03D1D" ], 
  [ "\033[1X\033[33X\033[0;-2YWell-Definedness of Objects\033[133X\033[101X", 
      "4.6", [ 4, 6, 0 ], 143, 28, "well-definedness of objects", 
      "X7820B09C781A90A8" ], 
  [ "\033[1X\033[33X\033[0;-2YProjectives\033[133X\033[101X", "4.7", 
      [ 4, 7, 0 ], 163, 29, "projectives", "X7EFAF5CD83C3298F" ], 
  [ "\033[1X\033[33X\033[0;-2YInjectives\033[133X\033[101X", "4.8", 
      [ 4, 8, 0 ], 242, 30, "injectives", "X87100AFB7A202D2F" ], 
  [ "\033[1X\033[33X\033[0;-2YCategory 2-Cells\033[133X\033[101X", "5", 
      [ 5, 0, 0 ], 1, 32, "category 2-cells", "X7B2650D983390045" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YAttributes for the Type of 2-Cells\033[133X\033[1\
01X", "5.1", [ 5, 1, 0 ], 4, 32, "attributes for the type of 2-cells", 
      "X793836877FCD5EC6" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YIdentity 2-Cell and Composition of 2-Cells\033[13\
3X\033[101X", "5.2", [ 5, 2, 0 ], 23, 32, 
      "identity 2-cell and composition of 2-cells", "X7B780EDB7E466121" ], 
  [ "\033[1X\033[33X\033[0;-2YWell-Definedness for 2-Cells\033[133X\033[101X",
      "5.3", [ 5, 3, 0 ], 119, 34, "well-definedness for 2-cells", 
      "X84A60F017943A943" ], 
  [ "\033[1X\033[33X\033[0;-2YUniversal Objects\033[133X\033[101X", "6", 
      [ 6, 0, 0 ], 1, 35, "universal objects", "X7994CC1487D7617C" ], 
  [ "\033[1X\033[33X\033[0;-2YKernel\033[133X\033[101X", "6.1", [ 6, 1, 0 ], 
      4, 35, "kernel", "X7DCD99628504B810" ], 
  [ "\033[1X\033[33X\033[0;-2YCokernel\033[133X\033[101X", "6.2", 
      [ 6, 2, 0 ], 175, 38, "cokernel", "X875F177A82BF9B8B" ], 
  [ "\033[1X\033[33X\033[0;-2YZero Object\033[133X\033[101X", "6.3", 
      [ 6, 3, 0 ], 350, 41, "zero object", "X797A74DE8267C974" ], 
  [ "\033[1X\033[33X\033[0;-2YTerminal Object\033[133X\033[101X", "6.4", 
      [ 6, 4, 0 ], 574, 45, "terminal object", "X827CD17C7EBFD58F" ], 
  [ "\033[1X\033[33X\033[0;-2YInitial Object\033[133X\033[101X", "6.5", 
      [ 6, 5, 0 ], 668, 46, "initial object", "X78B0ED8B80BF5254" ], 
  [ "\033[1X\033[33X\033[0;-2YDirect Sum\033[133X\033[101X", "6.6", 
      [ 6, 6, 0 ], 762, 48, "direct sum", "X81FDB99378D1307A" ], 
  [ "\033[1X\033[33X\033[0;-2YCoproduct\033[133X\033[101X", "6.7", 
      [ 6, 7, 0 ], 1255, 56, "coproduct", "X7E8036DF7AC65994" ], 
  [ "\033[1X\033[33X\033[0;-2YDirect Product\033[133X\033[101X", "6.8", 
      [ 6, 8, 0 ], 1458, 59, "direct product", "X844C65417FBEA3C7" ], 
  [ "\033[1X\033[33X\033[0;-2YEqualizer\033[133X\033[101X", "6.9", 
      [ 6, 9, 0 ], 1677, 63, "equalizer", "X824FD8F786D2350D" ], 
  [ "\033[1X\033[33X\033[0;-2YCoequalizer\033[133X\033[101X", "6.10", 
      [ 6, 10, 0 ], 1869, 66, "coequalizer", "X7BA8F7BD793CC288" ], 
  [ "\033[1X\033[33X\033[0;-2YFiber Product\033[133X\033[101X", "6.11", 
      [ 6, 11, 0 ], 2062, 69, "fiber product", "X7C5C7D847A89D79C" ], 
  [ "\033[1X\033[33X\033[0;-2YPushout\033[133X\033[101X", "6.12", 
      [ 6, 12, 0 ], 2464, 76, "pushout", "X81A2D49D85923894" ], 
  [ "\033[1X\033[33X\033[0;-2YImage\033[133X\033[101X", "6.13", [ 6, 13, 0 ], 
      2859, 82, "image", "X87F4D35A826599C6" ], 
  [ "\033[1X\033[33X\033[0;-2YCoimage\033[133X\033[101X", "6.14", 
      [ 6, 14, 0 ], 3054, 86, "coimage", "X7EB02EC487B586E5" ], 
  [ "\033[1X\033[33X\033[0;-2YSubobject Classifier\033[133X\033[101X", 
      "6.15", [ 6, 15, 0 ], 3323, 90, "subobject classifier", 
      "X87DA77E487F951EF" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YTensor Product and Internal Hom\033[133X\033[101X\
", "7", [ 7, 0, 0 ], 1, 93, "tensor product and internal hom", 
      "X7AF6C1DF84986EEA" ], 
  [ "\033[1X\033[33X\033[0;-2YMonoidal Categories\033[133X\033[101X", "7.1", 
      [ 7, 1, 0 ], 4, 93, "monoidal categories", "X808DC49C7ED99B52" ], 
  [ "\033[1X\033[33X\033[0;-2YBraided Monoidal Categories\033[133X\033[101X", 
      "7.2", [ 7, 2, 0 ], 387, 99, "braided monoidal categories", 
      "X7D94AD967E6D60F1" ], 
  [ "\033[1X\033[33X\033[0;-2YSymmetric Monoidal Categories\033[133X\033[101X"
        , "7.3", [ 7, 3, 0 ], 459, 101, "symmetric monoidal categories", 
      "X85ED71067F7CEA82" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSymmetric Closed Monoidal Categories\033[133X\\
033[101X", "7.4", [ 7, 4, 0 ], 466, 101, 
      "symmetric closed monoidal categories", "X849F4CB58466EAEB" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YRigid Symmetric Closed Monoidal Categories\033[13\
3X\033[101X", "7.5", [ 7, 5, 0 ], 1190, 113, 
      "rigid symmetric closed monoidal categories", "X805AEF9784062A31" ], 
  [ "\033[1X\033[33X\033[0;-2YManaging Derived Methods\033[133X\033[101X", 
      "8", [ 8, 0, 0 ], 1, 115, "managing derived methods", 
      "X8397FA067BFF4850" ], 
  [ "\033[1X\033[33X\033[0;-2YInfo Class\033[133X\033[101X", "8.1", 
      [ 8, 1, 0 ], 4, 115, "info class", "X7EBFC26F83EB9F72" ], 
  [ "\033[1X\033[33X\033[0;-2YDerivation Objects\033[133X\033[101X", "8.2", 
      [ 8, 2, 0 ], 21, 115, "derivation objects", "X85225AB582EE9B06" ], 
  [ "\033[1X\033[33X\033[0;-2YDerivation Graphs\033[133X\033[101X", "8.3", 
      [ 8, 3, 0 ], 135, 117, "derivation graphs", "X87186DAD7DF242ED" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YManaging Derivations in a Category\033[133X\033[1\
01X", "8.4", [ 8, 4, 0 ], 233, 120, "managing derivations in a category", 
      "X86F129738355A31B" ], 
  [ "\033[1X\033[33X\033[0;-2YMin Heaps for Strings\033[133X\033[101X", 
      "8.5", [ 8, 5, 0 ], 340, 122, "min heaps for strings", 
      "X85B1CCCC81C1A631" ], 
  [ "\033[1X\033[33X\033[0;-2YAdd Functions\033[133X\033[101X", "9", 
      [ 9, 0, 0 ], 1, 124, "add functions", "X87A9DB228112DF45" ], 
  [ "\033[1X\033[33X\033[0;-2YFunctions Installed by Add\033[133X\033[101X", 
      "9.1", [ 9, 1, 0 ], 7, 124, "functions installed by add", 
      "X85EC14607B6F66FE" ], 
  [ "\033[1X\033[33X\033[0;-2YAdd Method\033[133X\033[101X", "9.2", 
      [ 9, 2, 0 ], 91, 125, "add method", "X85E3D9E07B8BC960" ], 
  [ "\033[1X\033[33X\033[0;-2YInstallAdd Function\033[133X\033[101X", "9.3", 
      [ 9, 3, 0 ], 150, 126, "installadd function", "X7D83FC527EA66166" ], 
  [ "\033[1X\033[33X\033[0;-2YInstall All Adds\033[133X\033[101X", "9.4", 
      [ 9, 4, 0 ], 232, 128, "install all adds", "X78B69C307CF0DE53" ], 
  [ "\033[1X\033[33X\033[0;-2YTechnical Details\033[133X\033[101X", "10", 
      [ 10, 0, 0 ], 1, 129, "technical details", "X87A9EC0A7DF04931" ], 
  [ "\033[1X\033[33X\033[0;-2YThe Category Cat\033[133X\033[101X", "10.1", 
      [ 10, 1, 0 ], 4, 129, "the category cat", "X7A8C280B85B50DE0" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YInstall Functions for IsWellDefined\033[133X\033[\
101X", "10.2", [ 10, 2, 0 ], 23, 129, "install functions for iswelldefined", 
      "X84802DD67AA9E628" ], 
  [ "\033[1X\033[33X\033[0;-2YMonoidal Categories\033[133X\033[101X", "11", 
      [ 11, 0, 0 ], 1, 132, "monoidal categories", "X808DC49C7ED99B52" ], 
  [ "\033[1X\033[33X\033[0;-2YPrepare functions\033[133X\033[101X", "12", 
      [ 12, 0, 0 ], 1, 133, "prepare functions", "X7AFA0108870EE97C" ], 
  [ "\033[1X\033[33X\033[0;-2YPrepare functions\033[133X\033[101X", "12.1", 
      [ 12, 1, 0 ], 4, 133, "prepare functions", "X7AFA0108870EE97C" ], 
  [ "\033[1X\033[33X\033[0;-2YExamples and Tests\033[133X\033[101X", "13", 
      [ 13, 0, 0 ], 1, 135, "examples and tests", "X7967FE8E7BBDF485" ], 
  [ "\033[1X\033[33X\033[0;-2YSpectral Sequences\033[133X\033[101X", "13.1", 
      [ 13, 1, 0 ], 4, 135, "spectral sequences", "X87330D8C82E71B50" ], 
  [ "\033[1X\033[33X\033[0;-2YMonoidal Categories\033[133X\033[101X", "13.2", 
      [ 13, 2, 0 ], 175, 138, "monoidal categories", "X808DC49C7ED99B52" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YGeneralized Morphisms Category\033[133X\033[101X"
        , "13.3", [ 13, 3, 0 ], 278, 140, "generalized morphisms category", 
      "X86FB477C7908A3A6" ], 
  [ "\033[1X\033[33X\033[0;-2YIsWellDefined\033[133X\033[101X", "13.4", 
      [ 13, 4, 0 ], 647, 147, "iswelldefined", "X7E8AFE5085FF7E15" ], 
  [ "\033[1X\033[33X\033[0;-2YKernel\033[133X\033[101X", "13.5", 
      [ 13, 5, 0 ], 673, 147, "kernel", "X7DCD99628504B810" ], 
  [ "\033[1X\033[33X\033[0;-2YFiberProduct\033[133X\033[101X", "13.6", 
      [ 13, 6, 0 ], 783, 149, "fiberproduct", "X7DE20941803BFBD9" ], 
  [ "Index", "ind", [ "Ind", 0, 0 ], 1, 151, "index", "X83A0356F839C696F" ], 
  [ "\033[2XIsCapCategory\033[102X for isobject", "1.1-1", [ 1, 1, 1 ], 16, 
      5, "iscapcategory for isobject", "X852A10417EEF5D0E" ], 
  [ "\033[2XIsCapCategoryCell\033[102X for isobject", "1.1-2", [ 1, 1, 2 ], 
      26, 5, "iscapcategorycell for isobject", "X7CCB83B285177E82" ], 
  [ "\033[2XIsCapCategoryObject\033[102X for iscapcategorycell", "1.1-3", 
      [ 1, 1, 3 ], 34, 5, "iscapcategoryobject for iscapcategorycell", 
      "X7DAEF54180094D1E" ], 
  [ "\033[2XIsCapCategoryMorphism\033[102X for iscapcategorycell", "1.1-4", 
      [ 1, 1, 4 ], 42, 6, "iscapcategorymorphism for iscapcategorycell", 
      "X84413C4978765A3F" ], 
  [ "\033[2XIsCapCategoryTwoCell\033[102X for iscapcategorycell", "1.1-5", 
      [ 1, 1, 5 ], 50, 6, "iscapcategorytwocell for iscapcategorycell", 
      "X7F3B964286D98710" ], 
  [ "\033[2XCreateCapCategory\033[102X", "1.2-1", [ 1, 2, 1 ], 61, 6, 
      "createcapcategory", "X86EDB84D7E3F0194" ], 
  [ "\033[2XCreateCapCategory\033[102X for isstring", "1.2-2", [ 1, 2, 2 ], 
      68, 6, "createcapcategory for isstring", "X854CC42E828C120D" ], 
  [ "\033[2XCategoryFilter\033[102X for iscapcategory", "1.3-1", [ 1, 3, 1 ], 
      82, 6, "categoryfilter for iscapcategory", "X7C7B1EAF7D786508" ], 
  [ "\033[2XCellFilter\033[102X for iscapcategory", "1.3-2", [ 1, 3, 2 ], 89, 
      6, "cellfilter for iscapcategory", "X7E88D5D3860AF854" ], 
  [ "\033[2XObjectFilter\033[102X for iscapcategory", "1.3-3", [ 1, 3, 3 ], 
      97, 7, "objectfilter for iscapcategory", "X7BD6E2B887F86E9C" ], 
  [ "\033[2XMorphismFilter\033[102X for iscapcategory", "1.3-4", [ 1, 3, 4 ], 
      105, 7, "morphismfilter for iscapcategory", "X7F62E0C47C778CBB" ], 
  [ "\033[2XTwoCellFilter\033[102X for iscapcategory", "1.3-5", [ 1, 3, 5 ], 
      113, 7, "twocellfilter for iscapcategory", "X850D0E978090D0C0" ], 
  [ "\033[2XCommutativeRingOfLinearCategory\033[102X for iscapcategory", 
      "1.3-6", [ 1, 3, 6 ], 121, 7, 
      "commutativeringoflinearcategory for iscapcategory", 
      "X78D0C0057817DBC3" ], 
  [ "\033[2XCapCategorySwitchLogicOn\033[102X", "1.4-1", [ 1, 4, 1 ], 133, 7, 
      "capcategoryswitchlogicon", "X84824AC3793D872B" ], 
  [ "\033[2XCapCategorySwitchLogicOff\033[102X", "1.4-2", [ 1, 4, 2 ], 139, 
      7, "capcategoryswitchlogicoff", "X84A995A687D031B7" ], 
  [ "\033[2XCanCompute\033[102X for iscapcategory, isstring", "1.5-1", 
      [ 1, 5, 1 ], 148, 7, "cancompute for iscapcategory isstring", 
      "X851D0435816DDB40" ], 
  [ 
      "\033[2XCheckConstructivenessOfCategory\033[102X for iscapcategory, isstrin\
g", "1.5-2", [ 1, 5, 2 ], 158, 8, 
      "checkconstructivenessofcategory for iscapcategory isstring", 
      "X7ACB9FFA84476BA0" ], 
  [ "\033[2XIsWellDefined\033[102X for iscapcategorycell", "1.6-1", 
      [ 1, 6, 1 ], 171, 8, "iswelldefined for iscapcategorycell", 
      "X839EA4D7805D4F97" ], 
  [ "\033[2XDisableBasicOperationTypeCheck\033[102X", "1.7-1", [ 1, 7, 1 ], 
      182, 8, "disablebasicoperationtypecheck", "X8747655184DF9BED" ], 
  [ "\033[2XEnablePartialBasicOperationTypeCheck\033[102X", "1.7-1", 
      [ 1, 7, 1 ], 182, 8, "enablepartialbasicoperationtypecheck", 
      "X8747655184DF9BED" ], 
  [ "\033[2XEnableFullBasicOperationTypeCheck\033[102X", "1.7-1", 
      [ 1, 7, 1 ], 182, 8, "enablefullbasicoperationtypecheck", 
      "X8747655184DF9BED" ], 
  [ "\033[2XDisableAddForCategoricalOperations\033[102X", "1.8-1", 
      [ 1, 8, 1 ], 196, 8, "disableaddforcategoricaloperations", 
      "X7AD3E7FA80C904C3" ], 
  [ "\033[2XEnableAddForCategoricalOperations\033[102X", "1.8-1", 
      [ 1, 8, 1 ], 196, 8, "enableaddforcategoricaloperations", 
      "X7AD3E7FA80C904C3" ], 
  [ "\033[2XCapCat\033[102X", "2.1-1", [ 2, 1, 1 ], 16, 9, "capcat", 
      "X810DBB407D117E6B" ], 
  [ "\033[2XIsCapCategoryAsCatObject\033[102X for iscapcategoryobject", 
      "2.2-1", [ 2, 2, 1 ], 27, 9, 
      "iscapcategoryascatobject for iscapcategoryobject", "X814369D484E429EF" 
     ], [ "\033[2XIsCapFunctor\033[102X for iscapcategorymorphism", "2.2-2", 
      [ 2, 2, 2 ], 34, 9, "iscapfunctor for iscapcategorymorphism", 
      "X7CBE360B8629DC79" ], 
  [ "\033[2XIsCapNaturalTransformation\033[102X for iscapcategorytwocell", 
      "2.2-3", [ 2, 2, 3 ], 41, 9, 
      "iscapnaturaltransformation for iscapcategorytwocell", 
      "X7D2DD1297D6E57D0" ], 
  [ "\033[2XAsCatObject\033[102X for iscapcategory", "2.3-1", [ 2, 3, 1 ], 
      51, 10, "ascatobject for iscapcategory", "X7F7E47537FD1EDC3" ], 
  [ "\033[2XAsCapCategory\033[102X for iscapcategoryascatobject", "2.3-2", 
      [ 2, 3, 2 ], 64, 10, "ascapcategory for iscapcategoryascatobject", 
      "X7E3142BA84C1EC72" ], 
  [ "\033[2XCapFunctor\033[102X for isstring, iscapcategory, iscapcategory", 
      "2.4-1", [ 2, 4, 1 ], 81, 10, 
      "capfunctor for isstring iscapcategory iscapcategory", 
      "X7814A6FC86238C93" ], 
  [ 
      "\033[2XCapFunctor\033[102X for isstring, iscapcategoryascatobject, iscapca\
tegory", "2.4-1", [ 2, 4, 1 ], 81, 10, 
      "capfunctor for isstring iscapcategoryascatobject iscapcategory", 
      "X7814A6FC86238C93" ], 
  [ 
      "\033[2XCapFunctor\033[102X for isstring, iscapcategory, iscapcategoryascat\
object", "2.4-1", [ 2, 4, 1 ], 81, 10, 
      "capfunctor for isstring iscapcategory iscapcategoryascatobject", 
      "X7814A6FC86238C93" ], 
  [ 
      "\033[2XCapFunctor\033[102X for isstring, iscapcategoryascatobject, iscapca\
tegoryascatobject", "2.4-1", [ 2, 4, 1 ], 81, 10, 
      "capfunctor for isstring iscapcategoryascatobject iscapcategoryascatobje\
ct", "X7814A6FC86238C93" ], 
  [ "\033[2XCapFunctor\033[102X for isstring, islist, iscapcategory", 
      "2.4-1", [ 2, 4, 1 ], 81, 10, 
      "capfunctor for isstring islist iscapcategory", "X7814A6FC86238C93" ], 
  [ "\033[2XCapFunctor\033[102X for isstring, islist, iscapcategoryascatobject\
", "2.4-1", [ 2, 4, 1 ], 81, 10, 
      "capfunctor for isstring islist iscapcategoryascatobject", 
      "X7814A6FC86238C93" ], 
  [ "\033[2XAddObjectFunction\033[102X for iscapfunctor, isfunction", 
      "2.4-2", [ 2, 4, 2 ], 95, 10, 
      "addobjectfunction for iscapfunctor isfunction", "X7A75B6A77C9F6836" ], 
  [ "\033[2XFunctorObjectOperation\033[102X for iscapfunctor", "2.4-3", 
      [ 2, 4, 3 ], 105, 11, "functorobjectoperation for iscapfunctor", 
      "X78CD5D1E811A85CF" ], 
  [ "\033[2XAddMorphismFunction\033[102X for iscapfunctor, isfunction", 
      "2.4-4", [ 2, 4, 4 ], 113, 11, 
      "addmorphismfunction for iscapfunctor isfunction", "X85EFB9BE8145B737" ]
    , [ "\033[2XFunctorMorphismOperation\033[102X for iscapfunctor", "2.4-5", 
      [ 2, 4, 5 ], 123, 11, "functormorphismoperation for iscapfunctor", 
      "X7D3BAF84793D9576" ], 
  [ "\033[2XApplyFunctor\033[102X", "2.4-6", [ 2, 4, 6 ], 131, 11, 
      "applyfunctor", "X850397447A1A766E" ], 
  [ "\033[2XInstallFunctor\033[102X for iscapfunctor, isstring", "2.4-7", 
      [ 2, 4, 7 ], 138, 11, "installfunctor for iscapfunctor isstring", 
      "X781664C7876ED8A0" ], 
  [ "\033[2XIdentityFunctor\033[102X for iscapcategory", "2.4-8", 
      [ 2, 4, 8 ], 144, 11, "identityfunctor for iscapcategory", 
      "X833F9B6D85713A4F" ], 
  [ "\033[2XFunctorCanonicalizeZeroObjects\033[102X for iscapcategory", 
      "2.4-9", [ 2, 4, 9 ], 152, 12, 
      "functorcanonicalizezeroobjects for iscapcategory", "X83FFF5538147E243" 
     ], 
  [ 
      "\033[2XNaturalIsomorophismFromIdentityToCanonicalizeZeroObjects\033[102X f\
or iscapcategory", "2.4-10", [ 2, 4, 10 ], 161, 12, 
      "naturalisomorophismfromidentitytocanonicalizezeroobjects for iscapcateg\
ory", "X815AF4E57928A453" ], 
  [ "\033[2XFunctorCanonicalizeZeroMorphisms\033[102X for iscapcategory", 
      "2.4-11", [ 2, 4, 11 ], 169, 12, 
      "functorcanonicalizezeromorphisms for iscapcategory", 
      "X7AA6B22B7BF73AAE" ], 
  [ 
      "\033[2XNaturalIsomorophismFromIdentityToCanonicalizeZeroMorphisms\033[102X\
 for iscapcategory", "2.4-12", [ 2, 4, 12 ], 179, 12, 
      "naturalisomorophismfromidentitytocanonicalizezeromorphisms for iscapcat\
egory", "X813A90D28415D9A3" ], 
  [ "\033[2XName\033[102X for iscapnaturaltransformation", "2.5-1", 
      [ 2, 5, 1 ], 190, 12, "name for iscapnaturaltransformation", 
      "X7F32E8C985178781" ], 
  [ "\033[2XNaturalTransformation\033[102X for iscapfunctor, iscapfunctor", 
      "2.5-2", [ 2, 5, 2 ], 198, 12, 
      "naturaltransformation for iscapfunctor iscapfunctor", 
      "X7C9810B8858249A0" ], 
  [ 
      "\033[2XAddNaturalTransformationFunction\033[102X for iscapnaturaltransform\
ation, isfunction", "2.5-3", [ 2, 5, 3 ], 207, 13, 
      "addnaturaltransformationfunction for iscapnaturaltransformation isfunct\
ion", "X7DFC4C9183446E95" ], 
  [ "\033[2XApplyNaturalTransformation\033[102X", "2.5-4", [ 2, 5, 4 ], 216, 
      13, "applynaturaltransformation", "X867F8B6A78462396" ], 
  [ 
      "\033[2XInstallNaturalTransformation\033[102X for iscapnaturaltransformatio\
n, isstring", "2.5-5", [ 2, 5, 5 ], 225, 13, 
      "installnaturaltransformation for iscapnaturaltransformation isstring", 
      "X79E6BE7E83687767" ], 
  [ 
      "\033[2XHorizontalPreComposeNaturalTransformationWithFunctor\033[102X for i\
scapnaturaltransformation, iscapfunctor", "2.5-6", [ 2, 5, 6 ], 232, 13, 
      "horizontalprecomposenaturaltransformationwithfunctor for iscapnaturaltr\
ansformation iscapfunctor", "X7EAB133B81CDB5E5" ], 
  [ 
      "\033[2XHorizontalPreComposeFunctorWithNaturalTransformation\033[102X for i\
scapfunctor, iscapnaturaltransformation", "2.5-7", [ 2, 5, 7 ], 239, 13, 
      "horizontalprecomposefunctorwithnaturaltransformation for iscapfunctor i\
scapnaturaltransformation", "X7B8AC0BB8370031D" ], 
  [ "\033[2XCapCategory\033[102X for iscapcategorymorphism", "3.1-1", 
      [ 3, 1, 1 ], 14, 14, "capcategory for iscapcategorymorphism", 
      "X7E923036810C606E" ], 
  [ "\033[2XSource\033[102X for iscapcategorymorphism", "3.1-2", [ 3, 1, 2 ], 
      22, 14, "source for iscapcategorymorphism", "X7E1373E385E7315A" ], 
  [ "\033[2XRange\033[102X for iscapcategorymorphism", "3.1-3", [ 3, 1, 3 ], 
      30, 14, "range for iscapcategorymorphism", "X817496B987A1ADFC" ], 
  [ "\033[2XAddIsMonomorphism\033[102X for iscapcategory, isfunction", 
      "3.2-1", [ 3, 2, 1 ], 41, 14, 
      "addismonomorphism for iscapcategory isfunction", "X87DEC4BD7C48E679" ],
  [ "\033[2XAddIsEpimorphism\033[102X for iscapcategory, isfunction", 
      "3.2-2", [ 3, 2, 2 ], 50, 15, 
      "addisepimorphism for iscapcategory isfunction", "X8523850C827FE182" ], 
  [ "\033[2XAddIsIsomorphism\033[102X for iscapcategory, isfunction", 
      "3.2-3", [ 3, 2, 3 ], 59, 15, 
      "addisisomorphism for iscapcategory isfunction", "X7B0818ED7A7BBCB4" ], 
  [ "\033[2XAddIsSplitMonomorphism\033[102X for iscapcategory, isfunction", 
      "3.2-4", [ 3, 2, 4 ], 68, 15, 
      "addissplitmonomorphism for iscapcategory isfunction", 
      "X7C5D46B77A65ACF2" ], 
  [ "\033[2XAddIsSplitEpimorphism\033[102X for iscapcategory, isfunction", 
      "3.2-5", [ 3, 2, 5 ], 77, 15, 
      "addissplitepimorphism for iscapcategory isfunction", 
      "X7D7BDF8F7EED3A72" ], 
  [ "\033[2XAddIsOne\033[102X for iscapcategory, isfunction", "3.2-6", 
      [ 3, 2, 6 ], 86, 15, "addisone for iscapcategory isfunction", 
      "X7FCC38DC7843D455" ], 
  [ "\033[2XAddIsIdempotent\033[102X for iscapcategory, isfunction", "3.2-7", 
      [ 3, 2, 7 ], 95, 15, "addisidempotent for iscapcategory isfunction", 
      "X85701DBE7A5F90A1" ], 
  [ "\033[2XIsIdenticalToIdentityMorphism\033[102X for iscapcategorymorphism",
      "3.3-1", [ 3, 3, 1 ], 109, 16, 
      "isidenticaltoidentitymorphism for iscapcategorymorphism", 
      "X7E01690B7D763504" ], 
  [ 
      "\033[2XAddIsIdenticalToIdentityMorphism\033[102X for iscapcategory, isfunc\
tion", "3.3-2", [ 3, 3, 2 ], 117, 16, 
      "addisidenticaltoidentitymorphism for iscapcategory isfunction", 
      "X8507561F7E66719B" ], 
  [ "\033[2XIsIdenticalToZeroMorphism\033[102X for iscapcategorymorphism", 
      "3.3-3", [ 3, 3, 3 ], 127, 16, 
      "isidenticaltozeromorphism for iscapcategorymorphism", 
      "X82ED159481E8A2CF" ], 
  [ 
      "\033[2XAddIsIdenticalToZeroMorphism\033[102X for iscapcategory, isfunction\
", "3.3-4", [ 3, 3, 4 ], 135, 16, 
      "addisidenticaltozeromorphism for iscapcategory isfunction", 
      "X8219E5A47E352C66" ], 
  [ "\033[2XAddIsEndomorphism\033[102X for iscapcategory, isfunction", 
      "3.3-5", [ 3, 3, 5 ], 145, 16, 
      "addisendomorphism for iscapcategory isfunction", "X87B1905481F6AF28" ],
  [ "\033[2XAddIsAutomorphism\033[102X for iscapcategory, isfunction", 
      "3.3-6", [ 3, 3, 6 ], 154, 16, 
      "addisautomorphism for iscapcategory isfunction", "X7FA3BD6D79D99498" ],
  [ "\033[2XAddMorphismRepresentation\033[102X for iscapcategory, isobject", 
      "3.4-1", [ 3, 4, 1 ], 166, 17, 
      "addmorphismrepresentation for iscapcategory isobject", 
      "X812F94E5790616EC" ], 
  [ "\033[2XObjectifyMorphismForCAPWithAttributes\033[102X", "3.4-2", 
      [ 3, 4, 2 ], 174, 17, "objectifymorphismforcapwithattributes", 
      "X787A52CF8218A1C9" ], 
  [ 
      "\033[2XIsCongruentForMorphisms\033[102X for iscapcategorymorphism, iscapca\
tegorymorphism", "3.5-1", [ 3, 5, 1 ], 189, 17, 
      "iscongruentformorphisms for iscapcategorymorphism iscapcategorymorphism\
", "X7FABCFBF865F4179" ], 
  [ "\033[2XAddIsCongruentForMorphisms\033[102X for iscapcategory, isfunction"
        , "3.5-2", [ 3, 5, 2 ], 197, 17, 
      "addiscongruentformorphisms for iscapcategory isfunction", 
      "X861A83B3802D0FBD" ], 
  [ 
      "\033[2XIsEqualForMorphisms\033[102X for iscapcategorymorphism, iscapcatego\
rymorphism", "3.5-3", [ 3, 5, 3 ], 207, 17, 
      "isequalformorphisms for iscapcategorymorphism iscapcategorymorphism", 
      "X8004F1DA7D9BFA8B" ], 
  [ "\033[2XAddIsEqualForMorphisms\033[102X for iscapcategory, isfunction", 
      "3.5-4", [ 3, 5, 4 ], 215, 18, 
      "addisequalformorphisms for iscapcategory isfunction", 
      "X83F60F5F7E57F3C8" ], 
  [ 
      "\033[2XIsEqualForMorphismsOnMor\033[102X for iscapcategorymorphism, iscapc\
ategorymorphism", "3.5-5", [ 3, 5, 5 ], 225, 18, 
      "isequalformorphismsonmor for iscapcategorymorphism iscapcategorymorphis\
m", "X8589E5A4814C3DA5" ], 
  [ 
      "\033[2XAddIsEqualForMorphismsOnMor\033[102X for iscapcategory, isfunction"
        , "3.5-6", [ 3, 5, 6 ], 234, 18, 
      "addisequalformorphismsonmor for iscapcategory isfunction", 
      "X84AB81547A770D36" ], 
  [ "\033[2XIsZeroForMorphisms\033[102X for iscapcategorymorphism", "3.6-1", 
      [ 3, 6, 1 ], 247, 18, "iszeroformorphisms for iscapcategorymorphism", 
      "X844684AD86DCC2DC" ], 
  [ "\033[2XAddIsZeroForMorphisms\033[102X for iscapcategory, isfunction", 
      "3.6-2", [ 3, 6, 2 ], 255, 18, 
      "addiszeroformorphisms for iscapcategory isfunction", 
      "X87DD3BD27C49450A" ], 
  [ 
      "\033[2XAdditionForMorphisms\033[102X for iscapcategorymorphism, iscapcateg\
orymorphism", "3.6-3", [ 3, 6, 3 ], 264, 18, 
      "additionformorphisms for iscapcategorymorphism iscapcategorymorphism", 
      "X83B77FBB85927F14" ], 
  [ "\033[2XAddAdditionForMorphisms\033[102X for iscapcategory, isfunction", 
      "3.6-4", [ 3, 6, 4 ], 272, 19, 
      "addadditionformorphisms for iscapcategory isfunction", 
      "X811BB502781CFBB9" ], 
  [ 
      "\033[2XSubtractionForMorphisms\033[102X for iscapcategorymorphism, iscapca\
tegorymorphism", "3.6-5", [ 3, 6, 5 ], 281, 19, 
      "subtractionformorphisms for iscapcategorymorphism iscapcategorymorphism\
", "X7B6461F5873F3F9D" ], 
  [ "\033[2XAddSubtractionForMorphisms\033[102X for iscapcategory, isfunction"
        , "3.6-6", [ 3, 6, 6 ], 289, 19, 
      "addsubtractionformorphisms for iscapcategory isfunction", 
      "X7ECA7B0182144B81" ], 
  [ "\033[2XAdditiveInverseForMorphisms\033[102X for iscapcategorymorphism", 
      "3.6-7", [ 3, 6, 7 ], 298, 19, 
      "additiveinverseformorphisms for iscapcategorymorphism", 
      "X83177713785DCFFC" ], 
  [ 
      "\033[2XAddAdditiveInverseForMorphisms\033[102X for iscapcategory, isfuncti\
on", "3.6-8", [ 3, 6, 8 ], 306, 19, 
      "addadditiveinverseformorphisms for iscapcategory isfunction", 
      "X7AB78A707BF08401" ], 
  [ 
      "\033[2XMultiplyWithElementOfCommutativeRingForMorphisms\033[102X for isrin\
gelement, iscapcategorymorphism", "3.6-9", [ 3, 6, 9 ], 315, 19, 
      "multiplywithelementofcommutativeringformorphisms for isringelement isca\
pcategorymorphism", "X8187CAF17EB5D6D0" ], 
  [ 
      "\033[2XAddMultiplyWithElementOfCommutativeRingForMorphisms\033[102X for is\
capcategory, isfunction", "3.6-10", [ 3, 6, 10 ], 324, 19, 
      "addmultiplywithelementofcommutativeringformorphisms for iscapcategory i\
sfunction", "X7AE8C7897CB6FDF8" ], 
  [ 
      "\033[2XZeroMorphism\033[102X for iscapcategoryobject, iscapcategoryobject"
        , "3.6-11", [ 3, 6, 11 ], 334, 20, 
      "zeromorphism for iscapcategoryobject iscapcategoryobject", 
      "X873412DB7BD0FBD3" ], 
  [ "\033[2XAddZeroMorphism\033[102X for iscapcategory, isfunction", 
      "3.6-12", [ 3, 6, 12 ], 342, 20, 
      "addzeromorphism for iscapcategory isfunction", "X824C08CE7D7FB387" ], 
  [ "\033[2XIsEqualAsSubobjects\033[102X for iscapcategorymorphism, iscapcateg\
orymorphism", "3.7-1", [ 3, 7, 1 ], 358, 20, 
      "isequalassubobjects for iscapcategorymorphism iscapcategorymorphism", 
      "X7E99DAA884674DE2" ], 
  [ "\033[2XAddIsEqualAsSubobjects\033[102X for iscapcategory, isfunction", 
      "3.7-2", [ 3, 7, 2 ], 368, 20, 
      "addisequalassubobjects for iscapcategory isfunction", 
      "X7A97D3C3869323D1" ], 
  [ 
      "\033[2XIsEqualAsFactorobjects\033[102X for iscapcategorymorphism, iscapcat\
egorymorphism", "3.7-3", [ 3, 7, 3 ], 378, 20, 
      "isequalasfactorobjects for iscapcategorymorphism iscapcategorymorphism"
        , "X79389FBF86CF87A4" ], 
  [ "\033[2XAddIsEqualAsFactorobjects\033[102X for iscapcategory, isfunction",
      "3.7-4", [ 3, 7, 4 ], 388, 21, 
      "addisequalasfactorobjects for iscapcategory isfunction", 
      "X82DE9AE387425307" ], 
  [ 
      "\033[2XIsDominating\033[102X for iscapcategorymorphism, iscapcategorymorph\
ism", "3.7-5", [ 3, 7, 5 ], 398, 21, 
      "isdominating for iscapcategorymorphism iscapcategorymorphism", 
      "X7C21531C7EE65C72" ], 
  [ "\033[2XAddIsDominating\033[102X for iscapcategory, isfunction", "3.7-6", 
      [ 3, 7, 6 ], 409, 21, "addisdominating for iscapcategory isfunction", 
      "X834AC612831DDD11" ], 
  [ 
      "\033[2XIsCodominating\033[102X for iscapcategorymorphism, iscapcategorymor\
phism", "3.7-7", [ 3, 7, 7 ], 418, 21, 
      "iscodominating for iscapcategorymorphism iscapcategorymorphism", 
      "X7C77E9D479C8D502" ], 
  [ "\033[2XAddIsCodominating\033[102X for iscapcategory, isfunction", 
      "3.7-8", [ 3, 7, 8 ], 429, 21, 
      "addiscodominating for iscapcategory isfunction", "X78E046E387674019" ],
  [ "\033[2XIdentityMorphism\033[102X for iscapcategoryobject", "3.8-1", 
      [ 3, 8, 1 ], 441, 21, "identitymorphism for iscapcategoryobject", 
      "X7C9F3D8086238443" ], 
  [ "\033[2XAddIdentityMorphism\033[102X for iscapcategory, isfunction", 
      "3.8-2", [ 3, 8, 2 ], 449, 22, 
      "addidentitymorphism for iscapcategory isfunction", "X878F4D2481E94EB6" 
     ], 
  [ 
      "\033[2XPreCompose\033[102X for iscapcategorymorphism, iscapcategorymorphis\
m", "3.8-3", [ 3, 8, 3 ], 458, 22, 
      "precompose for iscapcategorymorphism iscapcategorymorphism", 
      "X8244F7A0868BE27D" ], 
  [ "\033[2XPreCompose\033[102X for islist", "3.8-4", [ 3, 8, 4 ], 467, 22, 
      "precompose for islist", "X83CB57FB81931CFE" ], 
  [ "\033[2XAddPreCompose\033[102X for iscapcategory, isfunction", "3.8-5", 
      [ 3, 8, 5 ], 478, 22, "addprecompose for iscapcategory isfunction", 
      "X868C87097D322509" ], 
  [ 
      "\033[2XPostCompose\033[102X for iscapcategorymorphism, iscapcategorymorphi\
sm", "3.8-6", [ 3, 8, 6 ], 487, 22, 
      "postcompose for iscapcategorymorphism iscapcategorymorphism", 
      "X84293B8381256A08" ], 
  [ "\033[2XPostCompose\033[102X for islist", "3.8-7", [ 3, 8, 7 ], 496, 22, 
      "postcompose for islist", "X81222A1084A4F637" ], 
  [ "\033[2XAddPostCompose\033[102X for iscapcategory, isfunction", "3.8-8", 
      [ 3, 8, 8 ], 506, 22, "addpostcompose for iscapcategory isfunction", 
      "X853E87F47F9FC287" ], 
  [ "\033[2XIsWellDefinedForMorphisms\033[102X for iscapcategorymorphism", 
      "3.9-1", [ 3, 9, 1 ], 518, 23, 
      "iswelldefinedformorphisms for iscapcategorymorphism", 
      "X7968A871832877B8" ], 
  [ 
      "\033[2XAddIsWellDefinedForMorphisms\033[102X for iscapcategory, isfunction\
", "3.9-2", [ 3, 9, 2 ], 526, 23, 
      "addiswelldefinedformorphisms for iscapcategory isfunction", 
      "X7A4BE39A83D2A730" ], 
  [ 
      "\033[2XLiftAlongMonomorphism\033[102X for iscapcategorymorphism, iscapcate\
gorymorphism", "3.10-1", [ 3, 10, 1 ], 539, 23, 
      "liftalongmonomorphism for iscapcategorymorphism iscapcategorymorphism",
      "X83CDF65582CD9921" ], 
  [ "\033[2XAddLiftAlongMonomorphism\033[102X for iscapcategory, isfunction", 
      "3.10-2", [ 3, 10, 2 ], 548, 23, 
      "addliftalongmonomorphism for iscapcategory isfunction", 
      "X869A19337CB3059E" ], 
  [ 
      "\033[2XColiftAlongEpimorphism\033[102X for iscapcategorymorphism, iscapcat\
egorymorphism", "3.10-3", [ 3, 10, 3 ], 557, 23, 
      "coliftalongepimorphism for iscapcategorymorphism iscapcategorymorphism"
        , "X79AA9F638487EE32" ], 
  [ "\033[2XAddColiftAlongEpimorphism\033[102X for iscapcategory, isfunction",
      "3.10-4", [ 3, 10, 4 ], 566, 23, 
      "addcoliftalongepimorphism for iscapcategory isfunction", 
      "X7BBEF7C479E612ED" ], 
  [ "\033[2XLift\033[102X for iscapcategorymorphism, iscapcategorymorphism", 
      "3.11-1", [ 3, 11, 1 ], 595, 24, 
      "lift for iscapcategorymorphism iscapcategorymorphism", 
      "X87C471D583C1CD9E" ], 
  [ "\033[2XAddLift\033[102X for iscapcategory, isfunction", "3.11-2", 
      [ 3, 11, 2 ], 606, 24, "addlift for iscapcategory isfunction", 
      "X7DA9346A8517648D" ], 
  [ "\033[2XColift\033[102X for iscapcategorymorphism, iscapcategorymorphism",
      "3.11-3", [ 3, 11, 3 ], 616, 24, 
      "colift for iscapcategorymorphism iscapcategorymorphism", 
      "X7BA38B0F797AFE20" ], 
  [ "\033[2XAddColift\033[102X for iscapcategory, isfunction", "3.11-4", 
      [ 3, 11, 4 ], 627, 24, "addcolift for iscapcategory isfunction", 
      "X84A7986F82ED769E" ], 
  [ "\033[2XAddInverse\033[102X for iscapcategory, isfunction", "3.12-1", 
      [ 3, 12, 1 ], 645, 25, "addinverse for iscapcategory isfunction", 
      "X7A6B4970823DDAE6" ], 
  [ 
      "\033[2XIsEqualForCacheForMorphisms\033[102X for iscapcategorymorphism, isc\
apcategorymorphism", "3.13-1", [ 3, 13, 1 ], 657, 25, 
      "isequalforcacheformorphisms for iscapcategorymorphism iscapcategorymorp\
hism", "X83F87AE07ED534ED" ], 
  [ 
      "\033[2XAddIsEqualForCacheForMorphisms\033[102X for iscapcategory, isfuncti\
on", "3.13-2", [ 3, 13, 2 ], 664, 25, 
      "addisequalforcacheformorphisms for iscapcategory isfunction", 
      "X833165B27AA74580" ], 
  [ "\033[2XCapCategory\033[102X for iscapcategoryobject", "4.1-1", 
      [ 4, 1, 1 ], 14, 26, "capcategory for iscapcategoryobject", 
      "X7C3B8C3D865002C8" ], 
  [ 
      "\033[2XIsEqualForObjects\033[102X for iscapcategoryobject, iscapcategoryob\
ject", "4.2-1", [ 4, 2, 1 ], 25, 26, 
      "isequalforobjects for iscapcategoryobject iscapcategoryobject", 
      "X8337569D81C0BBEC" ], 
  [ "\033[2XAddIsEqualForObjects\033[102X for iscapcategory, isfunction", 
      "4.2-2", [ 4, 2, 2 ], 33, 26, 
      "addisequalforobjects for iscapcategory isfunction", 
      "X787F654B82150781" ], 
  [ "\033[2XAddIsProjective\033[102X for iscapcategory, isfunction", "4.3-1", 
      [ 4, 3, 1 ], 45, 27, "addisprojective for iscapcategory isfunction", 
      "X865C78CF789DA86D" ], 
  [ "\033[2XAddIsInjective\033[102X for iscapcategory, isfunction", "4.3-2", 
      [ 4, 3, 2 ], 54, 27, "addisinjective for iscapcategory isfunction", 
      "X7F7F309F7C67D6CE" ], 
  [ "\033[2XAddIsTerminal\033[102X for iscapcategory, isfunction", "4.3-3", 
      [ 4, 3, 3 ], 63, 27, "addisterminal for iscapcategory isfunction", 
      "X7EDB2D5B7F234ADA" ], 
  [ "\033[2XAddIsInitial\033[102X for iscapcategory, isfunction", "4.3-4", 
      [ 4, 3, 4 ], 72, 27, "addisinitial for iscapcategory isfunction", 
      "X7E6EDA9484F3E6F6" ], 
  [ "\033[2XIsZeroForObjects\033[102X for iscapcategoryobject", "4.3-5", 
      [ 4, 3, 5 ], 81, 27, "iszeroforobjects for iscapcategoryobject", 
      "X856FA5E084753312" ], 
  [ "\033[2XAddIsZeroForObjects\033[102X for iscapcategory, isfunction", 
      "4.3-6", [ 4, 3, 6 ], 90, 27, 
      "addiszeroforobjects for iscapcategory isfunction", "X78C3E7BF78A9A7D5" 
     ], 
  [ 
      "\033[2XIsEqualForCacheForObjects\033[102X for iscapcategoryobject, iscapca\
tegoryobject", "4.4-1", [ 4, 4, 1 ], 102, 28, 
      "isequalforcacheforobjects for iscapcategoryobject iscapcategoryobject",
      "X7BAE9BBC874635CB" ], 
  [ 
      "\033[2XAddIsEqualForCacheForObjects\033[102X for iscapcategory, isfunction\
", "4.4-2", [ 4, 4, 2 ], 109, 28, 
      "addisequalforcacheforobjects for iscapcategory isfunction", 
      "X7887D32C7973F4A0" ], 
  [ "\033[2XAddObjectRepresentation\033[102X for iscapcategory, isobject", 
      "4.5-1", [ 4, 5, 1 ], 126, 28, 
      "addobjectrepresentation for iscapcategory isobject", 
      "X7A68365C82BDA4E7" ], 
  [ "\033[2XObjectifyObjectForCAPWithAttributes\033[102X", "4.5-2", 
      [ 4, 5, 2 ], 134, 28, "objectifyobjectforcapwithattributes", 
      "X78095CF37B92F0D9" ], 
  [ "\033[2XIsWellDefinedForObjects\033[102X for iscapcategoryobject", 
      "4.6-1", [ 4, 6, 1 ], 146, 28, 
      "iswelldefinedforobjects for iscapcategoryobject", "X7F9A38A187D9ABFA" ]
    , 
  [ "\033[2XAddIsWellDefinedForObjects\033[102X for iscapcategory, isfunction"
        , "4.6-2", [ 4, 6, 2 ], 154, 29, 
      "addiswelldefinedforobjects for iscapcategory isfunction", 
      "X859219147B3058B8" ], 
  [ "\033[2XSomeProjectiveObject\033[102X for iscapcategoryobject", "4.7-1", 
      [ 4, 7, 1 ], 170, 29, "someprojectiveobject for iscapcategoryobject", 
      "X7FED5E898784C314" ], 
  [ 
      "\033[2XEpimorphismFromSomeProjectiveObject\033[102X for iscapcategoryobjec\
t", "4.7-2", [ 4, 7, 2 ], 178, 29, 
      "epimorphismfromsomeprojectiveobject for iscapcategoryobject", 
      "X7D5951AA7EBD7750" ], 
  [ 
      "\033[2XEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject\\
033[102X for iscapcategoryobject, iscapcategoryobject", "4.7-3", [ 4, 7, 3 ], 
      187, 29, 
      "epimorphismfromsomeprojectiveobjectwithgivensomeprojectiveobject for is\
capcategoryobject iscapcategoryobject", "X81F04D8186B94570" ], 
  [ 
      "\033[2XProjectiveLift\033[102X for iscapcategorymorphism, iscapcategorymor\
phism", "4.7-4", [ 4, 7, 4 ], 196, 29, 
      "projectivelift for iscapcategorymorphism iscapcategorymorphism", 
      "X7BFFD7FE82DCB5F6" ], 
  [ "\033[2XAddSomeProjectiveObject\033[102X for iscapcategory, isfunction", 
      "4.7-5", [ 4, 7, 5 ], 205, 29, 
      "addsomeprojectiveobject for iscapcategory isfunction", 
      "X7C3AF36D86F11429" ], 
  [ 
      "\033[2XAddEpimorphismFromSomeProjectiveObject\033[102X for iscapcategory, \
isfunction", "4.7-6", [ 4, 7, 6 ], 214, 30, 
      "addepimorphismfromsomeprojectiveobject for iscapcategory isfunction", 
      "X85B76EA67A35B7B2" ], 
  [ 
      "\033[2XAddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject\
\033[102X for iscapcategory, isfunction", "4.7-7", [ 4, 7, 7 ], 223, 30, 
      "addepimorphismfromsomeprojectiveobjectwithgivensomeprojectiveobject for\
 iscapcategory isfunction", "X7B7B27468506DA04" ], 
  [ "\033[2XAddProjectiveLift\033[102X for iscapcategory, isfunction", 
      "4.7-8", [ 4, 7, 8 ], 233, 30, 
      "addprojectivelift for iscapcategory isfunction", "X7AEE24E581A44083" ],
  [ "\033[2XSomeInjectiveObject\033[102X for iscapcategoryobject", "4.8-1", 
      [ 4, 8, 1 ], 249, 30, "someinjectiveobject for iscapcategoryobject", 
      "X7C06E1807D8775AD" ], 
  [ 
      "\033[2XMonomorphismIntoSomeInjectiveObject\033[102X for iscapcategoryobjec\
t", "4.8-2", [ 4, 8, 2 ], 257, 30, 
      "monomorphismintosomeinjectiveobject for iscapcategoryobject", 
      "X8502893C82A38864" ], 
  [ 
      "\033[2XMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject\\
033[102X for iscapcategoryobject, iscapcategoryobject", "4.8-3", [ 4, 8, 3 ], 
      266, 31, 
      "monomorphismintosomeinjectiveobjectwithgivensomeinjectiveobject for isc\
apcategoryobject iscapcategoryobject", "X7A7C030382397A2B" ], 
  [ 
      "\033[2XInjectiveColift\033[102X for iscapcategorymorphism, iscapcategorymo\
rphism", "4.8-4", [ 4, 8, 4 ], 275, 31, 
      "injectivecolift for iscapcategorymorphism iscapcategorymorphism", 
      "X7CCBB0A384F37EC6" ], 
  [ "\033[2XAddSomeInjectiveObject\033[102X for iscapcategory, isfunction", 
      "4.8-5", [ 4, 8, 5 ], 284, 31, 
      "addsomeinjectiveobject for iscapcategory isfunction", 
      "X7DFC9A568472688B" ], 
  [ 
      "\033[2XAddMonomorphismIntoSomeInjectiveObject\033[102X for iscapcategory, \
isfunction", "4.8-6", [ 4, 8, 6 ], 293, 31, 
      "addmonomorphismintosomeinjectiveobject for iscapcategory isfunction", 
      "X81C9788D7DD27D18" ], 
  [ 
      "\033[2XAddMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject\\
033[102X for iscapcategory, isfunction", "4.8-7", [ 4, 8, 7 ], 302, 31, 
      "addmonomorphismintosomeinjectiveobjectwithgivensomeinjectiveobject for \
iscapcategory isfunction", "X7CCBF6577ADC62D9" ], 
  [ "\033[2XAddInjectiveColift\033[102X for iscapcategory, isfunction", 
      "4.8-8", [ 4, 8, 8 ], 312, 31, 
      "addinjectivecolift for iscapcategory isfunction", "X7CE0C54080533C0E" ]
    , 
  [ "\033[2XSource\033[102X for iscapcategorytwocell", "5.1-1", [ 5, 1, 1 ], 
      7, 32, "source for iscapcategorytwocell", "X8061EB36809022A4" ], 
  [ "\033[2XRange\033[102X for iscapcategorytwocell", "5.1-2", [ 5, 1, 2 ], 
      15, 32, "range for iscapcategorytwocell", "X7C16D44B8639016B" ], 
  [ "\033[2XIdentityTwoCell\033[102X for iscapcategorymorphism", "5.2-1", 
      [ 5, 2, 1 ], 26, 32, "identitytwocell for iscapcategorymorphism", 
      "X78ED1F327D902924" ], 
  [ "\033[2XAddIdentityTwoCell\033[102X for iscapcategory, isfunction", 
      "5.2-2", [ 5, 2, 2 ], 34, 32, 
      "addidentitytwocell for iscapcategory isfunction", "X85B4A2607CDFC0D2" ]
    , 
  [ 
      "\033[2XHorizontalPreCompose\033[102X for iscapcategorytwocell, iscapcatego\
rytwocell", "5.2-3", [ 5, 2, 3 ], 43, 32, 
      "horizontalprecompose for iscapcategorytwocell iscapcategorytwocell", 
      "X7DD9EB1F80921939" ], 
  [ "\033[2XAddHorizontalPreCompose\033[102X for iscapcategory, isfunction", 
      "5.2-4", [ 5, 2, 4 ], 53, 33, 
      "addhorizontalprecompose for iscapcategory isfunction", 
      "X7C759D3A7CB3FA3A" ], 
  [ 
      "\033[2XHorizontalPostCompose\033[102X for iscapcategorytwocell, iscapcateg\
orytwocell", "5.2-5", [ 5, 2, 5 ], 62, 33, 
      "horizontalpostcompose for iscapcategorytwocell iscapcategorytwocell", 
      "X87C942B87C6A161D" ], 
  [ "\033[2XAddHorizontalPostCompose\033[102X for iscapcategory, isfunction", 
      "5.2-6", [ 5, 2, 6 ], 72, 33, 
      "addhorizontalpostcompose for iscapcategory isfunction", 
      "X80B2FA2F7C2E2BDA" ], 
  [ 
      "\033[2XVerticalPreCompose\033[102X for iscapcategorytwocell, iscapcategory\
twocell", "5.2-7", [ 5, 2, 7 ], 81, 33, 
      "verticalprecompose for iscapcategorytwocell iscapcategorytwocell", 
      "X7D89385B7834B086" ], 
  [ "\033[2XAddVerticalPreCompose\033[102X for iscapcategory, isfunction", 
      "5.2-8", [ 5, 2, 8 ], 91, 33, 
      "addverticalprecompose for iscapcategory isfunction", 
      "X85F4507081F229DD" ], 
  [ 
      "\033[2XVerticalPostCompose\033[102X for iscapcategorytwocell, iscapcategor\
ytwocell", "5.2-9", [ 5, 2, 9 ], 100, 33, 
      "verticalpostcompose for iscapcategorytwocell iscapcategorytwocell", 
      "X79D9FBEA851C4F00" ], 
  [ "\033[2XAddVerticalPostCompose\033[102X for iscapcategory, isfunction", 
      "5.2-10", [ 5, 2, 10 ], 110, 33, 
      "addverticalpostcompose for iscapcategory isfunction", 
      "X7AA662D58265F658" ], 
  [ "\033[2XIsWellDefinedForTwoCells\033[102X for iscapcategorytwocell", 
      "5.3-1", [ 5, 3, 1 ], 122, 34, 
      "iswelldefinedfortwocells for iscapcategorytwocell", 
      "X8240AF367C87663F" ], 
  [ 
      "\033[2XAddIsWellDefinedForTwoCells\033[102X for iscapcategory, isfunction"
        , "5.3-2", [ 5, 3, 2 ], 130, 34, 
      "addiswelldefinedfortwocells for iscapcategory isfunction", 
      "X7EE52A1587E15D94" ], 
  [ "\033[2XKernelObject\033[102X for iscapcategorymorphism", "6.1-1", 
      [ 6, 1, 1 ], 29, 35, "kernelobject for iscapcategorymorphism", 
      "X82EAD3357C9FE4C8" ], 
  [ "\033[2XKernelEmbedding\033[102X for iscapcategorymorphism", "6.1-2", 
      [ 6, 1, 2 ], 36, 35, "kernelembedding for iscapcategorymorphism", 
      "X8430666980D732FB" ], 
  [ 
      "\033[2XKernelEmbeddingWithGivenKernelObject\033[102X for iscapcategorymorp\
hism, iscapcategoryobject", "6.1-3", [ 6, 1, 3 ], 44, 35, 
      "kernelembeddingwithgivenkernelobject for iscapcategorymorphism iscapcat\
egoryobject", "X7CBE1D0C84F5A47E" ], 
  [ 
      "\033[2XKernelLift\033[102X for iscapcategorymorphism, iscapcategorymorphis\
m", "6.1-4", [ 6, 1, 4 ], 53, 36, 
      "kernellift for iscapcategorymorphism iscapcategorymorphism", 
      "X851623317C59DDE5" ], 
  [ 
      "\033[2XKernelLiftWithGivenKernelObject\033[102X for iscapcategorymorphism,\
 iscapcategorymorphism, iscapcategoryobject", "6.1-5", [ 6, 1, 5 ], 63, 36, 
      "kernelliftwithgivenkernelobject for iscapcategorymorphism iscapcategory\
morphism iscapcategoryobject", "X80B3CF1A7E2C6783" ], 
  [ "\033[2XAddKernelObject\033[102X for iscapcategory, isfunction", "6.1-6", 
      [ 6, 1, 6 ], 73, 36, "addkernelobject for iscapcategory isfunction", 
      "X8681E565875A8C03" ], 
  [ "\033[2XAddKernelEmbedding\033[102X for iscapcategory, isfunction", 
      "6.1-7", [ 6, 1, 7 ], 82, 36, 
      "addkernelembedding for iscapcategory isfunction", "X788D35FA8050DA84" ]
    , 
  [ 
      "\033[2XAddKernelEmbeddingWithGivenKernelObject\033[102X for iscapcategory,\
 isfunction", "6.1-8", [ 6, 1, 8 ], 91, 36, 
      "addkernelembeddingwithgivenkernelobject for iscapcategory isfunction", 
      "X87668C2183C9E8A1" ], 
  [ "\033[2XAddKernelLift\033[102X for iscapcategory, isfunction", "6.1-9", 
      [ 6, 1, 9 ], 100, 36, "addkernellift for iscapcategory isfunction", 
      "X7A3F184085748DE6" ], 
  [ 
      "\033[2XAddKernelLiftWithGivenKernelObject\033[102X for iscapcategory, isfu\
nction", "6.1-10", [ 6, 1, 10 ], 109, 37, 
      "addkernelliftwithgivenkernelobject for iscapcategory isfunction", 
      "X7D6119357E10B4DA" ], 
  [ "\033[2XKernelObjectFunctorial\033[102X for islist", "6.1-11", 
      [ 6, 1, 11 ], 118, 37, "kernelobjectfunctorial for islist", 
      "X78D5B94A7EF4D4F0" ], 
  [ 
      "\033[2XKernelObjectFunctorial\033[102X for iscapcategorymorphism, iscapcat\
egorymorphism, iscapcategorymorphism", "6.1-12", [ 6, 1, 12 ], 129, 37, 
      "kernelobjectfunctorial for iscapcategorymorphism iscapcategorymorphism \
iscapcategorymorphism", "X787AE8F07F7A062C" ], 
  [ 
      "\033[2XKernelObjectFunctorialWithGivenKernelObjects\033[102X for iscapcate\
goryobject, iscapcategorymorphism, iscapcategorymorphism,iscapcategorymorphism\
, iscapcategoryobject", "6.1-13", [ 6, 1, 13 ], 140, 37, 
      "kernelobjectfunctorialwithgivenkernelobjects for iscapcategoryobject is\
capcategorymorphism iscapcategorymorphism iscapcategorymorphism iscapcategoryo\
bject", "X7F61FE0B82AF4CDB" ], 
  [ 
      "\033[2XKernelObjectFunctorialWithGivenKernelObjects\033[102X for iscapcate\
goryobject, iscapcategorymorphism, iscapcategorymorphism,iscapcategorymorphism\
, iscapcategorymorphism, iscapcategoryobject", "6.1-14", [ 6, 1, 14 ], 151, 
      37, 
      "kernelobjectfunctorialwithgivenkernelobjects for iscapcategoryobject is\
capcategorymorphism iscapcategorymorphism iscapcategorymorphism iscapcategorym\
orphism iscapcategoryobject", "X7A17922D869CCEB5" ], 
  [ 
      "\033[2XAddKernelObjectFunctorialWithGivenKernelObjects\033[102X for iscapc\
ategory, isfunction", "6.1-15", [ 6, 1, 15 ], 163, 38, 
      "addkernelobjectfunctorialwithgivenkernelobjects for iscapcategory isfun\
ction", "X7BE607577847C4DC" ], 
  [ "\033[2XCokernelObject\033[102X for iscapcategorymorphism", "6.2-1", 
      [ 6, 2, 1 ], 200, 38, "cokernelobject for iscapcategorymorphism", 
      "X82803DBC80F40EFC" ], 
  [ "\033[2XCokernelProjection\033[102X for iscapcategorymorphism", "6.2-2", 
      [ 6, 2, 2 ], 208, 38, "cokernelprojection for iscapcategorymorphism", 
      "X78948D7A7B52AB31" ], 
  [ 
      "\033[2XCokernelProjectionWithGivenCokernelObject\033[102X for iscapcategor\
ymorphism, iscapcategoryobject", "6.2-3", [ 6, 2, 3 ], 217, 38, 
      "cokernelprojectionwithgivencokernelobject for iscapcategorymorphism isc\
apcategoryobject", "X845DC9377A05BE7B" ], 
  [ 
      "\033[2XCokernelColift\033[102X for iscapcategorymorphism, iscapcategorymor\
phism", "6.2-4", [ 6, 2, 4 ], 226, 39, 
      "cokernelcolift for iscapcategorymorphism iscapcategorymorphism", 
      "X7EA0944B81F119C8" ], 
  [ 
      "\033[2XCokernelColiftWithGivenCokernelObject\033[102X for iscapcategorymor\
phism, iscapcategorymorphism, iscapcategoryobject", "6.2-5", [ 6, 2, 5 ], 
      236, 39, 
      "cokernelcoliftwithgivencokernelobject for iscapcategorymorphism iscapca\
tegorymorphism iscapcategoryobject", "X7B3F7C3A7B6CEEE1" ], 
  [ "\033[2XAddCokernelObject\033[102X for iscapcategory, isfunction", 
      "6.2-6", [ 6, 2, 6 ], 246, 39, 
      "addcokernelobject for iscapcategory isfunction", "X7827637D7B8E7E60" ],
  [ "\033[2XAddCokernelProjection\033[102X for iscapcategory, isfunction", 
      "6.2-7", [ 6, 2, 7 ], 255, 39, 
      "addcokernelprojection for iscapcategory isfunction", 
      "X7D9723AA7E4EAC2A" ], 
  [ 
      "\033[2XAddCokernelProjectionWithGivenCokernelObject\033[102X for iscapcate\
gory, isfunction", "6.2-8", [ 6, 2, 8 ], 264, 39, 
      "addcokernelprojectionwithgivencokernelobject for iscapcategory isfuncti\
on", "X793803DC816CBA27" ], 
  [ "\033[2XAddCokernelColift\033[102X for iscapcategory, isfunction", 
      "6.2-9", [ 6, 2, 9 ], 273, 39, 
      "addcokernelcolift for iscapcategory isfunction", "X7988858A83DAFF4B" ],
  [ "\033[2XAddCokernelColiftWithGivenCokernelObject\033[102X for iscapcategor\
y, isfunction", "6.2-10", [ 6, 2, 10 ], 282, 40, 
      "addcokernelcoliftwithgivencokernelobject for iscapcategory isfunction",
      "X7991C43079F444CC" ], 
  [ "\033[2XCokernelObjectFunctorial\033[102X for islist", "6.2-11", 
      [ 6, 2, 11 ], 291, 40, "cokernelobjectfunctorial for islist", 
      "X78E421227FB90A70" ], 
  [ 
      "\033[2XCokernelObjectFunctorial\033[102X for iscapcategorymorphism, iscapc\
ategorymorphism, iscapcategorymorphism", "6.2-12", [ 6, 2, 12 ], 303, 40, 
      "cokernelobjectfunctorial for iscapcategorymorphism iscapcategorymorphis\
m iscapcategorymorphism", "X837889ED7BD6CBED" ], 
  [ 
      "\033[2XCokernelObjectFunctorialWithGivenCokernelObjects\033[102X for iscap\
categoryobject, iscapcategorymorphism, iscapcategorymorphism,iscapcategorymorp\
hism, iscapcategoryobject", "6.2-13", [ 6, 2, 13 ], 314, 40, 
      "cokernelobjectfunctorialwithgivencokernelobjects for iscapcategoryobjec\
t iscapcategorymorphism iscapcategorymorphism iscapcategorymorphism iscapcateg\
oryobject", "X7BA172F07A431626" ], 
  [ 
      "\033[2XCokernelObjectFunctorialWithGivenCokernelObjects\033[102X for iscap\
categoryobject, iscapcategorymorphism, iscapcategorymorphism,iscapcategorymorp\
hism, iscapcategorymorphism, iscapcategoryobject", "6.2-14", [ 6, 2, 14 ], 
      326, 40, 
      "cokernelobjectfunctorialwithgivencokernelobjects for iscapcategoryobjec\
t iscapcategorymorphism iscapcategorymorphism iscapcategorymorphism iscapcateg\
orymorphism iscapcategoryobject", "X7F59A455873709D3" ], 
  [ 
      "\033[2XAddCokernelObjectFunctorialWithGivenCokernelObjects\033[102X for is\
capcategory, isfunction", "6.2-15", [ 6, 2, 15 ], 338, 41, 
      "addcokernelobjectfunctorialwithgivencokernelobjects for iscapcategory i\
sfunction", "X7B162B6E7D60FFE7" ], 
  [ "\033[2XZeroObject\033[102X for iscapcategory", "6.3-1", [ 6, 3, 1 ], 
      370, 41, "zeroobject for iscapcategory", "X790C4FA87CADB93E" ], 
  [ "\033[2XZeroObject\033[102X for iscapcategorycell", "6.3-2", [ 6, 3, 2 ], 
      377, 41, "zeroobject for iscapcategorycell", "X87D87A177FE0542F" ], 
  [ "\033[2XMorphismFromZeroObject\033[102X for iscapcategoryobject", 
      "6.3-3", [ 6, 3, 3 ], 385, 41, 
      "morphismfromzeroobject for iscapcategoryobject", "X7F701A11812C74C5" ],
  [ "\033[2XMorphismIntoZeroObject\033[102X for iscapcategoryobject", 
      "6.3-4", [ 6, 3, 4 ], 393, 41, 
      "morphismintozeroobject for iscapcategoryobject", "X837BD808791003FF" ],
  [ "\033[2XUniversalMorphismFromZeroObject\033[102X for iscapcategoryobject",
      "6.3-5", [ 6, 3, 5 ], 401, 42, 
      "universalmorphismfromzeroobject for iscapcategoryobject", 
      "X7A0BF1118777C8A3" ], 
  [ 
      "\033[2XUniversalMorphismFromZeroObjectWithGivenZeroObject\033[102X for isc\
apcategoryobject, iscapcategoryobject", "6.3-6", [ 6, 3, 6 ], 409, 42, 
      "universalmorphismfromzeroobjectwithgivenzeroobject for iscapcategoryobj\
ect iscapcategoryobject", "X80327B2387F38FE8" ], 
  [ "\033[2XUniversalMorphismIntoZeroObject\033[102X for iscapcategoryobject",
      "6.3-7", [ 6, 3, 7 ], 417, 42, 
      "universalmorphismintozeroobject for iscapcategoryobject", 
      "X86003308844F8341" ], 
  [ 
      "\033[2XUniversalMorphismIntoZeroObjectWithGivenZeroObject\033[102X for isc\
apcategoryobject, iscapcategoryobject", "6.3-8", [ 6, 3, 8 ], 425, 42, 
      "universalmorphismintozeroobjectwithgivenzeroobject for iscapcategoryobj\
ect iscapcategoryobject", "X866104CA84CBC40A" ], 
  [ 
      "\033[2XIsomorphismFromZeroObjectToInitialObject\033[102X for iscapcategory\
", "6.3-9", [ 6, 3, 9 ], 433, 42, 
      "isomorphismfromzeroobjecttoinitialobject for iscapcategory", 
      "X8711ABE9811C7CCF" ], 
  [ 
      "\033[2XIsomorphismFromInitialObjectToZeroObject\033[102X for iscapcategory\
", "6.3-10", [ 6, 3, 10 ], 442, 42, 
      "isomorphismfrominitialobjecttozeroobject for iscapcategory", 
      "X86FF82B284B8E2EB" ], 
  [ 
      "\033[2XIsomorphismFromZeroObjectToTerminalObject\033[102X for iscapcategor\
y", "6.3-11", [ 6, 3, 11 ], 451, 42, 
      "isomorphismfromzeroobjecttoterminalobject for iscapcategory", 
      "X78C501A179BB6CBB" ], 
  [ 
      "\033[2XIsomorphismFromTerminalObjectToZeroObject\033[102X for iscapcategor\
y", "6.3-12", [ 6, 3, 12 ], 460, 43, 
      "isomorphismfromterminalobjecttozeroobject for iscapcategory", 
      "X83E84FC187EE2445" ], 
  [ "\033[2XAddZeroObject\033[102X for iscapcategory, isfunction", "6.3-13", 
      [ 6, 3, 13 ], 469, 43, "addzeroobject for iscapcategory isfunction", 
      "X7F0111277DF3FB7E" ], 
  [ 
      "\033[2XAddUniversalMorphismIntoZeroObject\033[102X for iscapcategory, isfu\
nction", "6.3-14", [ 6, 3, 14 ], 478, 43, 
      "adduniversalmorphismintozeroobject for iscapcategory isfunction", 
      "X7CAC035583A3BD60" ], 
  [ 
      "\033[2XAddUniversalMorphismIntoZeroObjectWithGivenZeroObject\033[102X for \
iscapcategory, isfunction", "6.3-15", [ 6, 3, 15 ], 487, 43, 
      "adduniversalmorphismintozeroobjectwithgivenzeroobject for iscapcategory\
 isfunction", "X8550CFE1804A9965" ], 
  [ 
      "\033[2XAddUniversalMorphismFromZeroObject\033[102X for iscapcategory, isfu\
nction", "6.3-16", [ 6, 3, 16 ], 497, 43, 
      "adduniversalmorphismfromzeroobject for iscapcategory isfunction", 
      "X873263B37942E963" ], 
  [ 
      "\033[2XAddUniversalMorphismFromZeroObjectWithGivenZeroObject\033[102X for \
iscapcategory, isfunction", "6.3-17", [ 6, 3, 17 ], 506, 43, 
      "adduniversalmorphismfromzeroobjectwithgivenzeroobject for iscapcategory\
 isfunction", "X8396EFB87AABCD66" ], 
  [ 
      "\033[2XAddIsomorphismFromZeroObjectToInitialObject\033[102X for iscapcateg\
ory, isfunction", "6.3-18", [ 6, 3, 18 ], 516, 44, 
      "addisomorphismfromzeroobjecttoinitialobject for iscapcategory isfunctio\
n", "X8084DA9E870DF7DB" ], 
  [ 
      "\033[2XAddIsomorphismFromInitialObjectToZeroObject\033[102X for iscapcateg\
ory, isfunction", "6.3-19", [ 6, 3, 19 ], 526, 44, 
      "addisomorphismfrominitialobjecttozeroobject for iscapcategory isfunctio\
n", "X876F82038640430A" ], 
  [ 
      "\033[2XAddIsomorphismFromZeroObjectToTerminalObject\033[102X for iscapcate\
gory, isfunction", "6.3-20", [ 6, 3, 20 ], 536, 44, 
      "addisomorphismfromzeroobjecttoterminalobject for iscapcategory isfuncti\
on", "X7BDED1CE7F0FADE9" ], 
  [ 
      "\033[2XAddIsomorphismFromTerminalObjectToZeroObject\033[102X for iscapcate\
gory, isfunction", "6.3-21", [ 6, 3, 21 ], 546, 44, 
      "addisomorphismfromterminalobjecttozeroobject for iscapcategory isfuncti\
on", "X85A29A037839B32B" ], 
  [ "\033[2XZeroObjectFunctorial\033[102X for iscapcategory", "6.3-22", 
      [ 6, 3, 22 ], 556, 44, "zeroobjectfunctorial for iscapcategory", 
      "X79CEAF827DDED44B" ], 
  [ "\033[2XAddZeroObjectFunctorial\033[102X for iscapcategory, isfunction", 
      "6.3-23", [ 6, 3, 23 ], 565, 44, 
      "addzeroobjectfunctorial for iscapcategory isfunction", 
      "X7C6A709286103BAE" ], 
  [ "\033[2XTerminalObject\033[102X for iscapcategory", "6.4-1", [ 6, 4, 1 ], 
      591, 45, "terminalobject for iscapcategory", "X7DC837217946D22D" ], 
  [ "\033[2XTerminalObject\033[102X for iscapcategorycell", "6.4-2", 
      [ 6, 4, 2 ], 598, 45, "terminalobject for iscapcategorycell", 
      "X7D86D2EA7845AEEB" ], 
  [ 
      "\033[2XUniversalMorphismIntoTerminalObject\033[102X for iscapcategoryobjec\
t", "6.4-3", [ 6, 4, 3 ], 606, 45, 
      "universalmorphismintoterminalobject for iscapcategoryobject", 
      "X7BEA5AF67D63F4A5" ], 
  [ 
      "\033[2XUniversalMorphismIntoTerminalObjectWithGivenTerminalObject\033[102X\
 for iscapcategoryobject, iscapcategoryobject", "6.4-4", [ 6, 4, 4 ], 614, 
      45, 
      "universalmorphismintoterminalobjectwithgiventerminalobject for iscapcat\
egoryobject iscapcategoryobject", "X8707AD1784DCBBFF" ], 
  [ "\033[2XAddTerminalObject\033[102X for iscapcategory, isfunction", 
      "6.4-5", [ 6, 4, 5 ], 622, 45, 
      "addterminalobject for iscapcategory isfunction", "X7C4B4B7F8009501B" ],
  [ "\033[2XAddUniversalMorphismIntoTerminalObject\033[102X for iscapcategory,\
 isfunction", "6.4-6", [ 6, 4, 6 ], 631, 46, 
      "adduniversalmorphismintoterminalobject for iscapcategory isfunction", 
      "X84D7DDAF835BDFA3" ], 
  [ 
      "\033[2XAddUniversalMorphismIntoTerminalObjectWithGivenTerminalObject\033[1\
02X for iscapcategory, isfunction", "6.4-7", [ 6, 4, 7 ], 640, 46, 
      "adduniversalmorphismintoterminalobjectwithgiventerminalobject for iscap\
category isfunction", "X8230986A7821D9B4" ], 
  [ "\033[2XTerminalObjectFunctorial\033[102X for iscapcategory", "6.4-8", 
      [ 6, 4, 8 ], 650, 46, "terminalobjectfunctorial for iscapcategory", 
      "X7C616CD287760D2F" ], 
  [ 
      "\033[2XAddTerminalObjectFunctorial\033[102X for iscapcategory, isfunction"
        , "6.4-9", [ 6, 4, 9 ], 659, 46, 
      "addterminalobjectfunctorial for iscapcategory isfunction", 
      "X82ED99F9845D2DA7" ], 
  [ "\033[2XInitialObject\033[102X for iscapcategory", "6.5-1", [ 6, 5, 1 ], 
      685, 46, "initialobject for iscapcategory", "X7A70384E7F182B00" ], 
  [ "\033[2XInitialObject\033[102X for iscapcategorycell", "6.5-2", 
      [ 6, 5, 2 ], 692, 47, "initialobject for iscapcategorycell", 
      "X7E17CDF481C348B9" ], 
  [ 
      "\033[2XUniversalMorphismFromInitialObject\033[102X for iscapcategoryobject\
", "6.5-3", [ 6, 5, 3 ], 700, 47, 
      "universalmorphismfrominitialobject for iscapcategoryobject", 
      "X873FC2B087004DC3" ], 
  [ 
      "\033[2XUniversalMorphismFromInitialObjectWithGivenInitialObject\033[102X f\
or iscapcategoryobject, iscapcategoryobject", "6.5-4", [ 6, 5, 4 ], 708, 47, 
      "universalmorphismfrominitialobjectwithgiveninitialobject for iscapcateg\
oryobject iscapcategoryobject", "X7F7177F585576F6B" ], 
  [ "\033[2XAddInitialObject\033[102X for iscapcategory, isfunction", 
      "6.5-5", [ 6, 5, 5 ], 716, 47, 
      "addinitialobject for iscapcategory isfunction", "X78D5E19E781D696A" ], 
  [ "\033[2XAddUniversalMorphismFromInitialObject\033[102X for iscapcategory, \
isfunction", "6.5-6", [ 6, 5, 6 ], 725, 47, 
      "adduniversalmorphismfrominitialobject for iscapcategory isfunction", 
      "X808255727E365DA5" ], 
  [ 
      "\033[2XAddUniversalMorphismFromInitialObjectWithGivenInitialObject\033[102\
X for iscapcategory, isfunction", "6.5-7", [ 6, 5, 7 ], 734, 47, 
      "adduniversalmorphismfrominitialobjectwithgiveninitialobject for iscapca\
tegory isfunction", "X7F7D9168870D7AC6" ], 
  [ "\033[2XInitialObjectFunctorial\033[102X for iscapcategory", "6.5-8", 
      [ 6, 5, 8 ], 744, 47, "initialobjectfunctorial for iscapcategory", 
      "X87B1C71179F798C8" ], 
  [ "\033[2XAddInitialObjectFunctorial\033[102X for iscapcategory, isfunction"
        , "6.5-9", [ 6, 5, 9 ], 753, 48, 
      "addinitialobjectfunctorial for iscapcategory isfunction", 
      "X80950253819512A8" ], 
  [ "\033[2XDirectSumOp\033[102X for islist, iscapcategoryobject", "6.6-1", 
      [ 6, 6, 1 ], 801, 48, "directsumop for islist iscapcategoryobject", 
      "X814FEC4B80B0FBFB" ], 
  [ "\033[2XProjectionInFactorOfDirectSum\033[102X for islist, isint", 
      "6.6-2", [ 6, 6, 2 ], 809, 48, 
      "projectioninfactorofdirectsum for islist isint", "X78E4506F7BBA7A9A" ],
  [ "\033[2XProjectionInFactorOfDirectSumOp\033[102X for islist, isint, iscapc\
ategoryobject", "6.6-3", [ 6, 6, 3 ], 818, 49, 
      "projectioninfactorofdirectsumop for islist isint iscapcategoryobject", 
      "X8769332783722A0E" ], 
  [ 
      "\033[2XProjectionInFactorOfDirectSumWithGivenDirectSum\033[102X for islist\
, isint, iscapcategoryobject", "6.6-4", [ 6, 6, 4 ], 827, 49, 
      "projectioninfactorofdirectsumwithgivendirectsum for islist isint iscapc\
ategoryobject", "X832F2E577B7B70BB" ], 
  [ "\033[2XInjectionOfCofactorOfDirectSum\033[102X for islist, isint", 
      "6.6-5", [ 6, 6, 5 ], 836, 49, 
      "injectionofcofactorofdirectsum for islist isint", "X842743E97E2F28CD" ]
    , 
  [ 
      "\033[2XInjectionOfCofactorOfDirectSumOp\033[102X for islist, isint, iscapc\
ategoryobject", "6.6-6", [ 6, 6, 6 ], 845, 49, 
      "injectionofcofactorofdirectsumop for islist isint iscapcategoryobject",
      "X780F3EC487AAC296" ], 
  [ 
      "\033[2XInjectionOfCofactorOfDirectSumWithGivenDirectSum\033[102X for islis\
t, isint, iscapcategoryobject", "6.6-7", [ 6, 6, 7 ], 854, 49, 
      "injectionofcofactorofdirectsumwithgivendirectsum for islist isint iscap\
categoryobject", "X876493497F824480" ], 
  [ "\033[2XUniversalMorphismIntoDirectSum\033[102X", "6.6-8", [ 6, 6, 8 ], 
      863, 49, "universalmorphismintodirectsum", "X84F1F06186C6A191" ], 
  [ 
      "\033[2XUniversalMorphismIntoDirectSumOp\033[102X for islist, islist, iscap\
categoryobject", "6.6-9", [ 6, 6, 9 ], 883, 50, 
      "universalmorphismintodirectsumop for islist islist iscapcategoryobject"
        , "X7D20E7E88116A73D" ], 
  [ 
      "\033[2XUniversalMorphismIntoDirectSumWithGivenDirectSum\033[102X for islis\
t, islist, iscapcategoryobject", "6.6-10", [ 6, 6, 10 ], 894, 50, 
      "universalmorphismintodirectsumwithgivendirectsum for islist islist isca\
pcategoryobject", "X7EB551D47C4FE210" ], 
  [ "\033[2XUniversalMorphismFromDirectSum\033[102X", "6.6-11", [ 6, 6, 11 ], 
      905, 50, "universalmorphismfromdirectsum", "X7E85FE0E85FEEA73" ], 
  [ 
      "\033[2XUniversalMorphismFromDirectSumOp\033[102X for islist, islist, iscap\
categoryobject", "6.6-12", [ 6, 6, 12 ], 925, 50, 
      "universalmorphismfromdirectsumop for islist islist iscapcategoryobject"
        , "X83B7987F822EECDF" ], 
  [ 
      "\033[2XUniversalMorphismFromDirectSumWithGivenDirectSum\033[102X for islis\
t, islist, iscapcategoryobject", "6.6-13", [ 6, 6, 13 ], 936, 50, 
      "universalmorphismfromdirectsumwithgivendirectsum for islist islist isca\
pcategoryobject", "X851CD8777F77A9F2" ], 
  [ "\033[2XIsomorphismFromDirectSumToDirectProduct\033[102X for islist", 
      "6.6-14", [ 6, 6, 14 ], 947, 51, 
      "isomorphismfromdirectsumtodirectproduct for islist", 
      "X7AB9D34882B5EDDF" ], 
  [ 
      "\033[2XIsomorphismFromDirectSumToDirectProductOp\033[102X for islist, isca\
pcategoryobject", "6.6-15", [ 6, 6, 15 ], 956, 51, 
      "isomorphismfromdirectsumtodirectproductop for islist iscapcategoryobjec\
t", "X7828CC27825168CA" ], 
  [ "\033[2XIsomorphismFromDirectProductToDirectSum\033[102X for islist", 
      "6.6-16", [ 6, 6, 16 ], 966, 51, 
      "isomorphismfromdirectproducttodirectsum for islist", 
      "X7E87C9257A1BFFEE" ], 
  [ 
      "\033[2XIsomorphismFromDirectProductToDirectSumOp\033[102X for islist, isca\
pcategoryobject", "6.6-17", [ 6, 6, 17 ], 975, 51, 
      "isomorphismfromdirectproducttodirectsumop for islist iscapcategoryobjec\
t", "X78B119077AFF7AFB" ], 
  [ "\033[2XIsomorphismFromDirectSumToCoproduct\033[102X for islist", 
      "6.6-18", [ 6, 6, 18 ], 985, 51, 
      "isomorphismfromdirectsumtocoproduct for islist", "X85599FEC812FD591" ],
  [ "\033[2XIsomorphismFromDirectSumToCoproductOp\033[102X for islist, iscapca\
tegoryobject", "6.6-19", [ 6, 6, 19 ], 995, 51, 
      "isomorphismfromdirectsumtocoproductop for islist iscapcategoryobject", 
      "X7AB73A50828A1E7C" ], 
  [ "\033[2XIsomorphismFromCoproductToDirectSum\033[102X for islist", 
      "6.6-20", [ 6, 6, 20 ], 1005, 52, 
      "isomorphismfromcoproducttodirectsum for islist", "X7CACFBCA7B9A4E19" ],
  [ "\033[2XIsomorphismFromCoproductToDirectSumOp\033[102X for islist, iscapca\
tegoryobject", "6.6-21", [ 6, 6, 21 ], 1015, 52, 
      "isomorphismfromcoproducttodirectsumop for islist iscapcategoryobject", 
      "X86256BBF783F85F4" ], 
  [ "\033[2XMorphismBetweenDirectSums\033[102X for islist", "6.6-22", 
      [ 6, 6, 22 ], 1025, 52, "morphismbetweendirectsums for islist", 
      "X7FDE63F78410A822" ], 
  [ 
      "\033[2XMorphismBetweenDirectSums\033[102X for iscapcategoryobject, islist,\
 iscapcategoryobject", "6.6-22", [ 6, 6, 22 ], 1025, 52, 
      "morphismbetweendirectsums for iscapcategoryobject islist iscapcategoryo\
bject", "X7FDE63F78410A822" ], 
  [ 
      "\033[2XAddMorphismBetweenDirectSums\033[102X for iscapcategory, isfunction\
", "6.6-23", [ 6, 6, 23 ], 1039, 52, 
      "addmorphismbetweendirectsums for iscapcategory isfunction", 
      "X873C908279759A45" ], 
  [ 
      "\033[2XMorphismBetweenDirectSumsOp\033[102X for islist, isint, isint, isca\
pcategorymorphism", "6.6-24", [ 6, 6, 24 ], 1049, 52, 
      "morphismbetweendirectsumsop for islist isint isint iscapcategorymorphis\
m", "X7DCF225F79D1757C" ], 
  [ 
      "\033[2XComponentOfMorphismIntoDirectSum\033[102X for iscapcategorymorphism\
, islist, isint", "6.6-25", [ 6, 6, 25 ], 1061, 52, 
      "componentofmorphismintodirectsum for iscapcategorymorphism islist isint\
", "X7A3400D485D0C438" ], 
  [ 
      "\033[2XComponentOfMorphismFromDirectSum\033[102X for iscapcategorymorphism\
, islist, isint", "6.6-26", [ 6, 6, 26 ], 1070, 53, 
      "componentofmorphismfromdirectsum for iscapcategorymorphism islist isint\
", "X7B71C4F4799263E6" ], 
  [ 
      "\033[2XAddComponentOfMorphismIntoDirectSum\033[102X for iscapcategory, isf\
unction", "6.6-27", [ 6, 6, 27 ], 1079, 53, 
      "addcomponentofmorphismintodirectsum for iscapcategory isfunction", 
      "X82B3F4A87CDF6F87" ], 
  [ 
      "\033[2XAddComponentOfMorphismFromDirectSum\033[102X for iscapcategory, isf\
unction", "6.6-28", [ 6, 6, 28 ], 1089, 53, 
      "addcomponentofmorphismfromdirectsum for iscapcategory isfunction", 
      "X7ABE523F82B2DB7C" ], 
  [ 
      "\033[2XAddProjectionInFactorOfDirectSum\033[102X for iscapcategory, isfunc\
tion", "6.6-29", [ 6, 6, 29 ], 1099, 53, 
      "addprojectioninfactorofdirectsum for iscapcategory isfunction", 
      "X7B87E0308677AB17" ], 
  [ 
      "\033[2XAddProjectionInFactorOfDirectSumWithGivenDirectSum\033[102X for isc\
apcategory, isfunction", "6.6-30", [ 6, 6, 30 ], 1108, 53, 
      "addprojectioninfactorofdirectsumwithgivendirectsum for iscapcategory is\
function", "X81ACCDB081967CD3" ], 
  [ 
      "\033[2XAddInjectionOfCofactorOfDirectSum\033[102X for iscapcategory, isfun\
ction", "6.6-31", [ 6, 6, 31 ], 1117, 53, 
      "addinjectionofcofactorofdirectsum for iscapcategory isfunction", 
      "X845EB2F47C8FE49C" ], 
  [ 
      "\033[2XAddInjectionOfCofactorOfDirectSumWithGivenDirectSum\033[102X for is\
capcategory, isfunction", "6.6-32", [ 6, 6, 32 ], 1126, 54, 
      "addinjectionofcofactorofdirectsumwithgivendirectsum for iscapcategory i\
sfunction", "X86A78CC2859E4382" ], 
  [ 
      "\033[2XAddUniversalMorphismIntoDirectSum\033[102X for iscapcategory, isfun\
ction", "6.6-33", [ 6, 6, 33 ], 1136, 54, 
      "adduniversalmorphismintodirectsum for iscapcategory isfunction", 
      "X7AA30E857A11AA2A" ], 
  [ 
      "\033[2XAddUniversalMorphismIntoDirectSumWithGivenDirectSum\033[102X for is\
capcategory, isfunction", "6.6-34", [ 6, 6, 34 ], 1145, 54, 
      "adduniversalmorphismintodirectsumwithgivendirectsum for iscapcategory i\
sfunction", "X7E666F5683000D34" ], 
  [ 
      "\033[2XAddUniversalMorphismFromDirectSum\033[102X for iscapcategory, isfun\
ction", "6.6-35", [ 6, 6, 35 ], 1155, 54, 
      "adduniversalmorphismfromdirectsum for iscapcategory isfunction", 
      "X82AEA81280F0FE29" ], 
  [ 
      "\033[2XAddUniversalMorphismFromDirectSumWithGivenDirectSum\033[102X for is\
capcategory, isfunction", "6.6-36", [ 6, 6, 36 ], 1164, 54, 
      "adduniversalmorphismfromdirectsumwithgivendirectsum for iscapcategory i\
sfunction", "X81DB161779E15937" ], 
  [ 
      "\033[2XAddIsomorphismFromDirectSumToDirectProduct\033[102X for iscapcatego\
ry, isfunction", "6.6-37", [ 6, 6, 37 ], 1174, 55, 
      "addisomorphismfromdirectsumtodirectproduct for iscapcategory isfunction\
", "X79DA06C087D4BDF3" ], 
  [ 
      "\033[2XAddIsomorphismFromDirectProductToDirectSum\033[102X for iscapcatego\
ry, isfunction", "6.6-38", [ 6, 6, 38 ], 1184, 55, 
      "addisomorphismfromdirectproducttodirectsum for iscapcategory isfunction\
", "X793FDA608055E5C9" ], 
  [ 
      "\033[2XAddIsomorphismFromDirectSumToCoproduct\033[102X for iscapcategory, \
isfunction", "6.6-39", [ 6, 6, 39 ], 1194, 55, 
      "addisomorphismfromdirectsumtocoproduct for iscapcategory isfunction", 
      "X7D710CA282194DC7" ], 
  [ 
      "\033[2XAddIsomorphismFromCoproductToDirectSum\033[102X for iscapcategory, \
isfunction", "6.6-40", [ 6, 6, 40 ], 1204, 55, 
      "addisomorphismfromcoproducttodirectsum for iscapcategory isfunction", 
      "X87C04FAA7F49427B" ], 
  [ "\033[2XAddDirectSum\033[102X for iscapcategory, isfunction", "6.6-41", 
      [ 6, 6, 41 ], 1214, 55, "adddirectsum for iscapcategory isfunction", 
      "X7CE460A37D8D468F" ], 
  [ "\033[2XDirectSumFunctorial\033[102X for islist", "6.6-42", [ 6, 6, 42 ], 
      1223, 55, "directsumfunctorial for islist", "X7D1ADFE478EF9354" ], 
  [ 
      "\033[2XDirectSumFunctorialWithGivenDirectSums\033[102X for iscapcategoryob\
ject, islist, iscapcategoryobject", "6.6-43", [ 6, 6, 43 ], 1234, 56, 
      "directsumfunctorialwithgivendirectsums for iscapcategoryobject islist i\
scapcategoryobject", "X7B45854C80D79805" ], 
  [ 
      "\033[2XAddDirectSumFunctorialWithGivenDirectSums\033[102X for iscapcategor\
y, isfunction", "6.6-44", [ 6, 6, 44 ], 1244, 56, 
      "adddirectsumfunctorialwithgivendirectsums for iscapcategory isfunction"
        , "X829D88B6845FA373" ], 
  [ "\033[2XCoproduct\033[102X for islist", "6.7-1", [ 6, 7, 1 ], 1278, 56, 
      "coproduct for islist", "X872D3F297979C7B8" ], 
  [ "\033[2XCoproduct\033[102X for iscapcategoryobject, iscapcategoryobject", 
      "6.7-2", [ 6, 7, 2 ], 1286, 56, 
      "coproduct for iscapcategoryobject iscapcategoryobject", 
      "X7E3C6A0482E8CAB5" ], 
  [ 
      "\033[2XCoproduct\033[102X for iscapcategoryobject, iscapcategoryobject, is\
capcategoryobject", "6.7-3", [ 6, 7, 3 ], 1294, 57, 
      "coproduct for iscapcategoryobject iscapcategoryobject iscapcategoryobje\
ct", "X82FCE4657D132584" ], 
  [ "\033[2XCoproductOp\033[102X for islist, iscapcategoryobject", "6.7-4", 
      [ 6, 7, 4 ], 1302, 57, "coproductop for islist iscapcategoryobject", 
      "X86685D3B8123A20F" ], 
  [ "\033[2XInjectionOfCofactorOfCoproduct\033[102X for islist, isint", 
      "6.7-5", [ 6, 7, 5 ], 1310, 57, 
      "injectionofcofactorofcoproduct for islist isint", "X82D87B52862BB55C" ]
    , 
  [ 
      "\033[2XInjectionOfCofactorOfCoproductOp\033[102X for islist, isint, iscapc\
ategoryobject", "6.7-6", [ 6, 7, 6 ], 1319, 57, 
      "injectionofcofactorofcoproductop for islist isint iscapcategoryobject",
      "X818E31F17FAE5F07" ], 
  [ 
      "\033[2XInjectionOfCofactorOfCoproductWithGivenCoproduct\033[102X for islis\
t, isint, iscapcategoryobject", "6.7-7", [ 6, 7, 7 ], 1328, 57, 
      "injectionofcofactorofcoproductwithgivencoproduct for islist isint iscap\
categoryobject", "X83687CD9789CAB9C" ], 
  [ "\033[2XUniversalMorphismFromCoproduct\033[102X", "6.7-8", [ 6, 7, 8 ], 
      1337, 57, "universalmorphismfromcoproduct", "X82A8A7C97DFA77E2" ], 
  [ 
      "\033[2XUniversalMorphismFromCoproductOp\033[102X for islist, islist, iscap\
categoryobject", "6.7-9", [ 6, 7, 9 ], 1357, 58, 
      "universalmorphismfromcoproductop for islist islist iscapcategoryobject"
        , "X7CEEE5357A2A714E" ], 
  [ 
      "\033[2XUniversalMorphismFromCoproductWithGivenCoproduct\033[102X for islis\
t, islist, iscapcategoryobject", "6.7-10", [ 6, 7, 10 ], 1367, 58, 
      "universalmorphismfromcoproductwithgivencoproduct for islist islist isca\
pcategoryobject", "X7C132541786946EE" ], 
  [ "\033[2XAddCoproduct\033[102X for iscapcategory, isfunction", "6.7-11", 
      [ 6, 7, 11 ], 1377, 58, "addcoproduct for iscapcategory isfunction", 
      "X790C5EE180471583" ], 
  [ 
      "\033[2XAddInjectionOfCofactorOfCoproduct\033[102X for iscapcategory, isfun\
ction", "6.7-12", [ 6, 7, 12 ], 1386, 58, 
      "addinjectionofcofactorofcoproduct for iscapcategory isfunction", 
      "X81B68CB6783FAFE0" ], 
  [ 
      "\033[2XAddInjectionOfCofactorOfCoproductWithGivenCoproduct\033[102X for is\
capcategory, isfunction", "6.7-13", [ 6, 7, 13 ], 1395, 58, 
      "addinjectionofcofactorofcoproductwithgivencoproduct for iscapcategory i\
sfunction", "X7DC2E9CD78A8622C" ], 
  [ 
      "\033[2XAddUniversalMorphismFromCoproduct\033[102X for iscapcategory, isfun\
ction", "6.7-14", [ 6, 7, 14 ], 1405, 58, 
      "adduniversalmorphismfromcoproduct for iscapcategory isfunction", 
      "X874696508440B555" ], 
  [ 
      "\033[2XAddUniversalMorphismFromCoproductWithGivenCoproduct\033[102X for is\
capcategory, isfunction", "6.7-15", [ 6, 7, 15 ], 1415, 59, 
      "adduniversalmorphismfromcoproductwithgivencoproduct for iscapcategory i\
sfunction", "X7ABE731884D77899" ], 
  [ "\033[2XCoproductFunctorial\033[102X for islist", "6.7-16", [ 6, 7, 16 ], 
      1425, 59, "coproductfunctorial for islist", "X80697A2E797CCAA0" ], 
  [ 
      "\033[2XCoproductFunctorialWithGivenCoproducts\033[102X for iscapcategoryob\
ject, islist, iscapcategoryobject", "6.7-17", [ 6, 7, 17 ], 1436, 59, 
      "coproductfunctorialwithgivencoproducts for iscapcategoryobject islist i\
scapcategoryobject", "X84F4AEB479FCE23F" ], 
  [ 
      "\033[2XAddCoproductFunctorialWithGivenCoproducts\033[102X for iscapcategor\
y, isfunction", "6.7-18", [ 6, 7, 18 ], 1447, 59, 
      "addcoproductfunctorialwithgivencoproducts for iscapcategory isfunction"
        , "X7B23923D84D6FC9F" ], 
  [ "\033[2XDirectProductOp\033[102X for islist, iscapcategoryobject", 
      "6.8-1", [ 6, 8, 1 ], 1481, 60, 
      "directproductop for islist iscapcategoryobject", "X82267DF8861F3EB6" ],
  [ "\033[2XProjectionInFactorOfDirectProduct\033[102X for islist, isint", 
      "6.8-2", [ 6, 8, 2 ], 1489, 60, 
      "projectioninfactorofdirectproduct for islist isint", 
      "X7FFBE9EC7BEE7673" ], 
  [ 
      "\033[2XProjectionInFactorOfDirectProductOp\033[102X for islist, isint, isc\
apcategoryobject", "6.8-3", [ 6, 8, 3 ], 1498, 60, 
      "projectioninfactorofdirectproductop for islist isint iscapcategoryobjec\
t", "X857EAF38822D16F0" ], 
  [ 
      "\033[2XProjectionInFactorOfDirectProductWithGivenDirectProduct\033[102X fo\
r islist, isint, iscapcategoryobject", "6.8-4", [ 6, 8, 4 ], 1507, 60, 
      "projectioninfactorofdirectproductwithgivendirectproduct for islist isin\
t iscapcategoryobject", "X8288ABA984EF9DED" ], 
  [ "\033[2XUniversalMorphismIntoDirectProduct\033[102X", "6.8-5", 
      [ 6, 8, 5 ], 1516, 60, "universalmorphismintodirectproduct", 
      "X7D6464757E9A87A9" ], 
  [ 
      "\033[2XUniversalMorphismIntoDirectProductOp\033[102X for islist, islist, i\
scapcategoryobject", "6.8-6", [ 6, 8, 6 ], 1536, 60, 
      "universalmorphismintodirectproductop for islist islist iscapcategoryobj\
ect", "X84F7DE5679BAC378" ], 
  [ 
      "\033[2XUniversalMorphismIntoDirectProductWithGivenDirectProduct\033[102X f\
or islist, islist, iscapcategoryobject", "6.8-7", [ 6, 8, 7 ], 1547, 61, 
      "universalmorphismintodirectproductwithgivendirectproduct for islist isl\
ist iscapcategoryobject", "X78930E5581F14F14" ], 
  [ "\033[2XAddDirectProduct\033[102X for iscapcategory, isfunction", 
      "6.8-8", [ 6, 8, 8 ], 1558, 61, 
      "adddirectproduct for iscapcategory isfunction", "X7FE84F89844B8352" ], 
  [ "\033[2XAddProjectionInFactorOfDirectProduct\033[102X for iscapcategory, i\
sfunction", "6.8-9", [ 6, 8, 9 ], 1567, 61, 
      "addprojectioninfactorofdirectproduct for iscapcategory isfunction", 
      "X84F5824779267907" ], 
  [ 
      "\033[2XAddProjectionInFactorOfDirectProductWithGivenDirectProduct\033[102X\
 for iscapcategory, isfunction", "6.8-10", [ 6, 8, 10 ], 1576, 61, 
      "addprojectioninfactorofdirectproductwithgivendirectproduct for iscapcat\
egory isfunction", "X7B83D0627A2DCF93" ], 
  [ 
      "\033[2XAddUniversalMorphismIntoDirectProduct\033[102X for iscapcategory, i\
sfunction", "6.8-11", [ 6, 8, 11 ], 1586, 61, 
      "adduniversalmorphismintodirectproduct for iscapcategory isfunction", 
      "X7E4C217083150A21" ], 
  [ 
      "\033[2XAddUniversalMorphismIntoDirectProductWithGivenDirectProduct\033[102\
X for iscapcategory, isfunction", "6.8-12", [ 6, 8, 12 ], 1596, 62, 
      "adduniversalmorphismintodirectproductwithgivendirectproduct for iscapca\
tegory isfunction", "X84C986C67D703457" ], 
  [ "\033[2XDirectProductFunctorial\033[102X for islist", "6.8-13", 
      [ 6, 8, 13 ], 1606, 62, "directproductfunctorial for islist", 
      "X814F469F80302D50" ], 
  [ 
      "\033[2XDirectProductFunctorialWithGivenDirectProducts\033[102X for iscapca\
tegoryobject, islist, iscapcategoryobject", "6.8-14", [ 6, 8, 14 ], 1616, 62, 
      "directproductfunctorialwithgivendirectproducts for iscapcategoryobject \
islist iscapcategoryobject", "X7BFF346E827DF0E3" ], 
  [ 
      "\033[2XAddDirectProductFunctorialWithGivenDirectProducts\033[102X for isca\
pcategory, isfunction", "6.8-15", [ 6, 8, 15 ], 1626, 62, 
      "adddirectproductfunctorialwithgivendirectproducts for iscapcategory isf\
unction", "X789E69C583A0E118" ], 
  [ 
      "\033[2XAssociatorRightToLeftOfDirectProductsWithGivenDirectProducts\033[10\
2X for iscapcategoryobject, iscapcategoryobject, iscapcategoryobject, iscapcat\
egoryobject, iscapcategoryobject", "6.8-16", [ 6, 8, 16 ], 1637, 62, 
      "associatorrighttoleftofdirectproductswithgivendirectproducts for iscapc\
ategoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject isca\
pcategoryobject", "X878DF3E3794CA099" ], 
  [ 
      "\033[2XAddAssociatorRightToLeftOfDirectProductsWithGivenDirectProducts\\
033[102X for iscapcategory, isfunction", "6.8-17", [ 6, 8, 17 ], 1647, 63, 
      "addassociatorrighttoleftofdirectproductswithgivendirectproducts for isc\
apcategory isfunction", "X78D32B768749A2A6" ], 
  [ 
      "\033[2XAssociatorLeftToRightOfDirectProductsWithGivenDirectProducts\033[10\
2X for iscapcategoryobject, iscapcategoryobject, iscapcategoryobject, iscapcat\
egoryobject, iscapcategoryobject", "6.8-18", [ 6, 8, 18 ], 1657, 63, 
      "associatorlefttorightofdirectproductswithgivendirectproducts for iscapc\
ategoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject isca\
pcategoryobject", "X8410D8C27CC34DC2" ], 
  [ 
      "\033[2XAddAssociatorLeftToRightOfDirectProductsWithGivenDirectProducts\\
033[102X for iscapcategory, isfunction", "6.8-19", [ 6, 8, 19 ], 1667, 63, 
      "addassociatorlefttorightofdirectproductswithgivendirectproducts for isc\
apcategory isfunction", "X8488553481145F88" ], 
  [ "\033[2XEqualizer\033[102X", "6.9-1", [ 6, 9, 1 ], 1704, 64, "equalizer", 
      "X824FD8F786D2350D" ], 
  [ "\033[2XEqualizerOp\033[102X for islist, iscapcategorymorphism", "6.9-2", 
      [ 6, 9, 2 ], 1720, 64, "equalizerop for islist iscapcategorymorphism", 
      "X789153A87A59EAFC" ], 
  [ "\033[2XEmbeddingOfEqualizer\033[102X for islist", "6.9-3", [ 6, 9, 3 ], 
      1729, 64, "embeddingofequalizer for islist", "X80F6FFA483B8379B" ], 
  [ "\033[2XEmbeddingOfEqualizerOp\033[102X for islist, iscapcategorymorphism"
        , "6.9-4", [ 6, 9, 4 ], 1738, 64, 
      "embeddingofequalizerop for islist iscapcategorymorphism", 
      "X7EC748A686F5BE47" ], 
  [ 
      "\033[2XEmbeddingOfEqualizerWithGivenEqualizer\033[102X for islist, iscapca\
tegoryobject", "6.9-5", [ 6, 9, 5 ], 1747, 64, 
      "embeddingofequalizerwithgivenequalizer for islist iscapcategoryobject",
      "X810AA9C5787FC775" ], 
  [ 
      "\033[2XUniversalMorphismIntoEqualizer\033[102X for islist, iscapcategorymo\
rphism", "6.9-6", [ 6, 9, 6 ], 1756, 64, 
      "universalmorphismintoequalizer for islist iscapcategorymorphism", 
      "X85A615A183271DEF" ], 
  [ 
      "\033[2XUniversalMorphismIntoEqualizerWithGivenEqualizer\033[102X for islis\
t, iscapcategorymorphism, iscapcategoryobject", "6.9-7", [ 6, 9, 7 ], 1767, 
      65, 
      "universalmorphismintoequalizerwithgivenequalizer for islist iscapcatego\
rymorphism iscapcategoryobject", "X8174F411785A78AF" ], 
  [ "\033[2XAddEqualizer\033[102X for iscapcategory, isfunction", "6.9-8", 
      [ 6, 9, 8 ], 1778, 65, "addequalizer for iscapcategory isfunction", 
      "X8708C28287172ED7" ], 
  [ "\033[2XAddEmbeddingOfEqualizer\033[102X for iscapcategory, isfunction", 
      "6.9-9", [ 6, 9, 9 ], 1787, 65, 
      "addembeddingofequalizer for iscapcategory isfunction", 
      "X86275A2F7EF2A472" ], 
  [ 
      "\033[2XAddEmbeddingOfEqualizerWithGivenEqualizer\033[102X for iscapcategor\
y, isfunction", "6.9-10", [ 6, 9, 10 ], 1797, 65, 
      "addembeddingofequalizerwithgivenequalizer for iscapcategory isfunction"
        , "X8346BE927EB0C95B" ], 
  [ 
      "\033[2XAddUniversalMorphismIntoEqualizer\033[102X for iscapcategory, isfun\
ction", "6.9-11", [ 6, 9, 11 ], 1807, 65, 
      "adduniversalmorphismintoequalizer for iscapcategory isfunction", 
      "X814FACA47A759C7A" ], 
  [ 
      "\033[2XAddUniversalMorphismIntoEqualizerWithGivenEqualizer\033[102X for is\
capcategory, isfunction", "6.9-12", [ 6, 9, 12 ], 1817, 65, 
      "adduniversalmorphismintoequalizerwithgivenequalizer for iscapcategory i\
sfunction", "X872A26F678D6989B" ], 
  [ "\033[2XEqualizerFunctorial\033[102X for islist", "6.9-13", [ 6, 9, 13 ], 
      1827, 66, "equalizerfunctorial for islist", "X820667898568A639" ], 
  [ 
      "\033[2XEqualizerFunctorialWithGivenEqualizers\033[102X for iscapcategoryob\
ject, islist, iscapcategoryobject", "6.9-14", [ 6, 9, 14 ], 1841, 66, 
      "equalizerfunctorialwithgivenequalizers for iscapcategoryobject islist i\
scapcategoryobject", "X8403EC6F849FE118" ], 
  [ 
      "\033[2XAddEqualizerFunctorialWithGivenEqualizers\033[102X for iscapcategor\
y, isfunction", "6.9-15", [ 6, 9, 15 ], 1855, 66, 
      "addequalizerfunctorialwithgivenequalizers for iscapcategory isfunction"
        , "X819700097DE622A4" ], 
  [ "\033[2XCoequalizer\033[102X", "6.10-1", [ 6, 10, 1 ], 1896, 67, 
      "coequalizer", "X7BA8F7BD793CC288" ], 
  [ "\033[2XCoequalizerOp\033[102X for islist, iscapcategorymorphism", 
      "6.10-2", [ 6, 10, 2 ], 1912, 67, 
      "coequalizerop for islist iscapcategorymorphism", "X802E1E397897BE9A" ],
  [ "\033[2XProjectionOntoCoequalizer\033[102X for islist", "6.10-3", 
      [ 6, 10, 3 ], 1921, 67, "projectionontocoequalizer for islist", 
      "X7EF42FC481100977" ], 
  [ 
      "\033[2XProjectionOntoCoequalizerOp\033[102X for islist, iscapcategorymorph\
ism", "6.10-4", [ 6, 10, 4 ], 1930, 67, 
      "projectionontocoequalizerop for islist iscapcategorymorphism", 
      "X8484120781FF21CC" ], 
  [ 
      "\033[2XProjectionOntoCoequalizerWithGivenCoequalizer\033[102X for islist, \
iscapcategoryobject", "6.10-5", [ 6, 10, 5 ], 1939, 67, 
      "projectionontocoequalizerwithgivencoequalizer for islist iscapcategoryo\
bject", "X7DA261DF7D3D1961" ], 
  [ 
      "\033[2XUniversalMorphismFromCoequalizer\033[102X for islist, iscapcategory\
morphism", "6.10-6", [ 6, 10, 6 ], 1948, 67, 
      "universalmorphismfromcoequalizer for islist iscapcategorymorphism", 
      "X7EB9639F78149BF3" ], 
  [ 
      "\033[2XUniversalMorphismFromCoequalizerWithGivenCoequalizer\033[102X for i\
slist, iscapcategorymorphism, iscapcategoryobject", "6.10-7", [ 6, 10, 7 ], 
      1959, 68, 
      "universalmorphismfromcoequalizerwithgivencoequalizer for islist iscapca\
tegorymorphism iscapcategoryobject", "X84AD305E7AB82B76" ], 
  [ "\033[2XAddCoequalizer\033[102X for iscapcategory, isfunction", "6.10-8", 
      [ 6, 10, 8 ], 1970, 68, "addcoequalizer for iscapcategory isfunction", 
      "X854D668E7F7AE192" ], 
  [ 
      "\033[2XAddProjectionOntoCoequalizer\033[102X for iscapcategory, isfunction\
", "6.10-9", [ 6, 10, 9 ], 1979, 68, 
      "addprojectionontocoequalizer for iscapcategory isfunction", 
      "X7C76BED4827D9C28" ], 
  [ 
      "\033[2XAddProjectionOntoCoequalizerWithGivenCoequalizer\033[102X for iscap\
category, isfunction", "6.10-10", [ 6, 10, 10 ], 1989, 68, 
      "addprojectionontocoequalizerwithgivencoequalizer for iscapcategory isfu\
nction", "X8691E0FA7BF900F5" ], 
  [ 
      "\033[2XAddUniversalMorphismFromCoequalizer\033[102X for iscapcategory, isf\
unction", "6.10-11", [ 6, 10, 11 ], 1999, 68, 
      "adduniversalmorphismfromcoequalizer for iscapcategory isfunction", 
      "X82B3F52779407E2F" ], 
  [ 
      "\033[2XAddUniversalMorphismFromCoequalizerWithGivenCoequalizer\033[102X fo\
r iscapcategory, isfunction", "6.10-12", [ 6, 10, 12 ], 2009, 68, 
      "adduniversalmorphismfromcoequalizerwithgivencoequalizer for iscapcatego\
ry isfunction", "X7F27613984BEA3BB" ], 
  [ "\033[2XCoequalizerFunctorial\033[102X for islist", "6.10-13", 
      [ 6, 10, 13 ], 2019, 69, "coequalizerfunctorial for islist", 
      "X7DFAE360842E610B" ], 
  [ 
      "\033[2XCoequalizerFunctorialWithGivenCoequalizers\033[102X for iscapcatego\
ryobject, islist, iscapcategoryobject", "6.10-14", [ 6, 10, 14 ], 2034, 69, 
      "coequalizerfunctorialwithgivencoequalizers for iscapcategoryobject isli\
st iscapcategoryobject", "X8123A5EC858F62CA" ], 
  [ 
      "\033[2XAddCoequalizerFunctorialWithGivenCoequalizers\033[102X for iscapcat\
egory, isfunction", "6.10-15", [ 6, 10, 15 ], 2048, 69, 
      "addcoequalizerfunctorialwithgivencoequalizers for iscapcategory isfunct\
ion", "X784EE97C7CBD86AE" ], 
  [ 
      "\033[2XIsomorphismFromFiberProductToKernelOfDiagonalDifference\033[102X fo\
r islist", "6.11-1", [ 6, 11, 1 ], 2092, 70, 
      "isomorphismfromfiberproducttokernelofdiagonaldifference for islist", 
      "X79C946837899FDBF" ], 
  [ 
      "\033[2XIsomorphismFromFiberProductToKernelOfDiagonalDifferenceOp\033[102X \
for islist, iscapcategorymorphism", "6.11-2", [ 6, 11, 2 ], 2102, 70, 
      "isomorphismfromfiberproducttokernelofdiagonaldifferenceop for islist is\
capcategorymorphism", "X7B0F26DF868F8B2D" ], 
  [ 
      "\033[2XAddIsomorphismFromFiberProductToKernelOfDiagonalDifference\033[102X\
 for iscapcategory, isfunction", "6.11-3", [ 6, 11, 3 ], 2112, 70, 
      "addisomorphismfromfiberproducttokernelofdiagonaldifference for iscapcat\
egory isfunction", "X82A6A64979DFFE43" ], 
  [ 
      "\033[2XIsomorphismFromKernelOfDiagonalDifferenceToFiberProduct\033[102X fo\
r islist", "6.11-4", [ 6, 11, 4 ], 2123, 70, 
      "isomorphismfromkernelofdiagonaldifferencetofiberproduct for islist", 
      "X848F0B52844D782B" ], 
  [ 
      "\033[2XIsomorphismFromKernelOfDiagonalDifferenceToFiberProductOp\033[102X \
for islist, iscapcategorymorphism", "6.11-5", [ 6, 11, 5 ], 2133, 70, 
      "isomorphismfromkernelofdiagonaldifferencetofiberproductop for islist is\
capcategorymorphism", "X7E0329477A5B0EB9" ], 
  [ 
      "\033[2XAddIsomorphismFromKernelOfDiagonalDifferenceToFiberProduct\033[102X\
 for iscapcategory, isfunction", "6.11-6", [ 6, 11, 6 ], 2143, 70, 
      "addisomorphismfromkernelofdiagonaldifferencetofiberproduct for iscapcat\
egory isfunction", "X7B255D3F7F8D0846" ], 
  [ 
      "\033[2XIsomorphismFromFiberProductToEqualizerOfDirectProductDiagram\033[10\
2X for islist", "6.11-7", [ 6, 11, 7 ], 2154, 71, 
      "isomorphismfromfiberproducttoequalizerofdirectproductdiagram for islist\
", "X7DAB395584678429" ], 
  [ 
      "\033[2XIsomorphismFromFiberProductToEqualizerOfDirectProductDiagramOp\033[\
102X for islist, iscapcategorymorphism", "6.11-8", [ 6, 11, 8 ], 2164, 71, 
      "isomorphismfromfiberproducttoequalizerofdirectproductdiagramop for isli\
st iscapcategorymorphism", "X8730D4A87B1AA997" ], 
  [ 
      "\033[2XAddIsomorphismFromFiberProductToEqualizerOfDirectProductDiagram\\
033[102X for iscapcategory, isfunction", "6.11-9", [ 6, 11, 9 ], 2174, 71, 
      "addisomorphismfromfiberproducttoequalizerofdirectproductdiagram for isc\
apcategory isfunction", "X7FF20AFE7CE85AF5" ], 
  [ 
      "\033[2XIsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct\033[10\
2X for islist", "6.11-10", [ 6, 11, 10 ], 2185, 71, 
      "isomorphismfromequalizerofdirectproductdiagramtofiberproduct for islist\
", "X8190FBB47DB6307D" ], 
  [ 
      "\033[2XIsomorphismFromEqualizerOfDirectProductDiagramToFiberProductOp\033[\
102X for islist, iscapcategorymorphism", "6.11-11", [ 6, 11, 11 ], 2195, 71, 
      "isomorphismfromequalizerofdirectproductdiagramtofiberproductop for isli\
st iscapcategorymorphism", "X86ED0D4682CB1DC3" ], 
  [ 
      "\033[2XAddIsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct\\
033[102X for iscapcategory, isfunction", "6.11-12", [ 6, 11, 12 ], 2205, 72, 
      "addisomorphismfromequalizerofdirectproductdiagramtofiberproduct for isc\
apcategory isfunction", "X83D3BDAF7BFBF924" ], 
  [ "\033[2XDirectSumDiagonalDifference\033[102X for islist", "6.11-13", 
      [ 6, 11, 13 ], 2216, 72, "directsumdiagonaldifference for islist", 
      "X7E17BF518268C33A" ], 
  [ 
      "\033[2XDirectSumDiagonalDifferenceOp\033[102X for islist, iscapcategorymor\
phism", "6.11-14", [ 6, 11, 14 ], 2225, 72, 
      "directsumdiagonaldifferenceop for islist iscapcategorymorphism", 
      "X866CDC8A842CC21C" ], 
  [ 
      "\033[2XAddDirectSumDiagonalDifference\033[102X for iscapcategory, isfuncti\
on", "6.11-15", [ 6, 11, 15 ], 2235, 72, 
      "adddirectsumdiagonaldifference for iscapcategory isfunction", 
      "X842E4433870BE980" ], 
  [ "\033[2XFiberProductEmbeddingInDirectSum\033[102X for islist", "6.11-16", 
      [ 6, 11, 16 ], 2245, 72, "fiberproductembeddingindirectsum for islist", 
      "X7919AF7486FA42C5" ], 
  [ 
      "\033[2XFiberProductEmbeddingInDirectSumOp\033[102X for islist, iscapcatego\
rymorphism", "6.11-17", [ 6, 11, 17 ], 2255, 72, 
      "fiberproductembeddingindirectsumop for islist iscapcategorymorphism", 
      "X803207BC84DFDACA" ], 
  [ 
      "\033[2XAddFiberProductEmbeddingInDirectSum\033[102X for iscapcategory, isf\
unction", "6.11-18", [ 6, 11, 18 ], 2265, 73, 
      "addfiberproductembeddingindirectsum for iscapcategory isfunction", 
      "X8718265481B0270E" ], 
  [ "\033[2XFiberProduct\033[102X", "6.11-19", [ 6, 11, 19 ], 2276, 73, 
      "fiberproduct", "X7DE20941803BFBD9" ], 
  [ "\033[2XFiberProductOp\033[102X for islist, iscapcategorymorphism", 
      "6.11-20", [ 6, 11, 20 ], 2292, 73, 
      "fiberproductop for islist iscapcategorymorphism", "X81E871B983FA6EE8" ]
    , [ "\033[2XProjectionInFactorOfFiberProduct\033[102X for islist, isint", 
      "6.11-21", [ 6, 11, 21 ], 2301, 73, 
      "projectioninfactoroffiberproduct for islist isint", 
      "X8104B3717D3B646F" ], 
  [ 
      "\033[2XProjectionInFactorOfFiberProductOp\033[102X for islist, isint, isca\
pcategorymorphism", "6.11-22", [ 6, 11, 22 ], 2310, 73, 
      "projectioninfactoroffiberproductop for islist isint iscapcategorymorphi\
sm", "X809C05D883C1E31D" ], 
  [ 
      "\033[2XProjectionInFactorOfFiberProductWithGivenFiberProduct\033[102X for \
islist, isint, iscapcategoryobject", "6.11-23", [ 6, 11, 23 ], 2319, 74, 
      "projectioninfactoroffiberproductwithgivenfiberproduct for islist isint \
iscapcategoryobject", "X8085606A7B09071F" ], 
  [ "\033[2XUniversalMorphismIntoFiberProduct\033[102X", "6.11-24", 
      [ 6, 11, 24 ], 2328, 74, "universalmorphismintofiberproduct", 
      "X79F3937679B61538" ], 
  [ 
      "\033[2XUniversalMorphismIntoFiberProductOp\033[102X for islist, islist, is\
capcategorymorphism", "6.11-25", [ 6, 11, 25 ], 2349, 74, 
      "universalmorphismintofiberproductop for islist islist iscapcategorymorp\
hism", "X83A406227DE6BC4D" ], 
  [ 
      "\033[2XUniversalMorphismIntoFiberProductWithGivenFiberProduct\033[102X for\
 islist, islist, iscapcategoryobject", "6.11-26", [ 6, 11, 26 ], 2361, 74, 
      "universalmorphismintofiberproductwithgivenfiberproduct for islist islis\
t iscapcategoryobject", "X835D5D3578A3226D" ], 
  [ "\033[2XAddFiberProduct\033[102X for iscapcategory, isfunction", 
      "6.11-27", [ 6, 11, 27 ], 2373, 74, 
      "addfiberproduct for iscapcategory isfunction", "X86B7F8B983B9B184" ], 
  [ "\033[2XAddProjectionInFactorOfFiberProduct\033[102X for iscapcategory, is\
function", "6.11-28", [ 6, 11, 28 ], 2382, 75, 
      "addprojectioninfactoroffiberproduct for iscapcategory isfunction", 
      "X7BC4A40A8587EB82" ], 
  [ 
      "\033[2XAddProjectionInFactorOfFiberProductWithGivenFiberProduct\033[102X f\
or iscapcategory, isfunction", "6.11-29", [ 6, 11, 29 ], 2392, 75, 
      "addprojectioninfactoroffiberproductwithgivenfiberproduct for iscapcateg\
ory isfunction", "X822C988083A72B14" ], 
  [ 
      "\033[2XAddUniversalMorphismIntoFiberProduct\033[102X for iscapcategory, is\
function", "6.11-30", [ 6, 11, 30 ], 2402, 75, 
      "adduniversalmorphismintofiberproduct for iscapcategory isfunction", 
      "X7F7446F882DF6DA5" ], 
  [ 
      "\033[2XAddUniversalMorphismIntoFiberProductWithGivenFiberProduct\033[102X \
for iscapcategory, isfunction", "6.11-31", [ 6, 11, 31 ], 2412, 75, 
      "adduniversalmorphismintofiberproductwithgivenfiberproduct for iscapcate\
gory isfunction", "X84C5017486990FB2" ], 
  [ "\033[2XFiberProductFunctorial\033[102X for islist", "6.11-32", 
      [ 6, 11, 32 ], 2422, 75, "fiberproductfunctorial for islist", 
      "X85B1887C822DA631" ], 
  [ 
      "\033[2XFiberProductFunctorialWithGivenFiberProducts\033[102X for iscapcate\
goryobject, islist, iscapcategoryobject", "6.11-33", [ 6, 11, 33 ], 2436, 76, 
      "fiberproductfunctorialwithgivenfiberproducts for iscapcategoryobject is\
list iscapcategoryobject", "X8250A0F1827BCD68" ], 
  [ 
      "\033[2XAddFiberProductFunctorialWithGivenFiberProducts\033[102X for iscapc\
ategory, isfunction", "6.11-34", [ 6, 11, 34 ], 2450, 76, 
      "addfiberproductfunctorialwithgivenfiberproducts for iscapcategory isfun\
ction", "X85CCD05C7D3D6B7C" ], 
  [ 
      "\033[2XIsomorphismFromPushoutToCokernelOfDiagonalDifference\033[102X for i\
slist", "6.12-1", [ 6, 12, 1 ], 2494, 76, 
      "isomorphismfrompushouttocokernelofdiagonaldifference for islist", 
      "X7DB5F4937D3FFB15" ], 
  [ 
      "\033[2XIsomorphismFromPushoutToCokernelOfDiagonalDifferenceOp\033[102X for\
 islist, iscapcategorymorphism", "6.12-2", [ 6, 12, 2 ], 2503, 77, 
      "isomorphismfrompushouttocokernelofdiagonaldifferenceop for islist iscap\
categorymorphism", "X7B1FAA958491D7FC" ], 
  [ 
      "\033[2XAddIsomorphismFromPushoutToCokernelOfDiagonalDifference\033[102X fo\
r iscapcategory, isfunction", "6.12-3", [ 6, 12, 3 ], 2513, 77, 
      "addisomorphismfrompushouttocokernelofdiagonaldifference for iscapcatego\
ry isfunction", "X8639C412856D8860" ], 
  [ 
      "\033[2XIsomorphismFromCokernelOfDiagonalDifferenceToPushout\033[102X for i\
slist", "6.12-4", [ 6, 12, 4 ], 2524, 77, 
      "isomorphismfromcokernelofdiagonaldifferencetopushout for islist", 
      "X7D9E5AEA7E6F0092" ], 
  [ 
      "\033[2XIsomorphismFromCokernelOfDiagonalDifferenceToPushoutOp\033[102X for\
 islist, iscapcategorymorphism", "6.12-5", [ 6, 12, 5 ], 2533, 77, 
      "isomorphismfromcokernelofdiagonaldifferencetopushoutop for islist iscap\
categorymorphism", "X7BC6642F87C12C7B" ], 
  [ 
      "\033[2XAddIsomorphismFromCokernelOfDiagonalDifferenceToPushout\033[102X fo\
r iscapcategory, isfunction", "6.12-6", [ 6, 12, 6 ], 2543, 77, 
      "addisomorphismfromcokernelofdiagonaldifferencetopushout for iscapcatego\
ry isfunction", "X811F965D7B9837F9" ], 
  [ 
      "\033[2XIsomorphismFromPushoutToCoequalizerOfCoproductDiagram\033[102X for \
islist", "6.12-7", [ 6, 12, 7 ], 2554, 78, 
      "isomorphismfrompushouttocoequalizerofcoproductdiagram for islist", 
      "X87C495A782BE3433" ], 
  [ 
      "\033[2XIsomorphismFromPushoutToCoequalizerOfCoproductDiagramOp\033[102X fo\
r islist, iscapcategorymorphism", "6.12-8", [ 6, 12, 8 ], 2564, 78, 
      "isomorphismfrompushouttocoequalizerofcoproductdiagramop for islist isca\
pcategorymorphism", "X7CD0505B7DC1BF6A" ], 
  [ 
      "\033[2XAddIsomorphismFromPushoutToCoequalizerOfCoproductDiagram\033[102X f\
or iscapcategory, isfunction", "6.12-9", [ 6, 12, 9 ], 2574, 78, 
      "addisomorphismfrompushouttocoequalizerofcoproductdiagram for iscapcateg\
ory isfunction", "X7C757EA67A35147A" ], 
  [ 
      "\033[2XIsomorphismFromCoequalizerOfCoproductDiagramToPushout\033[102X for \
islist", "6.12-10", [ 6, 12, 10 ], 2585, 78, 
      "isomorphismfromcoequalizerofcoproductdiagramtopushout for islist", 
      "X7EAFDD727D94E932" ], 
  [ 
      "\033[2XIsomorphismFromCoequalizerOfCoproductDiagramToPushoutOp\033[102X fo\
r islist, iscapcategorymorphism", "6.12-11", [ 6, 12, 11 ], 2595, 78, 
      "isomorphismfromcoequalizerofcoproductdiagramtopushoutop for islist isca\
pcategorymorphism", "X7B2C8CA482EB626B" ], 
  [ 
      "\033[2XAddIsomorphismFromCoequalizerOfCoproductDiagramToPushout\033[102X f\
or iscapcategory, isfunction", "6.12-12", [ 6, 12, 12 ], 2605, 78, 
      "addisomorphismfromcoequalizerofcoproductdiagramtopushout for iscapcateg\
ory isfunction", "X7B80534F79D74B95" ], 
  [ "\033[2XDirectSumCodiagonalDifference\033[102X for islist", "6.12-13", 
      [ 6, 12, 13 ], 2616, 79, "directsumcodiagonaldifference for islist", 
      "X81DC4C1778CF1FD3" ], 
  [ 
      "\033[2XDirectSumCodiagonalDifferenceOp\033[102X for islist, iscapcategorym\
orphism", "6.12-14", [ 6, 12, 14 ], 2625, 79, 
      "directsumcodiagonaldifferenceop for islist iscapcategorymorphism", 
      "X7CA4577F7D26C099" ], 
  [ 
      "\033[2XAddDirectSumCodiagonalDifference\033[102X for iscapcategory, isfunc\
tion", "6.12-15", [ 6, 12, 15 ], 2635, 79, 
      "adddirectsumcodiagonaldifference for iscapcategory isfunction", 
      "X84CF535682E444B6" ], 
  [ "\033[2XDirectSumProjectionInPushout\033[102X for islist", "6.12-16", 
      [ 6, 12, 16 ], 2645, 79, "directsumprojectioninpushout for islist", 
      "X78450AD684E5746A" ], 
  [ 
      "\033[2XDirectSumProjectionInPushoutOp\033[102X for islist, iscapcategorymo\
rphism", "6.12-17", [ 6, 12, 17 ], 2655, 79, 
      "directsumprojectioninpushoutop for islist iscapcategorymorphism", 
      "X8702BC0180D5AEFD" ], 
  [ 
      "\033[2XAddDirectSumProjectionInPushout\033[102X for iscapcategory, isfunct\
ion", "6.12-18", [ 6, 12, 18 ], 2665, 79, 
      "adddirectsumprojectioninpushout for iscapcategory isfunction", 
      "X84852B0980DF02AE" ], 
  [ "\033[2XPushout\033[102X for islist", "6.12-19", [ 6, 12, 19 ], 2675, 80, 
      "pushout for islist", "X78E10D9E849FE214" ], 
  [ "\033[2XPushout\033[102X for iscapcategorymorphism, iscapcategorymorphism"
        , "6.12-20", [ 6, 12, 20 ], 2683, 80, 
      "pushout for iscapcategorymorphism iscapcategorymorphism", 
      "X78D93A2883C83CAC" ], 
  [ "\033[2XPushoutOp\033[102X for islist, iscapcategorymorphism", "6.12-21", 
      [ 6, 12, 21 ], 2691, 80, "pushoutop for islist iscapcategorymorphism", 
      "X78BE08E284796495" ], 
  [ "\033[2XInjectionOfCofactorOfPushout\033[102X for islist, isint", 
      "6.12-22", [ 6, 12, 22 ], 2700, 80, 
      "injectionofcofactorofpushout for islist isint", "X7CF12E527805752F" ], 
  [ "\033[2XInjectionOfCofactorOfPushoutOp\033[102X for islist, isint, iscapca\
tegorymorphism", "6.12-23", [ 6, 12, 23 ], 2709, 80, 
      "injectionofcofactorofpushoutop for islist isint iscapcategorymorphism",
      "X7BF8D08E8253D61C" ], 
  [ 
      "\033[2XInjectionOfCofactorOfPushoutWithGivenPushout\033[102X for islist, i\
sint, iscapcategoryobject", "6.12-24", [ 6, 12, 24 ], 2718, 80, 
      "injectionofcofactorofpushoutwithgivenpushout for islist isint iscapcate\
goryobject", "X7E54DB957B5F9157" ], 
  [ "\033[2XUniversalMorphismFromPushout\033[102X", "6.12-25", [ 6, 12, 25 ], 
      2727, 80, "universalmorphismfrompushout", "X82A1EFBA7E16FA63" ], 
  [ 
      "\033[2XUniversalMorphismFromPushoutOp\033[102X for islist, islist, iscapca\
tegorymorphism", "6.12-26", [ 6, 12, 26 ], 2748, 81, 
      "universalmorphismfrompushoutop for islist islist iscapcategorymorphism"
        , "X7DB773A47D22963E" ], 
  [ 
      "\033[2XUniversalMorphismFromPushoutWithGivenPushout\033[102X for islist, i\
slist, iscapcategoryobject", "6.12-27", [ 6, 12, 27 ], 2760, 81, 
      "universalmorphismfrompushoutwithgivenpushout for islist islist iscapcat\
egoryobject", "X7A3830637BB1E7C6" ], 
  [ "\033[2XAddPushout\033[102X for iscapcategory, isfunction", "6.12-28", 
      [ 6, 12, 28 ], 2771, 81, "addpushout for iscapcategory isfunction", 
      "X78FDEE468742E573" ], 
  [ 
      "\033[2XAddInjectionOfCofactorOfPushout\033[102X for iscapcategory, isfunct\
ion", "6.12-29", [ 6, 12, 29 ], 2780, 81, 
      "addinjectionofcofactorofpushout for iscapcategory isfunction", 
      "X87ED0E87850C6D96" ], 
  [ 
      "\033[2XAddInjectionOfCofactorOfPushoutWithGivenPushout\033[102X for iscapc\
ategory, isfunction", "6.12-30", [ 6, 12, 30 ], 2790, 81, 
      "addinjectionofcofactorofpushoutwithgivenpushout for iscapcategory isfun\
ction", "X8352461A796F9214" ], 
  [ 
      "\033[2XAddUniversalMorphismFromPushout\033[102X for iscapcategory, isfunct\
ion", "6.12-31", [ 6, 12, 31 ], 2800, 82, 
      "adduniversalmorphismfrompushout for iscapcategory isfunction", 
      "X7ACB31A479737723" ], 
  [ 
      "\033[2XAddUniversalMorphismFromPushoutWithGivenPushout\033[102X for iscapc\
ategory, isfunction", "6.12-32", [ 6, 12, 32 ], 2810, 82, 
      "adduniversalmorphismfrompushoutwithgivenpushout for iscapcategory isfun\
ction", "X847BA99A851088A1" ], 
  [ "\033[2XPushoutFunctorial\033[102X for islist", "6.12-33", [ 6, 12, 33 ], 
      2820, 82, "pushoutfunctorial for islist", "X7BDB1CBF79D0D1D3" ], 
  [ 
      "\033[2XPushoutFunctorialWithGivenPushouts\033[102X for iscapcategoryobject\
, islist, iscapcategoryobject", "6.12-34", [ 6, 12, 34 ], 2834, 82, 
      "pushoutfunctorialwithgivenpushouts for iscapcategoryobject islist iscap\
categoryobject", "X7805E8767D5729C0" ], 
  [ 
      "\033[2XAddPushoutFunctorialWithGivenPushouts\033[102X for iscapcategory, i\
sfunction", "6.12-35", [ 6, 12, 35 ], 2847, 82, 
      "addpushoutfunctorialwithgivenpushouts for iscapcategory isfunction", 
      "X810036A887D287AC" ], 
  [ 
      "\033[2XIsomorphismFromImageObjectToKernelOfCokernel\033[102X for iscapcate\
gorymorphism", "6.13-1", [ 6, 13, 1 ], 2883, 83, 
      "isomorphismfromimageobjecttokernelofcokernel for iscapcategorymorphism"
        , "X80490BD785CA695A" ], 
  [ 
      "\033[2XAddIsomorphismFromImageObjectToKernelOfCokernel\033[102X for iscapc\
ategory, isfunction", "6.13-2", [ 6, 13, 2 ], 2893, 83, 
      "addisomorphismfromimageobjecttokernelofcokernel for iscapcategory isfun\
ction", "X7B09757B8411AD52" ], 
  [ 
      "\033[2XIsomorphismFromKernelOfCokernelToImageObject\033[102X for iscapcate\
gorymorphism", "6.13-3", [ 6, 13, 3 ], 2904, 83, 
      "isomorphismfromkernelofcokerneltoimageobject for iscapcategorymorphism"
        , "X7CAA3342865B456B" ], 
  [ 
      "\033[2XAddIsomorphismFromKernelOfCokernelToImageObject\033[102X for iscapc\
ategory, isfunction", "6.13-4", [ 6, 13, 4 ], 2914, 83, 
      "addisomorphismfromkernelofcokerneltoimageobject for iscapcategory isfun\
ction", "X78A3EEFB843C5067" ], 
  [ "\033[2XImageObject\033[102X for iscapcategorymorphism", "6.13-5", 
      [ 6, 13, 5 ], 2925, 84, "imageobject for iscapcategorymorphism", 
      "X83B457FF79AC5AC6" ], 
  [ "\033[2XImageEmbedding\033[102X for iscapcategorymorphism", "6.13-6", 
      [ 6, 13, 6 ], 2933, 84, "imageembedding for iscapcategorymorphism", 
      "X86CEE2D1876EC2B9" ], 
  [ 
      "\033[2XImageEmbeddingWithGivenImageObject\033[102X for iscapcategorymorphi\
sm, iscapcategoryobject", "6.13-7", [ 6, 13, 7 ], 2941, 84, 
      "imageembeddingwithgivenimageobject for iscapcategorymorphism iscapcateg\
oryobject", "X82991FA17B460744" ], 
  [ "\033[2XCoastrictionToImage\033[102X for iscapcategorymorphism", 
      "6.13-8", [ 6, 13, 8 ], 2950, 84, 
      "coastrictiontoimage for iscapcategorymorphism", "X8144201987A27661" ], 
  [ "\033[2XCoastrictionToImageWithGivenImageObject\033[102X for iscapcategory\
morphism, iscapcategoryobject", "6.13-9", [ 6, 13, 9 ], 2958, 84, 
      "coastrictiontoimagewithgivenimageobject for iscapcategorymorphism iscap\
categoryobject", "X78BE36EA83BEF493" ], 
  [ 
      "\033[2XUniversalMorphismFromImage\033[102X for iscapcategorymorphism, isli\
st", "6.13-10", [ 6, 13, 10 ], 2967, 84, 
      "universalmorphismfromimage for iscapcategorymorphism islist", 
      "X7989B1FB811D2033" ], 
  [ 
      "\033[2XUniversalMorphismFromImageWithGivenImageObject\033[102X for iscapca\
tegorymorphism, islist, iscapcategoryobject", "6.13-11", [ 6, 13, 11 ], 2978, 
      84, 
      "universalmorphismfromimagewithgivenimageobject for iscapcategorymorphis\
m islist iscapcategoryobject", "X86E557097CFB4430" ], 
  [ "\033[2XAddImageObject\033[102X for iscapcategory, isfunction", 
      "6.13-12", [ 6, 13, 12 ], 2990, 85, 
      "addimageobject for iscapcategory isfunction", "X7CA61123868B51B2" ], 
  [ "\033[2XAddImageEmbedding\033[102X for iscapcategory, isfunction", 
      "6.13-13", [ 6, 13, 13 ], 2999, 85, 
      "addimageembedding for iscapcategory isfunction", "X796EDCCD7A729E12" ],
  [ "\033[2XAddImageEmbeddingWithGivenImageObject\033[102X for iscapcategory, \
isfunction", "6.13-14", [ 6, 13, 14 ], 3008, 85, 
      "addimageembeddingwithgivenimageobject for iscapcategory isfunction", 
      "X785393EB7C27451E" ], 
  [ "\033[2XAddCoastrictionToImage\033[102X for iscapcategory, isfunction", 
      "6.13-15", [ 6, 13, 15 ], 3017, 85, 
      "addcoastrictiontoimage for iscapcategory isfunction", 
      "X78C7D6E582FD41E9" ], 
  [ 
      "\033[2XAddCoastrictionToImageWithGivenImageObject\033[102X for iscapcatego\
ry, isfunction", "6.13-16", [ 6, 13, 16 ], 3026, 85, 
      "addcoastrictiontoimagewithgivenimageobject for iscapcategory isfunction\
", "X8077FB7485FCD5E6" ], 
  [ 
      "\033[2XAddUniversalMorphismFromImage\033[102X for iscapcategory, isfunctio\
n", "6.13-17", [ 6, 13, 17 ], 3035, 85, 
      "adduniversalmorphismfromimage for iscapcategory isfunction", 
      "X7BE632048014DB7F" ], 
  [ 
      "\033[2XAddUniversalMorphismFromImageWithGivenImageObject\033[102X for isca\
pcategory, isfunction", "6.13-18", [ 6, 13, 18 ], 3044, 86, 
      "adduniversalmorphismfromimagewithgivenimageobject for iscapcategory isf\
unction", "X79813E327CAD3D99" ], 
  [ "\033[2XMorphismFromCoimageToImage\033[102X for iscapcategorymorphism", 
      "6.14-1", [ 6, 14, 1 ], 3077, 86, 
      "morphismfromcoimagetoimage for iscapcategorymorphism", 
      "X7F7BD6A18581671E" ], 
  [ 
      "\033[2XMorphismFromCoimageToImageWithGivenObjects\033[102X for iscapcatego\
ryobject, iscapcategorymorphism, iscapcategoryobject", "6.14-2", 
      [ 6, 14, 2 ], 3087, 86, 
      "morphismfromcoimagetoimagewithgivenobjects for iscapcategoryobject isca\
pcategorymorphism iscapcategoryobject", "X8025749B78E12A2B" ], 
  [ 
      "\033[2XAddMorphismFromCoimageToImageWithGivenObjects\033[102X for iscapcat\
egory, isfunction", "6.14-3", [ 6, 14, 3 ], 3096, 86, 
      "addmorphismfromcoimagetoimagewithgivenobjects for iscapcategory isfunct\
ion", "X7FCCF6EA7BD56684" ], 
  [ 
      "\033[2XInverseMorphismFromCoimageToImage\033[102X for iscapcategorymorphis\
m", "6.14-4", [ 6, 14, 4 ], 3106, 87, 
      "inversemorphismfromcoimagetoimage for iscapcategorymorphism", 
      "X7D0C9B067F3E15B4" ], 
  [ 
      "\033[2XInverseMorphismFromCoimageToImageWithGivenObjects\033[102X for isca\
pcategoryobject, iscapcategorymorphism, iscapcategoryobject", "6.14-5", 
      [ 6, 14, 5 ], 3116, 87, 
      "inversemorphismfromcoimagetoimagewithgivenobjects for iscapcategoryobje\
ct iscapcategorymorphism iscapcategoryobject", "X83C4E6FF7D1F1A9C" ], 
  [ 
      "\033[2XAddInverseMorphismFromCoimageToImageWithGivenObjects\033[102X for i\
scapcategory, isfunction", "6.14-6", [ 6, 14, 6 ], 3125, 87, 
      "addinversemorphismfromcoimagetoimagewithgivenobjects for iscapcategory \
isfunction", "X7E25930683F94127" ], 
  [ 
      "\033[2XIsomorphismFromCoimageToCokernelOfKernel\033[102X for iscapcategory\
morphism", "6.14-7", [ 6, 14, 7 ], 3135, 87, 
      "isomorphismfromcoimagetocokernelofkernel for iscapcategorymorphism", 
      "X7C594E227D8DB0ED" ], 
  [ 
      "\033[2XAddIsomorphismFromCoimageToCokernelOfKernel\033[102X for iscapcateg\
ory, isfunction", "6.14-8", [ 6, 14, 8 ], 3145, 87, 
      "addisomorphismfromcoimagetocokernelofkernel for iscapcategory isfunctio\
n", "X80B45F4D7A7B96A4" ], 
  [ 
      "\033[2XIsomorphismFromCokernelOfKernelToCoimage\033[102X for iscapcategory\
morphism", "6.14-9", [ 6, 14, 9 ], 3156, 87, 
      "isomorphismfromcokernelofkerneltocoimage for iscapcategorymorphism", 
      "X7CF7E7E47A460E56" ], 
  [ 
      "\033[2XAddIsomorphismFromCokernelOfKernelToCoimage\033[102X for iscapcateg\
ory, isfunction", "6.14-10", [ 6, 14, 10 ], 3166, 88, 
      "addisomorphismfromcokernelofkerneltocoimage for iscapcategory isfunctio\
n", "X7D9B059578AC42D6" ], 
  [ "\033[2XCoimage\033[102X for iscapcategorymorphism", "6.14-11", 
      [ 6, 14, 11 ], 3177, 88, "coimage for iscapcategorymorphism", 
      "X866FB09E857D1846" ], 
  [ "\033[2XCoimageProjection\033[102X for iscapcategoryobject", "6.14-12", 
      [ 6, 14, 12 ], 3185, 88, "coimageprojection for iscapcategoryobject", 
      "X822D25177F2C1541" ], 
  [ "\033[2XCoimageProjection\033[102X for iscapcategorymorphism", "6.14-13", 
      [ 6, 14, 13 ], 3194, 88, "coimageprojection for iscapcategorymorphism", 
      "X788E717C7CCC6645" ], 
  [ 
      "\033[2XCoimageProjectionWithGivenCoimage\033[102X for iscapcategorymorphis\
m, iscapcategoryobject", "6.14-14", [ 6, 14, 14 ], 3202, 88, 
      "coimageprojectionwithgivencoimage for iscapcategorymorphism iscapcatego\
ryobject", "X845344847E9C3AD9" ], 
  [ "\033[2XAstrictionToCoimage\033[102X for iscapcategoryobject", "6.14-15", 
      [ 6, 14, 15 ], 3211, 88, "astrictiontocoimage for iscapcategoryobject", 
      "X7BC763EA7D2D3164" ], 
  [ "\033[2XAstrictionToCoimage\033[102X for iscapcategorymorphism", 
      "6.14-16", [ 6, 14, 16 ], 3220, 88, 
      "astrictiontocoimage for iscapcategorymorphism", "X805108BF8047357E" ], 
  [ "\033[2XAstrictionToCoimageWithGivenCoimage\033[102X for iscapcategorymorp\
hism, iscapcategoryobject", "6.14-17", [ 6, 14, 17 ], 3228, 89, 
      "astrictiontocoimagewithgivencoimage for iscapcategorymorphism iscapcate\
goryobject", "X7BEDEDCC7818490B" ], 
  [ 
      "\033[2XUniversalMorphismIntoCoimage\033[102X for iscapcategorymorphism, is\
list", "6.14-18", [ 6, 14, 18 ], 3237, 89, 
      "universalmorphismintocoimage for iscapcategorymorphism islist", 
      "X7D051DDF7A68BFFB" ], 
  [ 
      "\033[2XUniversalMorphismIntoCoimageWithGivenCoimage\033[102X for iscapcate\
gorymorphism, islist, iscapcategoryobject", "6.14-19", [ 6, 14, 19 ], 3248, 
      89, 
      "universalmorphismintocoimagewithgivencoimage for iscapcategorymorphism \
islist iscapcategoryobject", "X7D9C6F3C7B929E5F" ], 
  [ "\033[2XAddCoimage\033[102X for iscapcategory, isfunction", "6.14-20", 
      [ 6, 14, 20 ], 3259, 89, "addcoimage for iscapcategory isfunction", 
      "X7A0027687B377BC2" ], 
  [ "\033[2XAddCoimageProjection\033[102X for iscapcategory, isfunction", 
      "6.14-21", [ 6, 14, 21 ], 3268, 89, 
      "addcoimageprojection for iscapcategory isfunction", 
      "X85B54DD47C3E9682" ], 
  [ 
      "\033[2XAddCoimageProjectionWithGivenCoimage\033[102X for iscapcategory, is\
function", "6.14-22", [ 6, 14, 22 ], 3277, 89, 
      "addcoimageprojectionwithgivencoimage for iscapcategory isfunction", 
      "X800CCC74801CFF29" ], 
  [ "\033[2XAddAstrictionToCoimage\033[102X for iscapcategory, isfunction", 
      "6.14-23", [ 6, 14, 23 ], 3286, 90, 
      "addastrictiontocoimage for iscapcategory isfunction", 
      "X786682798320D413" ], 
  [ 
      "\033[2XAddAstrictionToCoimageWithGivenCoimage\033[102X for iscapcategory, \
isfunction", "6.14-24", [ 6, 14, 24 ], 3295, 90, 
      "addastrictiontocoimagewithgivencoimage for iscapcategory isfunction", 
      "X820E0A8786AA718F" ], 
  [ 
      "\033[2XAddUniversalMorphismIntoCoimage\033[102X for iscapcategory, isfunct\
ion", "6.14-25", [ 6, 14, 25 ], 3304, 90, 
      "adduniversalmorphismintocoimage for iscapcategory isfunction", 
      "X85DB30B982F6C564" ], 
  [ 
      "\033[2XAddUniversalMorphismIntoCoimageWithGivenCoimage\033[102X for iscapc\
ategory, isfunction", "6.14-26", [ 6, 14, 26 ], 3313, 90, 
      "adduniversalmorphismintocoimagewithgivencoimage for iscapcategory isfun\
ction", "X8617139A8651C194" ], 
  [ "\033[2XSubobjectClassifier\033[102X for iscapcategory", "6.15-1", 
      [ 6, 15, 1 ], 3341, 90, "subobjectclassifier for iscapcategory", 
      "X7D33F6ED85FC23BC" ], 
  [ "\033[2XSubobjectClassifier\033[102X for iscapcategorycell", "6.15-2", 
      [ 6, 15, 2 ], 3349, 91, "subobjectclassifier for iscapcategorycell", 
      "X7DB6F01F7ACEDD5C" ], 
  [ 
      "\033[2XTruthMorphismIntoSubobjectClassifierWithGivenObjects\033[102X for i\
scapcategoryobject , iscapcategoryobject", "6.15-3", [ 6, 15, 3 ], 3357, 91, 
      "truthmorphismintosubobjectclassifierwithgivenobjects for iscapcategoryo\
bject iscapcategoryobject", "X82A2DD007FCA428A" ], 
  [ "\033[2XTruthMorphismIntoSubobjectClassifier\033[102X for iscapcategory", 
      "6.15-4", [ 6, 15, 4 ], 3368, 91, 
      "truthmorphismintosubobjectclassifier for iscapcategory", 
      "X8055E0238533E4CC" ], 
  [ 
      "\033[2XTruthMorphismIntoSubobjectClassifier\033[102X for iscapcategorycell\
", "6.15-5", [ 6, 15, 5 ], 3378, 91, 
      "truthmorphismintosubobjectclassifier for iscapcategorycell", 
      "X7BF5428B7FFA2222" ], 
  [ "\033[2XClassifyingMorphismOfSubobject\033[102X for iscapcategorymorphism"
        , "6.15-6", [ 6, 15, 6 ], 3389, 91, 
      "classifyingmorphismofsubobject for iscapcategorymorphism", 
      "X7E86ACBB830223AC" ], 
  [ 
      "\033[2XClassifyingMorphismOfSubobjectWithGivenSubobjectClassifier\033[102X\
 for iscapcategorymorphism , iscapcategoryobject", "6.15-7", [ 6, 15, 7 ], 
      3398, 91, 
      "classifyingmorphismofsubobjectwithgivensubobjectclassifier for iscapcat\
egorymorphism iscapcategoryobject", "X874A09FD7A8FB706" ], 
  [ "\033[2XSubobjectOfClassifyingMorphism\033[102X for iscapcategorymorphism"
        , "6.15-8", [ 6, 15, 8 ], 3408, 91, 
      "subobjectofclassifyingmorphism for iscapcategorymorphism", 
      "X85AA59EA7D780BAB" ], 
  [ "\033[2XAddSubobjectClassifier\033[102X for iscapcategory, isfunction", 
      "6.15-9", [ 6, 15, 9 ], 3417, 92, 
      "addsubobjectclassifier for iscapcategory isfunction", 
      "X7F91B1417B647CBA" ], 
  [ 
      "\033[2XAddClassifyingMorphismOfSubobject\033[102X for iscapcategory , isfu\
nction", "6.15-10", [ 6, 15, 10 ], 3426, 92, 
      "addclassifyingmorphismofsubobject for iscapcategory isfunction", 
      "X7CB2F66B8022D23C" ], 
  [ 
      "\033[2XAddClassifyingMorphismOfSubobjectWithGivenSubobjectClassifier\033[1\
02X for iscapcategory , isfunction", "6.15-11", [ 6, 15, 11 ], 3436, 92, 
      "addclassifyingmorphismofsubobjectwithgivensubobjectclassifier for iscap\
category isfunction", "X7EA4360E79D92811" ], 
  [ 
      "\033[2XAddTruthMorphismIntoSubobjectClassifierWithGivenObjects\033[102X fo\
r iscapcategory , isfunction", "6.15-12", [ 6, 15, 12 ], 3446, 92, 
      "addtruthmorphismintosubobjectclassifierwithgivenobjects for iscapcatego\
ry isfunction", "X7E01F89979FAA32C" ], 
  [ 
      "\033[2XAddSubobjectOfClassifyingMorphism\033[102X for iscapcategory , isfu\
nction", "6.15-13", [ 6, 15, 13 ], 3456, 92, 
      "addsubobjectofclassifyingmorphism for iscapcategory isfunction", 
      "X814CF88C850C8077" ], 
  [ 
      "\033[2XTensorProductOnObjects\033[102X for iscapcategoryobject, iscapcateg\
oryobject", "7.1-1", [ 7, 1, 1 ], 36, 93, 
      "tensorproductonobjects for iscapcategoryobject iscapcategoryobject", 
      "X797034F17AA47EE0" ], 
  [ "\033[2XAddTensorProductOnObjects\033[102X for iscapcategory, isfunction",
      "7.1-2", [ 7, 1, 2 ], 44, 93, 
      "addtensorproductonobjects for iscapcategory isfunction", 
      "X7CED389B792142F5" ], 
  [ 
      "\033[2XTensorProductOnMorphisms\033[102X for iscapcategorymorphism, iscapc\
ategorymorphism", "7.1-3", [ 7, 1, 3 ], 53, 94, 
      "tensorproductonmorphisms for iscapcategorymorphism iscapcategorymorphis\
m", "X84997A1E8188D6BE" ], 
  [ 
      "\033[2XTensorProductOnMorphismsWithGivenTensorProducts\033[102X for iscapc\
ategoryobject, iscapcategorymorphism, iscapcategorymorphism, iscapcategoryobje\
ct", "7.1-4", [ 7, 1, 4 ], 61, 94, 
      "tensorproductonmorphismswithgiventensorproducts for iscapcategoryobject\
 iscapcategorymorphism iscapcategorymorphism iscapcategoryobject", 
      "X85008BF07C2C0386" ], 
  [ 
      "\033[2XAddTensorProductOnMorphismsWithGivenTensorProducts\033[102X for isc\
apcategory, isfunction", "7.1-5", [ 7, 1, 5 ], 70, 94, 
      "addtensorproductonmorphismswithgiventensorproducts for iscapcategory is\
function", "X879659397D11AD9F" ], 
  [ 
      "\033[2XAssociatorRightToLeft\033[102X for iscapcategoryobject, iscapcatego\
ryobject, iscapcategoryobject", "7.1-6", [ 7, 1, 6 ], 81, 94, 
      "associatorrighttoleft for iscapcategoryobject iscapcategoryobject iscap\
categoryobject", "X84C2FAEA7B9678AA" ], 
  [ 
      "\033[2XAssociatorRightToLeftWithGivenTensorProducts\033[102X for iscapcate\
goryobject, iscapcategoryobject, iscapcategoryobject, iscapcategoryobject, isc\
apcategoryobject", "7.1-7", [ 7, 1, 7 ], 91, 94, 
      "associatorrighttoleftwithgiventensorproducts for iscapcategoryobject is\
capcategoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject"
        , "X85645C4D86060ED2" ], 
  [ 
      "\033[2XAddAssociatorRightToLeftWithGivenTensorProducts\033[102X for iscapc\
ategory, isfunction", "7.1-8", [ 7, 1, 8 ], 102, 94, 
      "addassociatorrighttoleftwithgiventensorproducts for iscapcategory isfun\
ction", "X7CF105217904D280" ], 
  [ 
      "\033[2XAssociatorLeftToRight\033[102X for iscapcategoryobject, iscapcatego\
ryobject, iscapcategoryobject", "7.1-9", [ 7, 1, 9 ], 112, 95, 
      "associatorlefttoright for iscapcategoryobject iscapcategoryobject iscap\
categoryobject", "X7C5A064C7E1995F1" ], 
  [ 
      "\033[2XAssociatorLeftToRightWithGivenTensorProducts\033[102X for iscapcate\
goryobject, iscapcategoryobject, iscapcategoryobject, iscapcategoryobject, isc\
apcategoryobject", "7.1-10", [ 7, 1, 10 ], 122, 95, 
      "associatorlefttorightwithgiventensorproducts for iscapcategoryobject is\
capcategoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject"
        , "X7C59D73F8389E389" ], 
  [ 
      "\033[2XAddAssociatorLeftToRightWithGivenTensorProducts\033[102X for iscapc\
ategory, isfunction", "7.1-11", [ 7, 1, 11 ], 133, 95, 
      "addassociatorlefttorightwithgiventensorproducts for iscapcategory isfun\
ction", "X850B5B357F592FAE" ], 
  [ "\033[2XTensorUnit\033[102X for iscapcategory", "7.1-12", [ 7, 1, 12 ], 
      143, 95, "tensorunit for iscapcategory", "X7BF7FFDF8789474A" ], 
  [ "\033[2XAddTensorUnit\033[102X for iscapcategory, isfunction", "7.1-13", 
      [ 7, 1, 13 ], 151, 95, "addtensorunit for iscapcategory isfunction", 
      "X7BC4B940858F903B" ], 
  [ "\033[2XLeftUnitor\033[102X for iscapcategoryobject", "7.1-14", 
      [ 7, 1, 14 ], 160, 95, "leftunitor for iscapcategoryobject", 
      "X7EBCAFDD81BDB655" ], 
  [ 
      "\033[2XLeftUnitorWithGivenTensorProduct\033[102X for iscapcategoryobject, \
iscapcategoryobject", "7.1-15", [ 7, 1, 15 ], 168, 96, 
      "leftunitorwithgiventensorproduct for iscapcategoryobject iscapcategoryo\
bject", "X7ED284DF7BA21774" ], 
  [ 
      "\033[2XAddLeftUnitorWithGivenTensorProduct\033[102X for iscapcategory, isf\
unction", "7.1-16", [ 7, 1, 16 ], 176, 96, 
      "addleftunitorwithgiventensorproduct for iscapcategory isfunction", 
      "X8614FD9C78812C98" ], 
  [ "\033[2XLeftUnitorInverse\033[102X for iscapcategoryobject", "7.1-17", 
      [ 7, 1, 17 ], 185, 96, "leftunitorinverse for iscapcategoryobject", 
      "X79A274078147A9F7" ], 
  [ 
      "\033[2XLeftUnitorInverseWithGivenTensorProduct\033[102X for iscapcategoryo\
bject, iscapcategoryobject", "7.1-18", [ 7, 1, 18 ], 193, 96, 
      "leftunitorinversewithgiventensorproduct for iscapcategoryobject iscapca\
tegoryobject", "X849609447CAE996B" ], 
  [ 
      "\033[2XAddLeftUnitorInverseWithGivenTensorProduct\033[102X for iscapcatego\
ry, isfunction", "7.1-19", [ 7, 1, 19 ], 201, 96, 
      "addleftunitorinversewithgiventensorproduct for iscapcategory isfunction\
", "X87CB487587ED3EC5" ], 
  [ "\033[2XRightUnitor\033[102X for iscapcategoryobject", "7.1-20", 
      [ 7, 1, 20 ], 211, 96, "rightunitor for iscapcategoryobject", 
      "X82F758CB7A23468A" ], 
  [ 
      "\033[2XRightUnitorWithGivenTensorProduct\033[102X for iscapcategoryobject,\
 iscapcategoryobject", "7.1-21", [ 7, 1, 21 ], 219, 96, 
      "rightunitorwithgiventensorproduct for iscapcategoryobject iscapcategory\
object", "X84C8F97F7BF2282D" ], 
  [ 
      "\033[2XAddRightUnitorWithGivenTensorProduct\033[102X for iscapcategory, is\
function", "7.1-22", [ 7, 1, 22 ], 227, 97, 
      "addrightunitorwithgiventensorproduct for iscapcategory isfunction", 
      "X7DB39DC9794F3FCA" ], 
  [ "\033[2XRightUnitorInverse\033[102X for iscapcategoryobject", "7.1-23", 
      [ 7, 1, 23 ], 236, 97, "rightunitorinverse for iscapcategoryobject", 
      "X82DC825480E87301" ], 
  [ 
      "\033[2XRightUnitorInverseWithGivenTensorProduct\033[102X for iscapcategory\
object, iscapcategoryobject", "7.1-24", [ 7, 1, 24 ], 244, 97, 
      "rightunitorinversewithgiventensorproduct for iscapcategoryobject iscapc\
ategoryobject", "X85A8A87C87B33008" ], 
  [ 
      "\033[2XAddRightUnitorInverseWithGivenTensorProduct\033[102X for iscapcateg\
ory, isfunction", "7.1-25", [ 7, 1, 25 ], 252, 97, 
      "addrightunitorinversewithgiventensorproduct for iscapcategory isfunctio\
n", "X8682171F86C6793E" ], 
  [ 
      "\033[2XLeftDistributivityExpanding\033[102X for iscapcategoryobject, islis\
t", "7.1-26", [ 7, 1, 26 ], 262, 97, 
      "leftdistributivityexpanding for iscapcategoryobject islist", 
      "X7ACF268E7D82B0C9" ], 
  [ 
      "\033[2XLeftDistributivityExpandingWithGivenObjects\033[102X for iscapcateg\
oryobject, iscapcategoryobject, islist, iscapcategoryobject", "7.1-27", 
      [ 7, 1, 27 ], 272, 97, 
      "leftdistributivityexpandingwithgivenobjects for iscapcategoryobject isc\
apcategoryobject islist iscapcategoryobject", "X7CA18968862D2285" ], 
  [ 
      "\033[2XAddLeftDistributivityExpandingWithGivenObjects\033[102X for iscapca\
tegory, isfunction", "7.1-28", [ 7, 1, 28 ], 282, 98, 
      "addleftdistributivityexpandingwithgivenobjects for iscapcategory isfunc\
tion", "X814BA200802D26E4" ], 
  [ 
      "\033[2XLeftDistributivityFactoring\033[102X for iscapcategoryobject, islis\
t", "7.1-29", [ 7, 1, 29 ], 293, 98, 
      "leftdistributivityfactoring for iscapcategoryobject islist", 
      "X780322FE7E5A626D" ], 
  [ 
      "\033[2XLeftDistributivityFactoringWithGivenObjects\033[102X for iscapcateg\
oryobject, iscapcategoryobject, islist, iscapcategoryobject", "7.1-30", 
      [ 7, 1, 30 ], 303, 98, 
      "leftdistributivityfactoringwithgivenobjects for iscapcategoryobject isc\
apcategoryobject islist iscapcategoryobject", "X784D8CD685F5F021" ], 
  [ 
      "\033[2XAddLeftDistributivityFactoringWithGivenObjects\033[102X for iscapca\
tegory, isfunction", "7.1-31", [ 7, 1, 31 ], 313, 98, 
      "addleftdistributivityfactoringwithgivenobjects for iscapcategory isfunc\
tion", "X7F0A439478576973" ], 
  [ 
      "\033[2XRightDistributivityExpanding\033[102X for islist, iscapcategoryobje\
ct", "7.1-32", [ 7, 1, 32 ], 324, 98, 
      "rightdistributivityexpanding for islist iscapcategoryobject", 
      "X8409C74778A4313A" ], 
  [ 
      "\033[2XRightDistributivityExpandingWithGivenObjects\033[102X for iscapcate\
goryobject, islist, iscapcategoryobject, iscapcategoryobject", "7.1-33", 
      [ 7, 1, 33 ], 335, 98, 
      "rightdistributivityexpandingwithgivenobjects for iscapcategoryobject is\
list iscapcategoryobject iscapcategoryobject", "X7DBE629F811DEADC" ], 
  [ 
      "\033[2XAddRightDistributivityExpandingWithGivenObjects\033[102X for iscapc\
ategory, isfunction", "7.1-34", [ 7, 1, 34 ], 345, 99, 
      "addrightdistributivityexpandingwithgivenobjects for iscapcategory isfun\
ction", "X7A6178C17EFC817A" ], 
  [ 
      "\033[2XRightDistributivityFactoring\033[102X for islist, iscapcategoryobje\
ct", "7.1-35", [ 7, 1, 35 ], 356, 99, 
      "rightdistributivityfactoring for islist iscapcategoryobject", 
      "X86C5C33786C1DC28" ], 
  [ 
      "\033[2XRightDistributivityFactoringWithGivenObjects\033[102X for iscapcate\
goryobject, islist, iscapcategoryobject, iscapcategoryobject", "7.1-36", 
      [ 7, 1, 36 ], 366, 99, 
      "rightdistributivityfactoringwithgivenobjects for iscapcategoryobject is\
list iscapcategoryobject iscapcategoryobject", "X795267217F7807CE" ], 
  [ 
      "\033[2XAddRightDistributivityFactoringWithGivenObjects\033[102X for iscapc\
ategory, isfunction", "7.1-37", [ 7, 1, 37 ], 376, 99, 
      "addrightdistributivityfactoringwithgivenobjects for iscapcategory isfun\
ction", "X842099557CF2036E" ], 
  [ "\033[2XBraiding\033[102X for iscapcategoryobject, iscapcategoryobject", 
      "7.2-1", [ 7, 2, 1 ], 405, 100, 
      "braiding for iscapcategoryobject iscapcategoryobject", 
      "X7C6ADBFE7A8DD1E3" ], 
  [ 
      "\033[2XBraidingWithGivenTensorProducts\033[102X for iscapcategoryobject, i\
scapcategoryobject, iscapcategoryobject, iscapcategoryobject", "7.2-2", 
      [ 7, 2, 2 ], 413, 100, 
      "braidingwithgiventensorproducts for iscapcategoryobject iscapcategoryob\
ject iscapcategoryobject iscapcategoryobject", "X7F4B09A87B2500C0" ], 
  [ 
      "\033[2XAddBraidingWithGivenTensorProducts\033[102X for iscapcategory, isfu\
nction", "7.2-3", [ 7, 2, 3 ], 422, 100, 
      "addbraidingwithgiventensorproducts for iscapcategory isfunction", 
      "X7A52CBE8801D6B28" ], 
  [ 
      "\033[2XBraidingInverse\033[102X for iscapcategoryobject, iscapcategoryobje\
ct", "7.2-4", [ 7, 2, 4 ], 432, 100, 
      "braidinginverse for iscapcategoryobject iscapcategoryobject", 
      "X8195EC5279D3E8D0" ], 
  [ 
      "\033[2XBraidingInverseWithGivenTensorProducts\033[102X for iscapcategoryob\
ject, iscapcategoryobject, iscapcategoryobject, iscapcategoryobject", 
      "7.2-5", [ 7, 2, 5 ], 440, 100, 
      "braidinginversewithgiventensorproducts for iscapcategoryobject iscapcat\
egoryobject iscapcategoryobject iscapcategoryobject", "X854AFBC67C836769" ], 
  [ "\033[2XAddBraidingInverseWithGivenTensorProducts\033[102X for iscapcatego\
ry, isfunction", "7.2-6", [ 7, 2, 6 ], 449, 100, 
      "addbraidinginversewithgiventensorproducts for iscapcategory isfunction"
        , "X85C7E40583A5955F" ], 
  [ 
      "\033[2XInternalHomOnObjects\033[102X for iscapcategoryobject, iscapcategor\
yobject", "7.4-1", [ 7, 4, 1 ], 475, 101, 
      "internalhomonobjects for iscapcategoryobject iscapcategoryobject", 
      "X78AA83E77B380D68" ], 
  [ "\033[2XAddInternalHomOnObjects\033[102X for iscapcategory, isfunction", 
      "7.4-2", [ 7, 4, 2 ], 483, 101, 
      "addinternalhomonobjects for iscapcategory isfunction", 
      "X7B74F8FD8348D590" ], 
  [ 
      "\033[2XInternalHomOnMorphisms\033[102X for iscapcategorymorphism, iscapcat\
egorymorphism", "7.4-3", [ 7, 4, 3 ], 492, 101, 
      "internalhomonmorphisms for iscapcategorymorphism iscapcategorymorphism"
        , "X7C0191A483A72F98" ], 
  [ 
      "\033[2XInternalHomOnMorphismsWithGivenInternalHoms\033[102X for iscapcateg\
oryobject, iscapcategorymorphism, iscapcategorymorphism, iscapcategoryobject",
      "7.4-4", [ 7, 4, 4 ], 503, 101, 
      "internalhomonmorphismswithgiveninternalhoms for iscapcategoryobject isc\
apcategorymorphism iscapcategorymorphism iscapcategoryobject", 
      "X861226B47B5CB713" ], 
  [ 
      "\033[2XAddInternalHomOnMorphismsWithGivenInternalHoms\033[102X for iscapca\
tegory, isfunction", "7.4-5", [ 7, 4, 5 ], 515, 101, 
      "addinternalhomonmorphismswithgiveninternalhoms for iscapcategory isfunc\
tion", "X8070203E80388349" ], 
  [ 
      "\033[2XEvaluationMorphism\033[102X for iscapcategoryobject, iscapcategoryo\
bject", "7.4-6", [ 7, 4, 6 ], 527, 102, 
      "evaluationmorphism for iscapcategoryobject iscapcategoryobject", 
      "X809226D2878DD662" ], 
  [ 
      "\033[2XEvaluationMorphismWithGivenSource\033[102X for iscapcategoryobject,\
 iscapcategoryobject, iscapcategoryobject", "7.4-7", [ 7, 4, 7 ], 537, 102, 
      "evaluationmorphismwithgivensource for iscapcategoryobject iscapcategory\
object iscapcategoryobject", "X7E42359B7A888F61" ], 
  [ 
      "\033[2XAddEvaluationMorphismWithGivenSource\033[102X for iscapcategory, is\
function", "7.4-8", [ 7, 4, 8 ], 548, 102, 
      "addevaluationmorphismwithgivensource for iscapcategory isfunction", 
      "X7D5C06137CEB86B0" ], 
  [ 
      "\033[2XCoevaluationMorphism\033[102X for iscapcategoryobject, iscapcategor\
yobject", "7.4-9", [ 7, 4, 9 ], 558, 102, 
      "coevaluationmorphism for iscapcategoryobject iscapcategoryobject", 
      "X79E277047AB3E909" ], 
  [ 
      "\033[2XCoevaluationMorphismWithGivenRange\033[102X for iscapcategoryobject\
, iscapcategoryobject, iscapcategoryobject", "7.4-10", [ 7, 4, 10 ], 568, 
      102, 
      "coevaluationmorphismwithgivenrange for iscapcategoryobject iscapcategor\
yobject iscapcategoryobject", "X7E8123AD8567A5C0" ], 
  [ 
      "\033[2XAddCoevaluationMorphismWithGivenRange\033[102X for iscapcategory, i\
sfunction", "7.4-11", [ 7, 4, 11 ], 579, 102, 
      "addcoevaluationmorphismwithgivenrange for iscapcategory isfunction", 
      "X817E96AA7ACACE89" ], 
  [ 
      "\033[2XTensorProductToInternalHomAdjunctionMap\033[102X for iscapcategoryo\
bject, iscapcategoryobject, iscapcategorymorphism", "7.4-12", [ 7, 4, 12 ], 
      589, 103, 
      "tensorproducttointernalhomadjunctionmap for iscapcategoryobject iscapca\
tegoryobject iscapcategorymorphism", "X809E6A3182D62DCB" ], 
  [ 
      "\033[2XAddTensorProductToInternalHomAdjunctionMap\033[102X for iscapcatego\
ry, isfunction", "7.4-13", [ 7, 4, 13 ], 598, 103, 
      "addtensorproducttointernalhomadjunctionmap for iscapcategory isfunction\
", "X7BB46BD486E96939" ], 
  [ 
      "\033[2XInternalHomToTensorProductAdjunctionMap\033[102X for iscapcategoryo\
bject, iscapcategoryobject, iscapcategorymorphism", "7.4-14", [ 7, 4, 14 ], 
      608, 103, 
      "internalhomtotensorproductadjunctionmap for iscapcategoryobject iscapca\
tegoryobject iscapcategorymorphism", "X7A48DA157CCFB0B9" ], 
  [ 
      "\033[2XAddInternalHomToTensorProductAdjunctionMap\033[102X for iscapcatego\
ry, isfunction", "7.4-15", [ 7, 4, 15 ], 617, 103, 
      "addinternalhomtotensorproductadjunctionmap for iscapcategory isfunction\
", "X7C8C2DC381EA0962" ], 
  [ 
      "\033[2XMonoidalPreComposeMorphism\033[102X for iscapcategoryobject, iscapc\
ategoryobject, iscapcategoryobject", "7.4-16", [ 7, 4, 16 ], 627, 103, 
      "monoidalprecomposemorphism for iscapcategoryobject iscapcategoryobject \
iscapcategoryobject", "X86E4E97C82BFB45C" ], 
  [ 
      "\033[2XMonoidalPreComposeMorphismWithGivenObjects\033[102X for iscapcatego\
ryobject, iscapcategoryobject, iscapcategoryobject, iscapcategoryobject, iscap\
categoryobject", "7.4-17", [ 7, 4, 17 ], 638, 104, 
      "monoidalprecomposemorphismwithgivenobjects for iscapcategoryobject isca\
pcategoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X7FE4A52284060F20" ], 
  [ 
      "\033[2XAddMonoidalPreComposeMorphismWithGivenObjects\033[102X for iscapcat\
egory, isfunction", "7.4-18", [ 7, 4, 18 ], 651, 104, 
      "addmonoidalprecomposemorphismwithgivenobjects for iscapcategory isfunct\
ion", "X7A22CD657A2A338C" ], 
  [ 
      "\033[2XMonoidalPostComposeMorphism\033[102X for iscapcategoryobject, iscap\
categoryobject, iscapcategoryobject", "7.4-19", [ 7, 4, 19 ], 663, 104, 
      "monoidalpostcomposemorphism for iscapcategoryobject iscapcategoryobject\
 iscapcategoryobject", "X79F4FCE781385829" ], 
  [ 
      "\033[2XMonoidalPostComposeMorphismWithGivenObjects\033[102X for iscapcateg\
oryobject, iscapcategoryobject, iscapcategoryobject, iscapcategoryobject, isca\
pcategoryobject", "7.4-20", [ 7, 4, 20 ], 674, 104, 
      "monoidalpostcomposemorphismwithgivenobjects for iscapcategoryobject isc\
apcategoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject",
      "X7E6933B8816EE4E3" ], 
  [ 
      "\033[2XAddMonoidalPostComposeMorphismWithGivenObjects\033[102X for iscapca\
tegory, isfunction", "7.4-21", [ 7, 4, 21 ], 687, 104, 
      "addmonoidalpostcomposemorphismwithgivenobjects for iscapcategory isfunc\
tion", "X7FC3725A7CF804F9" ], 
  [ "\033[2XDualOnObjects\033[102X for iscapcategoryobject", "7.4-22", 
      [ 7, 4, 22 ], 699, 105, "dualonobjects for iscapcategoryobject", 
      "X80FFC71D7E57DD53" ], 
  [ "\033[2XAddDualOnObjects\033[102X for iscapcategory, isfunction", 
      "7.4-23", [ 7, 4, 23 ], 706, 105, 
      "adddualonobjects for iscapcategory isfunction", "X7BB4DD5381EBF082" ], 
  [ "\033[2XDualOnMorphisms\033[102X for iscapcategorymorphism", "7.4-24", 
      [ 7, 4, 24 ], 715, 105, "dualonmorphisms for iscapcategorymorphism", 
      "X815C0BC47D000819" ], 
  [ 
      "\033[2XDualOnMorphismsWithGivenDuals\033[102X for iscapcategoryobject, isc\
apcategorymorphism, iscapcategoryobject", "7.4-25", [ 7, 4, 25 ], 723, 105, 
      "dualonmorphismswithgivenduals for iscapcategoryobject iscapcategorymorp\
hism iscapcategoryobject", "X7DCC0F468386AA46" ], 
  [ 
      "\033[2XAddDualOnMorphismsWithGivenDuals\033[102X for iscapcategory, isfunc\
tion", "7.4-26", [ 7, 4, 26 ], 732, 105, 
      "adddualonmorphismswithgivenduals for iscapcategory isfunction", 
      "X85DA12C581E673DE" ], 
  [ "\033[2XEvaluationForDual\033[102X for iscapcategoryobject", "7.4-27", 
      [ 7, 4, 27 ], 742, 105, "evaluationfordual for iscapcategoryobject", 
      "X86D42C7587F03A68" ], 
  [ 
      "\033[2XEvaluationForDualWithGivenTensorProduct\033[102X for iscapcategoryo\
bject, iscapcategoryobject, iscapcategoryobject", "7.4-28", [ 7, 4, 28 ], 
      750, 105, 
      "evaluationfordualwithgiventensorproduct for iscapcategoryobject iscapca\
tegoryobject iscapcategoryobject", "X7B588B1B8472834E" ], 
  [ 
      "\033[2XAddEvaluationForDualWithGivenTensorProduct\033[102X for iscapcatego\
ry, isfunction", "7.4-29", [ 7, 4, 29 ], 759, 106, 
      "addevaluationfordualwithgiventensorproduct for iscapcategory isfunction\
", "X7CB63A4E7E905CD4" ], 
  [ "\033[2XCoevaluationForDual\033[102X for iscapcategoryobject", "7.4-30", 
      [ 7, 4, 30 ], 769, 106, "coevaluationfordual for iscapcategoryobject", 
      "X83849B327C8074E9" ], 
  [ 
      "\033[2XCoevaluationForDualWithGivenTensorProduct\033[102X for iscapcategor\
yobject, iscapcategoryobject, iscapcategoryobject", "7.4-31", [ 7, 4, 31 ], 
      777, 106, 
      "coevaluationfordualwithgiventensorproduct for iscapcategoryobject iscap\
categoryobject iscapcategoryobject", "X7C65E6A97AAE0DE3" ], 
  [ 
      "\033[2XAddCoevaluationForDualWithGivenTensorProduct\033[102X for iscapcate\
gory, isfunction", "7.4-32", [ 7, 4, 32 ], 786, 106, 
      "addcoevaluationfordualwithgiventensorproduct for iscapcategory isfuncti\
on", "X831DC3947941E8BA" ], 
  [ "\033[2XMorphismToBidual\033[102X for iscapcategoryobject", "7.4-33", 
      [ 7, 4, 33 ], 796, 106, "morphismtobidual for iscapcategoryobject", 
      "X7F68B55781C1DFB1" ], 
  [ 
      "\033[2XMorphismToBidualWithGivenBidual\033[102X for iscapcategoryobject, i\
scapcategoryobject", "7.4-34", [ 7, 4, 34 ], 804, 106, 
      "morphismtobidualwithgivenbidual for iscapcategoryobject iscapcategoryob\
ject", "X79260E5680F1E741" ], 
  [ 
      "\033[2XAddMorphismToBidualWithGivenBidual\033[102X for iscapcategory, isfu\
nction", "7.4-35", [ 7, 4, 35 ], 812, 107, 
      "addmorphismtobidualwithgivenbidual for iscapcategory isfunction", 
      "X84C05B087EFCE599" ], 
  [ 
      "\033[2XTensorProductInternalHomCompatibilityMorphism\033[102X for iscapcat\
egoryobject, iscapcategoryobject, iscapcategoryobject, iscapcategoryobject", 
      "7.4-36", [ 7, 4, 36 ], 822, 107, 
      "tensorproductinternalhomcompatibilitymorphism for iscapcategoryobject i\
scapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X85FD880E7B76936C" ], 
  [ 
      "\033[2XTensorProductInternalHomCompatibilityMorphismWithGivenObjects\033[1\
02X for iscapcategoryobject, iscapcategoryobject, iscapcategoryobject, iscapca\
tegoryobject, islist", "7.4-37", [ 7, 4, 37 ], 835, 107, 
      "tensorproductinternalhomcompatibilitymorphismwithgivenobjects for iscap\
categoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject isl\
ist", "X7DDA8E317EF3078D" ], 
  [ 
      "\033[2XAddTensorProductInternalHomCompatibilityMorphismWithGivenObjects\\
033[102X for iscapcategory, isfunction", "7.4-38", [ 7, 4, 38 ], 850, 107, 
      "addtensorproductinternalhomcompatibilitymorphismwithgivenobjects for is\
capcategory isfunction", "X871C6B55843A0AF3" ], 
  [ 
      "\033[2XTensorProductDualityCompatibilityMorphism\033[102X for iscapcategor\
yobject, iscapcategoryobject", "7.4-39", [ 7, 4, 39 ], 864, 107, 
      "tensorproductdualitycompatibilitymorphism for iscapcategoryobject iscap\
categoryobject", "X7D173DB08132E40A" ], 
  [ 
      "\033[2XTensorProductDualityCompatibilityMorphismWithGivenObjects\033[102X \
for iscapcategoryobject, iscapcategoryobject, iscapcategoryobject, iscapcatego\
ryobject", "7.4-40", [ 7, 4, 40 ], 874, 108, 
      "tensorproductdualitycompatibilitymorphismwithgivenobjects for iscapcate\
goryobject iscapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X794ED97782B8DF76" ], 
  [ 
      "\033[2XAddTensorProductDualityCompatibilityMorphismWithGivenObjects\033[10\
2X for iscapcategory, isfunction", "7.4-41", [ 7, 4, 41 ], 885, 108, 
      "addtensorproductdualitycompatibilitymorphismwithgivenobjects for iscapc\
ategory isfunction", "X78D1B6AF8654A950" ], 
  [ 
      "\033[2XMorphismFromTensorProductToInternalHom\033[102X for iscapcategoryob\
ject, iscapcategoryobject", "7.4-42", [ 7, 4, 42 ], 896, 108, 
      "morphismfromtensorproducttointernalhom for iscapcategoryobject iscapcat\
egoryobject", "X8439BFF57BFE390F" ], 
  [ 
      "\033[2XMorphismFromTensorProductToInternalHomWithGivenObjects\033[102X for\
 iscapcategoryobject, iscapcategoryobject, iscapcategoryobject, iscapcategoryo\
bject", "7.4-43", [ 7, 4, 43 ], 906, 108, 
      "morphismfromtensorproducttointernalhomwithgivenobjects for iscapcategor\
yobject iscapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X8473D28B7F3A5E20" ], 
  [ 
      "\033[2XAddMorphismFromTensorProductToInternalHomWithGivenObjects\033[102X \
for iscapcategory, isfunction", "7.4-44", [ 7, 4, 44 ], 917, 108, 
      "addmorphismfromtensorproducttointernalhomwithgivenobjects for iscapcate\
gory isfunction", "X86D3AF4A80FA738D" ], 
  [ 
      "\033[2XIsomorphismFromTensorProductToInternalHom\033[102X for iscapcategor\
yobject, iscapcategoryobject", "7.4-45", [ 7, 4, 45 ], 928, 109, 
      "isomorphismfromtensorproducttointernalhom for iscapcategoryobject iscap\
categoryobject", "X7E88C05A78C378B3" ], 
  [ 
      "\033[2XAddIsomorphismFromTensorProductToInternalHom\033[102X for iscapcate\
gory, isfunction", "7.4-46", [ 7, 4, 46 ], 938, 109, 
      "addisomorphismfromtensorproducttointernalhom for iscapcategory isfuncti\
on", "X80A7C9A57D85D981" ], 
  [ 
      "\033[2XMorphismFromInternalHomToTensorProduct\033[102X for iscapcategoryob\
ject, iscapcategoryobject", "7.4-47", [ 7, 4, 47 ], 948, 109, 
      "morphismfrominternalhomtotensorproduct for iscapcategoryobject iscapcat\
egoryobject", "X7D189B8280CECBA2" ], 
  [ 
      "\033[2XMorphismFromInternalHomToTensorProductWithGivenObjects\033[102X for\
 iscapcategoryobject, iscapcategoryobject, iscapcategoryobject, iscapcategoryo\
bject", "7.4-48", [ 7, 4, 48 ], 959, 109, 
      "morphismfrominternalhomtotensorproductwithgivenobjects for iscapcategor\
yobject iscapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X7D10805D840AAC8D" ], 
  [ 
      "\033[2XAddMorphismFromInternalHomToTensorProductWithGivenObjects\033[102X \
for iscapcategory, isfunction", "7.4-49", [ 7, 4, 49 ], 971, 109, 
      "addmorphismfrominternalhomtotensorproductwithgivenobjects for iscapcate\
gory isfunction", "X7A4A4C668706D593" ], 
  [ 
      "\033[2XIsomorphismFromInternalHomToTensorProduct\033[102X for iscapcategor\
yobject, iscapcategoryobject", "7.4-50", [ 7, 4, 50 ], 982, 110, 
      "isomorphismfrominternalhomtotensorproduct for iscapcategoryobject iscap\
categoryobject", "X87A9E42D7F3FDEAD" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalHomToTensorProduct\033[102X for iscapcate\
gory, isfunction", "7.4-51", [ 7, 4, 51 ], 993, 110, 
      "addisomorphismfrominternalhomtotensorproduct for iscapcategory isfuncti\
on", "X7EAC425A87FF2C0E" ], 
  [ "\033[2XTraceMap\033[102X for iscapcategorymorphism", "7.4-52", 
      [ 7, 4, 52 ], 1003, 110, "tracemap for iscapcategorymorphism", 
      "X85D0C9487A22AFFE" ], 
  [ "\033[2XAddTraceMap\033[102X for iscapcategory, isfunction", "7.4-53", 
      [ 7, 4, 53 ], 1011, 110, "addtracemap for iscapcategory isfunction", 
      "X8446431880FFF111" ], 
  [ "\033[2XRankMorphism\033[102X for iscapcategoryobject", "7.4-54", 
      [ 7, 4, 54 ], 1020, 110, "rankmorphism for iscapcategoryobject", 
      "X82F0DBD485D93793" ], 
  [ "\033[2XAddRankMorphism\033[102X for iscapcategory, isfunction", 
      "7.4-55", [ 7, 4, 55 ], 1028, 110, 
      "addrankmorphism for iscapcategory isfunction", "X849B17E08679450A" ], 
  [ "\033[2XIsomorphismFromDualToInternalHom\033[102X for iscapcategoryobject"
        , "7.4-56", [ 7, 4, 56 ], 1037, 110, 
      "isomorphismfromdualtointernalhom for iscapcategoryobject", 
      "X7C8F7512785C7028" ], 
  [ 
      "\033[2XAddIsomorphismFromDualToInternalHom\033[102X for iscapcategory, isf\
unction", "7.4-57", [ 7, 4, 57 ], 1047, 111, 
      "addisomorphismfromdualtointernalhom for iscapcategory isfunction", 
      "X7882497883F6666A" ], 
  [ "\033[2XIsomorphismFromInternalHomToDual\033[102X for iscapcategoryobject"
        , "7.4-58", [ 7, 4, 58 ], 1057, 111, 
      "isomorphismfrominternalhomtodual for iscapcategoryobject", 
      "X7E1B1DE47E838F75" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalHomToDual\033[102X for iscapcategory, isf\
unction", "7.4-59", [ 7, 4, 59 ], 1067, 111, 
      "addisomorphismfrominternalhomtodual for iscapcategory isfunction", 
      "X7A91D0187FF3C50E" ], 
  [ 
      "\033[2XUniversalPropertyOfDual\033[102X for iscapcategoryobject, iscapcate\
goryobject, iscapcategorymorphism", "7.4-60", [ 7, 4, 60 ], 1077, 111, 
      "universalpropertyofdual for iscapcategoryobject iscapcategoryobject isc\
apcategorymorphism", "X7AF8F68887146C20" ], 
  [ "\033[2XAddUniversalPropertyOfDual\033[102X for iscapcategory, isfunction"
        , "7.4-61", [ 7, 4, 61 ], 1086, 111, 
      "adduniversalpropertyofdual for iscapcategory isfunction", 
      "X7FCEDB3B7DF69A1E" ], 
  [ "\033[2XLambdaIntroduction\033[102X for iscapcategorymorphism", "7.4-62", 
      [ 7, 4, 62 ], 1096, 111, "lambdaintroduction for iscapcategorymorphism",
      "X80F3F2287B9E55E3" ], 
  [ "\033[2XAddLambdaIntroduction\033[102X for iscapcategory, isfunction", 
      "7.4-63", [ 7, 4, 63 ], 1105, 112, 
      "addlambdaintroduction for iscapcategory isfunction", 
      "X84944B6283F2802A" ], 
  [ 
      "\033[2XLambdaElimination\033[102X for iscapcategoryobject, iscapcategoryob\
ject, iscapcategorymorphism", "7.4-64", [ 7, 4, 64 ], 1115, 112, 
      "lambdaelimination for iscapcategoryobject iscapcategoryobject iscapcate\
gorymorphism", "X79EC44077F661E80" ], 
  [ "\033[2XAddLambdaElimination\033[102X for iscapcategory, isfunction", 
      "7.4-65", [ 7, 4, 65 ], 1124, 112, 
      "addlambdaelimination for iscapcategory isfunction", 
      "X8406FBCD7EE968FF" ], 
  [ 
      "\033[2XIsomorphismFromObjectToInternalHom\033[102X for iscapcategoryobject\
", "7.4-66", [ 7, 4, 66 ], 1134, 112, 
      "isomorphismfromobjecttointernalhom for iscapcategoryobject", 
      "X8726BA888787D53D" ], 
  [ 
      "\033[2XIsomorphismFromObjectToInternalHomWithGivenInternalHom\033[102X for\
 iscapcategoryobject, iscapcategoryobject", "7.4-67", [ 7, 4, 67 ], 1142, 
      112, 
      "isomorphismfromobjecttointernalhomwithgiveninternalhom for iscapcategor\
yobject iscapcategoryobject", "X87F91EF37C76A7F7" ], 
  [ 
      "\033[2XAddIsomorphismFromObjectToInternalHomWithGivenInternalHom\033[102X \
for iscapcategory, isfunction", "7.4-68", [ 7, 4, 68 ], 1151, 112, 
      "addisomorphismfromobjecttointernalhomwithgiveninternalhom for iscapcate\
gory isfunction", "X78ED7FCC83D091AB" ], 
  [ 
      "\033[2XIsomorphismFromInternalHomToObject\033[102X for iscapcategoryobject\
", "7.4-69", [ 7, 4, 69 ], 1162, 113, 
      "isomorphismfrominternalhomtoobject for iscapcategoryobject", 
      "X831CF4E1824FA178" ], 
  [ 
      "\033[2XIsomorphismFromInternalHomToObjectWithGivenInternalHom\033[102X for\
 iscapcategoryobject, iscapcategoryobject", "7.4-70", [ 7, 4, 70 ], 1170, 
      113, 
      "isomorphismfrominternalhomtoobjectwithgiveninternalhom for iscapcategor\
yobject iscapcategoryobject", "X7988DC7C79BED3B2" ], 
  [ 
      "\033[2XAddIsomorphismFromInternalHomToObjectWithGivenInternalHom\033[102X \
for iscapcategory, isfunction", "7.4-71", [ 7, 4, 71 ], 1179, 113, 
      "addisomorphismfrominternalhomtoobjectwithgiveninternalhom for iscapcate\
gory isfunction", "X7D6421147BF6651B" ], 
  [ 
      "\033[2XTensorProductInternalHomCompatibilityMorphismInverse\033[102X for i\
scapcategoryobject, iscapcategoryobject, iscapcategoryobject, iscapcategoryobj\
ect", "7.5-1", [ 7, 5, 1 ], 1206, 113, 
      "tensorproductinternalhomcompatibilitymorphisminverse for iscapcategoryo\
bject iscapcategoryobject iscapcategoryobject iscapcategoryobject", 
      "X79374295858E884C" ], 
  [ 
      "\033[2XTensorProductInternalHomCompatibilityMorphismInverseWithGivenObject\
s\033[102X for iscapcategoryobject, iscapcategoryobject, iscapcategoryobject, \
iscapcategoryobject, islist", "7.5-2", [ 7, 5, 2 ], 1219, 113, 
      "tensorproductinternalhomcompatibilitymorphisminversewithgivenobjects fo\
r iscapcategoryobject iscapcategoryobject iscapcategoryobject iscapcategoryobj\
ect islist", "X7D5443AA7C591DDF" ], 
  [ 
      "\033[2XAddTensorProductInternalHomCompatibilityMorphismInverseWithGivenObj\
ects\033[102X for iscapcategory, isfunction", "7.5-3", [ 7, 5, 3 ], 1234, 
      114, 
      "addtensorproductinternalhomcompatibilitymorphisminversewithgivenobjects\
 for iscapcategory isfunction", "X7D9EA11980170B0C" ], 
  [ "\033[2XMorphismFromBidual\033[102X for iscapcategoryobject", "7.5-4", 
      [ 7, 5, 4 ], 1248, 114, "morphismfrombidual for iscapcategoryobject", 
      "X7E02E8197EA201EA" ], 
  [ 
      "\033[2XMorphismFromBidualWithGivenBidual\033[102X for iscapcategoryobject,\
 iscapcategoryobject", "7.5-5", [ 7, 5, 5 ], 1256, 114, 
      "morphismfrombidualwithgivenbidual for iscapcategoryobject iscapcategory\
object", "X785CF0BB7BC0AC0D" ], 
  [ 
      "\033[2XAddMorphismFromBidualWithGivenBidual\033[102X for iscapcategory, is\
function", "7.5-6", [ 7, 5, 6 ], 1265, 114, 
      "addmorphismfrombidualwithgivenbidual for iscapcategory isfunction", 
      "X877C409E865C2BB3" ], 
  [ "\033[2XDerivationInfo\033[102X", "8.1-1", [ 8, 1, 1 ], 7, 115, 
      "derivationinfo", "X847BF8788620ADEC" ], 
  [ "\033[2XActivateDerivationInfo\033[102X", "8.1-2", [ 8, 1, 2 ], 13, 115, 
      "activatederivationinfo", "X82EB820C81919BD5" ], 
  [ "\033[2XDeactivateDerivationInfo\033[102X", "8.1-3", [ 8, 1, 3 ], 17, 
      115, "deactivatederivationinfo", "X7853FBCF7DAA6AD1" ], 
  [ "\033[2XIsDerivedMethod\033[102X for isobject", "8.2-1", [ 8, 2, 1 ], 24, 
      115, "isderivedmethod for isobject", "X7E30DF4F8029D24F" ], 
  [ 
      "\033[2XMakeDerivation\033[102X for isstring, isfunction, isdenselist,ispos\
int, isdenselist, isfunction", "8.2-2", [ 8, 2, 2 ], 33, 115, 
      "makederivation for isstring isfunction isdenselist isposint isdenselist\
 isfunction", "X7A9081ED8334054B" ], 
  [ "\033[2XDerivationName\033[102X for isderivedmethod", "8.2-3", 
      [ 8, 2, 3 ], 58, 116, "derivationname for isderivedmethod", 
      "X85FA69CA831B3D68" ], 
  [ "\033[2XDerivationWeight\033[102X for isderivedmethod", "8.2-4", 
      [ 8, 2, 4 ], 66, 116, "derivationweight for isderivedmethod", 
      "X8039396185E25B0C" ], 
  [ "\033[2XDerivationFunctionsWithExtraFilters\033[102X for isderivedmethod",
      "8.2-5", [ 8, 2, 5 ], 72, 116, 
      "derivationfunctionswithextrafilters for isderivedmethod", 
      "X8509D9897EC94507" ], 
  [ "\033[2XCategoryFilter\033[102X for isderivedmethod", "8.2-6", 
      [ 8, 2, 6 ], 79, 116, "categoryfilter for isderivedmethod", 
      "X7F2B7310826D555B" ], 
  [ 
      "\033[2XIsApplicableToCategory\033[102X for isderivedmethod, iscapcategory"
        , "8.2-7", [ 8, 2, 7 ], 85, 116, 
      "isapplicabletocategory for isderivedmethod iscapcategory", 
      "X7CA199A3868E0222" ], 
  [ "\033[2XTargetOperation\033[102X for isderivedmethod", "8.2-8", 
      [ 8, 2, 8 ], 93, 117, "targetoperation for isderivedmethod", 
      "X82E56CD47C15FE34" ], 
  [ "\033[2XUsedOperations\033[102X for isderivedmethod", "8.2-9", 
      [ 8, 2, 9 ], 99, 117, "usedoperations for isderivedmethod", 
      "X7A407F3F7F264A77" ], 
  [ "\033[2XUsedOperationMultiples\033[102X for isderivedmethod", "8.2-10", 
      [ 8, 2, 10 ], 104, 117, "usedoperationmultiples for isderivedmethod", 
      "X78FAD4788098483B" ], 
  [ "\033[2XUsedOperationsWithMultiples\033[102X for isderivedmethod", 
      "8.2-11", [ 8, 2, 11 ], 111, 117, 
      "usedoperationswithmultiples for isderivedmethod", "X80FA45B68744108E" ]
    , 
  [ 
      "\033[2XInstallDerivationForCategory\033[102X for isderivedmethod, isposint\
, iscapcategory", "8.2-12", [ 8, 2, 12 ], 119, 117, 
      "installderivationforcategory for isderivedmethod isposint iscapcategory\
", "X7DCED23B84345454" ], 
  [ "\033[2XDerivationResultWeight\033[102X for isderivedmethod, isdenselist",
      "8.2-13", [ 8, 2, 13 ], 126, 117, 
      "derivationresultweight for isderivedmethod isdenselist", 
      "X82546C667C204B78" ], 
  [ "\033[2XIsDerivedMethodGraph\033[102X for isobject", "8.3-1", 
      [ 8, 3, 1 ], 138, 117, "isderivedmethodgraph for isobject", 
      "X7BFD964E8739600C" ], 
  [ "\033[2XMakeDerivationGraph\033[102X for isdenselist", "8.3-2", 
      [ 8, 3, 2 ], 147, 118, "makederivationgraph for isdenselist", 
      "X7E19A0AD8661EF00" ], 
  [ 
      "\033[2XAddOperationsToDerivationGraph\033[102X for isderivedmethodgraph, i\
sdenselist", "8.3-3", [ 8, 3, 3 ], 156, 118, 
      "addoperationstoderivationgraph for isderivedmethodgraph isdenselist", 
      "X7B801088854A0127" ], 
  [ "\033[2XAddDerivation\033[102X for isderivedmethodgraph, isderivedmethod",
      "8.3-4", [ 8, 3, 4 ], 166, 118, 
      "addderivation for isderivedmethodgraph isderivedmethod", 
      "X7DEBC71E8450F86A" ], 
  [ 
      "\033[2XAddDerivation\033[102X for isderivedmethodgraph, isfunction, isdens\
elist, isobject", "8.3-5", [ 8, 3, 5 ], 172, 118, 
      "addderivation for isderivedmethodgraph isfunction isdenselist isobject"
        , "X85CADCFF85BBF867" ], 
  [ 
      "\033[2XAddDerivation\033[102X for isderivedmethodgraph, isfunction, isdens\
elist", "8.3-6", [ 8, 3, 6 ], 176, 118, 
      "addderivation for isderivedmethodgraph isfunction isdenselist", 
      "X8669A64F7BB2C4FB" ], 
  [ 
      "\033[2XAddDerivation\033[102X for isderivedmethodgraph, isfunction, isfunc\
tion", "8.3-7", [ 8, 3, 7 ], 180, 118, 
      "addderivation for isderivedmethodgraph isfunction isfunction", 
      "X8027604D8282F123" ], 
  [ 
      "\033[2XAddDerivationPair\033[102X for isderivedmethodgraph, isfunction, is\
function, isdenselist, isdenselist, isdenselist", "8.3-8", [ 8, 3, 8 ], 184, 
      118, 
      "addderivationpair for isderivedmethodgraph isfunction isfunction isdens\
elist isdenselist isdenselist", "X80E6AA06854AAF28" ], 
  [ 
      "\033[2XAddDerivationPair\033[102X for isderivedmethodgraph, isfunction, is\
function, isdenselist, isdenselist", "8.3-9", [ 8, 3, 9 ], 188, 118, 
      "addderivationpair for isderivedmethodgraph isfunction isfunction isdens\
elist isdenselist", "X85F0182679C6E863" ], 
  [ 
      "\033[2XAddDerivationPair\033[102X for isderivedmethodgraph, isfunction, is\
function, isdenselist, isfunction, isfunction", "8.3-10", [ 8, 3, 10 ], 192, 
      119, 
      "addderivationpair for isderivedmethodgraph isfunction isfunction isdens\
elist isfunction isfunction", "X801E2F4E86008850" ], 
  [ 
      "\033[2XAddDerivationPair\033[102X for isderivedmethodgraph, isfunction, is\
function, isfunction, isfunction", "8.3-11", [ 8, 3, 11 ], 196, 119, 
      "addderivationpair for isderivedmethodgraph isfunction isfunction isfunc\
tion isfunction", "X7F31CF457FF00EF5" ], 
  [ "\033[2XAddDerivationToCAP\033[102X", "8.3-12", [ 8, 3, 12 ], 200, 119, 
      "addderivationtocap", "X7BC80B4F7A067D91" ], 
  [ "\033[2XAddDerivationPairToCAP\033[102X", "8.3-13", [ 8, 3, 13 ], 204, 
      119, "addderivationpairtocap", "X81358A4C862A8BC1" ], 
  [ "\033[2XAddWithGivenDerivationPairToCAP\033[102X", "8.3-14", 
      [ 8, 3, 14 ], 208, 119, "addwithgivenderivationpairtocap", 
      "X8263F4547BBF28C7" ], 
  [ "\033[2XOperations\033[102X for isderivedmethodgraph", "8.3-15", 
      [ 8, 3, 15 ], 212, 119, "operations for isderivedmethodgraph", 
      "X8669CCC78175B23B" ], 
  [ 
      "\033[2XDerivationsUsingOperation\033[102X for isderivedmethodgraph, isstri\
ng", "8.3-16", [ 8, 3, 16 ], 218, 119, 
      "derivationsusingoperation for isderivedmethodgraph isstring", 
      "X7D8B5FE482B39913" ], 
  [ 
      "\033[2XDerivationsOfOperation\033[102X for isderivedmethodgraph, isstring"
        , "8.3-17", [ 8, 3, 17 ], 225, 119, 
      "derivationsofoperation for isderivedmethodgraph isstring", 
      "X7A4C262581C53309" ], 
  [ "\033[2XIsOperationWeightList\033[102X for isobject", "8.4-1", 
      [ 8, 4, 1 ], 236, 120, "isoperationweightlist for isobject", 
      "X832B6935788EA870" ], 
  [ 
      "\033[2XMakeOperationWeightList\033[102X for iscapcategory, isderivedmethod\
graph", "8.4-2", [ 8, 4, 2 ], 251, 120, 
      "makeoperationweightlist for iscapcategory isderivedmethodgraph", 
      "X7CFC7F17786B1B6E" ], 
  [ "\033[2XDerivationGraph\033[102X for isoperationweightlist", "8.4-3", 
      [ 8, 4, 3 ], 261, 120, "derivationgraph for isoperationweightlist", 
      "X7E6F8469808FE57E" ], 
  [ "\033[2XCategoryOfOperationWeightList\033[102X for isoperationweightlist",
      "8.4-4", [ 8, 4, 4 ], 267, 120, 
      "categoryofoperationweightlist for isoperationweightlist", 
      "X80E9071D87ABCA57" ], 
  [ 
      "\033[2XCurrentOperationWeight\033[102X for isoperationweightlist, isstring\
", "8.4-5", [ 8, 4, 5 ], 273, 120, 
      "currentoperationweight for isoperationweightlist isstring", 
      "X7BE16AB2849D0107" ], 
  [ 
      "\033[2XOperationWeightUsingDerivation\033[102X for isoperationweightlist, \
isderivedmethod", "8.4-6", [ 8, 4, 6 ], 279, 120, 
      "operationweightusingderivation for isoperationweightlist isderivedmetho\
d", "X7A67FC1B80BF67AD" ], 
  [ 
      "\033[2XDerivationOfOperation\033[102X for isoperationweightlist, isstring"
        , "8.4-7", [ 8, 4, 7 ], 286, 121, 
      "derivationofoperation for isoperationweightlist isstring", 
      "X79490A257E67804E" ], 
  [ 
      "\033[2XInstallDerivationsUsingOperation\033[102X for isoperationweightlist\
, isstring", "8.4-8", [ 8, 4, 8 ], 295, 121, 
      "installderivationsusingoperation for isoperationweightlist isstring", 
      "X8411326D85222A6C" ], 
  [ "\033[2XReevaluate\033[102X for isoperationweightlist", "8.4-9", 
      [ 8, 4, 9 ], 304, 121, "reevaluate for isoperationweightlist", 
      "X7E2279C47AFE3FAD" ], 
  [ 
      "\033[2XAddPrimitiveOperation\033[102X for isoperationweightlist, isstring,\
 isint", "8.4-10", [ 8, 4, 10 ], 314, 121, 
      "addprimitiveoperation for isoperationweightlist isstring isint", 
      "X835210E67EF93118" ], 
  [ "\033[2XPrintDerivationTree\033[102X for isoperationweightlist, isstring",
      "8.4-11", [ 8, 4, 11 ], 323, 121, 
      "printderivationtree for isoperationweightlist isstring", 
      "X8145094E862826BE" ], 
  [ "\033[2XPrintTree\033[102X for isobject, isfunction, isfunction", 
      "8.4-12", [ 8, 4, 12 ], 330, 121, 
      "printtree for isobject isfunction isfunction", "X7E59037F7B4E42D0" ], 
  [ "\033[2XPrintTreeRec\033[102X for isobject, isfunction, isfunction, isint"
        , "8.4-13", [ 8, 4, 13 ], 336, 122, 
      "printtreerec for isobject isfunction isfunction isint", 
      "X8293EF6286A82480" ], 
  [ "\033[2XIsStringMinHeap\033[102X for isobject", "8.5-1", [ 8, 5, 1 ], 
      346, 122, "isstringminheap for isobject", "X86D1D85F828978AE" ], 
  [ "\033[2XStringMinHeap\033[102X", "8.5-2", [ 8, 5, 2 ], 354, 122, 
      "stringminheap", "X812EDE3F8737AB9D" ], 
  [ "\033[2XAdd\033[102X for isstringminheap, isstring, isint", "8.5-3", 
      [ 8, 5, 3 ], 360, 122, "add for isstringminheap isstring isint", 
      "X80604054823A6F01" ], 
  [ "\033[2XExtractMin\033[102X for isstringminheap", "8.5-4", [ 8, 5, 4 ], 
      366, 122, "extractmin for isstringminheap", "X7E136159853A3BAC" ], 
  [ "\033[2XDecreaseKey\033[102X for isstringminheap, isstring, isint", 
      "8.5-5", [ 8, 5, 5 ], 374, 122, 
      "decreasekey for isstringminheap isstring isint", "X79B2FB2178CC6A34" ],
  [ "\033[2XIsEmptyHeap\033[102X for isstringminheap", "8.5-6", [ 8, 5, 6 ], 
      381, 122, "isemptyheap for isstringminheap", "X7CEECD45781A49A3" ], 
  [ "\033[2XHeapSize\033[102X for isstringminheap", "8.5-7", [ 8, 5, 7 ], 
      387, 123, "heapsize for isstringminheap", "X7E1CEFDB7824EE94" ], 
  [ "\033[2XContains\033[102X for isstringminheap, isstring", "8.5-8", 
      [ 8, 5, 8 ], 393, 123, "contains for isstringminheap isstring", 
      "X82F874FB7954D662" ], 
  [ "\033[2XSwap\033[102X for isstringminheap, isposint, isposint", "8.5-9", 
      [ 8, 5, 9 ], 400, 123, "swap for isstringminheap isposint isposint", 
      "X7AE2A000800CD0A2" ], 
  [ "\033[2XHeapify\033[102X for isstringminheap, isposint", "8.5-10", 
      [ 8, 5, 10 ], 409, 123, "heapify for isstringminheap isposint", 
      "X78B8D0BD7A2FE83A" ], 
  [ "\033[2XObjectCache\033[102X for iscapfunctor", "10.1-1", [ 10, 1, 1 ], 
      7, 129, "objectcache for iscapfunctor", "X7B3D8EB378625F73" ], 
  [ "\033[2XMorphismCache\033[102X for iscapfunctor", "10.1-2", [ 10, 1, 2 ], 
      15, 129, "morphismcache for iscapfunctor", "X84472BD57E11264C" ], 
  [ "\033[2XInstallMethodWithToDoForIsWellDefined\033[102X", "10.2-1", 
      [ 10, 2, 1 ], 26, 129, "installmethodwithtodoforiswelldefined", 
      "X7B516ECB84EE7FFF" ], 
  [ 
      "\033[2XInstallSetWithToDoForIsWellDefined\033[102X for isobject, isstring,\
 islist", "10.2-2", [ 10, 2, 2 ], 46, 130, 
      "installsetwithtodoforiswelldefined for isobject isstring islist", 
      "X7C486C0F7D6161A0" ], 
  [ "\033[2XDeclareAttributeWithToDoForIsWellDefined\033[102X", "10.2-3", 
      [ 10, 2, 3 ], 55, 130, "declareattributewithtodoforiswelldefined", 
      "X7801E9D185E5C130" ], 
  [ "\033[2XDeclareFamilyProperty\033[102X", "10.2-4", [ 10, 2, 4 ], 66, 130, 
      "declarefamilyproperty", "X87364D2E830F7FAE" ], 
  [ "\033[2XCAP_INTERNAL_REPLACE_STRINGS_WITH_FILTERS\033[102X", "10.2-5", 
      [ 10, 2, 5 ], 70, 130, "cap_internal_replace_strings_with_filters", 
      "X840466B67CFF9CEA" ], 
  [ "\033[2XCAP_INTERNAL_MERGE_FILTER_LISTS\033[102X", "10.2-6", 
      [ 10, 2, 6 ], 80, 130, "cap_internal_merge_filter_lists", 
      "X7F2869657DDE9AC9" ], 
  [ "\033[2XCAP_INTERNAL_RETURN_OPTION_OR_DEFAULT\033[102X", "10.2-7", 
      [ 10, 2, 7 ], 90, 130, "cap_internal_return_option_or_default", 
      "X849B851C80D47B4F" ], 
  [ "\033[2XCAP_INTERNAL_FIND_APPEARANCE_OF_SYMBOL_IN_FUNCTION\033[102X", 
      "10.2-8", [ 10, 2, 8 ], 98, 130, 
      "cap_internal_find_appearance_of_symbol_in_function", 
      "X7C7A71C97DC2FABF" ], 
  [ "\033[2XCAP_INTERNAL_MERGE_PRECONDITIONS_LIST\033[102X", "10.2-9", 
      [ 10, 2, 9 ], 108, 131, "cap_internal_merge_preconditions_list", 
      "X78A121F97CF81A43" ], 
  [ "\033[2XCachingStatistic\033[102X", "10.2-10", [ 10, 2, 10 ], 119, 131, 
      "cachingstatistic", "X82FC76688082956A" ], 
  [ "\033[2XBrowseCachingStatistic\033[102X", "10.2-11", [ 10, 2, 11 ], 126, 
      131, "browsecachingstatistic", "X7E4CA53E7C03600F" ], 
  [ "\033[2XCAPOperationPrepareFunction\033[102X", "12.1-1", [ 12, 1, 1 ], 7, 
      133, "capoperationpreparefunction", "X84409FF87D35BE99" ], 
  [ "\033[2XCAPAddPrepareFunction\033[102X", "12.1-2", [ 12, 1, 2 ], 25, 133, 
      "capaddpreparefunction", "X7843089F86F47D3B" ], 
  [ "\033[2XListCAPPrepareFunctions\033[102X", "12.1-3", [ 12, 1, 3 ], 42, 
      134, "listcappreparefunctions", "X82AEE9507F0B48BC" ] ]
);
