|
#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" ] ]
);
[ Dauer der Verarbeitung: 0.25 Sekunden
(vorverarbeitet)
]
|
