Quelle  manual.six   Sprache: unbekannt

#SIXFORMAT  GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "GeneralizedMorphismsForCAP",
entries :=
[ [ "Title page", "0.0", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5" 
     ], 
  [ "Table of Contents", "0.0-1", [ 0, 0, 1 ], 43, 2, "table of contents", 
      "X8537FEB07AF2BEC8" ], 
  [ "\033[1X\033[33X\033[0;-2YGeneralized Morphism Category\033[133X\033[101X"
        , "1", [ 1, 0, 0 ], 1, 4, "generalized morphism category", 
      "X7BD6D8987DF55657" ], 
  [ "\033[1X\033[33X\033[0;-2YGAP Categories\033[133X\033[101X", "1.1", 
      [ 1, 1, 0 ], 7, 4, "gap categories", "X7D03633A7D98026B" ], 
  [ "\033[1X\033[33X\033[0;-2YAttributes\033[133X\033[101X", "1.2", 
      [ 1, 2, 0 ], 31, 4, "attributes", "X7C701DBF7BAE649A" ], 
  [ "\033[1X\033[33X\033[0;-2YOperations\033[133X\033[101X", "1.3", 
      [ 1, 3, 0 ], 166, 7, "operations", "X7DE8E16C7C2D387B" ], 
  [ "\033[1X\033[33X\033[0;-2YProperties\033[133X\033[101X", "1.4", 
      [ 1, 4, 0 ], 202, 7, "properties", "X871597447BB998A1" ], 
  [ "\033[1X\033[33X\033[0;-2YConvenience methods\033[133X\033[101X", "1.5", 
      [ 1, 5, 0 ], 245, 8, "convenience methods", "X7B40ED8B78D067A5" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YGeneralized Morphism Category by Cospans\033[133X\
\033[101X", "2", [ 2, 0, 0 ], 1, 10, 
      "generalized morphism category by cospans", "X87EB52217E1FF49C" ], 
  [ "\033[1X\033[33X\033[0;-2YGAP Categories\033[133X\033[101X", "2.1", 
      [ 2, 1, 0 ], 4, 10, "gap categories", "X7D03633A7D98026B" ], 
  [ "\033[1X\033[33X\033[0;-2YProperties\033[133X\033[101X", "2.2", 
      [ 2, 2, 0 ], 29, 10, "properties", "X871597447BB998A1" ], 
  [ "\033[1X\033[33X\033[0;-2YAttributes\033[133X\033[101X", "2.3", 
      [ 2, 3, 0 ], 41, 11, "attributes", "X7C701DBF7BAE649A" ], 
  [ "\033[1X\033[33X\033[0;-2YOperations\033[133X\033[101X", "2.4", 
      [ 2, 4, 0 ], 118, 12, "operations", "X7DE8E16C7C2D387B" ], 
  [ "\033[1X\033[33X\033[0;-2YConstructors\033[133X\033[101X", "2.5", 
      [ 2, 5, 0 ], 130, 12, "constructors", "X86EC0F0A78ECBC10" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YConstructors of lifts of exact functors and natru\
al (iso)morphisms\033[133X\033[101X", "2.6", [ 2, 6, 0 ], 186, 13, 
      "constructors of lifts of exact functors and natrual iso morphisms", 
      "X83F3C1E6877018D8" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YGeneralized Morphism Category by Spans\033[133X\\
033[101X", "3", [ 3, 0, 0 ], 1, 14, "generalized morphism category by spans", 
      "X7D54782279124748" ], 
  [ "\033[1X\033[33X\033[0;-2YGAP Categories\033[133X\033[101X", "3.1", 
      [ 3, 1, 0 ], 4, 14, "gap categories", "X7D03633A7D98026B" ], 
  [ "\033[1X\033[33X\033[0;-2YProperties\033[133X\033[101X", "3.2", 
      [ 3, 2, 0 ], 28, 14, "properties", "X871597447BB998A1" ], 
  [ "\033[1X\033[33X\033[0;-2YAttributes\033[133X\033[101X", "3.3", 
      [ 3, 3, 0 ], 40, 15, "attributes", "X7C701DBF7BAE649A" ], 
  [ "\033[1X\033[33X\033[0;-2YOperations\033[133X\033[101X", "3.4", 
      [ 3, 4, 0 ], 117, 16, "operations", "X7DE8E16C7C2D387B" ], 
  [ "\033[1X\033[33X\033[0;-2YConstructors\033[133X\033[101X", "3.5", 
      [ 3, 5, 0 ], 129, 16, "constructors", "X86EC0F0A78ECBC10" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YGeneralized Morphism Category by Three Arrows\\
033[133X\033[101X", "4", [ 4, 0, 0 ], 1, 18, 
      "generalized morphism category by three arrows", "X7F39133179F83B50" ], 
  [ "\033[1X\033[33X\033[0;-2YGAP Categories\033[133X\033[101X", "4.1", 
      [ 4, 1, 0 ], 4, 18, "gap categories", "X7D03633A7D98026B" ], 
  [ "\033[1X\033[33X\033[0;-2YProperties\033[133X\033[101X", "4.2", 
      [ 4, 2, 0 ], 30, 18, "properties", "X871597447BB998A1" ], 
  [ "\033[1X\033[33X\033[0;-2YAttributes\033[133X\033[101X", "4.3", 
      [ 4, 3, 0 ], 60, 19, "attributes", "X7C701DBF7BAE649A" ], 
  [ "\033[1X\033[33X\033[0;-2YOperations\033[133X\033[101X", "4.4", 
      [ 4, 4, 0 ], 129, 20, "operations", "X7DE8E16C7C2D387B" ], 
  [ "\033[1X\033[33X\033[0;-2YConstructors\033[133X\033[101X", "4.5", 
      [ 4, 5, 0 ], 150, 21, "constructors", "X86EC0F0A78ECBC10" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YConversion functors for generalized morphisms\\
033[133X\033[101X", "5", [ 5, 0, 0 ], 1, 22, 
      "conversion functors for generalized morphisms", "X83C47FBC7D238AD6" ], 
  [ "\033[1X\033[33X\033[0;-2YFunctors from Cospans\033[133X\033[101X", 
      "5.1", [ 5, 1, 0 ], 4, 22, "functors from cospans", "X7FBE737787FB4785" 
     ], [ "\033[1X\033[33X\033[0;-2YFunctors from Spans\033[133X\033[101X", 
      "5.2", [ 5, 2, 0 ], 25, 22, "functors from spans", "X828C320C7CE9AAEF" ]
    , 
  [ "\033[1X\033[33X\033[0;-2YFunctors from Three Arrows\033[133X\033[101X", 
      "5.3", [ 5, 3, 0 ], 46, 23, "functors from three arrows", 
      "X79688A9387244A81" ], 
  [ "\033[1X\033[33X\033[0;-2YSerre Quotients Subcategory\033[133X\033[101X", 
      "6", [ 6, 0, 0 ], 1, 24, "serre quotients subcategory", 
      "X877B8C39873C2938" ], 
  [ "\033[1X\033[33X\033[0;-2Yimplementation\033[133X\033[101X", "6.1", 
      [ 6, 1, 0 ], 10, 24, "implementation", "X78289A737AF28B39" ], 
  [ "\033[1X\033[33X\033[0;-2YSerre Quotients\033[133X\033[101X", "7", 
      [ 7, 0, 0 ], 1, 25, "serre quotients", "X7E44E8FA8790C32A" ], 
  [ "\033[1X\033[33X\033[0;-2YGeneral operations\033[133X\033[101X", "7.1", 
      [ 7, 1, 0 ], 11, 25, "general operations", "X7AB3D4ED7A4EF781" ], 
  [ "\033[1X\033[33X\033[0;-2YSerre quotients by cospans\033[133X\033[101X", 
      "7.2", [ 7, 2, 0 ], 166, 28, "serre quotients by cospans", 
      "X87F6FB587AA54985" ], 
  [ "\033[1X\033[33X\033[0;-2YSerre Quotients by Spans\033[133X\033[101X", 
      "7.3", [ 7, 3, 0 ], 236, 29, "serre quotients by spans", 
      "X7E8AEC567A971ABF" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSerre Quotients modeled by three arrows\033[133X\\
033[101X", "7.4", [ 7, 4, 0 ], 306, 30, 
      "serre quotients modeled by three arrows", "X8718215E7B950D7C" ], 
  [ "\033[1X\033[33X\033[0;-2YSerre Quotients Functors\033[133X\033[101X", 
      "8", [ 8, 0, 0 ], 1, 33, "serre quotients functors", 
      "X79D7DBA7827EFB86" ], 
  [ "\033[1X\033[33X\033[0;-2YFunctors\033[133X\033[101X", "8.1", 
      [ 8, 1, 0 ], 10, 33, "functors", "X78D1062D78BE08C1" ], 
  [ "\033[1X\033[33X\033[0;-2YExamples and Tests\033[133X\033[101X", "9", 
      [ 9, 0, 0 ], 1, 34, "examples and tests", "X7967FE8E7BBDF485" ], 
  [ "\033[1X\033[33X\033[0;-2YBasic Commands\033[133X\033[101X", "9.1", 
      [ 9, 1, 0 ], 4, 34, "basic commands", "X8104A77D7B5CCD4F" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YIntersection of Nodal Curve and Cusp\033[133X\\
033[101X", "9.2", [ 9, 2, 0 ], 30, 34, "intersection of nodal curve and cusp",
      "X8769971A878B6648" ], 
  [ "\033[1X\033[33X\033[0;-2YWrapperCategory\033[133X\033[101X", "9.3", 
      [ 9, 3, 0 ], 54, 35, "wrappercategory", "X8245BF297DF9A3E7" ], 
  [ "\033[1X\033[33X\033[0;-2YSweep\033[133X\033[101X", "9.4", [ 9, 4, 0 ], 
      133, 36, "sweep", "X8325B23C86E16E76" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YGeneralized Morphisms Category\033[133X\033[101X"
        , "9.5", [ 9, 5, 0 ], 190, 37, "generalized morphisms category", 
      "X86FB477C7908A3A6" ], 
  [ "\033[1X\033[33X\033[0;-2YIsWellDefined\033[133X\033[101X", "9.6", 
      [ 9, 6, 0 ], 420, 41, "iswelldefined", "X7E8AFE5085FF7E15" ], 
  [ "Index", "ind", [ "Ind", 0, 0 ], 1, 43, "index", "X83A0356F839C696F" ], 
  [ "\033[2XIsGeneralizedMorphismCategory\033[102X for IsCapCategory", 
      "1.1-1", [ 1, 1, 1 ], 10, 4, 
      "isgeneralizedmorphismcategory for iscapcategory", "X79F2D53F7B79450C" ]
    , 
  [ 
      "\033[2XIsGeneralizedMorphismCategoryObject\033[102X for IsCapCategoryObjec\
t", "1.1-2", [ 1, 1, 2 ], 17, 4, 
      "isgeneralizedmorphismcategoryobject for iscapcategoryobject", 
      "X7BEE0C4D8324D332" ], 
  [ "\033[2XIsGeneralizedMorphism\033[102X for IsCapCategoryMorphism", 
      "1.1-3", [ 1, 1, 3 ], 24, 4, 
      "isgeneralizedmorphism for iscapcategorymorphism", "X805BE326803873AC" ]
    , 
  [ 
      "\033[2XUnderlyingHonestObject\033[102X for IsGeneralizedMorphismCategoryOb\
ject", "1.2-1", [ 1, 2, 1 ], 34, 4, 
      "underlyinghonestobject for isgeneralizedmorphismcategoryobject", 
      "X78C35DEB7A844B1D" ], 
  [ "\033[2XDomainEmbedding\033[102X for IsGeneralizedMorphism", "1.2-2", 
      [ 1, 2, 2 ], 42, 5, "domainembedding for isgeneralizedmorphism", 
      "X7E72DC48842AFA58" ], 
  [ "\033[2XGeneralizedImageEmbedding\033[102X for IsGeneralizedMorphism", 
      "1.2-3", [ 1, 2, 3 ], 50, 5, 
      "generalizedimageembedding for isgeneralizedmorphism", 
      "X86B43E60846202CA" ], 
  [ "\033[2XDefectEmbedding\033[102X for IsGeneralizedMorphism", "1.2-4", 
      [ 1, 2, 4 ], 58, 5, "defectembedding for isgeneralizedmorphism", 
      "X7EF102897D38A0CE" ], 
  [ "\033[2XGeneralizedKernelEmbedding\033[102X for IsGeneralizedMorphism", 
      "1.2-5", [ 1, 2, 5 ], 66, 5, 
      "generalizedkernelembedding for isgeneralizedmorphism", 
      "X834716A87EADE83E" ], 
  [ "\033[2XCodomainProjection\033[102X for IsGeneralizedMorphism", "1.2-6", 
      [ 1, 2, 6 ], 74, 5, "codomainprojection for isgeneralizedmorphism", 
      "X867950C684A50A6E" ], 
  [ "\033[2XGeneralizedCokernelProjection\033[102X for IsGeneralizedMorphism",
      "1.2-7", [ 1, 2, 7 ], 82, 5, 
      "generalizedcokernelprojection for isgeneralizedmorphism", 
      "X80E5FD8C84054135" ], 
  [ "\033[2XCodefectProjection\033[102X for IsGeneralizedMorphism", "1.2-8", 
      [ 1, 2, 8 ], 90, 5, "codefectprojection for isgeneralizedmorphism", 
      "X7E323705780A7472" ], 
  [ "\033[2XGeneralizedCoimageProjection\033[102X for IsGeneralizedMorphism", 
      "1.2-9", [ 1, 2, 9 ], 98, 6, 
      "generalizedcoimageprojection for isgeneralizedmorphism", 
      "X7E0DAE747945216A" ], 
  [ "\033[2XAssociatedMorphism\033[102X for IsGeneralizedMorphism", "1.2-10", 
      [ 1, 2, 10 ], 106, 6, "associatedmorphism for isgeneralizedmorphism", 
      "X8056D2E886060EB7" ], 
  [ 
      "\033[2XDomainAssociatedMorphismCodomainTriple\033[102X for IsGeneralizedMo\
rphism", "1.2-11", [ 1, 2, 11 ], 114, 6, 
      "domainassociatedmorphismcodomaintriple for isgeneralizedmorphism", 
      "X7CF4DA3478101045" ], 
  [ "\033[2XHonestRepresentative\033[102X for IsGeneralizedMorphism", 
      "1.2-12", [ 1, 2, 12 ], 123, 6, 
      "honestrepresentative for isgeneralizedmorphism", "X8129D15C87A5642B" ],
  [ "\033[2XGeneralizedInverse\033[102X for IsCapCategoryMorphism", "1.2-13", 
      [ 1, 2, 13 ], 132, 6, "generalizedinverse for iscapcategorymorphism", 
      "X8180D14B85D8DDFD" ], 
  [ "\033[2XIdempotentDefinedBySubobject\033[102X for IsCapCategoryMorphism", 
      "1.2-14", [ 1, 2, 14 ], 140, 6, 
      "idempotentdefinedbysubobject for iscapcategorymorphism", 
      "X87BA1A897A3019B0" ], 
  [ 
      "\033[2XIdempotentDefinedByFactorobject\033[102X for IsCapCategoryMorphism"
        , "1.2-15", [ 1, 2, 15 ], 149, 6, 
      "idempotentdefinedbyfactorobject for iscapcategorymorphism", 
      "X7F3F851D7FD6BE60" ], 
  [ "\033[2XUnderlyingHonestCategory\033[102X for IsCapCategory", "1.2-16", 
      [ 1, 2, 16 ], 158, 7, "underlyinghonestcategory for iscapcategory", 
      "X8387D5C484A26089" ], 
  [ 
      "\033[2XGeneralizedMorphismFromFactorToSubobject\033[102X for IsCapCategory\
Morphism, IsCapCategoryMorphism", "1.3-1", [ 1, 3, 1 ], 169, 7, 
      "generalizedmorphismfromfactortosubobject for iscapcategorymorphism isca\
pcategorymorphism", "X82FE8F3E84432929" ], 
  [ "\033[2XCommonRestriction\033[102X for IsList", "1.3-2", [ 1, 3, 2 ], 
      178, 7, "commonrestriction for islist", "X7B8E3FBC82429136" ], 
  [ "\033[2XConcatenationProduct\033[102X for IsList", "1.3-3", [ 1, 3, 3 ], 
      187, 7, "concatenationproduct for islist", "X83CB98F3783972DE" ], 
  [ "\033[2XIsHonest\033[102X for IsGeneralizedMorphism", "1.4-1", 
      [ 1, 4, 1 ], 205, 7, "ishonest for isgeneralizedmorphism", 
      "X78B6216F7869E215" ], 
  [ "\033[2XHasFullDomain\033[102X for IsGeneralizedMorphism", "1.4-2", 
      [ 1, 4, 2 ], 213, 7, "hasfulldomain for isgeneralizedmorphism", 
      "X806C879182E335B6" ], 
  [ "\033[2XHasFullCodomain\033[102X for IsGeneralizedMorphism", "1.4-3", 
      [ 1, 4, 3 ], 221, 8, "hasfullcodomain for isgeneralizedmorphism", 
      "X7A5A03577DF86A1F" ], 
  [ "\033[2XIsSingleValued\033[102X for IsGeneralizedMorphism", "1.4-4", 
      [ 1, 4, 4 ], 229, 8, "issinglevalued for isgeneralizedmorphism", 
      "X7B025572785DACBA" ], 
  [ "\033[2XIsTotal\033[102X for IsGeneralizedMorphism", "1.4-5", 
      [ 1, 4, 5 ], 237, 8, "istotal for isgeneralizedmorphism", 
      "X85E05A137F6C759A" ], 
  [ "\033[2XGeneralizedMorphismCategory\033[102X for IsCapCategory", "1.5-1", 
      [ 1, 5, 1 ], 252, 8, "generalizedmorphismcategory for iscapcategory", 
      "X8276ADE97D53B8F0" ], 
  [ "\033[2XGeneralizedMorphismObject\033[102X for IsCapCategoryObject", 
      "1.5-2", [ 1, 5, 2 ], 261, 8, 
      "generalizedmorphismobject for iscapcategoryobject", 
      "X846BEA5784436575" ], 
  [ "\033[2XAsGeneralizedMorphism\033[102X for IsCapCategoryMorphism", 
      "1.5-3", [ 1, 5, 3 ], 269, 9, 
      "asgeneralizedmorphism for iscapcategorymorphism", "X7F89465C80D5CB2F" ]
    , 
  [ 
      "\033[2XGeneralizedMorphism\033[102X for IsCapCategoryMorphism, IsCapCatego\
ryMorphism", "1.5-4", [ 1, 5, 4 ], 277, 9, 
      "generalizedmorphism for iscapcategorymorphism iscapcategorymorphism", 
      "X7BCAEAEC78CE8093" ], 
  [ 
      "\033[2XGeneralizedMorphism\033[102X for IsCapCategoryMorphism, IsCapCatego\
ryMorphism, IsCapCategoryMorphism", "1.5-5", [ 1, 5, 5 ], 285, 9, 
      "generalizedmorphism for iscapcategorymorphism iscapcategorymorphism isc\
apcategorymorphism", "X87C5A2AC86D384BC" ], 
  [ 
      "\033[2XGeneralizedMorphismWithRangeAid\033[102X for IsCapCategoryMorphism,\
 IsCapCategoryMorphism", "1.5-6", [ 1, 5, 6 ], 293, 9, 
      "generalizedmorphismwithrangeaid for iscapcategorymorphism iscapcategory\
morphism", "X7DC1AF448411DFCE" ], 
  [ 
      "\033[2XGeneralizedMorphismWithSourceAid\033[102X for IsCapCategoryMorphism\
, IsCapCategoryMorphism", "1.5-7", [ 1, 5, 7 ], 300, 9, 
      "generalizedmorphismwithsourceaid for iscapcategorymorphism iscapcategor\
ymorphism", "X7D32834C7EA50379" ], 
  [ 
      "\033[2XIsGeneralizedMorphismCategoryByCospans\033[102X for IsGeneralizedMo\
rphismCategory", "2.1-1", [ 2, 1, 1 ], 7, 10, 
      "isgeneralizedmorphismcategorybycospans for isgeneralizedmorphismcategor\
y", "X8187BB8479575083" ], 
  [ 
      "\033[2XIsGeneralizedMorphismCategoryByCospansObject\033[102X for IsGeneral\
izedMorphismCategoryObject", "2.1-2", [ 2, 1, 2 ], 14, 10, 
      "isgeneralizedmorphismcategorybycospansobject for isgeneralizedmorphismc\
ategoryobject", "X86C1877D7EC9F075" ], 
  [ "\033[2XIsGeneralizedMorphismByCospan\033[102X for IsGeneralizedMorphism",
      "2.1-3", [ 2, 1, 3 ], 21, 10, 
      "isgeneralizedmorphismbycospan for isgeneralizedmorphism", 
      "X82D8F9C38330F81E" ], 
  [ 
      "\033[2XHasIdentityAsReversedArrow\033[102X for IsGeneralizedMorphismByCosp\
an", "2.2-1", [ 2, 2, 1 ], 32, 10, 
      "hasidentityasreversedarrow for isgeneralizedmorphismbycospan", 
      "X815D6FE986CC3F99" ], 
  [ 
      "\033[2XUnderlyingHonestObject\033[102X for IsGeneralizedMorphismCategoryBy\
CospansObject", "2.3-1", [ 2, 3, 1 ], 44, 11, 
      "underlyinghonestobject for isgeneralizedmorphismcategorybycospansobject\
", "X7D7E0AB87D8C6BE4" ], 
  [ "\033[2XArrow\033[102X for IsGeneralizedMorphismByCospan", "2.3-2", 
      [ 2, 3, 2 ], 52, 11, "arrow for isgeneralizedmorphismbycospan", 
      "X7863825F85197D30" ], 
  [ "\033[2XReversedArrow\033[102X for IsGeneralizedMorphismByCospan", 
      "2.3-3", [ 2, 3, 3 ], 60, 11, 
      "reversedarrow for isgeneralizedmorphismbycospan", "X871D3BBC7E6B544B" ]
    , 
  [ "\033[2XNormalizedCospanTuple\033[102X for IsGeneralizedMorphismByCospan",
      "2.3-4", [ 2, 3, 4 ], 68, 11, 
      "normalizedcospantuple for isgeneralizedmorphismbycospan", 
      "X7DCA5A8278F4C569" ], 
  [ "\033[2XPseudoInverse\033[102X for IsGeneralizedMorphismByCospan", 
      "2.3-5", [ 2, 3, 5 ], 76, 11, 
      "pseudoinverse for isgeneralizedmorphismbycospan", "X7F4AC0FE847140A4" ]
    , 
  [ "\033[2XGeneralizedInverseByCospan\033[102X for IsCapCategoryMorphism", 
      "2.3-6", [ 2, 3, 6 ], 84, 11, 
      "generalizedinversebycospan for iscapcategorymorphism", 
      "X87E4921884F9F1FF" ], 
  [ 
      "\033[2XIdempotentDefinedBySubobjectByCospan\033[102X for IsCapCategoryMorp\
hism", "2.3-7", [ 2, 3, 7 ], 92, 11, 
      "idempotentdefinedbysubobjectbycospan for iscapcategorymorphism", 
      "X7CFE9A12793AF805" ], 
  [ 
      "\033[2XIdempotentDefinedByFactorobjectByCospan\033[102X for IsCapCategoryM\
orphism", "2.3-8", [ 2, 3, 8 ], 101, 12, 
      "idempotentdefinedbyfactorobjectbycospan for iscapcategorymorphism", 
      "X8330AB9480BC933A" ], 
  [ "\033[2XNormalizedCospan\033[102X for IsGeneralizedMorphismByCospan", 
      "2.3-9", [ 2, 3, 9 ], 110, 12, 
      "normalizedcospan for isgeneralizedmorphismbycospan", 
      "X7B636E0D7A9FA235" ], 
  [ 
      "\033[2XGeneralizedMorphismFromFactorToSubobjectByCospan\033[102X for IsCap\
CategoryMorphism, IsCapCategoryMorphism", "2.4-1", [ 2, 4, 1 ], 121, 12, 
      "generalizedmorphismfromfactortosubobjectbycospan for iscapcategorymorph\
ism iscapcategorymorphism", "X7988FD538374DC5C" ], 
  [ 
      "\033[2XGeneralizedMorphismByCospan\033[102X for IsCapCategoryMorphism, IsC\
apCategoryMorphism", "2.5-1", [ 2, 5, 1 ], 133, 12, 
      "generalizedmorphismbycospan for iscapcategorymorphism iscapcategorymorp\
hism", "X8313697F833CA064" ], 
  [ 
      "\033[2XGeneralizedMorphismByCospan\033[102X for IsCapCategoryMorphism, IsC\
apCategoryMorphism, IsCapCategoryMorphism", "2.5-2", [ 2, 5, 2 ], 142, 12, 
      "generalizedmorphismbycospan for iscapcategorymorphism iscapcategorymorp\
hism iscapcategorymorphism", "X865028F47CB5A9FA" ], 
  [ 
      "\033[2XGeneralizedMorphismByCospanWithSourceAid\033[102X for IsCapCategory\
Morphism, IsCapCategoryMorphism", "2.5-3", [ 2, 5, 3 ], 152, 12, 
      "generalizedmorphismbycospanwithsourceaid for iscapcategorymorphism isca\
pcategorymorphism", "X7B744FE28475F25B" ], 
  [ "\033[2XAsGeneralizedMorphismByCospan\033[102X for IsCapCategoryMorphism",
      "2.5-4", [ 2, 5, 4 ], 161, 13, 
      "asgeneralizedmorphismbycospan for iscapcategorymorphism", 
      "X79F31F9E80A5BFAD" ], 
  [ "\033[2XGeneralizedMorphismCategoryByCospans\033[102X for IsCapCategory", 
      "2.5-5", [ 2, 5, 5 ], 169, 13, 
      "generalizedmorphismcategorybycospans for iscapcategory", 
      "X879C3A4F82EC9C13" ], 
  [ 
      "\033[2XGeneralizedMorphismByCospansObject\033[102X for IsCapCategoryObject\
", "2.5-6", [ 2, 5, 6 ], 177, 13, 
      "generalizedmorphismbycospansobject for iscapcategoryobject", 
      "X81ADB9C17D822C05" ], 
  [ "\033[2XAsGeneralizedMorphismByCospan\033[102X for IsCapFunctor, IsString"
        , "2.6-1", [ 2, 6, 1 ], 189, 13, 
      "asgeneralizedmorphismbycospan for iscapfunctor isstring", 
      "X7A094900868E02F1" ], 
  [ 
      "\033[2XIsGeneralizedMorphismCategoryBySpans\033[102X for IsGeneralizedMorp\
hismCategory", "3.1-1", [ 3, 1, 1 ], 7, 14, 
      "isgeneralizedmorphismcategorybyspans for isgeneralizedmorphismcategory"
        , "X7B3EA2C279A4F9E4" ], 
  [ 
      "\033[2XIsGeneralizedMorphismCategoryBySpansObject\033[102X for IsGeneraliz\
edMorphismCategoryObject", "3.1-2", [ 3, 1, 2 ], 14, 14, 
      "isgeneralizedmorphismcategorybyspansobject for isgeneralizedmorphismcat\
egoryobject", "X78F2B8E882ECF61E" ], 
  [ "\033[2XIsGeneralizedMorphismBySpan\033[102X for IsGeneralizedMorphism", 
      "3.1-3", [ 3, 1, 3 ], 21, 14, 
      "isgeneralizedmorphismbyspan for isgeneralizedmorphism", 
      "X7A5BDCEE78549DFB" ], 
  [ 
      "\033[2XHasIdentityAsReversedArrow\033[102X for IsGeneralizedMorphismBySpan\
", "3.2-1", [ 3, 2, 1 ], 31, 14, 
      "hasidentityasreversedarrow for isgeneralizedmorphismbyspan", 
      "X7A058F5C7F7116DB" ], 
  [ 
      "\033[2XUnderlyingHonestObject\033[102X for IsGeneralizedMorphismCategoryBy\
SpansObject", "3.3-1", [ 3, 3, 1 ], 43, 15, 
      "underlyinghonestobject for isgeneralizedmorphismcategorybyspansobject",
      "X7BDCF7FD7EAE01C3" ], 
  [ "\033[2XArrow\033[102X for IsGeneralizedMorphismBySpan", "3.3-2", 
      [ 3, 3, 2 ], 51, 15, "arrow for isgeneralizedmorphismbyspan", 
      "X83C847FC86AB508B" ], 
  [ "\033[2XReversedArrow\033[102X for IsGeneralizedMorphismBySpan", "3.3-3", 
      [ 3, 3, 3 ], 59, 15, "reversedarrow for isgeneralizedmorphismbyspan", 
      "X826CC0B57D6F7F3B" ], 
  [ "\033[2XNormalizedSpanTuple\033[102X for IsGeneralizedMorphismBySpan", 
      "3.3-4", [ 3, 3, 4 ], 67, 15, 
      "normalizedspantuple for isgeneralizedmorphismbyspan", 
      "X8082EEE27FB449E5" ], 
  [ "\033[2XPseudoInverse\033[102X for IsGeneralizedMorphismBySpan", "3.3-5", 
      [ 3, 3, 5 ], 75, 15, "pseudoinverse for isgeneralizedmorphismbyspan", 
      "X878EE24487756BD4" ], 
  [ "\033[2XGeneralizedInverseBySpan\033[102X for IsCapCategoryMorphism", 
      "3.3-6", [ 3, 3, 6 ], 83, 15, 
      "generalizedinversebyspan for iscapcategorymorphism", 
      "X800786037C19DEF5" ], 
  [ 
      "\033[2XIdempotentDefinedBySubobjectBySpan\033[102X for IsCapCategoryMorphi\
sm", "3.3-7", [ 3, 3, 7 ], 91, 15, 
      "idempotentdefinedbysubobjectbyspan for iscapcategorymorphism", 
      "X7B8C00217DD3A64C" ], 
  [ 
      "\033[2XIdempotentDefinedByFactorobjectBySpan\033[102X for IsCapCategoryMor\
phism", "3.3-8", [ 3, 3, 8 ], 100, 16, 
      "idempotentdefinedbyfactorobjectbyspan for iscapcategorymorphism", 
      "X82D0B42E8413A5FE" ], 
  [ "\033[2XNormalizedSpan\033[102X for IsGeneralizedMorphismBySpan", 
      "3.3-9", [ 3, 3, 9 ], 109, 16, 
      "normalizedspan for isgeneralizedmorphismbyspan", "X86499E0D83A9D090" ],
  [ "\033[2XGeneralizedMorphismFromFactorToSubobjectBySpan\033[102X for IsCapC\
ategoryMorphism, IsCapCategoryMorphism", "3.4-1", [ 3, 4, 1 ], 120, 16, 
      "generalizedmorphismfromfactortosubobjectbyspan for iscapcategorymorphis\
m iscapcategorymorphism", "X7D3675B0866191EC" ], 
  [ 
      "\033[2XGeneralizedMorphismBySpan\033[102X for IsCapCategoryMorphism, IsCap\
CategoryMorphism", "3.5-1", [ 3, 5, 1 ], 132, 16, 
      "generalizedmorphismbyspan for iscapcategorymorphism iscapcategorymorphi\
sm", "X83FA5A4C787261DB" ], 
  [ 
      "\033[2XGeneralizedMorphismBySpan\033[102X for IsCapCategoryMorphism, IsCap\
CategoryMorphism, IsCapCategoryMorphism", "3.5-2", [ 3, 5, 2 ], 141, 16, 
      "generalizedmorphismbyspan for iscapcategorymorphism iscapcategorymorphi\
sm iscapcategorymorphism", "X7EAF87447D2A08EE" ], 
  [ 
      "\033[2XGeneralizedMorphismBySpanWithRangeAid\033[102X for IsCapCategoryMor\
phism, IsCapCategoryMorphism", "3.5-3", [ 3, 5, 3 ], 151, 16, 
      "generalizedmorphismbyspanwithrangeaid for iscapcategorymorphism iscapca\
tegorymorphism", "X79A8B50C7EB5ADE2" ], 
  [ "\033[2XAsGeneralizedMorphismBySpan\033[102X for IsCapCategoryMorphism", 
      "3.5-4", [ 3, 5, 4 ], 160, 17, 
      "asgeneralizedmorphismbyspan for iscapcategorymorphism", 
      "X79C48BB782BD799F" ], 
  [ "\033[2XGeneralizedMorphismCategoryBySpans\033[102X for IsCapCategory", 
      "3.5-5", [ 3, 5, 5 ], 168, 17, 
      "generalizedmorphismcategorybyspans for iscapcategory", 
      "X812CBF7580098CCF" ], 
  [ "\033[2XGeneralizedMorphismBySpansObject\033[102X for IsCapCategoryObject"
        , "3.5-6", [ 3, 5, 6 ], 176, 17, 
      "generalizedmorphismbyspansobject for iscapcategoryobject", 
      "X817694F38145FD9F" ], 
  [ 
      "\033[2XIsGeneralizedMorphismCategoryByThreeArrows\033[102X for IsGeneraliz\
edMorphismCategory", "4.1-1", [ 4, 1, 1 ], 7, 18, 
      "isgeneralizedmorphismcategorybythreearrows for isgeneralizedmorphismcat\
egory", "X869A7C2A85C2743A" ], 
  [ 
      "\033[2XIsGeneralizedMorphismCategoryByThreeArrowsObject\033[102X for IsGen\
eralizedMorphismCategoryObject", "4.1-2", [ 4, 1, 2 ], 14, 18, 
      "isgeneralizedmorphismcategorybythreearrowsobject for isgeneralizedmorph\
ismcategoryobject", "X7E861596801CA565" ], 
  [ 
      "\033[2XIsGeneralizedMorphismByThreeArrows\033[102X for IsGeneralizedMorphi\
sm", "4.1-3", [ 4, 1, 3 ], 22, 18, 
      "isgeneralizedmorphismbythreearrows for isgeneralizedmorphism", 
      "X87934BAA84C6E654" ], 
  [ 
      "\033[2XHasIdentitiesAsReversedArrows\033[102X for IsGeneralizedMorphismByT\
hreeArrows", "4.2-1", [ 4, 2, 1 ], 33, 18, 
      "hasidentitiesasreversedarrows for isgeneralizedmorphismbythreearrows", 
      "X8247F41681D15233" ], 
  [ 
      "\033[2XHasIdentityAsSourceAid\033[102X for IsGeneralizedMorphismByThreeArr\
ows", "4.2-2", [ 4, 2, 2 ], 42, 19, 
      "hasidentityassourceaid for isgeneralizedmorphismbythreearrows", 
      "X8347A40179DBD909" ], 
  [ 
      "\033[2XHasIdentityAsRangeAid\033[102X for IsGeneralizedMorphismByThreeArro\
ws", "4.2-3", [ 4, 2, 3 ], 51, 19, 
      "hasidentityasrangeaid for isgeneralizedmorphismbythreearrows", 
      "X81F0F4FA78F9F361" ], 
  [ 
      "\033[2XUnderlyingHonestObject\033[102X for IsGeneralizedMorphismCategoryBy\
ThreeArrowsObject", "4.3-1", [ 4, 3, 1 ], 63, 19, 
      "underlyinghonestobject for isgeneralizedmorphismcategorybythreearrowsob\
ject", "X8028877F819A0DBF" ], 
  [ "\033[2XSourceAid\033[102X for IsGeneralizedMorphismByThreeArrows", 
      "4.3-2", [ 4, 3, 2 ], 71, 19, 
      "sourceaid for isgeneralizedmorphismbythreearrows", "X7B17B7587A449B8E" 
     ], [ "\033[2XRangeAid\033[102X for IsGeneralizedMorphismByThreeArrows", 
      "4.3-3", [ 4, 3, 3 ], 79, 19, 
      "rangeaid for isgeneralizedmorphismbythreearrows", "X87B0A0AF84F8AF7D" ]
    , [ "\033[2XArrow\033[102X for IsGeneralizedMorphismByThreeArrows", 
      "4.3-4", [ 4, 3, 4 ], 87, 19, 
      "arrow for isgeneralizedmorphismbythreearrows", "X7CCBCD5385E55586" ], 
  [ "\033[2XPseudoInverse\033[102X for IsGeneralizedMorphismByThreeArrows", 
      "4.3-5", [ 4, 3, 5 ], 95, 20, 
      "pseudoinverse for isgeneralizedmorphismbythreearrows", 
      "X784C006B8525E205" ], 
  [ 
      "\033[2XGeneralizedInverseByThreeArrows\033[102X for IsCapCategoryMorphism"
        , "4.3-6", [ 4, 3, 6 ], 103, 20, 
      "generalizedinversebythreearrows for iscapcategorymorphism", 
      "X78A8A55883C06AB1" ], 
  [ 
      "\033[2XIdempotentDefinedBySubobjectByThreeArrows\033[102X for IsCapCategor\
yMorphism", "4.3-7", [ 4, 3, 7 ], 111, 20, 
      "idempotentdefinedbysubobjectbythreearrows for iscapcategorymorphism", 
      "X80E329707BAA3B29" ], 
  [ 
      "\033[2XIdempotentDefinedByFactorobjectByThreeArrows\033[102X for IsCapCate\
goryMorphism", "4.3-8", [ 4, 3, 8 ], 120, 20, 
      "idempotentdefinedbyfactorobjectbythreearrows for iscapcategorymorphism"
        , "X8217014B870B3EC2" ], 
  [ 
      "\033[2XGeneralizedMorphismFromFactorToSubobjectByThreeArrows\033[102X for \
IsCapCategoryMorphism, IsCapCategoryMorphism", "4.4-1", [ 4, 4, 1 ], 132, 20, 
      "generalizedmorphismfromfactortosubobjectbythreearrows for iscapcategory\
morphism iscapcategorymorphism", "X78C1A22D86943E97" ], 
  [ "\033[2XCommonCoastriction\033[102X for IsList", "4.4-2", [ 4, 4, 2 ], 
      141, 20, "commoncoastriction for islist", "X7A50AC43855B33B1" ], 
  [ 
      "\033[2XGeneralizedMorphismByThreeArrows\033[102X for IsCapCategoryMorphism\
, IsCapCategoryMorphism, IsCapCategoryMorphism", "4.5-1", [ 4, 5, 1 ], 153, 
      21, 
      "generalizedmorphismbythreearrows for iscapcategorymorphism iscapcategor\
ymorphism iscapcategorymorphism", "X8477D6E679E15474" ], 
  [ 
      "\033[2XGeneralizedMorphismByThreeArrowsWithSourceAid\033[102X for IsCapCat\
egoryMorphism, IsCapCategoryMorphism", "4.5-2", [ 4, 5, 2 ], 163, 21, 
      "generalizedmorphismbythreearrowswithsourceaid for iscapcategorymorphism\
 iscapcategorymorphism", "X7D60D9F97A2F7D5F" ], 
  [ 
      "\033[2XGeneralizedMorphismByThreeArrowsWithRangeAid\033[102X for IsCapCate\
goryMorphism, IsCapCategoryMorphism", "4.5-3", [ 4, 5, 3 ], 173, 21, 
      "generalizedmorphismbythreearrowswithrangeaid for iscapcategorymorphism \
iscapcategorymorphism", "X7F9E6B188755170A" ], 
  [ 
      "\033[2XAsGeneralizedMorphismByThreeArrows\033[102X for IsCapCategoryMorphi\
sm", "4.5-4", [ 4, 5, 4 ], 183, 21, 
      "asgeneralizedmorphismbythreearrows for iscapcategorymorphism", 
      "X7E0CF2A87AC08A8B" ], 
  [ 
      "\033[2XGeneralizedMorphismCategoryByThreeArrows\033[102X for IsCapCategory\
", "4.5-5", [ 4, 5, 5 ], 191, 21, 
      "generalizedmorphismcategorybythreearrows for iscapcategory", 
      "X8296606484DDDF6C" ], 
  [ 
      "\033[2XGeneralizedMorphismByThreeArrowsObject\033[102X for IsCapCategoryOb\
ject", "4.5-6", [ 4, 5, 6 ], 199, 21, 
      "generalizedmorphismbythreearrowsobject for iscapcategoryobject", 
      "X8165802A8625467E" ], 
  [ "\033[2XFunctorFromCospansToThreeArrows\033[102X for IsCapCategory", 
      "5.1-1", [ 5, 1, 1 ], 7, 22, 
      "functorfromcospanstothreearrows for iscapcategory", 
      "X79C6FF647D725997" ], 
  [ "\033[2XFunctorFromCospansToSpans\033[102X for IsCapCategory", "5.1-2", 
      [ 5, 1, 2 ], 16, 22, "functorfromcospanstospans for iscapcategory", 
      "X8092A53484B9D89E" ], 
  [ "\033[2XFunctorFromSpansToThreeArrows\033[102X for IsCapCategory", 
      "5.2-1", [ 5, 2, 1 ], 28, 22, 
      "functorfromspanstothreearrows for iscapcategory", "X7A250CED7862BD61" ]
    , [ "\033[2XFunctorFromSpansToCospans\033[102X for IsCapCategory", 
      "5.2-2", [ 5, 2, 2 ], 37, 22, 
      "functorfromspanstocospans for iscapcategory", "X80EAF5547D5E3A08" ], 
  [ "\033[2XFunctorFromThreeArrowsToCospans\033[102X for IsCapCategory", 
      "5.3-1", [ 5, 3, 1 ], 49, 23, 
      "functorfromthreearrowstocospans for iscapcategory", 
      "X805E300E7CBA3F18" ], 
  [ "\033[2XFunctorFromThreeArrowsToSpans\033[102X for IsCapCategory", 
      "5.3-2", [ 5, 3, 2 ], 58, 23, 
      "functorfromthreearrowstospans for iscapcategory", "X7E0E745085802E80" ]
    , 
  [ 
      "\033[2XFullSubcategoryByMembershipFunction\033[102X for IsCapCategory, IsF\
unction", "6.1-1", [ 6, 1, 1 ], 13, 24, 
      "fullsubcategorybymembershipfunction for iscapcategory isfunction", 
      "X7C2C5BC07CABE97D" ], 
  [ "\033[2XIsSerreQuotientCategoryObject\033[102X for IsCapCategoryObject", 
      "7.1-1", [ 7, 1, 1 ], 18, 25, 
      "isserrequotientcategoryobject for iscapcategoryobject", 
      "X7BC5B052783425A2" ], 
  [ 
      "\033[2XIsSerreQuotientCategoryMorphism\033[102X for IsCapCategoryMorphism"
        , "7.1-2", [ 7, 1, 2 ], 26, 25, 
      "isserrequotientcategorymorphism for iscapcategorymorphism", 
      "X82C2C3C27C0FC106" ], 
  [ 
      "\033[2XSerreQuotientCategory\033[102X for IsCapCategory, IsFunction, IsStr\
ing", "7.1-3", [ 7, 1, 3 ], 34, 25, 
      "serrequotientcategory for iscapcategory isfunction isstring", 
      "X8311C69E7FEEF417" ], 
  [ 
      "\033[2XAsSerreQuotientCategoryObject\033[102X for IsCapCategory, IsCapCate\
goryObject", "7.1-4", [ 7, 1, 4 ], 44, 26, 
      "asserrequotientcategoryobject for iscapcategory iscapcategoryobject", 
      "X7B2E75C3828CFEE4" ], 
  [ 
      "\033[2XSerreQuotientCategoryMorphism\033[102X for IsCapCategory, IsGeneral\
izedMorphism", "7.1-5", [ 7, 1, 5 ], 52, 26, 
      "serrequotientcategorymorphism for iscapcategory isgeneralizedmorphism",
      "X8228022A7EB4CB66" ], 
  [ 
      "\033[2XSerreQuotientCategoryMorphism\033[102X for IsCapCategory, IsCapCate\
goryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism", "7.1-6", 
      [ 7, 1, 6 ], 61, 26, 
      "serrequotientcategorymorphism for iscapcategory iscapcategorymorphism i\
scapcategorymorphism iscapcategorymorphism", "X7C93747782930A14" ], 
  [ 
      "\033[2XSerreQuotientCategoryMorphism\033[102X for IsCapCategory, IsCapCate\
goryMorphism, IsCapCategoryMorphism", "7.1-7", [ 7, 1, 7 ], 70, 26, 
      "serrequotientcategorymorphism for iscapcategory iscapcategorymorphism i\
scapcategorymorphism", "X7FF1277C81BAD87E" ], 
  [ 
      "\033[2XSerreQuotientCategoryMorphismWithSourceAid\033[102X for IsCapCatego\
ry, IsCapCategoryMorphism, IsCapCategoryMorphism", "7.1-8", [ 7, 1, 8 ], 82, 
      26, 
      "serrequotientcategorymorphismwithsourceaid for iscapcategory iscapcateg\
orymorphism iscapcategorymorphism", "X7BD12BC6873CB655" ], 
  [ 
      "\033[2XSerreQuotientCategoryMorphismWithRangeAid\033[102X for IsCapCategor\
y, IsCapCategoryMorphism, IsCapCategoryMorphism", "7.1-9", [ 7, 1, 9 ], 91, 
      26, 
      "serrequotientcategorymorphismwithrangeaid for iscapcategory iscapcatego\
rymorphism iscapcategorymorphism", "X8461E2707FCF6EB0" ], 
  [ 
      "\033[2XAsSerreQuotientCategoryMorphism\033[102X for IsCapCategory, IsCapCa\
tegoryMorphism", "7.1-10", [ 7, 1, 10 ], 100, 27, 
      "asserrequotientcategorymorphism for iscapcategory iscapcategorymorphism\
", "X7C2D68DA796082CE" ], 
  [ 
      "\033[2XSubcategoryMembershipTestFunctionForSerreQuotient\033[102X for IsCa\
pCategory", "7.1-11", [ 7, 1, 11 ], 109, 27, 
      "subcategorymembershiptestfunctionforserrequotient for iscapcategory", 
      "X7F51A2A678518D91" ], 
  [ "\033[2XUnderlyingHonestCategory\033[102X for IsCapCategory", "7.1-12", 
      [ 7, 1, 12 ], 117, 27, "underlyinghonestcategory for iscapcategory", 
      "X8387D5C484A26089" ], 
  [ "\033[2XUnderlyingGeneralizedMorphismCategory\033[102X for IsCapCategory",
      "7.1-13", [ 7, 1, 13 ], 124, 27, 
      "underlyinggeneralizedmorphismcategory for iscapcategory", 
      "X7B0FD44F7FA4F8C1" ], 
  [ 
      "\033[2XUnderlyingGeneralizedObject\033[102X for IsSerreQuotientCategoryObj\
ect", "7.1-14", [ 7, 1, 14 ], 132, 27, 
      "underlyinggeneralizedobject for isserrequotientcategoryobject", 
      "X86E915208420C01C" ], 
  [ "\033[2XUnderlyingHonestObject\033[102X for IsSerreQuotientCategoryObject"
        , "7.1-15", [ 7, 1, 15 ], 141, 27, 
      "underlyinghonestobject for isserrequotientcategoryobject", 
      "X812EDC687898EEBF" ], 
  [ 
      "\033[2XUnderlyingGeneralizedMorphism\033[102X for IsSerreQuotientCategoryM\
orphism", "7.1-16", [ 7, 1, 16 ], 149, 28, 
      "underlyinggeneralizedmorphism for isserrequotientcategorymorphism", 
      "X7E403ABA78261622" ], 
  [ "\033[2XCanonicalProjection\033[102X for IsCapCategory", "7.1-17", 
      [ 7, 1, 17 ], 158, 28, "canonicalprojection for iscapcategory", 
      "X7A1765BF783041DC" ], 
  [ 
      "\033[2XSerreQuotientCategoryByCospans\033[102X for IsCapCategory, IsFuncti\
on, IsString", "7.2-1", [ 7, 2, 1 ], 169, 28, 
      "serrequotientcategorybycospans for iscapcategory isfunction isstring", 
      "X7B0DFAB77891EB63" ], 
  [ 
      "\033[2XAsSerreQuotientCategoryByCospansObject\033[102X for IsCapCategory, \
IsCapCategoryObject", "7.2-2", [ 7, 2, 2 ], 181, 28, 
      "asserrequotientcategorybycospansobject for iscapcategory iscapcategoryo\
bject", "X7C696E9E83CA9250" ], 
  [ 
      "\033[2XSerreQuotientCategoryByCospansMorphism\033[102X for IsCapCategory, \
IsGeneralizedMorphismByCospan", "7.2-3", [ 7, 2, 3 ], 190, 28, 
      "serrequotientcategorybycospansmorphism for iscapcategory isgeneralizedm\
orphismbycospan", "X7F1CBD4F82097FFE" ], 
  [ 
      "\033[2XSerreQuotientCategoryByCospansMorphism\033[102X for IsCapCategory, \
IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism", 
      "7.2-4", [ 7, 2, 4 ], 200, 28, 
      "serrequotientcategorybycospansmorphism for iscapcategory iscapcategorym\
orphism iscapcategorymorphism iscapcategorymorphism", "X7B6DB3178122E617" ], 
  [ "\033[2XSerreQuotientCategoryByCospansMorphismWithSourceAid\033[102X for I\
sCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism", "7.2-5", 
      [ 7, 2, 5 ], 209, 29, 
      "serrequotientcategorybycospansmorphismwithsourceaid for iscapcategory i\
scapcategorymorphism iscapcategorymorphism", "X84649E8381E40A5E" ], 
  [ 
      "\033[2XSerreQuotientCategoryByCospansMorphism\033[102X for IsCapCategory, \
IsCapCategoryMorphism, IsCapCategoryMorphism", "7.2-6", [ 7, 2, 6 ], 218, 29, 
      "serrequotientcategorybycospansmorphism for iscapcategory iscapcategorym\
orphism iscapcategorymorphism", "X8163B686820C8119" ], 
  [ 
      "\033[2XAsSerreQuotientCategoryByCospansMorphism\033[102X for IsCapCategory\
, IsCapCategoryMorphism", "7.2-7", [ 7, 2, 7 ], 227, 29, 
      "asserrequotientcategorybycospansmorphism for iscapcategory iscapcategor\
ymorphism", "X83B53BAD85CDABE3" ], 
  [ 
      "\033[2XSerreQuotientCategoryBySpans\033[102X for IsCapCategory, IsFunction\
, IsString", "7.3-1", [ 7, 3, 1 ], 239, 29, 
      "serrequotientcategorybyspans for iscapcategory isfunction isstring", 
      "X81B80C5882061F37" ], 
  [ 
      "\033[2XAsSerreQuotientCategoryBySpansObject\033[102X for IsCapCategory, Is\
CapCategoryObject", "7.3-2", [ 7, 3, 2 ], 251, 29, 
      "asserrequotientcategorybyspansobject for iscapcategory iscapcategoryobj\
ect", "X82726E3C7A66996A" ], 
  [ 
      "\033[2XSerreQuotientCategoryBySpansMorphism\033[102X for IsCapCategory, Is\
GeneralizedMorphismBySpan", "7.3-3", [ 7, 3, 3 ], 260, 30, 
      "serrequotientcategorybyspansmorphism for iscapcategory isgeneralizedmor\
phismbyspan", "X8540DCE084BB710F" ], 
  [ 
      "\033[2XSerreQuotientCategoryBySpansMorphism\033[102X for IsCapCategory, Is\
CapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism", "7.3-4", 
      [ 7, 3, 4 ], 270, 30, 
      "serrequotientcategorybyspansmorphism for iscapcategory iscapcategorymor\
phism iscapcategorymorphism iscapcategorymorphism", "X854E2C577EBC71A8" ], 
  [ 
      "\033[2XSerreQuotientCategoryBySpansMorphism\033[102X for IsCapCategory, Is\
CapCategoryMorphism, IsCapCategoryMorphism", "7.3-5", [ 7, 3, 5 ], 279, 30, 
      "serrequotientcategorybyspansmorphism for iscapcategory iscapcategorymor\
phism iscapcategorymorphism", "X85320AF0799B2ED6" ], 
  [ 
      "\033[2XSerreQuotientCategoryBySpansMorphismWithRangeAid\033[102X for IsCap\
Category, IsCapCategoryMorphism, IsCapCategoryMorphism", "7.3-6", 
      [ 7, 3, 6 ], 288, 30, 
      "serrequotientcategorybyspansmorphismwithrangeaid for iscapcategory isca\
pcategorymorphism iscapcategorymorphism", "X7BF244A67D0A7199" ], 
  [ 
      "\033[2XAsSerreQuotientCategoryBySpansMorphism\033[102X for IsCapCategory, \
IsCapCategoryMorphism", "7.3-7", [ 7, 3, 7 ], 297, 30, 
      "asserrequotientcategorybyspansmorphism for iscapcategory iscapcategorym\
orphism", "X838E9D4D7BF0AA85" ], 
  [ 
      "\033[2XSerreQuotientCategoryByThreeArrows\033[102X for IsCapCategory, IsFu\
nction, IsString", "7.4-1", [ 7, 4, 1 ], 309, 30, 
      "serrequotientcategorybythreearrows for iscapcategory isfunction isstrin\
g", "X856C35F28411363D" ], 
  [ 
      "\033[2XAsSerreQuotientCategoryByThreeArrowsObject\033[102X for IsCapCatego\
ry, IsCapCategoryObject", "7.4-2", [ 7, 4, 2 ], 321, 31, 
      "asserrequotientcategorybythreearrowsobject for iscapcategory iscapcateg\
oryobject", "X80BDE2C9864D84B8" ], 
  [ 
      "\033[2XSerreQuotientCategoryByThreeArrowsMorphism\033[102X for IsCapCatego\
ry, IsGeneralizedMorphismByThreeArrows", "7.4-3", [ 7, 4, 3 ], 330, 31, 
      "serrequotientcategorybythreearrowsmorphism for iscapcategory isgenerali\
zedmorphismbythreearrows", "X7E798D6882E5DBB4" ], 
  [ 
      "\033[2XSerreQuotientCategoryByThreeArrowsMorphism\033[102X for IsCapCatego\
ry, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism", 
      "7.4-4", [ 7, 4, 4 ], 340, 31, 
      "serrequotientcategorybythreearrowsmorphism for iscapcategory iscapcateg\
orymorphism iscapcategorymorphism iscapcategorymorphism", "X7AAB402C852E6030" 
     ], 
  [ 
      "\033[2XSerreQuotientCategoryByThreeArrowsMorphismWithSourceAid\033[102X fo\
r IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism", "7.4-5", 
      [ 7, 4, 5 ], 350, 31, 
      "serrequotientcategorybythreearrowsmorphismwithsourceaid for iscapcatego\
ry iscapcategorymorphism iscapcategorymorphism", "X8597A92278BC8D63" ], 
  [ 
      "\033[2XSerreQuotientCategoryByThreeArrowsMorphismWithRangeAid\033[102X for\
 IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism", "7.4-6", 
      [ 7, 4, 6 ], 359, 31, 
      "serrequotientcategorybythreearrowsmorphismwithrangeaid for iscapcategor\
y iscapcategorymorphism iscapcategorymorphism", "X820FF6B88188DB68" ], 
  [ 
      "\033[2XAsSerreQuotientCategoryByThreeArrowsMorphism\033[102X for IsCapCate\
gory, IsCapCategoryMorphism", "7.4-7", [ 7, 4, 7 ], 368, 32, 
      "asserrequotientcategorybythreearrowsmorphism for iscapcategory iscapcat\
egorymorphism", "X7DFC91D07E9A187B" ], 
  [ 
      "\033[2XSerreQuotientConversionFunctor\033[102X for IsCapCategory, IsCapCat\
egory", "8.1-1", [ 8, 1, 1 ], 13, 33, 
      "serrequotientconversionfunctor for iscapcategory iscapcategory", 
      "X873A67F482BA7BFD" ] ]
);