|
#SIXFORMAT GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "CAP",
entries :=
[ [ "Title page", "0.0", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5"
],
[ "Table of Contents", "0.0-1", [ 0, 0, 1 ], 64, 2, "table of contents",
"X8537FEB07AF2BEC8" ],
[ "\033[1X\033[33X\033[0;-2YCAP Categories\033[133X\033[101X", "1",
[ 1, 0, 0 ], 1, 6, "cap categories", "X7C99ABCB7DEEDE2A" ],
[ "\033[1X\033[33X\033[0;-2YCategories\033[133X\033[101X", "1.1",
[ 1, 1, 0 ], 73, 7, "categories", "X7CC6903E78F24167" ],
[ "\033[1X\033[33X\033[0;-2YCategorical properties\033[133X\033[101X",
"1.2", [ 1, 2, 0 ], 118, 7, "categorical properties",
"X7A853C6D8096E14B" ],
[ "\033[1X\033[33X\033[0;-2YConstructor\033[133X\033[101X", "1.3",
[ 1, 3, 0 ], 325, 11, "constructor", "X7ABF649E831D4D8E" ],
[ "\033[1X\033[33X\033[0;-2YInternal Attributes\033[133X\033[101X", "1.4",
[ 1, 4, 0 ], 365, 12, "internal attributes", "X79CE135F7E6EBFEE" ],
[ "\033[1X\033[33X\033[0;-2YLogic switcher\033[133X\033[101X", "1.5",
[ 1, 5, 0 ], 483, 14, "logic switcher", "X8305A19E86EC7B67" ],
[ "\033[1X\033[33X\033[0;-2YTool functions\033[133X\033[101X", "1.6",
[ 1, 6, 0 ], 540, 15, "tool functions", "X7A15CCB67FBCF3E3" ],
[ "\033[1X\033[33X\033[0;-2YWell-Definedness of Cells\033[133X\033[101X",
"1.7", [ 1, 7, 0 ], 572, 16, "well-definedness of cells",
"X7DB3D2BD8792ABBC" ],
[ "\033[1X\033[33X\033[0;-2YUnpacking data structures\033[133X\033[101X",
"1.8", [ 1, 8, 0 ], 583, 16, "unpacking data structures",
"X7D2E74CE87255099" ],
[ "\033[1X\033[33X\033[0;-2YCaching\033[133X\033[101X", "1.9", [ 1, 9, 0 ],
616, 16, "caching", "X79DB9EE785F723D1" ],
[ "\033[1X\033[33X\033[0;-2YSanity checks\033[133X\033[101X", "1.10",
[ 1, 10, 0 ], 643, 17, "sanity checks", "X7EC631BC7CFCF5DB" ],
[ "\033[1X\033[33X\033[0;-2YTiming statistics\033[133X\033[101X", "1.11",
[ 1, 11, 0 ], 664, 17, "timing statistics", "X7984C0E986CF0986" ],
[
"\033[1X\033[33X\033[0;-2YEnable automatic calls of \033[10XAdd\033[110X\\
033[101X\027\033[1X\027\033[133X\033[101X", "1.12", [ 1, 12, 0 ], 680, 18,
"enable automatic calls of add", "X81A1CDD77D375231" ],
[ "\033[1X\033[33X\033[0;-2YPerformance tweaks\033[133X\033[101X", "1.13",
[ 1, 13, 0 ], 696, 18, "performance tweaks", "X7876FF1F831F58B0" ],
[ "\033[1X\033[33X\033[0;-2YLaTeX\033[133X\033[101X", "1.14", [ 1, 14, 0 ],
726, 18, "latex", "X7B6A66AA7D212DDC" ],
[ "\033[1X\033[33X\033[0;-2YObjects\033[133X\033[101X", "2", [ 2, 0, 0 ],
1, 20, "objects", "X78497E777FB3E402" ],
[
"\033[1X\033[33X\033[0;-2YAttributes for the Type of Objects\033[133X\033[1\
01X", "2.1", [ 2, 1, 0 ], 11, 20, "attributes for the type of objects",
"X7ABD8E5A8408A301" ],
[ "\033[1X\033[33X\033[0;-2YAdding Objects to a Category\033[133X\033[101X",
"2.2", [ 2, 2, 0 ], 22, 20, "adding objects to a category",
"X81817A2C84F03D1D" ],
[ "\033[1X\033[33X\033[0;-2YEqualities for Objects\033[133X\033[101X",
"2.3", [ 2, 3, 0 ], 74, 21, "equalities for objects",
"X87FC6F8A78E599E0" ],
[
"\033[1X\033[33X\033[0;-2YCategorical Properties of Objects\033[133X\033[10\
1X", "2.4", [ 2, 4, 0 ], 102, 22, "categorical properties of objects",
"X86CCD70884952468" ],
[ "\033[1X\033[33X\033[0;-2YRandom Objects\033[133X\033[101X", "2.5",
[ 2, 5, 0 ], 165, 23, "random objects", "X8332653E7EA2EB72" ],
[ "\033[1X\033[33X\033[0;-2YTool functions for caches\033[133X\033[101X",
"2.6", [ 2, 6, 0 ], 207, 23, "tool functions for caches",
"X7DD668627932185C" ],
[ "\033[1X\033[33X\033[0;-2YObject constructors\033[133X\033[101X", "2.7",
[ 2, 7, 0 ], 225, 24, "object constructors", "X824C0CC579E8DD7F" ],
[ "\033[1X\033[33X\033[0;-2YWell-Definedness of Objects\033[133X\033[101X",
"2.8", [ 2, 8, 0 ], 258, 24, "well-definedness of objects",
"X7820B09C781A90A8" ],
[ "\033[1X\033[33X\033[0;-2YSetOfObjects\033[133X\033[101X", "2.9",
[ 2, 9, 0 ], 269, 24, "setofobjects", "X866BE10883381E75" ],
[ "\033[1X\033[33X\033[0;-2YProjectives\033[133X\033[101X", "2.10",
[ 2, 10, 0 ], 289, 25, "projectives", "X7EFAF5CD83C3298F" ],
[ "\033[1X\033[33X\033[0;-2YInjectives\033[133X\033[101X", "2.11",
[ 2, 11, 0 ], 331, 26, "injectives", "X87100AFB7A202D2F" ],
[ "\033[1X\033[33X\033[0;-2YSimplified Objects\033[133X\033[101X", "2.12",
[ 2, 12, 0 ], 373, 26, "simplified objects", "X7DEC418578FAA1C0" ],
[ "\033[1X\033[33X\033[0;-2YDimensions\033[133X\033[101X", "2.13",
[ 2, 13, 0 ], 420, 27, "dimensions", "X814E7CE2792896ED" ],
[ "\033[1X\033[33X\033[0;-2YMorphisms\033[133X\033[101X", "3", [ 3, 0, 0 ],
1, 28, "morphisms", "X7BEB6C617FED52DA" ],
[
"\033[1X\033[33X\033[0;-2YAttributes for the Type of Morphisms\033[133X\\
033[101X", "3.1", [ 3, 1, 0 ], 11, 28, "attributes for the type of morphisms",
"X8642E3327E96BBDD" ],
[
"\033[1X\033[33X\033[0;-2YAdding Morphisms to a Category\033[133X\033[101X"
, "3.2", [ 3, 2, 0 ], 46, 29, "adding morphisms to a category",
"X867B9398854FEFFD" ],
[ "\033[1X\033[33X\033[0;-2YMorphism constructors\033[133X\033[101X",
"3.3", [ 3, 3, 0 ], 98, 30, "morphism constructors",
"X8279E00178F05A66" ],
[
"\033[1X\033[33X\033[0;-2YCategorical Properties of Morphisms\033[133X\033[\
101X", "3.4", [ 3, 4, 0 ], 125, 30, "categorical properties of morphisms",
"X7A00D0C181471D06" ],
[ "\033[1X\033[33X\033[0;-2YRandom Morphisms\033[133X\033[101X", "3.5",
[ 3, 5, 0 ], 184, 31, "random morphisms", "X7B655F2678F605D3" ],
[
"\033[1X\033[33X\033[0;-2YNon-Categorical Properties of Morphisms\033[133X\\
033[101X", "3.6", [ 3, 6, 0 ], 333, 34,
"non-categorical properties of morphisms", "X7EA50D6587A93936" ],
[
"\033[1X\033[33X\033[0;-2YEquality and Congruence for Morphisms\033[133X\\
033[101X", "3.7", [ 3, 7, 0 ], 370, 35,
"equality and congruence for morphisms", "X850CFDD48773998E" ],
[
"\033[1X\033[33X\033[0;-2YBasic Operations for Morphisms in Ab-Categories\\
033[133X\033[101X", "3.8", [ 3, 8, 0 ], 398, 35,
"basic operations for morphisms in ab-categories", "X8312421679CAAE35" ]
,
[
"\033[1X\033[33X\033[0;-2YSubobject and Factorobject Operations\033[133X\\
033[101X", "3.9", [ 3, 9, 0 ], 468, 37,
"subobject and factorobject operations", "X7C81E153817F489F" ],
[
"\033[1X\033[33X\033[0;-2YIdentity Morphism and Composition of Morphisms\\
033[133X\033[101X", "3.10", [ 3, 10, 0 ], 517, 38,
"identity morphism and composition of morphisms", "X82ADC0BF82DA2122" ],
[ "\033[1X\033[33X\033[0;-2YWell-Definedness of Morphisms\033[133X\033[101X"
, "3.11", [ 3, 11, 0 ], 611, 39, "well-definedness of morphisms",
"X7D5182B48598FBC5" ],
[ "\033[1X\033[33X\033[0;-2YLift/Colift\033[133X\033[101X", "3.12",
[ 3, 12, 0 ], 631, 39, "lift/colift", "X83339BB37B01DB19" ],
[ "\033[1X\033[33X\033[0;-2YInverses\033[133X\033[101X", "3.13",
[ 3, 13, 0 ], 756, 42, "inverses", "X864F84C47DC1A620" ],
[ "\033[1X\033[33X\033[0;-2YTool functions for caches\033[133X\033[101X",
"3.14", [ 3, 14, 0 ], 792, 42, "tool functions for caches",
"X7DD668627932185C" ],
[ "\033[1X\033[33X\033[0;-2YIsHomSetInhabited\033[133X\033[101X", "3.15",
[ 3, 15, 0 ], 810, 43, "ishomsetinhabited", "X84563B1A835E9766" ],
[ "\033[1X\033[33X\033[0;-2YSetOfMorphisms\033[133X\033[101X", "3.16",
[ 3, 16, 0 ], 821, 43, "setofmorphisms", "X858111977D44BC9C" ],
[ "\033[1X\033[33X\033[0;-2YHomomorphism structures\033[133X\033[101X",
"3.17", [ 3, 17, 0 ], 839, 43, "homomorphism structures",
"X7F065B9A78922547" ],
[ "\033[1X\033[33X\033[0;-2YSimplified Morphisms\033[133X\033[101X",
"3.18", [ 3, 18, 0 ], 1156, 49, "simplified morphisms",
"X7B39E2927B533D10" ],
[
"\033[1X\033[33X\033[0;-2YReduction by split epi summands\033[133X\033[101X\
", "3.19", [ 3, 19, 0 ], 1369, 52, "reduction by split epi summands",
"X8379B7817AA67F2D" ],
[ "\033[1X\033[33X\033[0;-2YCategory 2-Cells\033[133X\033[101X", "4",
[ 4, 0, 0 ], 1, 54, "category 2-cells", "X7B2650D983390045" ],
[
"\033[1X\033[33X\033[0;-2YAttributes for the Type of 2-Cells\033[133X\033[1\
01X", "4.1", [ 4, 1, 0 ], 4, 54, "attributes for the type of 2-cells",
"X793836877FCD5EC6" ],
[ "\033[1X\033[33X\033[0;-2YAdding 2-Cells to a Category\033[133X\033[101X",
"4.2", [ 4, 2, 0 ], 31, 54, "adding 2-cells to a category",
"X7CB51AC67E08E3A1" ],
[
"\033[1X\033[33X\033[0;-2YIdentity 2-Cell and Composition of 2-Cells\033[13\
3X\033[101X", "4.3", [ 4, 3, 0 ], 54, 55,
"identity 2-cell and composition of 2-cells", "X7B780EDB7E466121" ],
[ "\033[1X\033[33X\033[0;-2YWell-Definedness for 2-Cells\033[133X\033[101X",
"4.4", [ 4, 4, 0 ], 105, 56, "well-definedness for 2-cells",
"X84A60F017943A943" ],
[ "\033[1X\033[33X\033[0;-2YCategory of Categories\033[133X\033[101X", "5",
[ 5, 0, 0 ], 1, 57, "category of categories", "X87C0818C7EFB273D" ],
[ "\033[1X\033[33X\033[0;-2YThe Category Cat\033[133X\033[101X", "5.1",
[ 5, 1, 0 ], 13, 57, "the category cat", "X7A8C280B85B50DE0" ],
[ "\033[1X\033[33X\033[0;-2YCategories\033[133X\033[101X", "5.2",
[ 5, 2, 0 ], 24, 57, "categories", "X7CC6903E78F24167" ],
[ "\033[1X\033[33X\033[0;-2YConstructors\033[133X\033[101X", "5.3",
[ 5, 3, 0 ], 48, 58, "constructors", "X86EC0F0A78ECBC10" ],
[ "\033[1X\033[33X\033[0;-2YFunctors\033[133X\033[101X", "5.4",
[ 5, 4, 0 ], 72, 58, "functors", "X78D1062D78BE08C1" ],
[ "\033[1X\033[33X\033[0;-2YNatural transformations\033[133X\033[101X",
"5.5", [ 5, 5, 0 ], 259, 61, "natural transformations",
"X836749D8814FEEE6" ],
[ "\033[1X\033[33X\033[0;-2YUniversal Objects\033[133X\033[101X", "6",
[ 6, 0, 0 ], 1, 63, "universal objects", "X7994CC1487D7617C" ],
[ "\033[1X\033[33X\033[0;-2YKernel\033[133X\033[101X", "6.1", [ 6, 1, 0 ],
4, 63, "kernel", "X7DCD99628504B810" ],
[ "\033[1X\033[33X\033[0;-2YCokernel\033[133X\033[101X", "6.2",
[ 6, 2, 0 ], 140, 65, "cokernel", "X875F177A82BF9B8B" ],
[ "\033[1X\033[33X\033[0;-2YZero Object\033[133X\033[101X", "6.3",
[ 6, 3, 0 ], 280, 68, "zero object", "X797A74DE8267C974" ],
[ "\033[1X\033[33X\033[0;-2YTerminal Object\033[133X\033[101X", "6.4",
[ 6, 4, 0 ], 415, 70, "terminal object", "X827CD17C7EBFD58F" ],
[ "\033[1X\033[33X\033[0;-2YInitial Object\033[133X\033[101X", "6.5",
[ 6, 5, 0 ], 482, 71, "initial object", "X78B0ED8B80BF5254" ],
[ "\033[1X\033[33X\033[0;-2YDirect Sum\033[133X\033[101X", "6.6",
[ 6, 6, 0 ], 548, 73, "direct sum", "X81FDB99378D1307A" ],
[ "\033[1X\033[33X\033[0;-2YCoproduct\033[133X\033[101X", "6.7",
[ 6, 7, 0 ], 828, 77, "coproduct", "X7E8036DF7AC65994" ],
[ "\033[1X\033[33X\033[0;-2YDirect Product\033[133X\033[101X", "6.8",
[ 6, 8, 0 ], 952, 80, "direct product", "X844C65417FBEA3C7" ],
[ "\033[1X\033[33X\033[0;-2YEqualizer\033[133X\033[101X", "6.9",
[ 6, 9, 0 ], 1074, 82, "equalizer", "X824FD8F786D2350D" ],
[ "\033[1X\033[33X\033[0;-2YCoequalizer\033[133X\033[101X", "6.10",
[ 6, 10, 0 ], 1259, 85, "coequalizer", "X7BA8F7BD793CC288" ],
[ "\033[1X\033[33X\033[0;-2YFiber Product (= Pullback)\033[133X\033[101X",
"6.11", [ 6, 11, 0 ], 1444, 88, "fiber product = pullback",
"X8038824E84B571F8" ],
[ "\033[1X\033[33X\033[0;-2YPushout\033[133X\033[101X", "6.12",
[ 6, 12, 0 ], 1633, 91, "pushout", "X81A2D49D85923894" ],
[ "\033[1X\033[33X\033[0;-2YImage\033[133X\033[101X", "6.13", [ 6, 13, 0 ],
1812, 94, "image", "X87F4D35A826599C6" ],
[ "\033[1X\033[33X\033[0;-2YCoimage\033[133X\033[101X", "6.14",
[ 6, 14, 0 ], 1943, 97, "coimage", "X7EB02EC487B586E5" ],
[
"\033[1X\033[33X\033[0;-2YMorphism between Coimage and Image\033[133X\033[1\
01X", "6.15", [ 6, 15, 0 ], 2077, 99, "morphism between coimage and image",
"X8047F7C57B874495" ],
[ "\033[1X\033[33X\033[0;-2YHomology objects\033[133X\033[101X", "6.16",
[ 6, 16, 0 ], 2118, 100, "homology objects", "X87F38F8284D3137C" ],
[
"\033[1X\033[33X\033[0;-2YProjective covers and injective envelopes\033[133\
X\033[101X", "6.17", [ 6, 17, 0 ], 2202, 101,
"projective covers and injective envelopes", "X81E4AE0B7876230B" ],
[ "\033[1X\033[33X\033[0;-2YAdd Functions\033[133X\033[101X", "7",
[ 7, 0, 0 ], 1, 103, "add functions", "X87A9DB228112DF45" ],
[ "\033[1X\033[33X\033[0;-2YFunctions Installed by Add\033[133X\033[101X",
"7.1", [ 7, 1, 0 ], 7, 103, "functions installed by add",
"X85EC14607B6F66FE" ],
[ "\033[1X\033[33X\033[0;-2YAdd Method\033[133X\033[101X", "7.2",
[ 7, 2, 0 ], 91, 104, "add method", "X85E3D9E07B8BC960" ],
[ "\033[1X\033[33X\033[0;-2YMethod name record entries\033[133X\033[101X",
"7.3", [ 7, 3, 0 ], 114, 105, "method name record entries",
"X7E1C4F9D80329FEC" ],
[
"\033[1X\033[33X\033[0;-2YEnhancing the method name record\033[133X\033[101\
X", "7.4", [ 7, 4, 0 ], 273, 107, "enhancing the method name record",
"X844CF4D187364721" ],
[ "\033[1X\033[33X\033[0;-2YPrepare functions\033[133X\033[101X", "7.5",
[ 7, 5, 0 ], 290, 108, "prepare functions", "X7AFA0108870EE97C" ],
[ "\033[1X\033[33X\033[0;-2YAvailable Add functions\033[133X\033[101X",
"7.6", [ 7, 6, 0 ], 334, 108, "available add functions",
"X829CEC0B8319A503" ],
[ "\033[1X\033[33X\033[0;-2YManaging Derived Methods\033[133X\033[101X",
"8", [ 8, 0, 0 ], 1, 178, "managing derived methods",
"X8397FA067BFF4850" ],
[ "\033[1X\033[33X\033[0;-2YInfo Class\033[133X\033[101X", "8.1",
[ 8, 1, 0 ], 4, 178, "info class", "X7EBFC26F83EB9F72" ],
[ "\033[1X\033[33X\033[0;-2YDerivation Objects\033[133X\033[101X", "8.2",
[ 8, 2, 0 ], 21, 178, "derivation objects", "X85225AB582EE9B06" ],
[ "\033[1X\033[33X\033[0;-2YDerivation Graphs\033[133X\033[101X", "8.3",
[ 8, 3, 0 ], 128, 180, "derivation graphs", "X87186DAD7DF242ED" ],
[
"\033[1X\033[33X\033[0;-2YManaging Derivations in a Category\033[133X\033[1\
01X", "8.4", [ 8, 4, 0 ], 190, 181, "managing derivations in a category",
"X86F129738355A31B" ],
[ "\033[1X\033[33X\033[0;-2YTechnical Details\033[133X\033[101X", "9",
[ 9, 0, 0 ], 1, 184, "technical details", "X87A9EC0A7DF04931" ],
[ "\033[1X\033[33X\033[0;-2YThe Category Cat\033[133X\033[101X", "9.1",
[ 9, 1, 0 ], 4, 184, "the category cat", "X7A8C280B85B50DE0" ],
[ "\033[1X\033[33X\033[0;-2YTools\033[133X\033[101X", "9.2", [ 9, 2, 0 ],
23, 184, "tools", "X8508AEF8845565A1" ],
[ "\033[1X\033[33X\033[0;-2YLimits and Colimits\033[133X\033[101X", "10",
[ 10, 0, 0 ], 1, 195, "limits and colimits", "X857CF4D487158F26" ],
[
"\033[1X\033[33X\033[0;-2YSpecification of Limits and Colimits\033[133X\\
033[101X", "10.1", [ 10, 1, 0 ], 10, 195,
"specification of limits and colimits", "X8588E7B080530988" ],
[
"\033[1X\033[33X\033[0;-2YEnhancing Limit Specifications\033[133X\033[101X"
, "10.2", [ 10, 2, 0 ], 101, 196, "enhancing limit specifications",
"X82DEA53C869D2324" ],
[ "\033[1X\033[33X\033[0;-2YFunctions\033[133X\033[101X", "10.3",
[ 10, 3, 0 ], 133, 197, "functions", "X86FA580F8055B274" ],
[ "\033[1X\033[33X\033[0;-2YThe Category Constructor\033[133X\033[101X",
"11", [ 11, 0, 0 ], 1, 198, "the category constructor",
"X78ADFFF38316E753" ],
[ "\033[1X\033[33X\033[0;-2YInfo class\033[133X\033[101X", "11.1",
[ 11, 1, 0 ], 4, 198, "info class", "X7EBFC26F83EB9F72" ],
[ "\033[1X\033[33X\033[0;-2YConstructors\033[133X\033[101X", "11.2",
[ 11, 2, 0 ], 13, 198, "constructors", "X86EC0F0A78ECBC10" ],
[
"\033[1X\033[33X\033[0;-2YReinterpretations of categories\033[133X\033[101X\
", "12", [ 12, 0, 0 ], 1, 201, "reinterpretations of categories",
"X786E618B7E5FA5FA" ],
[ "\033[1X\033[33X\033[0;-2YIntroduction\033[133X\033[101X", "12.1",
[ 12, 1, 0 ], 4, 201, "introduction", "X7DFB63A97E67C0A1" ],
[ "\033[1X\033[33X\033[0;-2YTutorial\033[133X\033[101X", "12.2",
[ 12, 2, 0 ], 45, 201, "tutorial", "X81932F777898AD72" ],
[ "\033[1X\033[33X\033[0;-2YImplementation details\033[133X\033[101X",
"12.3", [ 12, 3, 0 ], 123, 203, "implementation details",
"X7AB84A0B83B2C1F1" ],
[
"\033[1X\033[33X\033[0;-2YRelation to \033[10XCompilerForCAP\033[110X\033[1\
01X\027\033[1X\027\033[133X\033[101X", "12.4", [ 12, 4, 0 ], 149, 203,
"relation to compilerforcap", "X856FF3B57FF7C2FD" ],
[ "\033[1X\033[33X\033[0;-2YAttributes\033[133X\033[101X", "12.5",
[ 12, 5, 0 ], 171, 204, "attributes", "X7C701DBF7BAE649A" ],
[ "\033[1X\033[33X\033[0;-2YConstructors\033[133X\033[101X", "12.6",
[ 12, 6, 0 ], 181, 204, "constructors", "X86EC0F0A78ECBC10" ],
[
"\033[1X\033[33X\033[0;-2YCreate wrapper hulls of a category\033[133X\033[1\
01X", "13", [ 13, 0, 0 ], 1, 206, "create wrapper hulls of a category",
"X85EE0CDD7D162BC7" ],
[ "\033[1X\033[33X\033[0;-2YGAP categories\033[133X\033[101X", "13.1",
[ 13, 1, 0 ], 4, 206, "gap categories", "X7D03633A7D98026B" ],
[ "\033[1X\033[33X\033[0;-2YAttributes\033[133X\033[101X", "13.2",
[ 13, 2, 0 ], 28, 206, "attributes", "X7C701DBF7BAE649A" ],
[ "\033[1X\033[33X\033[0;-2YConstructors\033[133X\033[101X", "13.3",
[ 13, 3, 0 ], 45, 207, "constructors", "X86EC0F0A78ECBC10" ],
[ "\033[1X\033[33X\033[0;-2YDummy implementations\033[133X\033[101X", "14",
[ 14, 0, 0 ], 1, 209, "dummy implementations", "X7CA5B46383A5CE09" ],
[ "\033[1X\033[33X\033[0;-2YDummy rings\033[133X\033[101X", "14.1",
[ 14, 1, 0 ], 11, 209, "dummy rings", "X7B19E3AE7AB1B31B" ],
[ "\033[1X\033[33X\033[0;-2YDummy categories\033[133X\033[101X", "14.2",
[ 14, 2, 0 ], 65, 210, "dummy categories", "X82A623E78640E822" ],
[ "\033[1X\033[33X\033[0;-2YDummy homalg rings\033[133X\033[101X", "14.3",
[ 14, 3, 0 ], 102, 211, "dummy homalg rings", "X7D79D0478599BC12" ],
[ "\033[1X\033[33X\033[0;-2YTerminal category\033[133X\033[101X", "15",
[ 15, 0, 0 ], 1, 213, "terminal category", "X7EA29B7D7BA60F42" ],
[
"\033[1X\033[33X\033[0;-2Y\033[5XGAP\033[105X\033[101X\027\033[1X\027 Categ\
ories\033[133X\033[101X", "15.1", [ 15, 1, 0 ], 4, 213, "gap categories",
"X7D03633A7D98026B" ],
[ "\033[1X\033[33X\033[0;-2YConstructors\033[133X\033[101X", "15.2",
[ 15, 2, 0 ], 56, 214, "constructors", "X86EC0F0A78ECBC10" ],
[ "\033[1X\033[33X\033[0;-2YAttributes\033[133X\033[101X", "15.3",
[ 15, 3, 0 ], 82, 214, "attributes", "X7C701DBF7BAE649A" ],
[
"\033[1X\033[33X\033[0;-2YFinite skeletal discrete categories\033[133X\033[\
101X", "16", [ 16, 0, 0 ], 1, 216, "finite skeletal discrete categories",
"X7BAE6D0285667B1F" ],
[
"\033[1X\033[33X\033[0;-2Y\033[5XGAP\033[105X\033[101X\027\033[1X\027 Categ\
ories\033[133X\033[101X", "16.1", [ 16, 1, 0 ], 4, 216, "gap categories",
"X7D03633A7D98026B" ],
[ "\033[1X\033[33X\033[0;-2YConstructors\033[133X\033[101X", "16.2",
[ 16, 2, 0 ], 28, 216, "constructors", "X86EC0F0A78ECBC10" ],
[ "\033[1X\033[33X\033[0;-2YAttributes\033[133X\033[101X", "16.3",
[ 16, 3, 0 ], 38, 216, "attributes", "X7C701DBF7BAE649A" ],
[ "\033[1X\033[33X\033[0;-2YProperties\033[133X\033[101X", "16.4",
[ 16, 4, 0 ], 56, 217, "properties", "X871597447BB998A1" ],
[ "\033[1X\033[33X\033[0;-2YExamples and Tests\033[133X\033[101X", "17",
[ 17, 0, 0 ], 1, 218, "examples and tests", "X7967FE8E7BBDF485" ],
[ "\033[1X\033[33X\033[0;-2YDummy implementations\033[133X\033[101X",
"17.1", [ 17, 1, 0 ], 4, 218, "dummy implementations",
"X7CA5B46383A5CE09" ],
[ "\033[1X\033[33X\033[0;-2YDummy categories\033[133X\033[101X", "17.1-1",
[ 17, 1, 1 ], 7, 218, "dummy categories", "X82A623E78640E822" ],
[ "\033[1X\033[33X\033[0;-2YDummy rings\033[133X\033[101X", "17.1-2",
[ 17, 1, 2 ], 33, 218, "dummy rings", "X7B19E3AE7AB1B31B" ],
[
"\033[1X\033[33X\033[0;-2YFinite skeletal discrete categories\033[133X\033[\
101X", "17.2", [ 17, 2, 0 ], 63, 219, "finite skeletal discrete categories",
"X7BAE6D0285667B1F" ],
[ "\033[1X\033[33X\033[0;-2YFunctors\033[133X\033[101X", "17.3",
[ 17, 3, 0 ], 101, 220, "functors", "X78D1062D78BE08C1" ],
[ "\033[1X\033[33X\033[0;-2YHandlePrecompiledTowers\033[133X\033[101X",
"17.4", [ 17, 4, 0 ], 182, 221, "handleprecompiledtowers",
"X7B339750826300B4" ],
[ "\033[1X\033[33X\033[0;-2YTerminal category\033[133X\033[101X", "17.5",
[ 17, 5, 0 ], 212, 221, "terminal category", "X7EA29B7D7BA60F42" ],
[
"\033[1X\033[33X\033[0;-2YCAP automatic generated documentation\033[133X\\
033[101X", "18", [ 18, 0, 0 ], 1, 226, "cap automatic generated documentation"
, "X86293D7E84FD8A71" ],
[
"\033[1X\033[33X\033[0;-2YCAP automatic generated documentation of properti\
es\033[133X\033[101X", "18.1", [ 18, 1, 0 ], 4, 226,
"cap automatic generated documentation of properties",
"X7F15B2867CEBDC5D" ],
[ "Index", "ind", [ "Ind", 0, 0 ], 1, 227, "index", "X83A0356F839C696F" ],
[ "\033[2XIsCapCategory\033[102X for IsAttributeStoringRep", "1.1-1",
[ 1, 1, 1 ], 76, 7, "iscapcategory for isattributestoringrep",
"X80E47D0E86A9F916" ],
[ "\033[2XIsCapCategoryCell\033[102X for IsAttributeStoringRep", "1.1-2",
[ 1, 1, 2 ], 86, 7, "iscapcategorycell for isattributestoringrep",
"X7E2CFDC482566454" ],
[ "\033[2XIsCapCategoryObject\033[102X for IsCapCategoryCell", "1.1-3",
[ 1, 1, 3 ], 94, 7, "iscapcategoryobject for iscapcategorycell",
"X7DAEF54180094D1E" ],
[ "\033[2XIsCapCategoryMorphism\033[102X for IsCapCategoryCell", "1.1-4",
[ 1, 1, 4 ], 102, 7, "iscapcategorymorphism for iscapcategorycell",
"X84413C4978765A3F" ],
[ "\033[2XIsCapCategoryTwoCell\033[102X for IsCapCategoryCell", "1.1-5",
[ 1, 1, 5 ], 110, 7, "iscapcategorytwocell for iscapcategorycell",
"X7F3B964286D98710" ],
[ "\033[2XAddCategoricalProperty\033[102X", "1.2-1", [ 1, 2, 1 ], 121, 7,
"addcategoricalproperty", "X7D6EA1307DFCCE46" ],
[ "\033[2XIsObjectFiniteCategory\033[102X for IsCapCategory", "1.2-2",
[ 1, 2, 2 ], 131, 8, "isobjectfinitecategory for iscapcategory",
"X806B382F8077EB7B" ],
[ "\033[2XIsFiniteCategory\033[102X for IsCapCategory", "1.2-3",
[ 1, 2, 3 ], 138, 8, "isfinitecategory for iscapcategory",
"X8296B39C789BE6A9" ],
[ "\033[2XIsFinite\033[102X for IsCapCategory", "1.2-4", [ 1, 2, 4 ], 145,
8, "isfinite for iscapcategory", "X8347FF9C81E7385C" ],
[ "\033[2XIsEquivalentToFiniteCategory\033[102X for IsCapCategory",
"1.2-5", [ 1, 2, 5 ], 152, 8,
"isequivalenttofinitecategory for iscapcategory", "X8572BE547C73D308" ],
[ "\033[2XIsEquippedWithHomomorphismStructure\033[102X for IsCapCategory",
"1.2-6", [ 1, 2, 6 ], 159, 8,
"isequippedwithhomomorphismstructure for iscapcategory",
"X83F78D2C7AAC115D" ],
[ "\033[2XIsCategoryWithDecidableLifts\033[102X for IsCapCategory",
"1.2-7", [ 1, 2, 7 ], 166, 8,
"iscategorywithdecidablelifts for iscapcategory", "X829DB5497D58C7E5" ],
[ "\033[2XIsCategoryWithDecidableColifts\033[102X for IsCapCategory",
"1.2-8", [ 1, 2, 8 ], 173, 8,
"iscategorywithdecidablecolifts for iscapcategory", "X7C22FA787967E694"
], [ "\033[2XIsCategoryWithInitialObject\033[102X for IsCapCategory",
"1.2-9", [ 1, 2, 9 ], 180, 8,
"iscategorywithinitialobject for iscapcategory", "X7C2B7A5F87EE5322" ],
[ "\033[2XIsCategoryWithTerminalObject\033[102X for IsCapCategory",
"1.2-10", [ 1, 2, 10 ], 187, 9,
"iscategorywithterminalobject for iscapcategory", "X828327367FA16BDD" ],
[ "\033[2XIsCategoryWithZeroObject\033[102X for IsCapCategory", "1.2-11",
[ 1, 2, 11 ], 194, 9, "iscategorywithzeroobject for iscapcategory",
"X7BFEEC3779A5EE2F" ],
[ "\033[2XIsCategoryWithEqualizers\033[102X for IsCapCategory", "1.2-12",
[ 1, 2, 12 ], 201, 9, "iscategorywithequalizers for iscapcategory",
"X8451BCF67F0C4F62" ],
[ "\033[2XIsCategoryWithCoequalizers\033[102X for IsCapCategory", "1.2-13",
[ 1, 2, 13 ], 208, 9, "iscategorywithcoequalizers for iscapcategory",
"X79D864BB79744E4E" ],
[
"\033[2XIsEnrichedOverCommutativeRegularSemigroup\033[102X for IsCapCategor\
y", "1.2-14", [ 1, 2, 14 ], 215, 9,
"isenrichedovercommutativeregularsemigroup for iscapcategory",
"X82C2B6D37DA78465" ],
[ "\033[2XIsSkeletalCategory\033[102X for IsCapCategory", "1.2-15",
[ 1, 2, 15 ], 223, 9, "isskeletalcategory for iscapcategory",
"X7DBCD7237CF9100A" ],
[ "\033[2XIsAbCategory\033[102X for IsCapCategory", "1.2-16", [ 1, 2, 16 ],
231, 9, "isabcategory for iscapcategory", "X79295B4680B0F22B" ],
[ "\033[2XIsLinearCategoryOverCommutativeRing\033[102X for IsCapCategory",
"1.2-17", [ 1, 2, 17 ], 238, 9,
"islinearcategoryovercommutativering for iscapcategory",
"X861DBAC181A15E1F" ],
[
"\033[2XIsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExterna\
lHoms\033[102X for IsCapCategory", "1.2-18", [ 1, 2, 18 ], 245, 10,
"islinearcategoryovercommutativeringwithfinitelygeneratedfreeexternalhom\
s for iscapcategory", "X86D45F0D7804F023" ],
[ "\033[2XIsCategoryWithKernels\033[102X for IsCapCategory", "1.2-19",
[ 1, 2, 19 ], 253, 10, "iscategorywithkernels for iscapcategory",
"X7EB29BA681AE1F28" ],
[ "\033[2XIsCategoryWithCokernels\033[102X for IsCapCategory", "1.2-20",
[ 1, 2, 20 ], 260, 10, "iscategorywithcokernels for iscapcategory",
"X8226AEFF7F6F7FC3" ],
[ "\033[2XIsAdditiveCategory\033[102X for IsCapCategory", "1.2-21",
[ 1, 2, 21 ], 267, 10, "isadditivecategory for iscapcategory",
"X87C4C37D7F75E681" ],
[ "\033[2XIsPreAbelianCategory\033[102X for IsCapCategory", "1.2-22",
[ 1, 2, 22 ], 274, 10, "ispreabeliancategory for iscapcategory",
"X7A64E2B978685471" ],
[ "\033[2XIsAbelianCategory\033[102X for IsCapCategory", "1.2-23",
[ 1, 2, 23 ], 281, 10, "isabeliancategory for iscapcategory",
"X79DB288F84457967" ],
[ "\033[2XIsAbelianCategoryWithEnoughProjectives\033[102X for IsCapCategory"
, "1.2-24", [ 1, 2, 24 ], 288, 10,
"isabeliancategorywithenoughprojectives for iscapcategory",
"X83EDCC4886FEE4B1" ],
[ "\033[2XIsAbelianCategoryWithEnoughInjectives\033[102X for IsCapCategory",
"1.2-25", [ 1, 2, 25 ], 295, 11,
"isabeliancategorywithenoughinjectives for iscapcategory",
"X860EB7977F78EE3F" ],
[ "\033[2XIsLocallyOfFiniteProjectiveDimension\033[102X for IsCapCategory",
"1.2-26", [ 1, 2, 26 ], 302, 11,
"islocallyoffiniteprojectivedimension for iscapcategory",
"X87AA6D6282FD1C02" ],
[ "\033[2XIsLocallyOfFiniteInjectiveDimension\033[102X for IsCapCategory",
"1.2-27", [ 1, 2, 27 ], 309, 11,
"islocallyoffiniteinjectivedimension for iscapcategory",
"X7EDD2B4386ABE96E" ],
[ "\033[2XListOfDefiningOperations\033[102X", "1.2-28", [ 1, 2, 28 ], 316,
11, "listofdefiningoperations", "X87434CEF86BC38D4" ],
[ "\033[2XCreateCapCategory\033[102X", "1.3-1", [ 1, 3, 1 ], 328, 11,
"createcapcategory", "X86EDB84D7E3F0194" ],
[ "\033[2XCreateCapCategory\033[102X for IsString", "1.3-2", [ 1, 3, 2 ],
335, 11, "createcapcategory for isstring", "X854CC42E828C120D" ],
[
"\033[2XCreateCapCategory\033[102X for IsString, IsFunction, IsFunction, Is\
Function, IsFunction", "1.3-3", [ 1, 3, 3 ], 343, 11,
"createcapcategory for isstring isfunction isfunction isfunction isfunct\
ion", "X7A1D562178FC3DDF" ],
[ "\033[2XCreateCapCategoryWithDataTypes\033[102X", "1.3-4", [ 1, 3, 4 ],
352, 12, "createcapcategorywithdatatypes", "X8090078F7C5EF5E9" ],
[ "\033[2XName\033[102X for IsCapCategory", "1.4-1", [ 1, 4, 1 ], 368, 12,
"name for iscapcategory", "X79251D5C85B0F3D3" ],
[ "\033[2XCategoryFilter\033[102X for IsCapCategory", "1.4-2", [ 1, 4, 2 ],
378, 12, "categoryfilter for iscapcategory", "X7C7B1EAF7D786508" ],
[ "\033[2XObjectFilter\033[102X for IsCapCategory", "1.4-3", [ 1, 4, 3 ],
385, 12, "objectfilter for iscapcategory", "X7BD6E2B887F86E9C" ],
[ "\033[2XMorphismFilter\033[102X for IsCapCategory", "1.4-4", [ 1, 4, 4 ],
393, 12, "morphismfilter for iscapcategory", "X7F62E0C47C778CBB" ],
[ "\033[2XTwoCellFilter\033[102X for IsCapCategory", "1.4-5", [ 1, 4, 5 ],
401, 13, "twocellfilter for iscapcategory", "X850D0E978090D0C0" ],
[ "\033[2XObjectDatumType\033[102X for IsCapCategory", "1.4-6",
[ 1, 4, 6 ], 409, 13, "objectdatumtype for iscapcategory",
"X834BBE4085A42FAC" ],
[ "\033[2XMorphismDatumType\033[102X for IsCapCategory", "1.4-7",
[ 1, 4, 7 ], 418, 13, "morphismdatumtype for iscapcategory",
"X8090D81F78B1F25A" ],
[ "\033[2XTwoCellDatumType\033[102X for IsCapCategory", "1.4-8",
[ 1, 4, 8 ], 427, 13, "twocelldatumtype for iscapcategory",
"X850E7C0C807F3402" ],
[ "\033[2XCommutativeRingOfLinearCategory\033[102X for IsCapCategory",
"1.4-9", [ 1, 4, 9 ], 436, 13,
"commutativeringoflinearcategory for iscapcategory",
"X78D0C0057817DBC3" ],
[ "\033[2XRangeCategoryOfHomomorphismStructure\033[102X for IsCapCategory",
"1.4-10", [ 1, 4, 10 ], 445, 13,
"rangecategoryofhomomorphismstructure for iscapcategory",
"X80AF18E4797A5BB4" ],
[ "\033[2XAdditiveGenerators\033[102X for IsCapCategory", "1.4-11",
[ 1, 4, 11 ], 455, 14, "additivegenerators for iscapcategory",
"X7CF2F93F8258DAD5" ],
[ "\033[2XIndecomposableProjectiveObjects\033[102X for IsCapCategory",
"1.4-12", [ 1, 4, 12 ], 463, 14,
"indecomposableprojectiveobjects for iscapcategory",
"X7E094E2680348C88" ],
[ "\033[2XIndecomposableInjectiveObjects\033[102X for IsCapCategory",
"1.4-13", [ 1, 4, 13 ], 473, 14,
"indecomposableinjectiveobjects for iscapcategory", "X85E6A5AF7DDA4F2C"
], [ "\033[2XCapCategorySwitchLogicPropagationForObjectsOn\033[102X",
"1.5-1", [ 1, 5, 1 ], 486, 14,
"capcategoryswitchlogicpropagationforobjectson", "X82C32E8C790EAB42" ],
[ "\033[2XCapCategorySwitchLogicPropagationForObjectsOff\033[102X",
"1.5-2", [ 1, 5, 2 ], 493, 14,
"capcategoryswitchlogicpropagationforobjectsoff", "X7FEF6F218491CD45" ],
[ "\033[2XCapCategorySwitchLogicPropagationForMorphismsOn\033[102X",
"1.5-3", [ 1, 5, 3 ], 500, 14,
"capcategoryswitchlogicpropagationformorphismson", "X80C98B547A76705D" ]
, [ "\033[2XCapCategorySwitchLogicPropagationForMorphismsOff\033[102X",
"1.5-4", [ 1, 5, 4 ], 507, 14,
"capcategoryswitchlogicpropagationformorphismsoff", "X86469EBF8261E1D4"
], [ "\033[2XCapCategorySwitchLogicPropagationOn\033[102X", "1.5-5",
[ 1, 5, 5 ], 514, 15, "capcategoryswitchlogicpropagationon",
"X7C06E84F78D82C0D" ],
[ "\033[2XCapCategorySwitchLogicPropagationOff\033[102X", "1.5-6",
[ 1, 5, 6 ], 521, 15, "capcategoryswitchlogicpropagationoff",
"X84F114757E964E1E" ],
[ "\033[2XCapCategorySwitchLogicOn\033[102X", "1.5-7", [ 1, 5, 7 ], 528,
15, "capcategoryswitchlogicon", "X84824AC3793D872B" ],
[ "\033[2XCapCategorySwitchLogicOff\033[102X", "1.5-8", [ 1, 5, 8 ], 534,
15, "capcategoryswitchlogicoff", "X84A995A687D031B7" ],
[ "\033[2XCanCompute\033[102X for IsCapCategory, IsString", "1.6-1",
[ 1, 6, 1 ], 543, 15, "cancompute for iscapcategory isstring",
"X851D0435816DDB40" ],
[ "\033[2XCanCompute\033[102X for IsCapCategory, IsFunction", "1.6-1",
[ 1, 6, 1 ], 543, 15, "cancompute for iscapcategory isfunction",
"X851D0435816DDB40" ],
[ "\033[2XOperationWeight\033[102X for IsCapCategory, IsString", "1.6-2",
[ 1, 6, 2 ], 555, 15, "operationweight for iscapcategory isstring",
"X820DD63180AE4BAB" ],
[
"\033[2XMissingOperationsForConstructivenessOfCategory\033[102X for IsCapCa\
tegory, IsStringRep", "1.6-3", [ 1, 6, 3 ], 562, 15,
"missingoperationsforconstructivenessofcategory for iscapcategory isstri\
ngrep", "X7AA6C5857FB663EB" ],
[ "\033[2XIsWellDefined\033[102X for IsCapCategoryCell", "1.7-1",
[ 1, 7, 1 ], 575, 16, "iswelldefined for iscapcategorycell",
"X839EA4D7805D4F97" ],
[ "\033[2XDown\033[102X for IsObject", "1.8-1", [ 1, 8, 1 ], 586, 16,
"down for isobject", "X8790DC5F7A2BD22E" ],
[ "\033[2XDownOnlyMorphismData\033[102X for IsCapCategoryMorphism",
"1.8-2", [ 1, 8, 2 ], 599, 16,
"downonlymorphismdata for iscapcategorymorphism", "X858B64487B2DA04E" ],
[ "\033[2XDownToBottom\033[102X for IsObject", "1.8-3", [ 1, 8, 3 ], 608,
16, "downtobottom for isobject", "X7BABD65A821C138F" ],
[ "\033[2XSetCachingOfCategory\033[102X", "1.9-1", [ 1, 9, 1 ], 619, 16,
"setcachingofcategory", "X7DB820A686B4059F" ],
[ "\033[2XSetCachingOfCategoryWeak\033[102X", "1.9-2", [ 1, 9, 2 ], 625,
17, "setcachingofcategoryweak", "X87AA14F27892F14F" ],
[ "\033[2XSetCachingOfCategoryCrisp\033[102X", "1.9-2", [ 1, 9, 2 ], 625,
17, "setcachingofcategorycrisp", "X87AA14F27892F14F" ],
[ "\033[2XDeactivateCachingOfCategory\033[102X", "1.9-2", [ 1, 9, 2 ], 625,
17, "deactivatecachingofcategory", "X87AA14F27892F14F" ],
[ "\033[2XSetDefaultCaching\033[102X", "1.9-3", [ 1, 9, 3 ], 633, 17,
"setdefaultcaching", "X844903657E52E6D1" ],
[ "\033[2XSetDefaultCachingWeak\033[102X", "1.9-3", [ 1, 9, 3 ], 633, 17,
"setdefaultcachingweak", "X844903657E52E6D1" ],
[ "\033[2XSetDefaultCachingCrisp\033[102X", "1.9-3", [ 1, 9, 3 ], 633, 17,
"setdefaultcachingcrisp", "X844903657E52E6D1" ],
[ "\033[2XDeactivateDefaultCaching\033[102X", "1.9-3", [ 1, 9, 3 ], 633,
17, "deactivatedefaultcaching", "X844903657E52E6D1" ],
[ "\033[2XDisableInputSanityChecks\033[102X", "1.10-1", [ 1, 10, 1 ], 646,
17, "disableinputsanitychecks", "X7BB84C7B83FE3D80" ],
[ "\033[2XDisableOutputSanityChecks\033[102X", "1.10-1", [ 1, 10, 1 ], 646,
17, "disableoutputsanitychecks", "X7BB84C7B83FE3D80" ],
[ "\033[2XEnablePartialInputSanityChecks\033[102X", "1.10-1", [ 1, 10, 1 ],
646, 17, "enablepartialinputsanitychecks", "X7BB84C7B83FE3D80" ],
[ "\033[2XEnablePartialOutputSanityChecks\033[102X", "1.10-1",
[ 1, 10, 1 ], 646, 17, "enablepartialoutputsanitychecks",
"X7BB84C7B83FE3D80" ],
[ "\033[2XEnableFullInputSanityChecks\033[102X", "1.10-1", [ 1, 10, 1 ],
646, 17, "enablefullinputsanitychecks", "X7BB84C7B83FE3D80" ],
[ "\033[2XEnableFullOutputSanityChecks\033[102X", "1.10-1", [ 1, 10, 1 ],
646, 17, "enablefulloutputsanitychecks", "X7BB84C7B83FE3D80" ],
[ "\033[2XDisableSanityChecks\033[102X", "1.10-1", [ 1, 10, 1 ], 646, 17,
"disablesanitychecks", "X7BB84C7B83FE3D80" ],
[ "\033[2XEnablePartialSanityChecks\033[102X", "1.10-1", [ 1, 10, 1 ], 646,
17, "enablepartialsanitychecks", "X7BB84C7B83FE3D80" ],
[ "\033[2XEnableFullSanityChecks\033[102X", "1.10-1", [ 1, 10, 1 ], 646,
17, "enablefullsanitychecks", "X7BB84C7B83FE3D80" ],
[ "\033[2XEnableTimingStatistics\033[102X", "1.11-1", [ 1, 11, 1 ], 667,
17, "enabletimingstatistics", "X86C6F8828628B070" ],
[ "\033[2XDisableTimingStatistics\033[102X", "1.11-1", [ 1, 11, 1 ], 667,
17, "disabletimingstatistics", "X86C6F8828628B070" ],
[ "\033[2XResetTimingStatistics\033[102X", "1.11-1", [ 1, 11, 1 ], 667, 17,
"resettimingstatistics", "X86C6F8828628B070" ],
[ "\033[2XDisplayTimingStatistics\033[102X", "1.11-1", [ 1, 11, 1 ], 667,
17, "displaytimingstatistics", "X86C6F8828628B070" ],
[ "\033[2XBrowseTimingStatistics\033[102X", "1.11-1", [ 1, 11, 1 ], 667,
17, "browsetimingstatistics", "X86C6F8828628B070" ],
[ "\033[2XEnableAddForCategoricalOperations\033[102X", "1.12-1",
[ 1, 12, 1 ], 683, 18, "enableaddforcategoricaloperations",
"X7C01E3727D08D219" ],
[ "\033[2XDisableAddForCategoricalOperations\033[102X", "1.12-1",
[ 1, 12, 1 ], 683, 18, "disableaddforcategoricaloperations",
"X7C01E3727D08D219" ],
[ "\033[2XLaTeXOutput\033[102X for IsCapCategoryCell", "1.14-1",
[ 1, 14, 1 ], 729, 18, "latexoutput for iscapcategorycell",
"X831B157D7CC3DDA3" ],
[ "\033[2XLaTeXOutput\033[102X for IsCapCategory", "1.14-2", [ 1, 14, 2 ],
737, 19, "latexoutput for iscapcategory", "X7B34A09D7AF0F683" ],
[ "\033[2XCapCategory\033[102X for IsCapCategoryObject", "2.1-1",
[ 2, 1, 1 ], 14, 20, "capcategory for iscapcategoryobject",
"X7C3B8C3D865002C8" ],
[ "\033[2XAdd\033[102X for IsCapCategory, IsCapCategoryObject", "2.2-1",
[ 2, 2, 1 ], 25, 20, "add for iscapcategory iscapcategoryobject",
"X824AE09A81D2B184" ],
[ "\033[2XAddObject\033[102X for IsCapCategory, IsAttributeStoringRep",
"2.2-2", [ 2, 2, 2 ], 31, 20,
"addobject for iscapcategory isattributestoringrep",
"X855C644A812F32B7" ],
[ "\033[2XCreateCapCategoryObjectWithAttributes\033[102X", "2.2-3",
[ 2, 2, 3 ], 38, 20, "createcapcategoryobjectwithattributes",
"X87BD8BB88206D940" ],
[ "\033[2XAsCapCategoryObject\033[102X", "2.2-4", [ 2, 2, 4 ], 45, 21,
"ascapcategoryobject", "X7F5D75377B0D54A6" ],
[ "\033[2XAsPrimitiveValue\033[102X for IsCapCategoryObject", "2.2-5",
[ 2, 2, 5 ], 53, 21, "asprimitivevalue for iscapcategoryobject",
"X7FAE21CF84BD7986" ],
[ "\033[2XAsInteger\033[102X for IsCapCategoryObject", "2.2-5",
[ 2, 2, 5 ], 53, 21, "asinteger for iscapcategoryobject",
"X7FAE21CF84BD7986" ],
[ "\033[2XAsHomalgMatrix\033[102X for IsCapCategoryObject", "2.2-5",
[ 2, 2, 5 ], 53, 21, "ashomalgmatrix for iscapcategoryobject",
"X7FAE21CF84BD7986" ],
[
"\033[2XIsEqualForObjects\033[102X for IsCapCategoryObject, IsCapCategoryOb\
ject", "2.3-1", [ 2, 3, 1 ], 77, 21,
"isequalforobjects for iscapcategoryobject iscapcategoryobject",
"X8337569D81C0BBEC" ],
[
"\033[2XIsIsomorphicForObjects\033[102X for IsCapCategoryObject, IsCapCateg\
oryObject", "2.3-2", [ 2, 3, 2 ], 85, 21,
"isisomorphicforobjects for iscapcategoryobject iscapcategoryobject",
"X7C34D06C7ABE563F" ],
[
"\033[2XSomeIsomorphismBetweenObjects\033[102X for IsCapCategoryObject, IsC\
apCategoryObject", "2.3-3", [ 2, 3, 3 ], 94, 21,
"someisomorphismbetweenobjects for iscapcategoryobject iscapcategoryobje\
ct", "X7D3407D68401C878" ],
[ "\033[2XIsBijectiveObject\033[102X for IsCapCategoryObject", "2.4-1",
[ 2, 4, 1 ], 105, 22, "isbijectiveobject for iscapcategoryobject",
"X854468CF79122D57" ],
[ "\033[2XIsProjective\033[102X for IsCapCategoryObject", "2.4-2",
[ 2, 4, 2 ], 113, 22, "isprojective for iscapcategoryobject",
"X849A94147D3446BE" ],
[ "\033[2XIsInjective\033[102X for IsCapCategoryObject", "2.4-3",
[ 2, 4, 3 ], 121, 22, "isinjective for iscapcategoryobject",
"X8788D5A27EC1F994" ],
[ "\033[2XIsTerminal\033[102X for IsCapCategoryObject", "2.4-4",
[ 2, 4, 4 ], 129, 22, "isterminal for iscapcategoryobject",
"X7D3542EE7A8448A7" ],
[ "\033[2XIsInitial\033[102X for IsCapCategoryObject", "2.4-5",
[ 2, 4, 5 ], 138, 22, "isinitial for iscapcategoryobject",
"X83F6095A80DCCDC3" ],
[ "\033[2XIsZeroForObjects\033[102X for IsCapCategoryObject", "2.4-6",
[ 2, 4, 6 ], 147, 22, "iszeroforobjects for iscapcategoryobject",
"X856FA5E084753312" ],
[ "\033[2XIsZero\033[102X for IsCapCategoryObject", "2.4-7", [ 2, 4, 7 ],
156, 22, "iszero for iscapcategoryobject", "X824765AD78E027CC" ],
[ "\033[2XRandomObjectByInteger\033[102X for IsCapCategory, IsInt",
"2.5-1", [ 2, 5, 1 ], 180, 23,
"randomobjectbyinteger for iscapcategory isint", "X85A6C3687C46085F" ],
[ "\033[2XRandomObjectByList\033[102X for IsCapCategory, IsList", "2.5-2",
[ 2, 5, 2 ], 188, 23, "randomobjectbylist for iscapcategory islist",
"X7EEC27307C4B06E8" ],
[ "\033[2XRandomObject\033[102X for IsCapCategory, IsInt", "2.5-3",
[ 2, 5, 3 ], 196, 23, "randomobject for iscapcategory isint",
"X7E0974E58188E6FB" ],
[ "\033[2XRandomObject\033[102X for IsCapCategory, IsList", "2.5-4",
[ 2, 5, 4 ], 203, 23, "randomobject for iscapcategory islist",
"X7AF3D62C7F8F40AE" ],
[
"\033[2XIsEqualForCacheForObjects\033[102X for IsCapCategoryObject, IsCapCa\
tegoryObject", "2.6-1", [ 2, 6, 1 ], 210, 23,
"isequalforcacheforobjects for iscapcategoryobject iscapcategoryobject",
"X7BAE9BBC874635CB" ],
[ "\033[2XObjectConstructor\033[102X for IsCapCategory, IsObject", "2.7-1",
[ 2, 7, 1 ], 228, 24, "objectconstructor for iscapcategory isobject",
"X825D050A8674D377" ],
[ "\033[2X/\033[102X for IsObject, IsCapCategory", "2.7-2", [ 2, 7, 2 ],
239, 24, "/ for isobject iscapcategory", "X7C6745F27FBA23F7" ],
[ "\033[2XObjectDatum\033[102X for IsCapCategoryObject", "2.7-3",
[ 2, 7, 3 ], 246, 24, "objectdatum for iscapcategoryobject",
"X8521A36F7BBFF6BD" ],
[ "\033[2XIsWellDefinedForObjects\033[102X for IsCapCategoryObject",
"2.8-1", [ 2, 8, 1 ], 261, 24,
"iswelldefinedforobjects for iscapcategoryobject", "X7F9A38A187D9ABFA" ]
, [ "\033[2XSetOfObjectsOfCategory\033[102X for IsCapCategory", "2.9-1",
[ 2, 9, 1 ], 272, 24, "setofobjectsofcategory for iscapcategory",
"X8047E157804C680E" ],
[ "\033[2XSetOfObjects\033[102X for IsCapCategory", "2.9-2", [ 2, 9, 2 ],
280, 25, "setofobjects for iscapcategory", "X7B77708881BFE682" ],
[ "\033[2XSomeProjectiveObject\033[102X for IsCapCategoryObject", "2.10-1",
[ 2, 10, 1 ], 296, 25, "someprojectiveobject for iscapcategoryobject",
"X7FED5E898784C314" ],
[
"\033[2XEpimorphismFromSomeProjectiveObject\033[102X for IsCapCategoryObjec\
t", "2.10-2", [ 2, 10, 2 ], 304, 25,
"epimorphismfromsomeprojectiveobject for iscapcategoryobject",
"X7D5951AA7EBD7750" ],
[
"\033[2XEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject\\
033[102X for IsCapCategoryObject, IsCapCategoryObject", "2.10-3",
[ 2, 10, 3 ], 313, 25,
"epimorphismfromsomeprojectiveobjectwithgivensomeprojectiveobject for is\
capcategoryobject iscapcategoryobject", "X81F04D8186B94570" ],
[
"\033[2XProjectiveLift\033[102X for IsCapCategoryMorphism, IsCapCategoryMor\
phism", "2.10-4", [ 2, 10, 4 ], 322, 25,
"projectivelift for iscapcategorymorphism iscapcategorymorphism",
"X7BFFD7FE82DCB5F6" ],
[ "\033[2XSomeInjectiveObject\033[102X for IsCapCategoryObject", "2.11-1",
[ 2, 11, 1 ], 338, 26, "someinjectiveobject for iscapcategoryobject",
"X7C06E1807D8775AD" ],
[
"\033[2XMonomorphismIntoSomeInjectiveObject\033[102X for IsCapCategoryObjec\
t", "2.11-2", [ 2, 11, 2 ], 346, 26,
"monomorphismintosomeinjectiveobject for iscapcategoryobject",
"X8502893C82A38864" ],
[
"\033[2XMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject\\
033[102X for IsCapCategoryObject, IsCapCategoryObject", "2.11-3",
[ 2, 11, 3 ], 355, 26,
"monomorphismintosomeinjectiveobjectwithgivensomeinjectiveobject for isc\
apcategoryobject iscapcategoryobject", "X7A7C030382397A2B" ],
[
"\033[2XInjectiveColift\033[102X for IsCapCategoryMorphism, IsCapCategoryMo\
rphism", "2.11-4", [ 2, 11, 4 ], 364, 26,
"injectivecolift for iscapcategorymorphism iscapcategorymorphism",
"X7CCBB0A384F37EC6" ],
[ "\033[2XSimplify\033[102X for IsCapCategoryObject", "2.12-1",
[ 2, 12, 1 ], 386, 26, "simplify for iscapcategoryobject",
"X7BA160B382F8D742" ],
[ "\033[2XSimplifyObject\033[102X for IsCapCategoryObject, IsObject",
"2.12-2", [ 2, 12, 2 ], 393, 27,
"simplifyobject for iscapcategoryobject isobject", "X85B54852792DEDD7" ]
,
[
"\033[2XSimplifyObject_IsoFromInputObject\033[102X for IsCapCategoryObject,\
IsObject", "2.12-3", [ 2, 12, 3 ], 401, 27,
"simplifyobject_isofrominputobject for iscapcategoryobject isobject",
"X78C0D2CB867C5C90" ],
[
"\033[2XSimplifyObject_IsoToInputObject\033[102X for IsCapCategoryObject, I\
sObject", "2.12-4", [ 2, 12, 4 ], 410, 27,
"simplifyobject_isotoinputobject for iscapcategoryobject isobject",
"X835832A685F651C8" ],
[ "\033[2XProjectiveDimension\033[102X for IsCapCategoryObject", "2.13-1",
[ 2, 13, 1 ], 423, 27, "projectivedimension for iscapcategoryobject",
"X824604E9876DDDC5" ],
[ "\033[2XInjectiveDimension\033[102X for IsCapCategoryObject", "2.13-2",
[ 2, 13, 2 ], 430, 27, "injectivedimension for iscapcategoryobject",
"X823062CF792E3359" ],
[ "\033[2XCapCategory\033[102X for IsCapCategoryMorphism", "3.1-1",
[ 3, 1, 1 ], 14, 28, "capcategory for iscapcategorymorphism",
"X7E923036810C606E" ],
[ "\033[2XSource\033[102X for IsCapCategoryMorphism", "3.1-2", [ 3, 1, 2 ],
22, 28, "source for iscapcategorymorphism", "X7E1373E385E7315A" ],
[ "\033[2XRange\033[102X for IsCapCategoryMorphism", "3.1-3", [ 3, 1, 3 ],
30, 28, "range for iscapcategorymorphism", "X817496B987A1ADFC" ],
[ "\033[2XTarget\033[102X for IsCapCategoryMorphism", "3.1-4", [ 3, 1, 4 ],
38, 28, "target for iscapcategorymorphism", "X83A0A39587BD6383" ],
[ "\033[2XAdd\033[102X for IsCapCategory, IsCapCategoryMorphism", "3.2-1",
[ 3, 2, 1 ], 49, 29, "add for iscapcategory iscapcategorymorphism",
"X7BDADB628232C280" ],
[ "\033[2XAddMorphism\033[102X for IsCapCategory, IsAttributeStoringRep",
"3.2-2", [ 3, 2, 2 ], 55, 29,
"addmorphism for iscapcategory isattributestoringrep",
"X82453E55857562AB" ],
[ "\033[2XCreateCapCategoryMorphismWithAttributes\033[102X", "3.2-3",
[ 3, 2, 3 ], 62, 29, "createcapcategorymorphismwithattributes",
"X78005D357A051FC6" ],
[ "\033[2XAsCapCategoryMorphism\033[102X", "3.2-4", [ 3, 2, 4 ], 69, 29,
"ascapcategorymorphism", "X7AE302BE7C2E829F" ],
[ "\033[2XAsPrimitiveValue\033[102X for IsCapCategoryMorphism", "3.2-5",
[ 3, 2, 5 ], 77, 29, "asprimitivevalue for iscapcategorymorphism",
"X7893F08182290038" ],
[ "\033[2XAsInteger\033[102X for IsCapCategoryMorphism", "3.2-5",
[ 3, 2, 5 ], 77, 29, "asinteger for iscapcategorymorphism",
"X7893F08182290038" ],
[ "\033[2XAsHomalgMatrix\033[102X for IsCapCategoryMorphism", "3.2-5",
[ 3, 2, 5 ], 77, 29, "ashomalgmatrix for iscapcategorymorphism",
"X7893F08182290038" ],
[
"\033[2XMorphismConstructor\033[102X for IsCapCategoryObject, IsObject, IsC\
apCategoryObject", "3.3-1", [ 3, 3, 1 ], 101, 30,
"morphismconstructor for iscapcategoryobject isobject iscapcategoryobjec\
t", "X7F1FB34F789ECB10" ],
[ "\033[2XMorphismDatum\033[102X for IsCapCategoryMorphism", "3.3-2",
[ 3, 3, 2 ], 113, 30, "morphismdatum for iscapcategorymorphism",
"X7BBFB178866108FA" ],
[ "\033[2XIsMonomorphism\033[102X for IsCapCategoryMorphism", "3.4-1",
[ 3, 4, 1 ], 128, 30, "ismonomorphism for iscapcategorymorphism",
"X7A6F64027EEAF42B" ],
[ "\033[2XIsEpimorphism\033[102X for IsCapCategoryMorphism", "3.4-2",
[ 3, 4, 2 ], 136, 30, "isepimorphism for iscapcategorymorphism",
"X7E85E0A67BA11091" ],
[ "\033[2XIsIsomorphism\033[102X for IsCapCategoryMorphism", "3.4-3",
[ 3, 4, 3 ], 144, 30, "isisomorphism for iscapcategorymorphism",
"X7F29CF0282EFEAA3" ],
[ "\033[2XIsSplitMonomorphism\033[102X for IsCapCategoryMorphism", "3.4-4",
[ 3, 4, 4 ], 152, 31, "issplitmonomorphism for iscapcategorymorphism",
"X871A71747E03207D" ],
[ "\033[2XIsSplitEpimorphism\033[102X for IsCapCategoryMorphism", "3.4-5",
[ 3, 4, 5 ], 160, 31, "issplitepimorphism for iscapcategorymorphism",
"X7B4DB8C887F37D02" ],
[ "\033[2XIsOne\033[102X for IsCapCategoryMorphism", "3.4-6", [ 3, 4, 6 ],
168, 31, "isone for iscapcategorymorphism", "X7FA10AFB7F441434" ],
[ "\033[2XIsIdempotent\033[102X for IsCapCategoryMorphism", "3.4-7",
[ 3, 4, 7 ], 176, 31, "isidempotent for iscapcategorymorphism",
"X7BA4290882AFFCA3" ],
[
"\033[2XRandomMorphismWithFixedSourceByInteger\033[102X for IsCapCategoryOb\
ject, IsInt", "3.5-1", [ 3, 5, 1 ], 200, 31,
"randommorphismwithfixedsourcebyinteger for iscapcategoryobject isint",
"X79EBA1717D89B0A4" ],
[
"\033[2XRandomMorphismWithFixedSourceByList\033[102X for IsCapCategoryObjec\
t, IsList", "3.5-2", [ 3, 5, 2 ], 213, 32,
"randommorphismwithfixedsourcebylist for iscapcategoryobject islist",
"X84FDBEED7844CDB6" ],
[
"\033[2XRandomMorphismWithFixedRangeByInteger\033[102X for IsCapCategoryObj\
ect, IsInt", "3.5-3", [ 3, 5, 3 ], 226, 32,
"randommorphismwithfixedrangebyinteger for iscapcategoryobject isint",
"X844B1DDC8488B7CA" ],
[
"\033[2XRandomMorphismWithFixedRangeByList\033[102X for IsCapCategoryObject\
, IsList", "3.5-4", [ 3, 5, 4 ], 239, 32,
"randommorphismwithfixedrangebylist for iscapcategoryobject islist",
"X8568D71882C30501" ],
[
"\033[2XRandomMorphismWithFixedSourceAndRangeByInteger\033[102X for IsCapCa\
tegoryObject, IsCapCategoryObject, IsInt", "3.5-5", [ 3, 5, 5 ], 252, 32,
"randommorphismwithfixedsourceandrangebyinteger for iscapcategoryobject \
iscapcategoryobject isint", "X80F66E9D809EA6A7" ],
[
"\033[2XRandomMorphismWithFixedSourceAndRangeByList\033[102X for IsCapCateg\
oryObject, IsCapCategoryObject, IsList", "3.5-6", [ 3, 5, 6 ], 260, 33,
"randommorphismwithfixedsourceandrangebylist for iscapcategoryobject isc\
apcategoryobject islist", "X7BF231C57B40B1A1" ],
[ "\033[2XRandomMorphismByInteger\033[102X for IsCapCategory, IsInt",
"3.5-7", [ 3, 5, 7 ], 269, 33,
"randommorphismbyinteger for iscapcategory isint", "X81DB09BA7CBD3DB4" ]
, [ "\033[2XRandomMorphismByList\033[102X for IsCapCategory, IsList",
"3.5-8", [ 3, 5, 8 ], 293, 33,
"randommorphismbylist for iscapcategory islist", "X7E79F7A9802F622D" ],
[ "\033[2XRandomMorphismWithFixedSource\033[102X for IsCapCategoryObject, Is\
Int", "3.5-9", [ 3, 5, 9 ], 317, 34,
"randommorphismwithfixedsource for iscapcategoryobject isint",
"X83D121E787FDC6E8" ],
[
"\033[2XRandomMorphismWithFixedSource\033[102X for IsCapCategoryObject, IsL\
ist", "3.5-9", [ 3, 5, 9 ], 317, 34,
"randommorphismwithfixedsource for iscapcategoryobject islist",
"X83D121E787FDC6E8" ],
[
"\033[2XRandomMorphismWithFixedRange\033[102X for IsCapCategoryObject, IsIn\
t", "3.5-9", [ 3, 5, 9 ], 317, 34,
"randommorphismwithfixedrange for iscapcategoryobject isint",
"X83D121E787FDC6E8" ],
[
"\033[2XRandomMorphismWithFixedRange\033[102X for IsCapCategoryObject, IsLi\
st", "3.5-9", [ 3, 5, 9 ], 317, 34,
"randommorphismwithfixedrange for iscapcategoryobject islist",
"X83D121E787FDC6E8" ],
[
"\033[2XRandomMorphismWithFixedSourceAndRange\033[102X for IsCapCategoryObj\
ect, IsCapCategoryObject, IsInt", "3.5-9", [ 3, 5, 9 ], 317, 34,
"randommorphismwithfixedsourceandrange for iscapcategoryobject iscapcate\
goryobject isint", "X83D121E787FDC6E8" ],
[
"\033[2XRandomMorphismWithFixedSourceAndRange\033[102X for IsCapCategoryObj\
ect, IsCapCategoryObject, IsList", "3.5-9", [ 3, 5, 9 ], 317, 34,
"randommorphismwithfixedsourceandrange for iscapcategoryobject iscapcate\
goryobject islist", "X83D121E787FDC6E8" ],
[
"\033[2XRandomMorphism\033[102X for IsCapCategoryObject, IsCapCategoryObjec\
t, IsInt", "3.5-9", [ 3, 5, 9 ], 317, 34,
"randommorphism for iscapcategoryobject iscapcategoryobject isint",
"X83D121E787FDC6E8" ],
[
"\033[2XRandomMorphism\033[102X for IsCapCategoryObject, IsCapCategoryObjec\
t, IsList", "3.5-9", [ 3, 5, 9 ], 317, 34,
"randommorphism for iscapcategoryobject iscapcategoryobject islist",
"X83D121E787FDC6E8" ],
[ "\033[2XRandomMorphism\033[102X for IsCapCategory, IsInt", "3.5-9",
[ 3, 5, 9 ], 317, 34, "randommorphism for iscapcategory isint",
"X83D121E787FDC6E8" ],
[ "\033[2XRandomMorphism\033[102X for IsCapCategory, IsList", "3.5-9",
[ 3, 5, 9 ], 317, 34, "randommorphism for iscapcategory islist",
"X83D121E787FDC6E8" ],
[ "\033[2XIsEqualToIdentityMorphism\033[102X for IsCapCategoryMorphism",
"3.6-1", [ 3, 6, 1 ], 338, 34,
"isequaltoidentitymorphism for iscapcategorymorphism",
"X8211959783AFF307" ],
[ "\033[2XIsEqualToZeroMorphism\033[102X for IsCapCategoryMorphism",
"3.6-2", [ 3, 6, 2 ], 346, 34,
"isequaltozeromorphism for iscapcategorymorphism", "X79D407A3807309FC" ]
, [ "\033[2XIsEndomorphism\033[102X for IsCapCategoryMorphism", "3.6-3",
[ 3, 6, 3 ], 354, 34, "isendomorphism for iscapcategorymorphism",
"X81057B3E812B06CC" ],
[ "\033[2XIsAutomorphism\033[102X for IsCapCategoryMorphism", "3.6-4",
[ 3, 6, 4 ], 362, 35, "isautomorphism for iscapcategorymorphism",
"X84E5DE257F241830" ],
[
"\033[2XIsCongruentForMorphisms\033[102X for IsCapCategoryMorphism, IsCapCa\
tegoryMorphism", "3.7-1", [ 3, 7, 1 ], 373, 35,
"iscongruentformorphisms for iscapcategorymorphism iscapcategorymorphism\
", "X7FABCFBF865F4179" ],
[
"\033[2XIsEqualForMorphisms\033[102X for IsCapCategoryMorphism, IsCapCatego\
ryMorphism", "3.7-2", [ 3, 7, 2 ], 381, 35,
"isequalformorphisms for iscapcategorymorphism iscapcategorymorphism",
"X8004F1DA7D9BFA8B" ],
[
"\033[2XIsEqualForMorphismsOnMor\033[102X for IsCapCategoryMorphism, IsCapC\
ategoryMorphism", "3.7-3", [ 3, 7, 3 ], 389, 35,
"isequalformorphismsonmor for iscapcategorymorphism iscapcategorymorphis\
m", "X8589E5A4814C3DA5" ],
[ "\033[2XIsZeroForMorphisms\033[102X for IsCapCategoryMorphism", "3.8-1",
[ 3, 8, 1 ], 401, 35, "iszeroformorphisms for iscapcategorymorphism",
"X844684AD86DCC2DC" ],
[
"\033[2XAdditionForMorphisms\033[102X for IsCapCategoryMorphism, IsCapCateg\
oryMorphism", "3.8-2", [ 3, 8, 2 ], 409, 35,
"additionformorphisms for iscapcategorymorphism iscapcategorymorphism",
"X83B77FBB85927F14" ],
[
"\033[2XSubtractionForMorphisms\033[102X for IsCapCategoryMorphism, IsCapCa\
tegoryMorphism", "3.8-3", [ 3, 8, 3 ], 418, 36,
"subtractionformorphisms for iscapcategorymorphism iscapcategorymorphism\
", "X7B6461F5873F3F9D" ],
[ "\033[2XAdditiveInverseForMorphisms\033[102X for IsCapCategoryMorphism",
"3.8-4", [ 3, 8, 4 ], 427, 36,
"additiveinverseformorphisms for iscapcategorymorphism",
"X83177713785DCFFC" ],
[
"\033[2XMultiplyWithElementOfCommutativeRingForMorphisms\033[102X for IsRin\
gElement, IsCapCategoryMorphism", "3.8-5", [ 3, 8, 5 ], 436, 36,
"multiplywithelementofcommutativeringformorphisms for isringelement isca\
pcategorymorphism", "X8187CAF17EB5D6D0" ],
[ "\033[2X*\033[102X for IsRingElement, IsCapCategoryMorphism", "3.8-6",
[ 3, 8, 6 ], 446, 36, "* for isringelement iscapcategorymorphism",
"X877D74C67D041F74" ],
[
"\033[2XZeroMorphism\033[102X for IsCapCategoryObject, IsCapCategoryObject"
, "3.8-7", [ 3, 8, 7 ], 460, 36,
"zeromorphism for iscapcategoryobject iscapcategoryobject",
"X873412DB7BD0FBD3" ],
[
"\033[2XIsEqualAsSubobjects\033[102X for IsCapCategoryMorphism, IsCapCatego\
ryMorphism", "3.9-1", [ 3, 9, 1 ], 475, 37,
"isequalassubobjects for iscapcategorymorphism iscapcategorymorphism",
"X7E99DAA884674DE2" ],
[
"\033[2XIsEqualAsFactorobjects\033[102X for IsCapCategoryMorphism, IsCapCat\
egoryMorphism", "3.9-2", [ 3, 9, 2 ], 485, 37,
"isequalasfactorobjects for iscapcategorymorphism iscapcategorymorphism"
, "X79389FBF86CF87A4" ],
[
"\033[2XIsDominating\033[102X for IsCapCategoryMorphism, IsCapCategoryMorph\
ism", "3.9-3", [ 3, 9, 3 ], 495, 37,
"isdominating for iscapcategorymorphism iscapcategorymorphism",
"X7C21531C7EE65C72" ],
[
"\033[2XIsCodominating\033[102X for IsCapCategoryMorphism, IsCapCategoryMor\
phism", "3.9-4", [ 3, 9, 4 ], 506, 37,
"iscodominating for iscapcategorymorphism iscapcategorymorphism",
"X7C77E9D479C8D502" ],
[ "\033[2XIdentityMorphism\033[102X for IsCapCategoryObject", "3.10-1",
[ 3, 10, 1 ], 520, 38, "identitymorphism for iscapcategoryobject",
"X7C9F3D8086238443" ],
[
"\033[2XPreCompose\033[102X for IsCapCategoryMorphism, IsCapCategoryMorphis\
m", "3.10-2", [ 3, 10, 2 ], 528, 38,
"precompose for iscapcategorymorphism iscapcategorymorphism",
"X8244F7A0868BE27D" ],
[ "\033[2XPreCompose\033[102X for IsList", "3.10-3", [ 3, 10, 3 ], 537, 38,
"precompose for islist", "X83CB57FB81931CFE" ],
[
"\033[2XPreComposeList\033[102X for IsCapCategoryObject, IsList, IsCapCateg\
oryObject", "3.10-4", [ 3, 10, 4 ], 548, 38,
"precomposelist for iscapcategoryobject islist iscapcategoryobject",
"X87A5FFE97BB5190A" ],
[
"\033[2XPostCompose\033[102X for IsCapCategoryMorphism, IsCapCategoryMorphi\
sm", "3.10-5", [ 3, 10, 5 ], 560, 38,
"postcompose for iscapcategorymorphism iscapcategorymorphism",
"X84293B8381256A08" ],
[ "\033[2XPostCompose\033[102X for IsList", "3.10-6", [ 3, 10, 6 ], 569,
38, "postcompose for islist", "X81222A1084A4F637" ],
[
"\033[2XPostComposeList\033[102X for IsCapCategoryObject, IsList, IsCapCate\
goryObject", "3.10-7", [ 3, 10, 7 ], 579, 39,
"postcomposelist for iscapcategoryobject islist iscapcategoryobject",
"X7BD83BF3835870E9" ],
[
"\033[2XSumOfMorphisms\033[102X for IsCapCategoryObject, IsList, IsCapCateg\
oryObject", "3.10-8", [ 3, 10, 8 ], 591, 39,
"sumofmorphisms for iscapcategoryobject islist iscapcategoryobject",
"X7D50F754822C30D7" ],
[
"\033[2XLinearCombinationOfMorphisms\033[102X for IsCapCategoryObject, IsLi\
st, IsList, IsCapCategoryObject", "3.10-9", [ 3, 10, 9 ], 600, 39,
"linearcombinationofmorphisms for iscapcategoryobject islist islist isca\
pcategoryobject", "X7C101B5C7AC9089C" ],
[ "\033[2XIsWellDefinedForMorphisms\033[102X for IsCapCategoryMorphism",
"3.11-1", [ 3, 11, 1 ], 614, 39,
"iswelldefinedformorphisms for iscapcategorymorphism",
"X7968A871832877B8" ],
[
"\033[2XIsWellDefinedForMorphismsWithGivenSourceAndRange\033[102X for IsCap\
CategoryObject, IsCapCategoryMorphism, IsCapCategoryObject", "3.11-2",
[ 3, 11, 2 ], 622, 39,
"iswelldefinedformorphismswithgivensourceandrange for iscapcategoryobjec\
t iscapcategorymorphism iscapcategoryobject", "X820A29637F48E932" ],
[
"\033[2XLiftAlongMonomorphism\033[102X for IsCapCategoryMorphism, IsCapCate\
goryMorphism", "3.12-1", [ 3, 12, 1 ], 650, 40,
"liftalongmonomorphism for iscapcategorymorphism iscapcategorymorphism",
"X83CDF65582CD9921" ],
[
"\033[2XColiftAlongEpimorphism\033[102X for IsCapCategoryMorphism, IsCapCat\
egoryMorphism", "3.12-2", [ 3, 12, 2 ], 659, 40,
"coliftalongepimorphism for iscapcategorymorphism iscapcategorymorphism"
, "X79AA9F638487EE32" ],
[
"\033[2XIsLiftableAlongMonomorphism\033[102X for IsCapCategoryMorphism, IsC\
apCategoryMorphism", "3.12-3", [ 3, 12, 3 ], 668, 40,
"isliftablealongmonomorphism for iscapcategorymorphism iscapcategorymorp\
hism", "X7D9BA8D67892BD48" ],
[
"\033[2XIsColiftableAlongEpimorphism\033[102X for IsCapCategoryMorphism, Is\
CapCategoryMorphism", "3.12-4", [ 3, 12, 4 ], 678, 40,
"iscoliftablealongepimorphism for iscapcategorymorphism iscapcategorymor\
phism", "X7DCDD2B2859EFD2D" ],
[ "\033[2XLift\033[102X for IsCapCategoryMorphism, IsCapCategoryMorphism",
"3.12-5", [ 3, 12, 5 ], 688, 41,
"lift for iscapcategorymorphism iscapcategorymorphism",
"X87C471D583C1CD9E" ],
[
"\033[2XLiftOrFail\033[102X for IsCapCategoryMorphism, IsCapCategoryMorphis\
m", "3.12-6", [ 3, 12, 6 ], 699, 41,
"liftorfail for iscapcategorymorphism iscapcategorymorphism",
"X8597DE1C83CFE89D" ],
[
"\033[2XIsLiftable\033[102X for IsCapCategoryMorphism, IsCapCategoryMorphis\
m", "3.12-7", [ 3, 12, 7 ], 711, 41,
"isliftable for iscapcategorymorphism iscapcategorymorphism",
"X7F895375875BE5B9" ],
[ "\033[2XColift\033[102X for IsCapCategoryMorphism, IsCapCategoryMorphism",
"3.12-8", [ 3, 12, 8 ], 721, 41,
"colift for iscapcategorymorphism iscapcategorymorphism",
"X7BA38B0F797AFE20" ],
[
"\033[2XColiftOrFail\033[102X for IsCapCategoryMorphism, IsCapCategoryMorph\
ism", "3.12-9", [ 3, 12, 9 ], 733, 41,
"coliftorfail for iscapcategorymorphism iscapcategorymorphism",
"X79FFE43E7962CFBA" ],
[
"\033[2XIsColiftable\033[102X for IsCapCategoryMorphism, IsCapCategoryMorph\
ism", "3.12-10", [ 3, 12, 10 ], 745, 41,
"iscoliftable for iscapcategorymorphism iscapcategorymorphism",
"X8685B04087B1E52A" ],
[ "\033[2XInverseForMorphisms\033[102X for IsCapCategoryMorphism",
"3.13-1", [ 3, 13, 1 ], 764, 42,
"inverseformorphisms for iscapcategorymorphism", "X8371BF227B4C32EF" ],
[ "\033[2XPreInverseForMorphisms\033[102X for IsCapCategoryMorphism",
"3.13-2", [ 3, 13, 2 ], 772, 42,
"preinverseformorphisms for iscapcategorymorphism", "X83E4A87F7B2290F1"
],
[ "\033[2XPostInverseForMorphisms\033[102X for IsCapCategoryMorphism",
"3.13-3", [ 3, 13, 3 ], 782, 42,
"postinverseformorphisms for iscapcategorymorphism",
"X800447917F75989A" ],
[
"\033[2XIsEqualForCacheForMorphisms\033[102X for IsCapCategoryMorphism, IsC\
apCategoryMorphism", "3.14-1", [ 3, 14, 1 ], 795, 42,
"isequalforcacheformorphisms for iscapcategorymorphism iscapcategorymorp\
hism", "X83F87AE07ED534ED" ],
[
"\033[2XIsHomSetInhabited\033[102X for IsCapCategoryObject, IsCapCategoryOb\
ject", "3.15-1", [ 3, 15, 1 ], 813, 43,
"ishomsetinhabited for iscapcategoryobject iscapcategoryobject",
"X81DB15B87D1A946D" ],
[ "\033[2XSetOfMorphismsOfFiniteCategory\033[102X for IsCapCategory",
"3.16-1", [ 3, 16, 1 ], 824, 43,
"setofmorphismsoffinitecategory for iscapcategory", "X824691307DEF08FC"
], [ "\033[2XSetOfMorphisms\033[102X for IsCapCategory", "3.16-2",
[ 3, 16, 2 ], 831, 43, "setofmorphisms for iscapcategory",
"X8426F188818F02B7" ],
[
"\033[2XHomomorphismStructureOnObjects\033[102X for IsCapCategoryObject, Is\
CapCategoryObject", "3.17-1", [ 3, 17, 1 ], 854, 43,
"homomorphismstructureonobjects for iscapcategoryobject iscapcategoryobj\
ect", "X81BC29A679416C45" ],
[
"\033[2XHomomorphismStructureOnMorphisms\033[102X for IsCapCategoryMorphism\
, IsCapCategoryMorphism", "3.17-2", [ 3, 17, 2 ], 862, 43,
"homomorphismstructureonmorphisms for iscapcategorymorphism iscapcategor\
ymorphism", "X8257E3787865C5E0" ],
[
"\033[2XHomomorphismStructureOnMorphismsWithGivenObjects\033[102X for IsCap\
CategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObj\
ect", "3.17-3", [ 3, 17, 3 ], 871, 44,
"homomorphismstructureonmorphismswithgivenobjects for iscapcategoryobjec\
t iscapcategorymorphism iscapcategorymorphism iscapcategoryobject",
"X7FBC94B983CBA64F" ],
[
"\033[2XDistinguishedObjectOfHomomorphismStructure\033[102X for IsCapCatego\
ry", "3.17-4", [ 3, 17, 4 ], 881, 44,
"distinguishedobjectofhomomorphismstructure for iscapcategory",
"X7999CCFF82DA16D7" ],
[
"\033[2XInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStr\
ucture\033[102X for IsCapCategoryMorphism", "3.17-5", [ 3, 17, 5 ], 889, 44,
"interpretmorphismasmorphismfromdistinguishedobjecttohomomorphismstructu\
re for iscapcategorymorphism", "X81F1237C7DBF7603" ],
[
"\033[2XInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStr\
uctureWithGivenObjects\033[102X for IsCapCategoryObject, IsCapCategoryMorphism\
, IsCapCategoryObject", "3.17-6", [ 3, 17, 6 ], 898, 44,
"interpretmorphismasmorphismfromdistinguishedobjecttohomomorphismstructu\
rewithgivenobjects for iscapcategoryobject iscapcategorymorphism iscapcategory\
object", "X7A5A05C682EB033D" ],
[
"\033[2XInterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMo\
rphism\033[102X for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMor\
phism", "3.17-7", [ 3, 17, 7 ], 907, 44,
--> --------------------
--> maximum size reached
--> --------------------
[ Dauer der Verarbeitung: 0.28 Sekunden
(vorverarbeitet)
]
|
