\GAPDocLabFile{cap}
\makelabel{cap:Title page}{}{X7D2C85EC87DD46E5}
\makelabel{cap:Table of Contents}{}{X8537FEB07AF2BEC8}
\makelabel{cap:CAP Categories}{1}{X7C99ABCB7DEEDE2A}
\makelabel{cap:Categories}{1.1}{X7CC6903E78F24167}
\makelabel{cap:Constructor}{1.2}{X7ABF649E831D4D8E}
\makelabel{cap:Internal Attributes}{1.3}{X79CE135F7E6EBFEE}
\makelabel{cap:Logic switcher}{1.4}{X8305A19E86EC7B67}
\makelabel{cap:Tool functions}{1.5}{X7A15CCB67FBCF3E3}
\makelabel{cap:Well-Definedness of Cells}{1.6}{X7DB3D2BD8792ABBC}
\makelabel{cap:Unpacking data structures}{1.7}{X7D2E74CE87255099}
\makelabel{cap:Caching}{1.8}{X79DB9EE785F723D1}
\makelabel{cap:Sanity checks}{1.9}{X7EC631BC7CFCF5DB}
\makelabel{cap:Timing statistics}{1.10}{X7984C0E986CF0986}
\makelabel{cap:Enable automatic calls of Add}{1.11}{X81A1CDD77D375231}
\makelabel{cap:Performance tweaks}{1.12}{X7876FF1F831F58B0}
\makelabel{cap:LaTeX}{1.13}{X7B6A66AA7D212DDC}
\makelabel{cap:Objects}{2}{X78497E777FB3E402}
\makelabel{cap:Attributes for the Type of Objects}{2.1}{X7ABD8E5A8408A301}
\makelabel{cap:Equality for Objects}{2.2}{X7B4B807A848111AA}
\makelabel{cap:Categorical Properties of Objects}{2.3}{X86CCD70884952468}
\makelabel{cap:Random Objects}{2.4}{X8332653E7EA2EB72}
\makelabel{cap:Tool functions for caches}{2.5}{X7DD668627932185C}
\makelabel{cap:Adding Objects to a Category}{2.6}{X81817A2C84F03D1D}
\makelabel{cap:Object constructors}{2.7}{X824C0CC579E8DD7F}
\makelabel{cap:Well-Definedness of Objects}{2.8}{X7820B09C781A90A8}
\makelabel{cap:Projectives}{2.9}{X7EFAF5CD83C3298F}
\makelabel{cap:Injectives}{2.10}{X87100AFB7A202D2F}
\makelabel{cap:Simplified Objects}{2.11}{X7DEC418578FAA1C0}
\makelabel{cap:Dimensions}{2.12}{X814E7CE2792896ED}
\makelabel{cap:Morphisms}{3}{X7BEB6C617FED52DA}
\makelabel{cap:Attributes for the Type of Morphisms}{3.1}{X8642E3327E96BBDD}
\makelabel{cap:Morphism constructors}{3.2}{X8279E00178F05A66}
\makelabel{cap:Categorical Properties of Morphisms}{3.3}{X7A00D0C181471D06}
\makelabel{cap:Random Morphisms}{3.4}{X7B655F2678F605D3}
\makelabel{cap:Non-Categorical Properties of Morphisms}{3.5}{X7EA50D6587A93936}
\makelabel{cap:Adding Morphisms to a Category}{3.6}{X867B9398854FEFFD}
\makelabel{cap:Equality and Congruence for Morphisms}{3.7}{X850CFDD48773998E}
\makelabel{cap:Basic Operations for Morphisms in Ab-Categories}{3.8}{X8312421679CAAE35}
\makelabel{cap:Subobject and Factorobject Operations}{3.9}{X7C81E153817F489F}
\makelabel{cap:Identity Morphism and Composition of Morphisms}{3.10}{X82ADC0BF82DA2122}
\makelabel{cap:Well-Definedness of Morphisms}{3.11}{X7D5182B48598FBC5}
\makelabel{cap:Inverses}{3.13}{X864F84C47DC1A620}
\makelabel{cap:Tool functions for caches}{3.14}{X7DD668627932185C}
\makelabel{cap:IsHomSetInhabited}{3.15}{X84563B1A835E9766}
\makelabel{cap:Homomorphism structures}{3.16}{X7F065B9A78922547}
\makelabel{cap:Simplified Morphisms}{3.17}{X7B39E2927B533D10}
\makelabel{cap:Reduction by split epi summands}{3.18}{X8379B7817AA67F2D}
\makelabel{cap:Category 2-Cells}{4}{X7B2650D983390045}
\makelabel{cap:Attributes for the Type of 2-Cells}{4.1}{X793836877FCD5EC6}
\makelabel{cap:Identity 2-Cell and Composition of 2-Cells}{4.2}{X7B780EDB7E466121}
\makelabel{cap:Well-Definedness for 2-Cells}{4.3}{X84A60F017943A943}
\makelabel{cap:Category of Categories}{5}{X87C0818C7EFB273D}
\makelabel{cap:The Category Cat}{5.1}{X7A8C280B85B50DE0}
\makelabel{cap:Categories}{5.2}{X7CC6903E78F24167}
\makelabel{cap:Constructors}{5.3}{X86EC0F0A78ECBC10}
\makelabel{cap:Functors}{5.4}{X78D1062D78BE08C1}
\makelabel{cap:Natural transformations}{5.5}{X836749D8814FEEE6}
\makelabel{cap:Universal Objects}{6}{X7994CC1487D7617C}
\makelabel{cap:Kernel}{6.1}{X7DCD99628504B810}
\makelabel{cap:Cokernel}{6.2}{X875F177A82BF9B8B}
\makelabel{cap:Zero Object}{6.3}{X797A74DE8267C974}
\makelabel{cap:Terminal Object}{6.4}{X827CD17C7EBFD58F}
\makelabel{cap:Initial Object}{6.5}{X78B0ED8B80BF5254}
\makelabel{cap:Direct Sum}{6.6}{X81FDB99378D1307A}
\makelabel{cap:Coproduct}{6.7}{X7E8036DF7AC65994}
\makelabel{cap:Direct Product}{6.8}{X844C65417FBEA3C7}
\makelabel{cap:Equalizer}{6.9}{X824FD8F786D2350D}
\makelabel{cap:Coequalizer}{6.10}{X7BA8F7BD793CC288}
\makelabel{cap:Fiber Product}{6.11}{X7C5C7D847A89D79C}
\makelabel{cap:Pushout}{6.12}{X81A2D49D85923894}
\makelabel{cap:Image}{6.13}{X87F4D35A826599C6}
\makelabel{cap:Coimage}{6.14}{X7EB02EC487B586E5}
\makelabel{cap:Homology objects}{6.15}{X87F38F8284D3137C}
\makelabel{cap:Add Functions}{7}{X87A9DB228112DF45}
\makelabel{cap:Functions Installed by Add}{7.1}{X85EC14607B6F66FE}
\makelabel{cap:Add Method}{7.2}{X85E3D9E07B8BC960}
\makelabel{cap:InstallAdd Function}{7.3}{X7D83FC527EA66166}
\makelabel{cap:Enhancing the method name record}{7.4}{X844CF4D187364721}
\makelabel{cap:Install All Adds}{7.5}{X78B69C307CF0DE53}
\makelabel{cap:Prepare functions}{7.6}{X7AFA0108870EE97C}
\makelabel{cap:Available Add functions}{7.7}{X829CEC0B8319A503}
\makelabel{cap:Managing Derived Methods}{8}{X8397FA067BFF4850}
\makelabel{cap:Info Class}{8.1}{X7EBFC26F83EB9F72}
\makelabel{cap:Derivation Objects}{8.2}{X85225AB582EE9B06}
\makelabel{cap:Derivation Graphs}{8.3}{X87186DAD7DF242ED}
\makelabel{cap:Managing Derivations in a Category}{8.4}{X86F129738355A31B}
\makelabel{cap:Min Heaps for Strings}{8.5}{X85B1CCCC81C1A631}
\makelabel{cap:Technical Details}{9}{X87A9EC0A7DF04931}
\makelabel{cap:The Category Cat}{9.1}{X7A8C280B85B50DE0}
\makelabel{cap:Install Functions for IsWellDefined}{9.2}{X84802DD67AA9E628}
\makelabel{cap:Limits and Colimits}{10}{X857CF4D487158F26}
\makelabel{cap:Specification of Limits and Colimits}{10.1}{X8588E7B080530988}
\makelabel{cap:Enhancing Limit Specifications}{10.2}{X82DEA53C869D2324}
\makelabel{cap:Functions}{10.3}{X86FA580F8055B274}
\makelabel{cap:The Category Constructor}{11}{X78ADFFF38316E753}
\makelabel{cap:Info class}{11.1}{X7EBFC26F83EB9F72}
\makelabel{cap:Constructors}{11.2}{X86EC0F0A78ECBC10}
\makelabel{cap:Create wrapper hulls of a category}{12}{X85EE0CDD7D162BC7}
\makelabel{cap:GAP categories}{12.1}{X7D03633A7D98026B}
\makelabel{cap:Attributes}{12.2}{X7C701DBF7BAE649A}
\makelabel{cap:Constructors}{12.3}{X86EC0F0A78ECBC10}
\makelabel{cap:Dummy categories}{13}{X82A623E78640E822}
\makelabel{cap:GAP categories}{13.1}{X7D03633A7D98026B}
\makelabel{cap:Constructors}{13.2}{X86EC0F0A78ECBC10}
\makelabel{cap:Examples and Tests}{14}{X7967FE8E7BBDF485}
\makelabel{cap:Dummy category}{14.1}{X86538A6887270B3C}
\makelabel{cap:Functors}{14.2}{X78D1062D78BE08C1}
\makelabel{cap:HandlePrecompiledTowers}{14.3}{X7B339750826300B4}
\makelabel{cap:Homomorphism structure}{14.4}{X86A2AE6E7C297595}
\makelabel{cap:Homology object}{14.5}{X852F59737EC57965}
\makelabel{cap:Liftable}{14.6}{X7CDB7FF27D734D2D}
\makelabel{cap:WrapperCategory}{14.7}{X8245BF297DF9A3E7}
\makelabel{cap:Monoidal Categories}{14.8}{X808DC49C7ED99B52}
\makelabel{cap:MorphismFromSourceToPushout and MorphismFromFiberProductToSink}{14.9}{X8218390A785F1EDB}
\makelabel{cap:Opposite category}{14.10}{X84410C637B3C1D0E}
\makelabel{cap:Generalized Morphisms Category}{14.11}{X86FB477C7908A3A6}
\makelabel{cap:IsWellDefined}{14.12}{X7E8AFE5085FF7E15}
\makelabel{cap:Kernel}{14.13}{X7DCD99628504B810}
\makelabel{cap:FiberProduct}{14.14}{X7DE20941803BFBD9}
\makelabel{cap:Index}{Ind}{X83A0356F839C696F}
\makelabel{cap:IsCapCategory for isobject}{1.1.1}{X852A10417EEF5D0E}
\makelabel{cap:IsCapCategoryCell for isattributestoringrep}{1.1.2}{X7E2CFDC482566454}
\makelabel{cap:IsCapCategoryObject for iscapcategorycell}{1.1.3}{X7DAEF54180094D1E}
\makelabel{cap:IsCapCategoryMorphism for iscapcategorycell}{1.1.4}{X84413C4978765A3F}
\makelabel{cap:IsCapCategoryTwoCell for iscapcategorycell}{1.1.5}{X7F3B964286D98710}
\makelabel{cap:AddCategoricalProperty}{1.1.6}{X7D6EA1307DFCCE46}
\makelabel{cap:CreateCapCategory}{1.2.1}{X86EDB84D7E3F0194}
\makelabel{cap:CreateCapCategory for isstring}{1.2.2}{X854CC42E828C120D}
\makelabel{cap:CategoryFilter for iscapcategory}{1.3.1}{X7C7B1EAF7D786508}
\makelabel{cap:CellFilter for iscapcategory}{1.3.2}{X7E88D5D3860AF854}
\makelabel{cap:ObjectFilter for iscapcategory}{1.3.3}{X7BD6E2B887F86E9C}
\makelabel{cap:MorphismFilter for iscapcategory}{1.3.4}{X7F62E0C47C778CBB}
\makelabel{cap:TwoCellFilter for iscapcategory}{1.3.5}{X850D0E978090D0C0}
\makelabel{cap:ObjectType for iscapcategory}{1.3.6}{X7DFEC8517C464A87}
\makelabel{cap:MorphismType for iscapcategory}{1.3.7}{X82846D3786D27392}
\makelabel{cap:CommutativeRingOfLinearCategory for iscapcategory}{1.3.8}{X78D0C0057817DBC3}
\makelabel{cap:AdditiveGenerators for iscapcategory}{1.3.9}{X7CF2F93F8258DAD5}
\makelabel{cap:CapCategorySwitchLogicPropagationForObjectsOn}{1.4.1}{X82C32E8C790EAB42}
\makelabel{cap:CapCategorySwitchLogicPropagationForObjectsOff}{1.4.2}{X7FEF6F218491CD45}
\makelabel{cap:CapCategorySwitchLogicPropagationForMorphismsOn}{1.4.3}{X80C98B547A76705D}
\makelabel{cap:CapCategorySwitchLogicPropagationForMorphismsOff}{1.4.4}{X86469EBF8261E1D4}
\makelabel{cap:CapCategorySwitchLogicPropagationOn}{1.4.5}{X7C06E84F78D82C0D}
\makelabel{cap:CapCategorySwitchLogicPropagationOff}{1.4.6}{X84F114757E964E1E}
\makelabel{cap:CapCategorySwitchLogicOn}{1.4.7}{X84824AC3793D872B}
\makelabel{cap:CapCategorySwitchLogicOff}{1.4.8}{X84A995A687D031B7}
\makelabel{cap:CanCompute for iscapcategory, isstring}{1.5.1}{X851D0435816DDB40}
\makelabel{cap:CanCompute for iscapcategory, isfunction}{1.5.1}{X851D0435816DDB40}
\makelabel{cap:CheckConstructivenessOfCategory for iscapcategory, isstring}{1.5.2}{X7ACB9FFA84476BA0}
\makelabel{cap:IsWellDefined for iscapcategorycell}{1.6.1}{X839EA4D7805D4F97}
\makelabel{cap:Down for isobject}{1.7.1}{X8790DC5F7A2BD22E}
\makelabel{cap:DownOnlyMorphismData for iscapcategorymorphism}{1.7.2}{X858B64487B2DA04E}
\makelabel{cap:DownToBottom for isobject}{1.7.3}{X7BABD65A821C138F}
\makelabel{cap:SetCachingOfCategory}{1.8.1}{X7DB820A686B4059F}
\makelabel{cap:SetCachingOfCategoryWeak}{1.8.2}{X87AA14F27892F14F}
\makelabel{cap:SetCachingOfCategoryCrisp}{1.8.2}{X87AA14F27892F14F}
\makelabel{cap:DeactivateCachingOfCategory}{1.8.2}{X87AA14F27892F14F}
\makelabel{cap:SetDefaultCaching}{1.8.3}{X844903657E52E6D1}
\makelabel{cap:SetDefaultCachingWeak}{1.8.3}{X844903657E52E6D1}
\makelabel{cap:SetDefaultCachingCrisp}{1.8.3}{X844903657E52E6D1}
\makelabel{cap:DeactivateDefaultCaching}{1.8.3}{X844903657E52E6D1}
\makelabel{cap:DisableInputSanityChecks}{1.9.1}{X7BB84C7B83FE3D80}
\makelabel{cap:DisableOutputSanityChecks}{1.9.1}{X7BB84C7B83FE3D80}
\makelabel{cap:EnablePartialInputSanityChecks}{1.9.1}{X7BB84C7B83FE3D80}
\makelabel{cap:EnablePartialOutputSanityChecks}{1.9.1}{X7BB84C7B83FE3D80}
\makelabel{cap:EnableFullInputSanityChecks}{1.9.1}{X7BB84C7B83FE3D80}
\makelabel{cap:EnableFullOutputSanityChecks}{1.9.1}{X7BB84C7B83FE3D80}
\makelabel{cap:DisableSanityChecks}{1.9.1}{X7BB84C7B83FE3D80}
\makelabel{cap:EnablePartialSanityChecks}{1.9.1}{X7BB84C7B83FE3D80}
\makelabel{cap:EnableFullSanityChecks}{1.9.1}{X7BB84C7B83FE3D80}
\makelabel{cap:EnableTimingStatistics}{1.10.1}{X86C6F8828628B070}
\makelabel{cap:DisableTimingStatistics}{1.10.1}{X86C6F8828628B070}
\makelabel{cap:ResetTimingStatistics}{1.10.1}{X86C6F8828628B070}
\makelabel{cap:DisplayTimingStatistics}{1.10.1}{X86C6F8828628B070}
\makelabel{cap:BrowseTimingStatistics}{1.10.1}{X86C6F8828628B070}
\makelabel{cap:EnableAddForCategoricalOperations}{1.11.1}{X7C01E3727D08D219}
\makelabel{cap:DisableAddForCategoricalOperations}{1.11.1}{X7C01E3727D08D219}
\makelabel{cap:LaTeXOutput for iscapcategorycell}{1.13.1}{X831B157D7CC3DDA3}
\makelabel{cap:LaTeXOutput for iscapcategory}{1.13.2}{X7B34A09D7AF0F683}
\makelabel{cap:CapCategory for iscapcategoryobject}{2.1.1}{X7C3B8C3D865002C8}
\makelabel{cap:IsEqualForObjects for iscapcategoryobject, iscapcategoryobject}{2.2.1}{X8337569D81C0BBEC}
\makelabel{cap:IsBijectiveObject for iscapcategoryobject}{2.3.1}{X854468CF79122D57}
\makelabel{cap:IsProjective for iscapcategoryobject}{2.3.2}{X849A94147D3446BE}
\makelabel{cap:IsInjective for iscapcategoryobject}{2.3.3}{X8788D5A27EC1F994}
\makelabel{cap:IsTerminal for iscapcategoryobject}{2.3.4}{X7D3542EE7A8448A7}
\makelabel{cap:IsInitial for iscapcategoryobject}{2.3.5}{X83F6095A80DCCDC3}
\makelabel{cap:IsZeroForObjects for iscapcategoryobject}{2.3.6}{X856FA5E084753312}
\makelabel{cap:IsZero for iscapcategoryobject}{2.3.7}{X824765AD78E027CC}
\makelabel{cap:RandomObjectByInteger for iscapcategory, isint}{2.4.1}{X85A6C3687C46085F}
\makelabel{cap:RandomObjectByList for iscapcategory, islist}{2.4.2}{X7EEC27307C4B06E8}
\makelabel{cap:RandomObject for iscapcategory, isint}{2.4.3}{X7E0974E58188E6FB}
\makelabel{cap:RandomObject for iscapcategory, islist}{2.4.4}{X7AF3D62C7F8F40AE}
\makelabel{cap:IsEqualForCacheForObjects for iscapcategoryobject, iscapcategoryobject}{2.5.1}{X7BAE9BBC874635CB}
\makelabel{cap:Add for iscapcategory, iscapcategoryobject}{2.6.1}{X824AE09A81D2B184}
\makelabel{cap:AddObject for iscapcategory, isattributestoringrep}{2.6.2}{X855C644A812F32B7}
\makelabel{cap:AddObjectRepresentation for iscapcategory, isobject}{2.6.3}{X7A68365C82BDA4E7}
\makelabel{cap:ObjectifyObjectForCAPWithAttributes}{2.6.4}{X78095CF37B92F0D9}
\makelabel{cap:ObjectConstructor for iscapcategory, isobject}{2.7.1}{X825D050A8674D377}
\makelabel{cap:ObjectDatum for iscapcategoryobject}{2.7.2}{X8521A36F7BBFF6BD}
\makelabel{cap:IsWellDefinedForObjects for iscapcategoryobject}{2.8.1}{X7F9A38A187D9ABFA}
\makelabel{cap:SomeProjectiveObject for iscapcategoryobject}{2.9.1}{X7FED5E898784C314}
\makelabel{cap:EpimorphismFromSomeProjectiveObject for iscapcategoryobject}{2.9.2}{X7D5951AA7EBD7750}
\makelabel{cap:EpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject for iscapcategoryobject, iscapcategoryobject}{2.9.3}{X81F04D8186B94570}
\makelabel{cap:ProjectiveLift for iscapcategorymorphism, iscapcategorymorphism}{2.9.4}{X7BFFD7FE82DCB5F6}
\makelabel{cap:SomeInjectiveObject for iscapcategoryobject}{2.10.1}{X7C06E1807D8775AD}
\makelabel{cap:MonomorphismIntoSomeInjectiveObject for iscapcategoryobject}{2.10.2}{X8502893C82A38864}
\makelabel{cap:MonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject for iscapcategoryobject, iscapcategoryobject}{2.10.3}{X7A7C030382397A2B}
\makelabel{cap:InjectiveColift for iscapcategorymorphism, iscapcategorymorphism}{2.10.4}{X7CCBB0A384F37EC6}
\makelabel{cap:Simplify for iscapcategoryobject}{2.11.1}{X7BA160B382F8D742}
\makelabel{cap:SimplifyObject for iscapcategoryobject, isobject}{2.11.2}{X85B54852792DEDD7}
\makelabel{cap:SimplifyObjectIsoFromInputObject for iscapcategoryobject, isobject}{2.11.3}{X78C0D2CB867C5C90}
\makelabel{cap:SimplifyObjectIsoToInputObject for iscapcategoryobject, isobject}{2.11.4}{X835832A685F651C8}
\makelabel{cap:ProjectiveDimension for iscapcategoryobject}{2.12.1}{X824604E9876DDDC5}
\makelabel{cap:InjectiveDimension for iscapcategoryobject}{2.12.2}{X823062CF792E3359}
\makelabel{cap:CapCategory for iscapcategorymorphism}{3.1.1}{X7E923036810C606E}
\makelabel{cap:Source for iscapcategorymorphism}{3.1.2}{X7E1373E385E7315A}
\makelabel{cap:Range for iscapcategorymorphism}{3.1.3}{X817496B987A1ADFC}
\makelabel{cap:MorphismConstructor for iscapcategoryobject, isobject, iscapcategoryobject}{3.2.1}{X7F1FB34F789ECB10}
\makelabel{cap:MorphismDatum for iscapcategorymorphism}{3.2.2}{X7BBFB178866108FA}
\makelabel{cap:IsMonomorphism for iscapcategorymorphism}{3.3.1}{X7A6F64027EEAF42B}
\makelabel{cap:IsEpimorphism for iscapcategorymorphism}{3.3.2}{X7E85E0A67BA11091}
\makelabel{cap:IsIsomorphism for iscapcategorymorphism}{3.3.3}{X7F29CF0282EFEAA3}
\makelabel{cap:IsSplitMonomorphism for iscapcategorymorphism}{3.3.4}{X871A71747E03207D}
\makelabel{cap:IsSplitEpimorphism for iscapcategorymorphism}{3.3.5}{X7B4DB8C887F37D02}
\makelabel{cap:IsOne for iscapcategorymorphism}{3.3.6}{X7FA10AFB7F441434}
\makelabel{cap:IsIdempotent for iscapcategorymorphism}{3.3.7}{X7BA4290882AFFCA3}
\makelabel{cap:RandomMorphismWithFixedSourceByInteger for iscapcategoryobject, isint}{3.4.1}{X79EBA1717D89B0A4}
\makelabel{cap:RandomMorphismWithFixedSourceByList for iscapcategoryobject, islist}{3.4.2}{X84FDBEED7844CDB6}
\makelabel{cap:RandomMorphismWithFixedRangeByInteger for iscapcategoryobject, isint}{3.4.3}{X844B1DDC8488B7CA}
\makelabel{cap:RandomMorphismWithFixedRangeByList for iscapcategoryobject, islist}{3.4.4}{X8568D71882C30501}
\makelabel{cap:RandomMorphismWithFixedSourceAndRangeByInteger for iscapcategoryobject, iscapcategoryobject, isint}{3.4.5}{X80F66E9D809EA6A7}
\makelabel{cap:RandomMorphismWithFixedSourceAndRangeByList for iscapcategoryobject, iscapcategoryobject, islist}{3.4.6}{X7BF231C57B40B1A1}
\makelabel{cap:RandomMorphismByInteger for iscapcategory, isint}{3.4.7}{X81DB09BA7CBD3DB4}
\makelabel{cap:RandomMorphismByList for iscapcategory, islist}{3.4.8}{X7E79F7A9802F622D}
\makelabel{cap:RandomMorphismWithFixedSource for iscapcategoryobject, isint}{3.4.9}{X83D121E787FDC6E8}
\makelabel{cap:RandomMorphismWithFixedSource for iscapcategoryobject, islist}{3.4.9}{X83D121E787FDC6E8}
\makelabel{cap:RandomMorphismWithFixedRange for iscapcategoryobject, isint}{3.4.9}{X83D121E787FDC6E8}
\makelabel{cap:RandomMorphismWithFixedRange for iscapcategoryobject, islist}{3.4.9}{X83D121E787FDC6E8}
\makelabel{cap:RandomMorphismWithFixedSourceAndRange for iscapcategoryobject, iscapcategoryobject, isint}{3.4.9}{X83D121E787FDC6E8}
\makelabel{cap:RandomMorphismWithFixedSourceAndRange for iscapcategoryobject, iscapcategoryobject, islist}{3.4.9}{X83D121E787FDC6E8}
\makelabel{cap:RandomMorphism for iscapcategory, isint}{3.4.9}{X83D121E787FDC6E8}
\makelabel{cap:RandomMorphism for iscapcategory, islist}{3.4.9}{X83D121E787FDC6E8}
\makelabel{cap:IsEqualToIdentityMorphism for iscapcategorymorphism}{3.5.1}{X8211959783AFF307}
\makelabel{cap:IsEqualToZeroMorphism for iscapcategorymorphism}{3.5.2}{X79D407A3807309FC}
\makelabel{cap:IsEndomorphism for iscapcategorymorphism}{3.5.3}{X81057B3E812B06CC}
\makelabel{cap:IsAutomorphism for iscapcategorymorphism}{3.5.4}{X84E5DE257F241830}
\makelabel{cap:Add for iscapcategory, iscapcategorymorphism}{3.6.1}{X7BDADB628232C280}
\makelabel{cap:AddMorphism for iscapcategory, isattributestoringrep}{3.6.2}{X82453E55857562AB}
\makelabel{cap:AddMorphismRepresentation for iscapcategory, isobject}{3.6.3}{X812F94E5790616EC}
\makelabel{cap:ObjectifyMorphismWithSourceAndRangeForCAPWithAttributes}{3.6.4}{X7D4369A984B1BD3E}
\makelabel{cap:IsCongruentForMorphisms for iscapcategorymorphism, iscapcategorymorphism}{3.7.1}{X7FABCFBF865F4179}
\makelabel{cap:IsEqualForMorphisms for iscapcategorymorphism, iscapcategorymorphism}{3.7.2}{X8004F1DA7D9BFA8B}
\makelabel{cap:IsEqualForMorphismsOnMor for iscapcategorymorphism, iscapcategorymorphism}{3.7.3}{X8589E5A4814C3DA5}
\makelabel{cap:IsZeroForMorphisms for iscapcategorymorphism}{3.8.1}{X844684AD86DCC2DC}
\makelabel{cap:AdditionForMorphisms for iscapcategorymorphism, iscapcategorymorphism}{3.8.2}{X83B77FBB85927F14}
\makelabel{cap:SubtractionForMorphisms for iscapcategorymorphism, iscapcategorymorphism}{3.8.3}{X7B6461F5873F3F9D}
\makelabel{cap:AdditiveInverseForMorphisms for iscapcategorymorphism}{3.8.4}{X83177713785DCFFC}
\makelabel{cap:MultiplyWithElementOfCommutativeRingForMorphisms for isringelement, iscapcategorymorphism}{3.8.5}{X8187CAF17EB5D6D0}
\makelabel{cap:ZeroMorphism for iscapcategoryobject, iscapcategoryobject}{3.8.7}{X873412DB7BD0FBD3}
\makelabel{cap:IsEqualAsSubobjects for iscapcategorymorphism, iscapcategorymorphism}{3.9.1}{X7E99DAA884674DE2}
\makelabel{cap:IsEqualAsFactorobjects for iscapcategorymorphism, iscapcategorymorphism}{3.9.2}{X79389FBF86CF87A4}
\makelabel{cap:IsDominating for iscapcategorymorphism, iscapcategorymorphism}{3.9.3}{X7C21531C7EE65C72}
\makelabel{cap:IsCodominating for iscapcategorymorphism, iscapcategorymorphism}{3.9.4}{X7C77E9D479C8D502}
\makelabel{cap:IdentityMorphism for iscapcategoryobject}{3.10.1}{X7C9F3D8086238443}
\makelabel{cap:PreCompose for iscapcategorymorphism, iscapcategorymorphism}{3.10.2}{X8244F7A0868BE27D}
\makelabel{cap:PreCompose for islist}{3.10.3}{X83CB57FB81931CFE}
\makelabel{cap:PreComposeList for islist}{3.10.4}{X87A7BCFA7C2D8F5B}
\makelabel{cap:PostCompose for iscapcategorymorphism, iscapcategorymorphism}{3.10.5}{X84293B8381256A08}
\makelabel{cap:PostCompose for islist}{3.10.6}{X81222A1084A4F637}
\makelabel{cap:PostComposeList for islist}{3.10.7}{X8107D27F7B62D023}
\makelabel{cap:IsWellDefinedForMorphisms for iscapcategorymorphism}{3.11.1}{X7968A871832877B8}
\makelabel{cap:LiftAlongMonomorphism for iscapcategorymorphism, iscapcategorymorphism}{3.12.1}{X83CDF65582CD9921}
\makelabel{cap:ColiftAlongEpimorphism for iscapcategorymorphism, iscapcategorymorphism}{3.12.2}{X79AA9F638487EE32}
\makelabel{cap:IsLiftableAlongMonomorphism for iscapcategorymorphism, iscapcategorymorphism}{3.12.3}{X7D9BA8D67892BD48}
\makelabel{cap:IsColiftableAlongEpimorphism for iscapcategorymorphism, iscapcategorymorphism}{3.12.4}{X7DCDD2B2859EFD2D}
\makelabel{cap:Lift for iscapcategorymorphism, iscapcategorymorphism}{3.12.5}{X87C471D583C1CD9E}
\makelabel{cap:LiftOrFail for iscapcategorymorphism, iscapcategorymorphism}{3.12.6}{X8597DE1C83CFE89D}
\makelabel{cap:IsLiftable for iscapcategorymorphism, iscapcategorymorphism}{3.12.7}{X7F895375875BE5B9}
\makelabel{cap:Colift for iscapcategorymorphism, iscapcategorymorphism}{3.12.8}{X7BA38B0F797AFE20}
\makelabel{cap:ColiftOrFail for iscapcategorymorphism, iscapcategorymorphism}{3.12.9}{X79FFE43E7962CFBA}
\makelabel{cap:IsColiftable for iscapcategorymorphism, iscapcategorymorphism}{3.12.10}{X8685B04087B1E52A}
\makelabel{cap:InverseForMorphisms for iscapcategorymorphism}{3.13.1}{X8371BF227B4C32EF}
\makelabel{cap:IsEqualForCacheForMorphisms for iscapcategorymorphism, iscapcategorymorphism}{3.14.1}{X83F87AE07ED534ED}
\makelabel{cap:IsHomSetInhabited for iscapcategoryobject, iscapcategoryobject}{3.15.1}{X81DB15B87D1A946D}
\makelabel{cap:HomomorphismStructureOnObjects for iscapcategoryobject, iscapcategoryobject}{3.16.1}{X81BC29A679416C45}
\makelabel{cap:HomomorphismStructureOnMorphisms for iscapcategorymorphism, iscapcategorymorphism}{3.16.2}{X8257E3787865C5E0}
\makelabel{cap:HomomorphismStructureOnMorphismsWithGivenObjects for iscapcategoryobject, iscapcategorymorphism, iscapcategorymorphism, iscapcategoryobject}{3.16.3}{X7FBC94B983CBA64F}
\makelabel{cap:DistinguishedObjectOfHomomorphismStructure for iscapcategory}{3.16.4}{X7999CCFF82DA16D7}
\makelabel{cap:InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure for iscapcategorymorphism}{3.16.5}{X81F1237C7DBF7603}
\makelabel{cap:InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects for iscapcategoryobject, iscapcategorymorphism, iscapcategoryobject}{3.16.6}{X7A5A05C682EB033D}
\makelabel{cap:InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism for iscapcategoryobject, iscapcategoryobject, iscapcategorymorphism}{3.16.7}{X8760D39C865239E8}
\makelabel{cap:SolveLinearSystemInAbCategory for islist, islist, islist}{3.16.8}{X7BE5E2687FC110AC}
\makelabel{cap:SolveLinearSystemInAbCategoryOrFail for islist, islist, islist}{3.16.9}{X7CAAF16981546CE0}
\makelabel{cap:MereExistenceOfSolutionOfLinearSystemInAbCategory for islist, islist, islist}{3.16.10}{X7A722FA5817D5F76}
\makelabel{cap:HomStructure for iscapcategorymorphism, iscapcategorymorphism}{3.16.11}{X7D473D9D83C53185}
\makelabel{cap:HomStructure for iscapcategorymorphism, iscapcategoryobject}{3.16.12}{X7848040086B41266}
\makelabel{cap:HomStructure for iscapcategoryobject, iscapcategorymorphism}{3.16.13}{X834C3BB480D6561D}
\makelabel{cap:HomStructure for iscapcategoryobject, iscapcategoryobject}{3.16.14}{X7BFD58C57EC23BD5}
\makelabel{cap:HomStructure for iscapcategorymorphism}{3.16.15}{X7CDC08947CF2022E}
\makelabel{cap:HomStructure for iscapcategoryobject, iscapcategoryobject, iscapcategorymorphism}{3.16.16}{X820B9AC886D78944}
\makelabel{cap:HomStructure for iscapcategory}{3.16.17}{X8705DA127E089709}
\makelabel{cap:BasisOfExternalHom for iscapcategoryobject, iscapcategoryobject}{3.16.18}{X7CC9C1A487AE6086}
\makelabel{cap:CoefficientsOfMorphismWithGivenBasisOfExternalHom for iscapcategorymorphism, islist}{3.16.19}{X82DE981C839D9F71}
\makelabel{cap:CoefficientsOfMorphism for iscapcategorymorphism}{3.16.20}{X8636593C845B23D2}
\makelabel{cap:SimplifyMorphism for iscapcategorymorphism, isobject}{3.17.1}{X7FCE611883F6A56B}
\makelabel{cap:SimplifySource for iscapcategorymorphism, isobject}{3.17.2}{X7DAD0E437D28F300}
\makelabel{cap:SimplifySourceIsoToInputObject for iscapcategorymorphism, isobject}{3.17.3}{X843C68B97ED31DD4}
\makelabel{cap:SimplifySourceIsoFromInputObject for iscapcategorymorphism, isobject}{3.17.4}{X7CE5C1BB7BA7AA16}
\makelabel{cap:SimplifyRange for iscapcategorymorphism, isobject}{3.17.5}{X7F80C5357F84A39A}
\makelabel{cap:SimplifyRangeIsoToInputObject for iscapcategorymorphism, isobject}{3.17.6}{X82FCEC277F3A1A70}
\makelabel{cap:SimplifyRangeIsoFromInputObject for iscapcategorymorphism, isobject}{3.17.7}{X865CD95E7D068A77}
\makelabel{cap:SimplifySourceAndRange for iscapcategorymorphism, isobject}{3.17.8}{X821E16DF8071B8A4}
\makelabel{cap:SimplifySourceAndRangeIsoToInputRange for iscapcategorymorphism, isobject}{3.17.9}{X84C39DE584D38D4E}
\makelabel{cap:SimplifySourceAndRangeIsoFromInputRange for iscapcategorymorphism, isobject}{3.17.10}{X859DF3C2819FFE4D}
\makelabel{cap:SimplifySourceAndRangeIsoToInputSource for iscapcategorymorphism, isobject}{3.17.11}{X7DD0915A7E23283E}
\makelabel{cap:SimplifySourceAndRangeIsoFromInputSource for iscapcategorymorphism, isobject}{3.17.12}{X783C20A47889C4A8}
\makelabel{cap:SimplifyEndo for iscapcategorymorphism, isobject}{3.17.13}{X830C7337864DB3D6}
\makelabel{cap:SimplifyEndoIsoToInputObject for iscapcategorymorphism, isobject}{3.17.14}{X78189F508549ABAA}
\makelabel{cap:SimplifyEndoIsoFromInputObject for iscapcategorymorphism, isobject}{3.17.15}{X7C07985D844FD715}
\makelabel{cap:Simplify for iscapcategorymorphism}{3.17.16}{X7D80D2B2792A7A50}
\makelabel{cap:SomeReductionBySplitEpiSummand for iscapcategorymorphism}{3.18.1}{X7F997AF37E59411F}
\makelabel{cap:SomeReductionBySplitEpiSummandMorphismToInputRange for iscapcategorymorphism}{3.18.2}{X7C92D8AF82E65289}
\makelabel{cap:SomeReductionBySplitEpiSummandMorphismFromInputRange for iscapcategorymorphism}{3.18.3}{X7A0F381279955981}
\makelabel{cap:Source for iscapcategorytwocell}{4.1.1}{X8061EB36809022A4}
\makelabel{cap:Range for iscapcategorytwocell}{4.1.2}{X7C16D44B8639016B}
\makelabel{cap:IdentityTwoCell for iscapcategorymorphism}{4.2.1}{X78ED1F327D902924}
\makelabel{cap:HorizontalPreCompose for iscapcategorytwocell, iscapcategorytwocell}{4.2.2}{X7DD9EB1F80921939}
\makelabel{cap:HorizontalPostCompose for iscapcategorytwocell, iscapcategorytwocell}{4.2.3}{X87C942B87C6A161D}
\makelabel{cap:VerticalPreCompose for iscapcategorytwocell, iscapcategorytwocell}{4.2.4}{X7D89385B7834B086}
\makelabel{cap:VerticalPostCompose for iscapcategorytwocell, iscapcategorytwocell}{4.2.5}{X79D9FBEA851C4F00}
\makelabel{cap:IsWellDefinedForTwoCells for iscapcategorytwocell}{4.3.1}{X8240AF367C87663F}
\makelabel{cap:CapCat}{5.1.1}{X810DBB407D117E6B}
\makelabel{cap:IsCapCategoryAsCatObject for iscapcategoryobject}{5.2.1}{X814369D484E429EF}
\makelabel{cap:IsCapFunctor for iscapcategorymorphism}{5.2.2}{X7CBE360B8629DC79}
\makelabel{cap:IsCapNaturalTransformation for iscapcategorytwocell}{5.2.3}{X7D2DD1297D6E57D0}
\makelabel{cap:AsCatObject for iscapcategory}{5.3.1}{X7F7E47537FD1EDC3}
\makelabel{cap:AsCapCategory for iscapcategoryascatobject}{5.3.2}{X7E3142BA84C1EC72}
\makelabel{cap:CapFunctor for isstring, iscapcategory, iscapcategory}{5.4.1}{X7814A6FC86238C93}
\makelabel{cap:CapFunctor for isstring, iscapcategoryascatobject, iscapcategory}{5.4.1}{X7814A6FC86238C93}
\makelabel{cap:CapFunctor for isstring, iscapcategory, iscapcategoryascatobject}{5.4.1}{X7814A6FC86238C93}
\makelabel{cap:CapFunctor for isstring, iscapcategoryascatobject, iscapcategoryascatobject}{5.4.1}{X7814A6FC86238C93}
\makelabel{cap:CapFunctor for isstring, islist, iscapcategory}{5.4.2}{X7E4F877C7C91B7CA}
\makelabel{cap:CapFunctor for isstring, islist, iscapcategoryascatobject}{5.4.2}{X7E4F877C7C91B7CA}
\makelabel{cap:SourceOfFunctor for iscapfunctor}{5.4.3}{X78773EEC7F33AC3A}
\makelabel{cap:RangeOfFunctor for iscapfunctor}{5.4.4}{X8710DBB68544497A}
\makelabel{cap:AddObjectFunction for iscapfunctor, isfunction}{5.4.5}{X7A75B6A77C9F6836}
\makelabel{cap:FunctorObjectOperation for iscapfunctor}{5.4.6}{X78CD5D1E811A85CF}
\makelabel{cap:AddMorphismFunction for iscapfunctor, isfunction}{5.4.7}{X85EFB9BE8145B737}
\makelabel{cap:FunctorMorphismOperation for iscapfunctor}{5.4.8}{X7D3BAF84793D9576}
\makelabel{cap:ApplyFunctor}{5.4.9}{X850397447A1A766E}
\makelabel{cap:InputSignature for iscapfunctor}{5.4.10}{X8562CA1F795C5154}
\makelabel{cap:InstallFunctor for iscapfunctor, isstring}{5.4.11}{X781664C7876ED8A0}
\makelabel{cap:IdentityFunctor for iscapcategory}{5.4.12}{X833F9B6D85713A4F}
\makelabel{cap:FunctorCanonicalizeZeroObjects for iscapcategory}{5.4.13}{X83FFF5538147E243}
\makelabel{cap:NaturalIsomorphismFromIdentityToCanonicalizeZeroObjects for iscapcategory}{5.4.14}{X7EF63850830B8064}
\makelabel{cap:FunctorCanonicalizeZeroMorphisms for iscapcategory}{5.4.15}{X7AA6B22B7BF73AAE}
\makelabel{cap:NaturalIsomorphismFromIdentityToCanonicalizeZeroMorphisms for iscapcategory}{5.4.16}{X8223CAD483193F52}
\makelabel{cap:Name for iscapnaturaltransformation}{5.5.1}{X7F32E8C985178781}
\makelabel{cap:NaturalTransformation for iscapfunctor, iscapfunctor}{5.5.2}{X7C9810B8858249A0}
\makelabel{cap:AddNaturalTransformationFunction for iscapnaturaltransformation, isfunction}{5.5.3}{X7DFC4C9183446E95}
\makelabel{cap:ApplyNaturalTransformation}{5.5.4}{X867F8B6A78462396}
\makelabel{cap:InstallNaturalTransformation for iscapnaturaltransformation, isstring}{5.5.5}{X79E6BE7E83687767}
\makelabel{cap:HorizontalPreComposeNaturalTransformationWithFunctor for iscapnaturaltransformation, iscapfunctor}{5.5.6}{X7EAB133B81CDB5E5}
\makelabel{cap:HorizontalPreComposeFunctorWithNaturalTransformation for iscapfunctor, iscapnaturaltransformation}{5.5.7}{X7B8AC0BB8370031D}
\makelabel{cap:KernelObject for iscapcategorymorphism}{6.1.1}{X82EAD3357C9FE4C8}
\makelabel{cap:KernelEmbedding for iscapcategorymorphism}{6.1.2}{X8430666980D732FB}
\makelabel{cap:KernelEmbeddingWithGivenKernelObject for iscapcategorymorphism, iscapcategoryobject}{6.1.3}{X7CBE1D0C84F5A47E}
\makelabel{cap:MorphismFromKernelObjectToSink for iscapcategorymorphism}{6.1.4}{X78140AF884DE0736}
\makelabel{cap:MorphismFromKernelObjectToSinkWithGivenKernelObject for iscapcategorymorphism, iscapcategoryobject}{6.1.5}{X7BF5A3A57E23C795}
\makelabel{cap:KernelLift for iscapcategorymorphism, iscapcategoryobject, iscapcategorymorphism}{6.1.6}{X87920AC67A5802BC}
\makelabel{cap:KernelLiftWithGivenKernelObject for iscapcategorymorphism, iscapcategoryobject, iscapcategorymorphism, iscapcategoryobject}{6.1.7}{X83D439A07AD29D05}
\makelabel{cap:KernelObjectFunctorial for islist}{6.1.8}{X78D5B94A7EF4D4F0}
\makelabel{cap:KernelObjectFunctorial for iscapcategorymorphism, iscapcategorymorphism, iscapcategorymorphism}{6.1.9}{X787AE8F07F7A062C}
\makelabel{cap:KernelObjectFunctorialWithGivenKernelObjects for iscapcategoryobject, iscapcategorymorphism, iscapcategorymorphism,iscapcategorymorphism, iscapcategoryobject}{6.1.10}{X7F61FE0B82AF4CDB}
\makelabel{cap:KernelObjectFunctorialWithGivenKernelObjects for iscapcategoryobject, iscapcategorymorphism, iscapcategorymorphism,iscapcategorymorphism, iscapcategorymorphism, iscapcategoryobject}{6.1.11}{X7A17922D869CCEB5}
\makelabel{cap:CokernelObject for iscapcategorymorphism}{6.2.1}{X82803DBC80F40EFC}
\makelabel{cap:CokernelProjection for iscapcategorymorphism}{6.2.2}{X78948D7A7B52AB31}
\makelabel{cap:CokernelProjectionWithGivenCokernelObject for iscapcategorymorphism, iscapcategoryobject}{6.2.3}{X845DC9377A05BE7B}
\makelabel{cap:MorphismFromSourceToCokernelObject for iscapcategorymorphism}{6.2.4}{X872E26C57F195D50}
\makelabel{cap:MorphismFromSourceToCokernelObjectWithGivenCokernelObject for iscapcategorymorphism, iscapcategoryobject}{6.2.5}{X876648527E75AA04}
\makelabel{cap:CokernelColift for iscapcategorymorphism, iscapcategoryobject, iscapcategorymorphism}{6.2.6}{X8735262382CE2560}
\makelabel{cap:CokernelColiftWithGivenCokernelObject for iscapcategorymorphism, iscapcategoryobject, iscapcategorymorphism, iscapcategoryobject}{6.2.7}{X86DB5CD27C0EB7D2}
\makelabel{cap:CokernelObjectFunctorial for islist}{6.2.8}{X78E421227FB90A70}
\makelabel{cap:CokernelObjectFunctorial for iscapcategorymorphism, iscapcategorymorphism, iscapcategorymorphism}{6.2.9}{X837889ED7BD6CBED}
\makelabel{cap:CokernelObjectFunctorialWithGivenCokernelObjects for iscapcategoryobject, iscapcategorymorphism, iscapcategorymorphism,iscapcategorymorphism, iscapcategoryobject}{6.2.10}{X7BA172F07A431626}
\makelabel{cap:CokernelObjectFunctorialWithGivenCokernelObjects for iscapcategoryobject, iscapcategorymorphism, iscapcategorymorphism,iscapcategorymorphism, iscapcategorymorphism, iscapcategoryobject}{6.2.11}{X7F59A455873709D3}
\makelabel{cap:ZeroObject for iscapcategory}{6.3.1}{X790C4FA87CADB93E}
\makelabel{cap:ZeroObject for iscapcategorycell}{6.3.2}{X87D87A177FE0542F}
\makelabel{cap:UniversalMorphismFromZeroObject for iscapcategoryobject}{6.3.3}{X7A0BF1118777C8A3}
\makelabel{cap:UniversalMorphismFromZeroObjectWithGivenZeroObject for iscapcategoryobject, iscapcategoryobject}{6.3.4}{X80327B2387F38FE8}
\makelabel{cap:UniversalMorphismIntoZeroObject for iscapcategoryobject}{6.3.5}{X86003308844F8341}
\makelabel{cap:UniversalMorphismIntoZeroObjectWithGivenZeroObject for iscapcategoryobject, iscapcategoryobject}{6.3.6}{X866104CA84CBC40A}
\makelabel{cap:MorphismFromZeroObject for iscapcategoryobject}{6.3.7}{X7F701A11812C74C5}
\makelabel{cap:MorphismIntoZeroObject for iscapcategoryobject}{6.3.8}{X837BD808791003FF}
\makelabel{cap:IsomorphismFromZeroObjectToInitialObject for iscapcategory}{6.3.9}{X8711ABE9811C7CCF}
\makelabel{cap:IsomorphismFromInitialObjectToZeroObject for iscapcategory}{6.3.10}{X86FF82B284B8E2EB}
\makelabel{cap:IsomorphismFromZeroObjectToTerminalObject for iscapcategory}{6.3.11}{X78C501A179BB6CBB}
\makelabel{cap:IsomorphismFromTerminalObjectToZeroObject for iscapcategory}{6.3.12}{X83E84FC187EE2445}
\makelabel{cap:ZeroObjectFunctorial for iscapcategory}{6.3.13}{X79CEAF827DDED44B}
\makelabel{cap:ZeroObjectFunctorialWithGivenZeroObjects for iscapcategoryobject, iscapcategoryobject}{6.3.14}{X82D7BF1F85268B0A}
\makelabel{cap:TerminalObject for iscapcategory}{6.4.1}{X7DC837217946D22D}
\makelabel{cap:TerminalObject for iscapcategorycell}{6.4.2}{X7D86D2EA7845AEEB}
\makelabel{cap:UniversalMorphismIntoTerminalObject for iscapcategoryobject}{6.4.3}{X7BEA5AF67D63F4A5}
\makelabel{cap:UniversalMorphismIntoTerminalObjectWithGivenTerminalObject for iscapcategoryobject, iscapcategoryobject}{6.4.4}{X8707AD1784DCBBFF}
\makelabel{cap:TerminalObjectFunctorial for iscapcategory}{6.4.5}{X7C616CD287760D2F}
\makelabel{cap:TerminalObjectFunctorialWithGivenTerminalObjects for iscapcategoryobject, iscapcategoryobject}{6.4.6}{X8511229882130F93}
\makelabel{cap:InitialObject for iscapcategory}{6.5.1}{X7A70384E7F182B00}
\makelabel{cap:InitialObject for iscapcategorycell}{6.5.2}{X7E17CDF481C348B9}
\makelabel{cap:UniversalMorphismFromInitialObject for iscapcategoryobject}{6.5.3}{X873FC2B087004DC3}
\makelabel{cap:UniversalMorphismFromInitialObjectWithGivenInitialObject for iscapcategoryobject, iscapcategoryobject}{6.5.4}{X7F7177F585576F6B}
\makelabel{cap:InitialObjectFunctorial for iscapcategory}{6.5.5}{X87B1C71179F798C8}
\makelabel{cap:InitialObjectFunctorialWithGivenInitialObjects for iscapcategoryobject, iscapcategoryobject}{6.5.6}{X7CE9BBC27F70F3BD}
\makelabel{cap:DirectSum}{6.6.1}{X82AD6F187B550060}
\makelabel{cap:DirectSumOp for islist}{6.6.2}{X7BC1F4728357D708}
\makelabel{cap:ProjectionInFactorOfDirectSum for islist, isint}{6.6.3}{X78E4506F7BBA7A9A}
\makelabel{cap:ProjectionInFactorOfDirectSumWithGivenDirectSum for islist, isint, iscapcategoryobject}{6.6.4}{X832F2E577B7B70BB}
\makelabel{cap:InjectionOfCofactorOfDirectSum for islist, isint}{6.6.5}{X842743E97E2F28CD}
\makelabel{cap:InjectionOfCofactorOfDirectSumWithGivenDirectSum for islist, isint, iscapcategoryobject}{6.6.6}{X876493497F824480}
\makelabel{cap:UniversalMorphismIntoDirectSum for islist, iscapcategoryobject, islist}{6.6.7}{X84FCF65E798EBF7B}
\makelabel{cap:UniversalMorphismIntoDirectSumWithGivenDirectSum for islist, iscapcategoryobject, islist, iscapcategoryobject}{6.6.8}{X79EFDADB8276B639}
\makelabel{cap:UniversalMorphismFromDirectSum for islist, iscapcategoryobject, islist}{6.6.9}{X812D12CF7AB6F499}
\makelabel{cap:UniversalMorphismFromDirectSumWithGivenDirectSum for islist, iscapcategoryobject, islist, iscapcategoryobject}{6.6.10}{X7B64A051814EFDDB}
\makelabel{cap:IsomorphismFromDirectSumToDirectProduct for islist}{6.6.11}{X7AB9D34882B5EDDF}
\makelabel{cap:IsomorphismFromDirectProductToDirectSum for islist}{6.6.12}{X7E87C9257A1BFFEE}
\makelabel{cap:IsomorphismFromDirectSumToCoproduct for islist}{6.6.13}{X85599FEC812FD591}
\makelabel{cap:IsomorphismFromCoproductToDirectSum for islist}{6.6.14}{X7CACFBCA7B9A4E19}
\makelabel{cap:MorphismBetweenDirectSums for islist, islist, islist}{6.6.15}{X847C8B7E8646DF61}
\makelabel{cap:MorphismBetweenDirectSums for islist}{6.6.16}{X7FDE63F78410A822}
\makelabel{cap:MorphismBetweenDirectSumsWithGivenDirectSums for iscapcategoryobject, islist, islist, islist, iscapcategoryobject}{6.6.17}{X7E020D2783A62178}
\makelabel{cap:MorphismBetweenDirectSums for islist, isint, isint}{6.6.18}{X82AEEAFF86D5E749}
\makelabel{cap:ComponentOfMorphismIntoDirectSum for iscapcategorymorphism, islist, isint}{6.6.19}{X7A3400D485D0C438}
\makelabel{cap:ComponentOfMorphismFromDirectSum for iscapcategorymorphism, islist, isint}{6.6.20}{X7B71C4F4799263E6}
\makelabel{cap:DirectSumFunctorial for islist, islist, islist}{6.6.21}{X784D53A47F683192}
\makelabel{cap:DirectSumFunctorialWithGivenDirectSums for iscapcategoryobject, islist, islist, islist, iscapcategoryobject}{6.6.22}{X78B24593868483EE}
\makelabel{cap:Coproduct for islist}{6.7.1}{X872D3F297979C7B8}
\makelabel{cap:Coproduct for iscapcategoryobject, iscapcategoryobject}{6.7.2}{X7E3C6A0482E8CAB5}
\makelabel{cap:Coproduct for iscapcategoryobject, iscapcategoryobject, iscapcategoryobject}{6.7.3}{X82FCE4657D132584}
\makelabel{cap:InjectionOfCofactorOfCoproduct for islist, isint}{6.7.4}{X82D87B52862BB55C}
\makelabel{cap:InjectionOfCofactorOfCoproductWithGivenCoproduct for islist, isint, iscapcategoryobject}{6.7.5}{X83687CD9789CAB9C}
\makelabel{cap:UniversalMorphismFromCoproduct for islist, iscapcategoryobject, islist}{6.7.6}{X7D002C7B82B26908}
\makelabel{cap:UniversalMorphismFromCoproductWithGivenCoproduct for islist, iscapcategoryobject, islist, iscapcategoryobject}{6.7.7}{X85F392E5865012C7}
\makelabel{cap:CoproductFunctorial for islist, islist, islist}{6.7.8}{X7FDE92577EFB6866}
\makelabel{cap:CoproductFunctorialWithGivenCoproducts for iscapcategoryobject, islist, islist, islist, iscapcategoryobject}{6.7.9}{X85FFAD9E7FAFF9D4}
\makelabel{cap:DirectProduct}{6.8.1}{X861BA02C7902A4F4}
\makelabel{cap:DirectProductOp for islist}{6.8.2}{X7AEF0CD1812F7EC8}
\makelabel{cap:ProjectionInFactorOfDirectProduct for islist, isint}{6.8.3}{X7FFBE9EC7BEE7673}
\makelabel{cap:ProjectionInFactorOfDirectProductWithGivenDirectProduct for islist, isint, iscapcategoryobject}{6.8.4}{X8288ABA984EF9DED}
\makelabel{cap:UniversalMorphismIntoDirectProduct for islist, iscapcategoryobject, islist}{6.8.5}{X872189E4848F6863}
\makelabel{cap:UniversalMorphismIntoDirectProductWithGivenDirectProduct for islist, iscapcategoryobject, islist, iscapcategoryobject}{6.8.6}{X81A27DC180D751B8}
\makelabel{cap:DirectProductFunctorial for islist, islist, islist}{6.8.7}{X79EB76507C8AB4A4}
\makelabel{cap:DirectProductFunctorialWithGivenDirectProducts for iscapcategoryobject, islist, islist, islist, iscapcategoryobject}{6.8.8}{X7DD930FE78492D58}
\makelabel{cap:Equalizer}{6.9.1}{X824FD8F786D2350D}
\makelabel{cap:EqualizerOp for islist}{6.9.2}{X797A21407ED0E265}
\makelabel{cap:EmbeddingOfEqualizer for islist}{6.9.3}{X80F6FFA483B8379B}
\makelabel{cap:EmbeddingOfEqualizerWithGivenEqualizer for islist, iscapcategoryobject}{6.9.4}{X810AA9C5787FC775}
\makelabel{cap:MorphismFromEqualizerToSink for islist}{6.9.5}{X7B5D9DFB86DFF424}
\makelabel{cap:MorphismFromEqualizerToSinkWithGivenEqualizer for islist, iscapcategoryobject}{6.9.6}{X844B40F97DC035C5}
\makelabel{cap:UniversalMorphismIntoEqualizer for islist, iscapcategoryobject, iscapcategorymorphism}{6.9.7}{X7EF7C12D7D64CE23}
\makelabel{cap:UniversalMorphismIntoEqualizerWithGivenEqualizer for islist, iscapcategoryobject, iscapcategorymorphism, iscapcategoryobject}{6.9.8}{X80D514188214CB42}
\makelabel{cap:EqualizerFunctorial for islist, iscapcategorymorphism, islist}{6.9.9}{X82400CA57F0E5585}
\makelabel{cap:EqualizerFunctorialWithGivenEqualizers for iscapcategoryobject, islist, iscapcategorymorphism, islist, iscapcategoryobject}{6.9.10}{X7804D05C7EFDC5CE}
\makelabel{cap:Coequalizer}{6.10.1}{X7BA8F7BD793CC288}
\makelabel{cap:CoequalizerOp for islist}{6.10.2}{X7E0122F87A4879AA}
\makelabel{cap:ProjectionOntoCoequalizer for islist}{6.10.3}{X7EF42FC481100977}
\makelabel{cap:ProjectionOntoCoequalizerWithGivenCoequalizer for islist, iscapcategoryobject}{6.10.4}{X7DA261DF7D3D1961}
\makelabel{cap:MorphismFromSourceToCoequalizer for islist}{6.10.5}{X7D58B10D78B51871}
\makelabel{cap:MorphismFromSourceToCoequalizerWithGivenCoequalizer for islist, iscapcategoryobject}{6.10.6}{X7AF4390A8645FDE3}
\makelabel{cap:UniversalMorphismFromCoequalizer for islist, iscapcategoryobject, iscapcategorymorphism}{6.10.7}{X7CA2CBDE87CC7C18}
\makelabel{cap:UniversalMorphismFromCoequalizerWithGivenCoequalizer for islist, iscapcategoryobject, iscapcategorymorphism, iscapcategoryobject}{6.10.8}{X7FBE8BC27DDA7245}
\makelabel{cap:CoequalizerFunctorial for islist, iscapcategorymorphism, islist}{6.10.9}{X818C5AD2794A2C7B}
\makelabel{cap:CoequalizerFunctorialWithGivenCoequalizers for iscapcategoryobject, islist, iscapcategorymorphism, islist, iscapcategoryobject}{6.10.10}{X7CB3323C7B44B75F}
\makelabel{cap:IsomorphismFromFiberProductToKernelOfDiagonalDifference for islist}{6.11.1}{X79C946837899FDBF}
\makelabel{cap:IsomorphismFromKernelOfDiagonalDifferenceToFiberProduct for islist}{6.11.2}{X848F0B52844D782B}
\makelabel{cap:IsomorphismFromFiberProductToEqualizerOfDirectProductDiagram for islist}{6.11.3}{X7DAB395584678429}
\makelabel{cap:IsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct for islist}{6.11.4}{X8190FBB47DB6307D}
\makelabel{cap:DirectSumDiagonalDifference for islist}{6.11.5}{X7E17BF518268C33A}
\makelabel{cap:FiberProductEmbeddingInDirectSum for islist}{6.11.6}{X7919AF7486FA42C5}
\makelabel{cap:FiberProduct}{6.11.7}{X7DE20941803BFBD9}
\makelabel{cap:FiberProductOp for islist}{6.11.8}{X8000EEB77D6E8B7C}
\makelabel{cap:ProjectionInFactorOfFiberProduct for islist, isint}{6.11.9}{X8104B3717D3B646F}
\makelabel{cap:ProjectionInFactorOfFiberProductWithGivenFiberProduct for islist, isint, iscapcategoryobject}{6.11.10}{X8085606A7B09071F}
\makelabel{cap:MorphismFromFiberProductToSink for islist}{6.11.11}{X7C6EF50085D13D12}
\makelabel{cap:MorphismFromFiberProductToSinkWithGivenFiberProduct for islist, iscapcategoryobject}{6.11.12}{X866ED61786F4C76C}
\makelabel{cap:UniversalMorphismIntoFiberProduct for islist, iscapcategoryobject, islist}{6.11.13}{X8441CF7F8140E8C2}
\makelabel{cap:UniversalMorphismIntoFiberProductWithGivenFiberProduct for islist, iscapcategoryobject, islist, iscapcategoryobject}{6.11.14}{X7A6A890D85F01977}
\makelabel{cap:FiberProductFunctorial for islist, islist, islist}{6.11.15}{X791F33AB7EAF6A2A}
\makelabel{cap:FiberProductFunctorialWithGivenFiberProducts for iscapcategoryobject, islist, islist, islist, iscapcategoryobject}{6.11.16}{X83A9F01A82894F65}
\makelabel{cap:IsomorphismFromPushoutToCokernelOfDiagonalDifference for islist}{6.12.1}{X7DB5F4937D3FFB15}
\makelabel{cap:IsomorphismFromCokernelOfDiagonalDifferenceToPushout for islist}{6.12.2}{X7D9E5AEA7E6F0092}
\makelabel{cap:IsomorphismFromPushoutToCoequalizerOfCoproductDiagram for islist}{6.12.3}{X87C495A782BE3433}
\makelabel{cap:IsomorphismFromCoequalizerOfCoproductDiagramToPushout for islist}{6.12.4}{X7EAFDD727D94E932}
\makelabel{cap:DirectSumCodiagonalDifference for islist}{6.12.5}{X81DC4C1778CF1FD3}
\makelabel{cap:DirectSumProjectionInPushout for islist}{6.12.6}{X78450AD684E5746A}
\makelabel{cap:Pushout for islist}{6.12.7}{X78E10D9E849FE214}
\makelabel{cap:Pushout for iscapcategorymorphism, iscapcategorymorphism}{6.12.8}{X78D93A2883C83CAC}
\makelabel{cap:InjectionOfCofactorOfPushout for islist, isint}{6.12.9}{X7CF12E527805752F}
\makelabel{cap:InjectionOfCofactorOfPushoutWithGivenPushout for islist, isint, iscapcategoryobject}{6.12.10}{X7E54DB957B5F9157}
\makelabel{cap:MorphismFromSourceToPushout for islist}{6.12.11}{X84B182F882D1F039}
\makelabel{cap:MorphismFromSourceToPushoutWithGivenPushout for islist, iscapcategoryobject}{6.12.12}{X7D3DAF80816918A4}
\makelabel{cap:UniversalMorphismFromPushout for islist, iscapcategoryobject, islist}{6.12.13}{X84F299F47BFB39F8}
\makelabel{cap:UniversalMorphismFromPushoutWithGivenPushout for islist, iscapcategoryobject, islist, iscapcategoryobject}{6.12.14}{X7E3C69767F1C3B30}
\makelabel{cap:PushoutFunctorial for islist, islist, islist}{6.12.15}{X80494AF087F5DE4B}
\makelabel{cap:PushoutFunctorialWithGivenPushouts for iscapcategoryobject, islist, islist, islist, iscapcategoryobject}{6.12.16}{X7DAF60808113D76B}
\makelabel{cap:IsomorphismFromImageObjectToKernelOfCokernel for iscapcategorymorphism}{6.13.1}{X80490BD785CA695A}
\makelabel{cap:IsomorphismFromKernelOfCokernelToImageObject for iscapcategorymorphism}{6.13.2}{X7CAA3342865B456B}
\makelabel{cap:ImageObject for iscapcategorymorphism}{6.13.3}{X83B457FF79AC5AC6}
\makelabel{cap:ImageEmbedding for iscapcategorymorphism}{6.13.4}{X86CEE2D1876EC2B9}
\makelabel{cap:ImageEmbeddingWithGivenImageObject for iscapcategorymorphism, iscapcategoryobject}{6.13.5}{X82991FA17B460744}
\makelabel{cap:CoastrictionToImage for iscapcategorymorphism}{6.13.6}{X8144201987A27661}
\makelabel{cap:CoastrictionToImageWithGivenImageObject for iscapcategorymorphism, iscapcategoryobject}{6.13.7}{X78BE36EA83BEF493}
\makelabel{cap:UniversalMorphismFromImage for iscapcategorymorphism, islist}{6.13.8}{X7989B1FB811D2033}
\makelabel{cap:UniversalMorphismFromImageWithGivenImageObject for iscapcategorymorphism, islist, iscapcategoryobject}{6.13.9}{X86E557097CFB4430}
\makelabel{cap:MorphismFromCoimageToImage for iscapcategorymorphism}{6.14.1}{X7F7BD6A18581671E}
\makelabel{cap:MorphismFromCoimageToImageWithGivenObjects for iscapcategoryobject, iscapcategorymorphism, iscapcategoryobject}{6.14.2}{X8025749B78E12A2B}
\makelabel{cap:InverseMorphismFromCoimageToImage for iscapcategorymorphism}{6.14.3}{X7D0C9B067F3E15B4}
\makelabel{cap:InverseMorphismFromCoimageToImageWithGivenObjects for iscapcategoryobject, iscapcategorymorphism, iscapcategoryobject}{6.14.4}{X83C4E6FF7D1F1A9C}
\makelabel{cap:IsomorphismFromCoimageToCokernelOfKernel for iscapcategorymorphism}{6.14.5}{X7C594E227D8DB0ED}
\makelabel{cap:IsomorphismFromCokernelOfKernelToCoimage for iscapcategorymorphism}{6.14.6}{X7CF7E7E47A460E56}
\makelabel{cap:CoimageObject for iscapcategorymorphism}{6.14.7}{X82318F9B876ACB1A}
\makelabel{cap:CoimageProjection for iscapcategorymorphism}{6.14.8}{X788E717C7CCC6645}
\makelabel{cap:CoimageProjectionWithGivenCoimageObject for iscapcategorymorphism, iscapcategoryobject}{6.14.9}{X836301DF80A22C5C}
\makelabel{cap:AstrictionToCoimage for iscapcategorymorphism}{6.14.10}{X805108BF8047357E}
\makelabel{cap:AstrictionToCoimageWithGivenCoimageObject for iscapcategorymorphism, iscapcategoryobject}{6.14.11}{X78AC1C7384A60A5E}
\makelabel{cap:UniversalMorphismIntoCoimage for iscapcategorymorphism, islist}{6.14.12}{X7D051DDF7A68BFFB}
\makelabel{cap:UniversalMorphismIntoCoimageWithGivenCoimageObject for iscapcategorymorphism, islist, iscapcategoryobject}{6.14.13}{X87AACC0083B6D49F}
\makelabel{cap:CanonicalIdentificationFromImageObjectToCoimage for iscapcategorymorphism}{6.14.14}{X7D1114D97D8179BD}
\makelabel{cap:CanonicalIdentificationFromCoimageToImageObject for iscapcategorymorphism}{6.14.15}{X8471140B7DF55646}
\makelabel{cap:HomologyObject for iscapcategorymorphism, iscapcategorymorphism}{6.15.1}{X8713652D7B7E1418}
\makelabel{cap:HomologyObjectFunctorial for iscapcategorymorphism, iscapcategorymorphism, iscapcategorymorphism, iscapcategorymorphism, iscapcategorymorphism}{6.15.2}{X8647C62283C9B921}
\makelabel{cap:HomologyObjectFunctorialWithGivenHomologyObjects for iscapcategoryobject, islist, iscapcategoryobject}{6.15.3}{X81012CC0845DE717}
\makelabel{cap:IsomorphismFromHomologyObjectToItsConstructionAsAnImageObject for iscapcategorymorphism, iscapcategorymorphism}{6.15.4}{X8799E88E79EFE007}
\makelabel{cap:IsomorphismFromItsConstructionAsAnImageObjectToHomologyObject for iscapcategorymorphism, iscapcategorymorphism}{6.15.5}{X828E94BA7CF6FB71}
\makelabel{cap:CapInternalInstallAdd}{7.3.1}{X7AFC15FE81D083CB}
\makelabel{cap:CAPOperationPrepareFunction}{7.6.1}{X84409FF87D35BE99}
\makelabel{cap:CAPAddPrepareFunction}{7.6.2}{X7843089F86F47D3B}
\makelabel{cap:ListCAPPrepareFunctions}{7.6.3}{X82AEE9507F0B48BC}
\makelabel{cap:AddAdditionForMorphisms for iscapcategory, isfunction}{7.7.1}{X811BB502781CFBB9}
\makelabel{cap:AddAdditiveGenerators for iscapcategory, isfunction}{7.7.2}{X7BE108F1785F069A}
\makelabel{cap:AddAdditiveInverseForMorphisms for iscapcategory, isfunction}{7.7.3}{X7AB78A707BF08401}
\makelabel{cap:AddAstrictionToCoimage for iscapcategory, isfunction}{7.7.4}{X786682798320D413}
\makelabel{cap:AddAstrictionToCoimageWithGivenCoimageObject for iscapcategory, isfunction}{7.7.5}{X7A3941A6808F122B}
\makelabel{cap:AddBasisOfExternalHom for iscapcategory, isfunction}{7.7.6}{X7E995205864340BD}
\makelabel{cap:AddCanonicalIdentificationFromCoimageToImageObject for iscapcategory, isfunction}{7.7.7}{X7FCB65A17DB481CA}
\makelabel{cap:AddCanonicalIdentificationFromImageObjectToCoimage for iscapcategory, isfunction}{7.7.8}{X87BCB4F28116D43C}
\makelabel{cap:AddCoastrictionToImage for iscapcategory, isfunction}{7.7.9}{X78C7D6E582FD41E9}
\makelabel{cap:AddCoastrictionToImageWithGivenImageObject for iscapcategory, isfunction}{7.7.10}{X8077FB7485FCD5E6}
\makelabel{cap:AddCoefficientsOfMorphismWithGivenBasisOfExternalHom for iscapcategory, isfunction}{7.7.11}{X7AEFCC3687207A4C}
\makelabel{cap:AddCoequalizer for iscapcategory, isfunction}{7.7.12}{X854D668E7F7AE192}
\makelabel{cap:AddCoequalizerFunctorial for iscapcategory, isfunction}{7.7.13}{X85D135A186E19749}
\makelabel{cap:AddCoequalizerFunctorialWithGivenCoequalizers for iscapcategory, isfunction}{7.7.14}{X784EE97C7CBD86AE}
\makelabel{cap:AddCoimageObject for iscapcategory, isfunction}{7.7.15}{X87747A0B87DA7CF9}
\makelabel{cap:AddCoimageProjection for iscapcategory, isfunction}{7.7.16}{X85B54DD47C3E9682}
\makelabel{cap:AddCoimageProjectionWithGivenCoimageObject for iscapcategory, isfunction}{7.7.17}{X819E76B4798EA44C}
\makelabel{cap:AddCokernelColift for iscapcategory, isfunction}{7.7.18}{X7988858A83DAFF4B}
\makelabel{cap:AddCokernelColiftWithGivenCokernelObject for iscapcategory, isfunction}{7.7.19}{X7991C43079F444CC}
\makelabel{cap:AddCokernelObject for iscapcategory, isfunction}{7.7.20}{X7827637D7B8E7E60}
\makelabel{cap:AddCokernelObjectFunctorial for iscapcategory, isfunction}{7.7.21}{X7E982C787FDA03DC}
\makelabel{cap:AddCokernelObjectFunctorialWithGivenCokernelObjects for iscapcategory, isfunction}{7.7.22}{X7B162B6E7D60FFE7}
\makelabel{cap:AddCokernelProjection for iscapcategory, isfunction}{7.7.23}{X7D9723AA7E4EAC2A}
\makelabel{cap:AddCokernelProjectionWithGivenCokernelObject for iscapcategory, isfunction}{7.7.24}{X793803DC816CBA27}
\makelabel{cap:AddColift for iscapcategory, isfunction}{7.7.25}{X84A7986F82ED769E}
\makelabel{cap:AddColiftAlongEpimorphism for iscapcategory, isfunction}{7.7.26}{X7BBEF7C479E612ED}
\makelabel{cap:AddColiftOrFail for iscapcategory, isfunction}{7.7.27}{X7F066CBC7ADD9201}
\makelabel{cap:AddComponentOfMorphismFromDirectSum for iscapcategory, isfunction}{7.7.28}{X7ABE523F82B2DB7C}
\makelabel{cap:AddComponentOfMorphismIntoDirectSum for iscapcategory, isfunction}{7.7.29}{X82B3F4A87CDF6F87}
\makelabel{cap:AddCoproduct for iscapcategory, isfunction}{7.7.30}{X790C5EE180471583}
\makelabel{cap:AddCoproductFunctorial for iscapcategory, isfunction}{7.7.31}{X79F685258336C4B4}
\makelabel{cap:AddCoproductFunctorialWithGivenCoproducts for iscapcategory, isfunction}{7.7.32}{X7B23923D84D6FC9F}
\makelabel{cap:AddDirectProduct for iscapcategory, isfunction}{7.7.33}{X7FE84F89844B8352}
\makelabel{cap:AddDirectProductFunctorial for iscapcategory, isfunction}{7.7.34}{X78F2B05A7DC3F890}
\makelabel{cap:AddDirectProductFunctorialWithGivenDirectProducts for iscapcategory, isfunction}{7.7.35}{X789E69C583A0E118}
\makelabel{cap:AddDirectSum for iscapcategory, isfunction}{7.7.36}{X7CE460A37D8D468F}
\makelabel{cap:AddDirectSumCodiagonalDifference for iscapcategory, isfunction}{7.7.37}{X84CF535682E444B6}
\makelabel{cap:AddDirectSumDiagonalDifference for iscapcategory, isfunction}{7.7.38}{X842E4433870BE980}
\makelabel{cap:AddDirectSumFunctorial for iscapcategory, isfunction}{7.7.39}{X80778A107EFC97B8}
\makelabel{cap:AddDirectSumFunctorialWithGivenDirectSums for iscapcategory, isfunction}{7.7.40}{X829D88B6845FA373}
\makelabel{cap:AddDirectSumProjectionInPushout for iscapcategory, isfunction}{7.7.41}{X84852B0980DF02AE}
\makelabel{cap:AddDistinguishedObjectOfHomomorphismStructure for iscapcategory, isfunction}{7.7.42}{X7D7A07CC7C9541DB}
\makelabel{cap:AddEmbeddingOfEqualizer for iscapcategory, isfunction}{7.7.43}{X86275A2F7EF2A472}
\makelabel{cap:AddEmbeddingOfEqualizerWithGivenEqualizer for iscapcategory, isfunction}{7.7.44}{X8346BE927EB0C95B}
\makelabel{cap:AddEpimorphismFromSomeProjectiveObject for iscapcategory, isfunction}{7.7.45}{X85B76EA67A35B7B2}
\makelabel{cap:AddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject for iscapcategory, isfunction}{7.7.46}{X7B7B27468506DA04}
\makelabel{cap:AddEqualizer for iscapcategory, isfunction}{7.7.47}{X8708C28287172ED7}
\makelabel{cap:AddEqualizerFunctorial for iscapcategory, isfunction}{7.7.48}{X8042AA538466FFE0}
\makelabel{cap:AddEqualizerFunctorialWithGivenEqualizers for iscapcategory, isfunction}{7.7.49}{X819700097DE622A4}
\makelabel{cap:AddFiberProduct for iscapcategory, isfunction}{7.7.50}{X86B7F8B983B9B184}
\makelabel{cap:AddFiberProductEmbeddingInDirectSum for iscapcategory, isfunction}{7.7.51}{X8718265481B0270E}
\makelabel{cap:AddFiberProductFunctorial for iscapcategory, isfunction}{7.7.52}{X7BFDD60786E07890}
\makelabel{cap:AddFiberProductFunctorialWithGivenFiberProducts for iscapcategory, isfunction}{7.7.53}{X85CCD05C7D3D6B7C}
\makelabel{cap:AddHomologyObject for iscapcategory, isfunction}{7.7.54}{X7B175A717B8D152B}
\makelabel{cap:AddHomologyObjectFunctorialWithGivenHomologyObjects for iscapcategory, isfunction}{7.7.55}{X78E7DBF47DBDFB55}
\makelabel{cap:AddHomomorphismStructureOnMorphisms for iscapcategory, isfunction}{7.7.56}{X80ADD34F7833A668}
\makelabel{cap:AddHomomorphismStructureOnMorphismsWithGivenObjects for iscapcategory, isfunction}{7.7.57}{X7F6B67487C55B055}
\makelabel{cap:AddHomomorphismStructureOnObjects for iscapcategory, isfunction}{7.7.58}{X7833851F7DD2D0F1}
\makelabel{cap:AddHorizontalPostCompose for iscapcategory, isfunction}{7.7.59}{X80B2FA2F7C2E2BDA}
\makelabel{cap:AddHorizontalPreCompose for iscapcategory, isfunction}{7.7.60}{X7C759D3A7CB3FA3A}
\makelabel{cap:AddIdentityMorphism for iscapcategory, isfunction}{7.7.61}{X878F4D2481E94EB6}
\makelabel{cap:AddIdentityTwoCell for iscapcategory, isfunction}{7.7.62}{X85B4A2607CDFC0D2}
\makelabel{cap:AddImageEmbedding for iscapcategory, isfunction}{7.7.63}{X796EDCCD7A729E12}
\makelabel{cap:AddImageEmbeddingWithGivenImageObject for iscapcategory, isfunction}{7.7.64}{X785393EB7C27451E}
\makelabel{cap:AddImageObject for iscapcategory, isfunction}{7.7.65}{X7CA61123868B51B2}
\makelabel{cap:AddInitialObject for iscapcategory, isfunction}{7.7.66}{X78D5E19E781D696A}
\makelabel{cap:AddInitialObjectFunctorial for iscapcategory, isfunction}{7.7.67}{X80950253819512A8}
\makelabel{cap:AddInitialObjectFunctorialWithGivenInitialObjects for iscapcategory, isfunction}{7.7.68}{X85493AEC80972B68}
\makelabel{cap:AddInjectionOfCofactorOfCoproduct for iscapcategory, isfunction}{7.7.69}{X81B68CB6783FAFE0}
\makelabel{cap:AddInjectionOfCofactorOfCoproductWithGivenCoproduct for iscapcategory, isfunction}{7.7.70}{X7DC2E9CD78A8622C}
\makelabel{cap:AddInjectionOfCofactorOfDirectSum for iscapcategory, isfunction}{7.7.71}{X845EB2F47C8FE49C}
\makelabel{cap:AddInjectionOfCofactorOfDirectSumWithGivenDirectSum for iscapcategory, isfunction}{7.7.72}{X86A78CC2859E4382}
\makelabel{cap:AddInjectionOfCofactorOfPushout for iscapcategory, isfunction}{7.7.73}{X87ED0E87850C6D96}
\makelabel{cap:AddInjectionOfCofactorOfPushoutWithGivenPushout for iscapcategory, isfunction}{7.7.74}{X8352461A796F9214}
\makelabel{cap:AddInjectiveColift for iscapcategory, isfunction}{7.7.75}{X7CE0C54080533C0E}
\makelabel{cap:AddInjectiveDimension for iscapcategory, isfunction}{7.7.76}{X7E7B72EC7B2FB537}
\makelabel{cap:AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure for iscapcategory, isfunction}{7.7.77}{X805AC6057B80880D}
\makelabel{cap:AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects for iscapcategory, isfunction}{7.7.78}{X79A927B187FE594C}
\makelabel{cap:AddInterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism for iscapcategory, isfunction}{7.7.79}{X87DD6A387E32DD37}
\makelabel{cap:AddInverseForMorphisms for iscapcategory, isfunction}{7.7.80}{X865C7A1781F3AEF7}
\makelabel{cap:AddInverseMorphismFromCoimageToImageWithGivenObjects for iscapcategory, isfunction}{7.7.81}{X7E25930683F94127}
\makelabel{cap:AddIsAutomorphism for iscapcategory, isfunction}{7.7.82}{X7FA3BD6D79D99498}
\makelabel{cap:AddIsBijectiveObject for iscapcategory, isfunction}{7.7.83}{X78D83890795EAAF2}
\makelabel{cap:AddIsCodominating for iscapcategory, isfunction}{7.7.84}{X78E046E387674019}
\makelabel{cap:AddIsColiftable for iscapcategory, isfunction}{7.7.85}{X7A41C14B8169E993}
\makelabel{cap:AddIsColiftableAlongEpimorphism for iscapcategory, isfunction}{7.7.86}{X86BF34667D329168}
\makelabel{cap:AddIsCongruentForMorphisms for iscapcategory, isfunction}{7.7.87}{X861A83B3802D0FBD}
\makelabel{cap:AddIsDominating for iscapcategory, isfunction}{7.7.88}{X834AC612831DDD11}
\makelabel{cap:AddIsEndomorphism for iscapcategory, isfunction}{7.7.89}{X87B1905481F6AF28}
\makelabel{cap:AddIsEpimorphism for iscapcategory, isfunction}{7.7.90}{X8523850C827FE182}
\makelabel{cap:AddIsEqualAsFactorobjects for iscapcategory, isfunction}{7.7.91}{X82DE9AE387425307}
\makelabel{cap:AddIsEqualAsSubobjects for iscapcategory, isfunction}{7.7.92}{X7A97D3C3869323D1}
\makelabel{cap:AddIsEqualForCacheForMorphisms for iscapcategory, isfunction}{7.7.93}{X833165B27AA74580}
\makelabel{cap:AddIsEqualForCacheForObjects for iscapcategory, isfunction}{7.7.94}{X7887D32C7973F4A0}
\makelabel{cap:AddIsEqualForMorphisms for iscapcategory, isfunction}{7.7.95}{X83F60F5F7E57F3C8}
\makelabel{cap:AddIsEqualForMorphismsOnMor for iscapcategory, isfunction}{7.7.96}{X84AB81547A770D36}
\makelabel{cap:AddIsEqualForObjects for iscapcategory, isfunction}{7.7.97}{X787F654B82150781}
\makelabel{cap:AddIsEqualToIdentityMorphism for iscapcategory, isfunction}{7.7.98}{X79F9BCED7C82AEAC}
\makelabel{cap:AddIsEqualToZeroMorphism for iscapcategory, isfunction}{7.7.99}{X849B7E507B01ABE7}
\makelabel{cap:AddIsHomSetInhabited for iscapcategory, isfunction}{7.7.100}{X85D7E2DE7D45CF70}
\makelabel{cap:AddIsIdempotent for iscapcategory, isfunction}{7.7.101}{X85701DBE7A5F90A1}
\makelabel{cap:AddIsInitial for iscapcategory, isfunction}{7.7.102}{X7E6EDA9484F3E6F6}
\makelabel{cap:AddIsInjective for iscapcategory, isfunction}{7.7.103}{X7F7F309F7C67D6CE}
\makelabel{cap:AddIsIsomorphism for iscapcategory, isfunction}{7.7.104}{X7B0818ED7A7BBCB4}
\makelabel{cap:AddIsLiftable for iscapcategory, isfunction}{7.7.105}{X79AC542F8227455E}
\makelabel{cap:AddIsLiftableAlongMonomorphism for iscapcategory, isfunction}{7.7.106}{X7BD695308127A877}
\makelabel{cap:AddIsMonomorphism for iscapcategory, isfunction}{7.7.107}{X87DEC4BD7C48E679}
\makelabel{cap:AddIsOne for iscapcategory, isfunction}{7.7.108}{X7FCC38DC7843D455}
\makelabel{cap:AddIsProjective for iscapcategory, isfunction}{7.7.109}{X865C78CF789DA86D}
\makelabel{cap:AddIsSplitEpimorphism for iscapcategory, isfunction}{7.7.110}{X7D7BDF8F7EED3A72}
\makelabel{cap:AddIsSplitMonomorphism for iscapcategory, isfunction}{7.7.111}{X7C5D46B77A65ACF2}
\makelabel{cap:AddIsTerminal for iscapcategory, isfunction}{7.7.112}{X7EDB2D5B7F234ADA}
\makelabel{cap:AddIsWellDefinedForMorphisms for iscapcategory, isfunction}{7.7.113}{X7A4BE39A83D2A730}
\makelabel{cap:AddIsWellDefinedForObjects for iscapcategory, isfunction}{7.7.114}{X859219147B3058B8}
\makelabel{cap:AddIsWellDefinedForTwoCells for iscapcategory, isfunction}{7.7.115}{X7EE52A1587E15D94}
\makelabel{cap:AddIsZeroForMorphisms for iscapcategory, isfunction}{7.7.116}{X87DD3BD27C49450A}
\makelabel{cap:AddIsZeroForObjects for iscapcategory, isfunction}{7.7.117}{X78C3E7BF78A9A7D5}
\makelabel{cap:AddIsomorphismFromCoequalizerOfCoproductDiagramToPushout for iscapcategory, isfunction}{7.7.118}{X7B80534F79D74B95}
\makelabel{cap:AddIsomorphismFromCoimageToCokernelOfKernel for iscapcategory, isfunction}{7.7.119}{X80B45F4D7A7B96A4}
\makelabel{cap:AddIsomorphismFromCokernelOfDiagonalDifferenceToPushout for iscapcategory, isfunction}{7.7.120}{X811F965D7B9837F9}
\makelabel{cap:AddIsomorphismFromCokernelOfKernelToCoimage for iscapcategory, isfunction}{7.7.121}{X7D9B059578AC42D6}
\makelabel{cap:AddIsomorphismFromCoproductToDirectSum for iscapcategory, isfunction}{7.7.122}{X87C04FAA7F49427B}
\makelabel{cap:AddIsomorphismFromDirectProductToDirectSum for iscapcategory, isfunction}{7.7.123}{X793FDA608055E5C9}
\makelabel{cap:AddIsomorphismFromDirectSumToCoproduct for iscapcategory, isfunction}{7.7.124}{X7D710CA282194DC7}
\makelabel{cap:AddIsomorphismFromDirectSumToDirectProduct for iscapcategory, isfunction}{7.7.125}{X79DA06C087D4BDF3}
\makelabel{cap:AddIsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct for iscapcategory, isfunction}{7.7.126}{X83D3BDAF7BFBF924}
\makelabel{cap:AddIsomorphismFromFiberProductToEqualizerOfDirectProductDiagram for iscapcategory, isfunction}{7.7.127}{X7FF20AFE7CE85AF5}
\makelabel{cap:AddIsomorphismFromFiberProductToKernelOfDiagonalDifference for iscapcategory, isfunction}{7.7.128}{X82A6A64979DFFE43}
\makelabel{cap:AddIsomorphismFromHomologyObjectToItsConstructionAsAnImageObject for iscapcategory, isfunction}{7.7.129}{X7BD4A45087C884FD}
\makelabel{cap:AddIsomorphismFromImageObjectToKernelOfCokernel for iscapcategory, isfunction}{7.7.130}{X7B09757B8411AD52}
\makelabel{cap:AddIsomorphismFromInitialObjectToZeroObject for iscapcategory, isfunction}{7.7.131}{X876F82038640430A}
\makelabel{cap:AddIsomorphismFromItsConstructionAsAnImageObjectToHomologyObject for iscapcategory, isfunction}{7.7.132}{X80B2303081911753}
\makelabel{cap:AddIsomorphismFromKernelOfCokernelToImageObject for iscapcategory, isfunction}{7.7.133}{X78A3EEFB843C5067}
\makelabel{cap:AddIsomorphismFromKernelOfDiagonalDifferenceToFiberProduct for iscapcategory, isfunction}{7.7.134}{X7B255D3F7F8D0846}
\makelabel{cap:AddIsomorphismFromPushoutToCoequalizerOfCoproductDiagram for iscapcategory, isfunction}{7.7.135}{X7C757EA67A35147A}
\makelabel{cap:AddIsomorphismFromPushoutToCokernelOfDiagonalDifference for iscapcategory, isfunction}{7.7.136}{X8639C412856D8860}
\makelabel{cap:AddIsomorphismFromTerminalObjectToZeroObject for iscapcategory, isfunction}{7.7.137}{X85A29A037839B32B}
\makelabel{cap:AddIsomorphismFromZeroObjectToInitialObject for iscapcategory, isfunction}{7.7.138}{X8084DA9E870DF7DB}
\makelabel{cap:AddIsomorphismFromZeroObjectToTerminalObject for iscapcategory, isfunction}{7.7.139}{X7BDED1CE7F0FADE9}
\makelabel{cap:AddKernelEmbedding for iscapcategory, isfunction}{7.7.140}{X788D35FA8050DA84}
\makelabel{cap:AddKernelEmbeddingWithGivenKernelObject for iscapcategory, isfunction}{7.7.141}{X87668C2183C9E8A1}
\makelabel{cap:AddKernelLift for iscapcategory, isfunction}{7.7.142}{X7A3F184085748DE6}
\makelabel{cap:AddKernelLiftWithGivenKernelObject for iscapcategory, isfunction}{7.7.143}{X7D6119357E10B4DA}
\makelabel{cap:AddKernelObject for iscapcategory, isfunction}{7.7.144}{X8681E565875A8C03}
\makelabel{cap:AddKernelObjectFunctorial for iscapcategory, isfunction}{7.7.145}{X818A1E2C82034517}
\makelabel{cap:AddKernelObjectFunctorialWithGivenKernelObjects for iscapcategory, isfunction}{7.7.146}{X7BE607577847C4DC}
\makelabel{cap:AddLift for iscapcategory, isfunction}{7.7.147}{X7DA9346A8517648D}
\makelabel{cap:AddLiftAlongMonomorphism for iscapcategory, isfunction}{7.7.148}{X869A19337CB3059E}
\makelabel{cap:AddLiftOrFail for iscapcategory, isfunction}{7.7.149}{X86B265337903596B}
\makelabel{cap:AddMereExistenceOfSolutionOfLinearSystemInAbCategory for iscapcategory, isfunction}{7.7.150}{X80E205428725FEA7}
\makelabel{cap:AddMonomorphismIntoSomeInjectiveObject for iscapcategory, isfunction}{7.7.151}{X81C9788D7DD27D18}
\makelabel{cap:AddMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject for iscapcategory, isfunction}{7.7.152}{X7CCBF6577ADC62D9}
\makelabel{cap:AddMorphismBetweenDirectSums for iscapcategory, isfunction}{7.7.153}{X873C908279759A45}
\makelabel{cap:AddMorphismBetweenDirectSumsWithGivenDirectSums for iscapcategory, isfunction}{7.7.154}{X7E295E2784C267D5}
\makelabel{cap:AddMorphismConstructor for iscapcategory, isfunction}{7.7.155}{X7A1067568608419D}
\makelabel{cap:AddMorphismDatum for iscapcategory, isfunction}{7.7.156}{X7ADDB80C7F9BC838}
\makelabel{cap:AddMorphismFromCoimageToImageWithGivenObjects for iscapcategory, isfunction}{7.7.157}{X7FCCF6EA7BD56684}
\makelabel{cap:AddMorphismFromEqualizerToSink for iscapcategory, isfunction}{7.7.158}{X86015A918233B365}
\makelabel{cap:AddMorphismFromEqualizerToSinkWithGivenEqualizer for iscapcategory, isfunction}{7.7.159}{X857FA53779546DAC}
\makelabel{cap:AddMorphismFromFiberProductToSink for iscapcategory, isfunction}{7.7.160}{X87BB71D881AFD21C}
\makelabel{cap:AddMorphismFromFiberProductToSinkWithGivenFiberProduct for iscapcategory, isfunction}{7.7.161}{X7F652D597B5298C6}
\makelabel{cap:AddMorphismFromKernelObjectToSink for iscapcategory, isfunction}{7.7.162}{X83B7DB587851A040}
\makelabel{cap:AddMorphismFromKernelObjectToSinkWithGivenKernelObject for iscapcategory, isfunction}{7.7.163}{X7844716879CAFB0C}
\makelabel{cap:AddMorphismFromSourceToCoequalizer for iscapcategory, isfunction}{7.7.164}{X7CC2819E868B2ACF}
\makelabel{cap:AddMorphismFromSourceToCoequalizerWithGivenCoequalizer for iscapcategory, isfunction}{7.7.165}{X84074D4B7E584205}
\makelabel{cap:AddMorphismFromSourceToCokernelObject for iscapcategory, isfunction}{7.7.166}{X7E2024F080A442DF}
\makelabel{cap:AddMorphismFromSourceToCokernelObjectWithGivenCokernelObject for iscapcategory, isfunction}{7.7.167}{X837F485E7A5E6511}
\makelabel{cap:AddMorphismFromSourceToPushout for iscapcategory, isfunction}{7.7.168}{X7A8728957EEC0667}
\makelabel{cap:AddMorphismFromSourceToPushoutWithGivenPushout for iscapcategory, isfunction}{7.7.169}{X7D880C937DDE1F34}
\makelabel{cap:AddMultiplyWithElementOfCommutativeRingForMorphisms for iscapcategory, isfunction}{7.7.170}{X7AE8C7897CB6FDF8}
\makelabel{cap:AddObjectConstructor for iscapcategory, isfunction}{7.7.171}{X7D093D4981AC4E7F}
\makelabel{cap:AddObjectDatum for iscapcategory, isfunction}{7.7.172}{X7EF116D57BFA80B5}
\makelabel{cap:AddPostCompose for iscapcategory, isfunction}{7.7.173}{X853E87F47F9FC287}
\makelabel{cap:AddPostComposeList for iscapcategory, isfunction}{7.7.174}{X85A4A74585001622}
\makelabel{cap:AddPreCompose for iscapcategory, isfunction}{7.7.175}{X868C87097D322509}
\makelabel{cap:AddPreComposeList for iscapcategory, isfunction}{7.7.176}{X7CE1A7FC792C6577}
\makelabel{cap:AddProjectionInFactorOfDirectProduct for iscapcategory, isfunction}{7.7.177}{X84F5824779267907}
\makelabel{cap:AddProjectionInFactorOfDirectProductWithGivenDirectProduct for iscapcategory, isfunction}{7.7.178}{X7B83D0627A2DCF93}
\makelabel{cap:AddProjectionInFactorOfDirectSum for iscapcategory, isfunction}{7.7.179}{X7B87E0308677AB17}
\makelabel{cap:AddProjectionInFactorOfDirectSumWithGivenDirectSum for iscapcategory, isfunction}{7.7.180}{X81ACCDB081967CD3}
\makelabel{cap:AddProjectionInFactorOfFiberProduct for iscapcategory, isfunction}{7.7.181}{X7BC4A40A8587EB82}
\makelabel{cap:AddProjectionInFactorOfFiberProductWithGivenFiberProduct for iscapcategory, isfunction}{7.7.182}{X822C988083A72B14}
\makelabel{cap:AddProjectionOntoCoequalizer for iscapcategory, isfunction}{7.7.183}{X7C76BED4827D9C28}
\makelabel{cap:AddProjectionOntoCoequalizerWithGivenCoequalizer for iscapcategory, isfunction}{7.7.184}{X8691E0FA7BF900F5}
\makelabel{cap:AddProjectiveDimension for iscapcategory, isfunction}{7.7.185}{X828B50D57F3DAB71}
\makelabel{cap:AddProjectiveLift for iscapcategory, isfunction}{7.7.186}{X7AEE24E581A44083}
\makelabel{cap:AddPushout for iscapcategory, isfunction}{7.7.187}{X78FDEE468742E573}
\makelabel{cap:AddPushoutFunctorial for iscapcategory, isfunction}{7.7.188}{X85F9FDCF7E697028}
\makelabel{cap:AddPushoutFunctorialWithGivenPushouts for iscapcategory, isfunction}{7.7.189}{X810036A887D287AC}
\makelabel{cap:AddRandomMorphismByInteger for iscapcategory, isfunction}{7.7.190}{X7BC5AC807FF84905}
\makelabel{cap:AddRandomMorphismByList for iscapcategory, isfunction}{7.7.191}{X84BEF31F81ABC74E}
\makelabel{cap:AddRandomMorphismWithFixedRangeByInteger for iscapcategory, isfunction}{7.7.192}{X7D58154C7B6478A8}
\makelabel{cap:AddRandomMorphismWithFixedRangeByList for iscapcategory, isfunction}{7.7.193}{X7B2266E07E2114FE}
\makelabel{cap:AddRandomMorphismWithFixedSourceAndRangeByInteger for iscapcategory, isfunction}{7.7.194}{X78E443767AA69703}
\makelabel{cap:AddRandomMorphismWithFixedSourceAndRangeByList for iscapcategory, isfunction}{7.7.195}{X7A395AEB813562EA}
\makelabel{cap:AddRandomMorphismWithFixedSourceByInteger for iscapcategory, isfunction}{7.7.196}{X80E69DF27EA33C03}
\makelabel{cap:AddRandomMorphismWithFixedSourceByList for iscapcategory, isfunction}{7.7.197}{X7C5DEDED7A7D5F7A}
\makelabel{cap:AddRandomObjectByInteger for iscapcategory, isfunction}{7.7.198}{X8537D28D7C878EB2}
\makelabel{cap:AddRandomObjectByList for iscapcategory, isfunction}{7.7.199}{X86F6CF9382A4906A}
\makelabel{cap:AddSimplifyEndo for iscapcategory, isfunction}{7.7.200}{X79584C2B7AE88801}
\makelabel{cap:AddSimplifyEndoIsoFromInputObject for iscapcategory, isfunction}{7.7.201}{X7E143B0B7AFED0A5}
\makelabel{cap:AddSimplifyEndoIsoToInputObject for iscapcategory, isfunction}{7.7.202}{X8289DD3582E90412}
\makelabel{cap:AddSimplifyMorphism for iscapcategory, isfunction}{7.7.203}{X82FC080B78E17869}
\makelabel{cap:AddSimplifyObject for iscapcategory, isfunction}{7.7.204}{X798AA0B57BDC7891}
\makelabel{cap:AddSimplifyObjectIsoFromInputObject for iscapcategory, isfunction}{7.7.205}{X839A072483DA4590}
\makelabel{cap:AddSimplifyObjectIsoToInputObject for iscapcategory, isfunction}{7.7.206}{X7CFDA57581061E05}
\makelabel{cap:AddSimplifyRange for iscapcategory, isfunction}{7.7.207}{X78D0F3D57A70F0AA}
\makelabel{cap:AddSimplifyRangeIsoFromInputObject for iscapcategory, isfunction}{7.7.208}{X7FB594A37A1B8DA3}
\makelabel{cap:AddSimplifyRangeIsoToInputObject for iscapcategory, isfunction}{7.7.209}{X7BC056A2866EE0FC}
\makelabel{cap:AddSimplifySource for iscapcategory, isfunction}{7.7.210}{X800D4F4678C4B03E}
\makelabel{cap:AddSimplifySourceAndRange for iscapcategory, isfunction}{7.7.211}{X7FDBB4087F652D97}
\makelabel{cap:AddSimplifySourceAndRangeIsoFromInputRange for iscapcategory, isfunction}{7.7.212}{X7B3E60B07AF758F7}
\makelabel{cap:AddSimplifySourceAndRangeIsoFromInputSource for iscapcategory, isfunction}{7.7.213}{X86CEC88B82874A86}
\makelabel{cap:AddSimplifySourceAndRangeIsoToInputRange for iscapcategory, isfunction}{7.7.214}{X7AEBD3D882FFB8A7}
\makelabel{cap:AddSimplifySourceAndRangeIsoToInputSource for iscapcategory, isfunction}{7.7.215}{X7814950A81D7A307}
\makelabel{cap:AddSimplifySourceIsoFromInputObject for iscapcategory, isfunction}{7.7.216}{X83B7D18780C28D3F}
\makelabel{cap:AddSimplifySourceIsoToInputObject for iscapcategory, isfunction}{7.7.217}{X7E67CB62821ED6AA}
\makelabel{cap:AddSolveLinearSystemInAbCategory for iscapcategory, isfunction}{7.7.218}{X781C4BCA81250295}
\makelabel{cap:AddSolveLinearSystemInAbCategoryOrFail for iscapcategory, isfunction}{7.7.219}{X7B3C26FE86C92ABA}
\makelabel{cap:AddSomeInjectiveObject for iscapcategory, isfunction}{7.7.220}{X7DFC9A568472688B}
\makelabel{cap:AddSomeProjectiveObject for iscapcategory, isfunction}{7.7.221}{X7C3AF36D86F11429}
\makelabel{cap:AddSomeReductionBySplitEpiSummand for iscapcategory, isfunction}{7.7.222}{X7EB0389487C277CE}
\makelabel{cap:AddSomeReductionBySplitEpiSummandMorphismFromInputRange for iscapcategory, isfunction}{7.7.223}{X7E6384988569B9CA}
\makelabel{cap:AddSomeReductionBySplitEpiSummandMorphismToInputRange for iscapcategory, isfunction}{7.7.224}{X871D45CA80DAAFC2}
\makelabel{cap:AddSubtractionForMorphisms for iscapcategory, isfunction}{7.7.225}{X7ECA7B0182144B81}
\makelabel{cap:AddTerminalObject for iscapcategory, isfunction}{7.7.226}{X7C4B4B7F8009501B}
\makelabel{cap:AddTerminalObjectFunctorial for iscapcategory, isfunction}{7.7.227}{X82ED99F9845D2DA7}
\makelabel{cap:AddTerminalObjectFunctorialWithGivenTerminalObjects for iscapcategory, isfunction}{7.7.228}{X7A7BBCB08021B976}
\makelabel{cap:AddUniversalMorphismFromCoequalizer for iscapcategory, isfunction}{7.7.229}{X82B3F52779407E2F}
\makelabel{cap:AddUniversalMorphismFromCoequalizerWithGivenCoequalizer for iscapcategory, isfunction}{7.7.230}{X7F27613984BEA3BB}
\makelabel{cap:AddUniversalMorphismFromCoproduct for iscapcategory, isfunction}{7.7.231}{X874696508440B555}
\makelabel{cap:AddUniversalMorphismFromCoproductWithGivenCoproduct for iscapcategory, isfunction}{7.7.232}{X7ABE731884D77899}
\makelabel{cap:AddUniversalMorphismFromDirectSum for iscapcategory, isfunction}{7.7.233}{X82AEA81280F0FE29}
\makelabel{cap:AddUniversalMorphismFromDirectSumWithGivenDirectSum for iscapcategory, isfunction}{7.7.234}{X81DB161779E15937}
\makelabel{cap:AddUniversalMorphismFromImage for iscapcategory, isfunction}{7.7.235}{X7BE632048014DB7F}
\makelabel{cap:AddUniversalMorphismFromImageWithGivenImageObject for iscapcategory, isfunction}{7.7.236}{X79813E327CAD3D99}
\makelabel{cap:AddUniversalMorphismFromInitialObject for iscapcategory, isfunction}{7.7.237}{X808255727E365DA5}
\makelabel{cap:AddUniversalMorphismFromInitialObjectWithGivenInitialObject for iscapcategory, isfunction}{7.7.238}{X7F7D9168870D7AC6}
\makelabel{cap:AddUniversalMorphismFromPushout for iscapcategory, isfunction}{7.7.239}{X7ACB31A479737723}
\makelabel{cap:AddUniversalMorphismFromPushoutWithGivenPushout for iscapcategory, isfunction}{7.7.240}{X847BA99A851088A1}
\makelabel{cap:AddUniversalMorphismFromZeroObject for iscapcategory, isfunction}{7.7.241}{X873263B37942E963}
\makelabel{cap:AddUniversalMorphismFromZeroObjectWithGivenZeroObject for iscapcategory, isfunction}{7.7.242}{X8396EFB87AABCD66}
\makelabel{cap:AddUniversalMorphismIntoCoimage for iscapcategory, isfunction}{7.7.243}{X85DB30B982F6C564}
\makelabel{cap:AddUniversalMorphismIntoCoimageWithGivenCoimageObject for iscapcategory, isfunction}{7.7.244}{X7D83EDB07844C0FA}
\makelabel{cap:AddUniversalMorphismIntoDirectProduct for iscapcategory, isfunction}{7.7.245}{X7E4C217083150A21}
\makelabel{cap:AddUniversalMorphismIntoDirectProductWithGivenDirectProduct for iscapcategory, isfunction}{7.7.246}{X84C986C67D703457}
\makelabel{cap:AddUniversalMorphismIntoDirectSum for iscapcategory, isfunction}{7.7.247}{X7AA30E857A11AA2A}
\makelabel{cap:AddUniversalMorphismIntoDirectSumWithGivenDirectSum for iscapcategory, isfunction}{7.7.248}{X7E666F5683000D34}
\makelabel{cap:AddUniversalMorphismIntoEqualizer for iscapcategory, isfunction}{7.7.249}{X814FACA47A759C7A}
\makelabel{cap:AddUniversalMorphismIntoEqualizerWithGivenEqualizer for iscapcategory, isfunction}{7.7.250}{X872A26F678D6989B}
\makelabel{cap:AddUniversalMorphismIntoFiberProduct for iscapcategory, isfunction}{7.7.251}{X7F7446F882DF6DA5}
\makelabel{cap:AddUniversalMorphismIntoFiberProductWithGivenFiberProduct for iscapcategory, isfunction}{7.7.252}{X84C5017486990FB2}
\makelabel{cap:AddUniversalMorphismIntoTerminalObject for iscapcategory, isfunction}{7.7.253}{X84D7DDAF835BDFA3}
\makelabel{cap:AddUniversalMorphismIntoTerminalObjectWithGivenTerminalObject for iscapcategory, isfunction}{7.7.254}{X8230986A7821D9B4}
\makelabel{cap:AddUniversalMorphismIntoZeroObject for iscapcategory, isfunction}{7.7.255}{X7CAC035583A3BD60}
\makelabel{cap:AddUniversalMorphismIntoZeroObjectWithGivenZeroObject for iscapcategory, isfunction}{7.7.256}{X8550CFE1804A9965}
\makelabel{cap:AddVerticalPostCompose for iscapcategory, isfunction}{7.7.257}{X7AA662D58265F658}
\makelabel{cap:AddVerticalPreCompose for iscapcategory, isfunction}{7.7.258}{X85F4507081F229DD}
\makelabel{cap:AddZeroMorphism for iscapcategory, isfunction}{7.7.259}{X824C08CE7D7FB387}
\makelabel{cap:AddZeroObject for iscapcategory, isfunction}{7.7.260}{X7F0111277DF3FB7E}
\makelabel{cap:AddZeroObjectFunctorial for iscapcategory, isfunction}{7.7.261}{X7C6A709286103BAE}
\makelabel{cap:AddZeroObjectFunctorialWithGivenZeroObjects for iscapcategory, isfunction}{7.7.262}{X826BAB7F84D9499D}
\makelabel{cap:DerivationInfo}{8.1.1}{X847BF8788620ADEC}
\makelabel{cap:ActivateDerivationInfo}{8.1.2}{X82EB820C81919BD5}
\makelabel{cap:DeactivateDerivationInfo}{8.1.3}{X7853FBCF7DAA6AD1}
\makelabel{cap:IsDerivedMethod for isobject}{8.2.1}{X7E30DF4F8029D24F}
\makelabel{cap:MakeDerivation for isstring, isfunction, isdenselist,isposint, isdenselist, isfunction}{8.2.2}{X7A9081ED8334054B}
\makelabel{cap:DerivationName for isderivedmethod}{8.2.3}{X85FA69CA831B3D68}
\makelabel{cap:DerivationWeight for isderivedmethod}{8.2.4}{X8039396185E25B0C}
\makelabel{cap:DerivationFunctionsWithExtraFilters for isderivedmethod}{8.2.5}{X8509D9897EC94507}
\makelabel{cap:CategoryFilter for isderivedmethod}{8.2.6}{X7F2B7310826D555B}
\makelabel{cap:IsApplicableToCategory for isderivedmethod, iscapcategory}{8.2.7}{X7CA199A3868E0222}
\makelabel{cap:TargetOperation for isderivedmethod}{8.2.8}{X82E56CD47C15FE34}
\makelabel{cap:UsedOperations for isderivedmethod}{8.2.9}{X7A407F3F7F264A77}
\makelabel{cap:UsedOperationMultiples for isderivedmethod}{8.2.10}{X78FAD4788098483B}
\makelabel{cap:UsedOperationsWithMultiples for isderivedmethod}{8.2.11}{X80FA45B68744108E}
\makelabel{cap:InstallDerivationForCategory for isderivedmethod, isposint, iscapcategory}{8.2.12}{X7DCED23B84345454}
\makelabel{cap:DerivationResultWeight for isderivedmethod, isdenselist}{8.2.13}{X82546C667C204B78}
\makelabel{cap:FunctionCalledBeforeInstallation for isderivedmethod}{8.2.14}{X87B8757F7AAEE7DE}
\makelabel{cap:IsDerivedMethodGraph for isobject}{8.3.1}{X7BFD964E8739600C}
\makelabel{cap:MakeDerivationGraph for isdenselist}{8.3.2}{X7E19A0AD8661EF00}
\makelabel{cap:AddOperationsToDerivationGraph for isderivedmethodgraph, isdenselist}{8.3.3}{X7B801088854A0127}
\makelabel{cap:AddDerivation for isderivedmethodgraph, isderivedmethod}{8.3.4}{X7DEBC71E8450F86A}
\makelabel{cap:AddDerivation for isderivedmethodgraph, isfunction, isdenselist, isobject}{8.3.5}{X85CADCFF85BBF867}
\makelabel{cap:AddDerivation for isderivedmethodgraph, isfunction, isdenselist}{8.3.6}{X8669A64F7BB2C4FB}
\makelabel{cap:AddDerivation for isderivedmethodgraph, isfunction, isfunction}{8.3.7}{X8027604D8282F123}
\makelabel{cap:AddDerivationPair for isderivedmethodgraph, isfunction, isfunction, isdenselist, isdenselist, isdenselist}{8.3.8}{X80E6AA06854AAF28}
\makelabel{cap:AddDerivationPair for isderivedmethodgraph, isfunction, isfunction, isdenselist, isdenselist}{8.3.9}{X85F0182679C6E863}
\makelabel{cap:AddDerivationPair for isderivedmethodgraph, isfunction, isfunction, isdenselist, isfunction, isfunction}{8.3.10}{X801E2F4E86008850}
\makelabel{cap:AddDerivationPair for isderivedmethodgraph, isfunction, isfunction, isfunction, isfunction}{8.3.11}{X7F31CF457FF00EF5}
\makelabel{cap:AddDerivationToCAP}{8.3.12}{X7BC80B4F7A067D91}
\makelabel{cap:AddDerivationPairToCAP}{8.3.13}{X81358A4C862A8BC1}
\makelabel{cap:AddWithGivenDerivationPairToCAP}{8.3.14}{X8263F4547BBF28C7}
\makelabel{cap:Operations for isderivedmethodgraph}{8.3.15}{X8669CCC78175B23B}
\makelabel{cap:DerivationsUsingOperation for isderivedmethodgraph, isstring}{8.3.16}{X7D8B5FE482B39913}
\makelabel{cap:DerivationsOfOperation for isderivedmethodgraph, isstring}{8.3.17}{X7A4C262581C53309}
\makelabel{cap:IsOperationWeightList for isobject}{8.4.1}{X832B6935788EA870}
\makelabel{cap:MakeOperationWeightList for iscapcategory, isderivedmethodgraph}{8.4.2}{X7CFC7F17786B1B6E}
\makelabel{cap:DerivationGraph for isoperationweightlist}{8.4.3}{X7E6F8469808FE57E}
\makelabel{cap:CategoryOfOperationWeightList for isoperationweightlist}{8.4.4}{X80E9071D87ABCA57}
\makelabel{cap:CurrentOperationWeight for isoperationweightlist, isstring}{8.4.5}{X7BE16AB2849D0107}
\makelabel{cap:OperationWeightUsingDerivation for isoperationweightlist, isderivedmethod}{8.4.6}{X7A67FC1B80BF67AD}
\makelabel{cap:DerivationOfOperation for isoperationweightlist, isstring}{8.4.7}{X79490A257E67804E}
\makelabel{cap:InstallDerivationsUsingOperation for isoperationweightlist, isstring}{8.4.8}{X8411326D85222A6C}
\makelabel{cap:Reevaluate for isoperationweightlist}{8.4.9}{X7E2279C47AFE3FAD}
\makelabel{cap:Saturate for isoperationweightlist}{8.4.10}{X8748C9C27F6B47A3}
\makelabel{cap:AddPrimitiveOperation for isoperationweightlist, isstring, isint}{8.4.11}{X835210E67EF93118}
\makelabel{cap:PrintDerivationTree for isoperationweightlist, isstring}{8.4.12}{X8145094E862826BE}
\makelabel{cap:PrintTree for isobject, isfunction, isfunction}{8.4.13}{X7E59037F7B4E42D0}
\makelabel{cap:PrintTreeRec for isobject, isfunction, isfunction, isint}{8.4.14}{X8293EF6286A82480}
\makelabel{cap:IsStringMinHeap for isobject}{8.5.1}{X86D1D85F828978AE}
\makelabel{cap:StringMinHeap}{8.5.2}{X812EDE3F8737AB9D}
\makelabel{cap:Add for isstringminheap, isstring, isint}{8.5.3}{X80604054823A6F01}
\makelabel{cap:ExtractMin for isstringminheap}{8.5.4}{X7E136159853A3BAC}
\makelabel{cap:DecreaseKey for isstringminheap, isstring, isint}{8.5.5}{X79B2FB2178CC6A34}
\makelabel{cap:IsEmptyHeap for isstringminheap}{8.5.6}{X7CEECD45781A49A3}
\makelabel{cap:HeapSize for isstringminheap}{8.5.7}{X7E1CEFDB7824EE94}
\makelabel{cap:Contains for isstringminheap, isstring}{8.5.8}{X82F874FB7954D662}
\makelabel{cap:Swap for isstringminheap, isposint, isposint}{8.5.9}{X7AE2A000800CD0A2}
\makelabel{cap:Heapify for isstringminheap, isposint}{8.5.10}{X78B8D0BD7A2FE83A}
\makelabel{cap:ObjectCache for iscapfunctor}{9.1.1}{X7B3D8EB378625F73}
\makelabel{cap:MorphismCache for iscapfunctor}{9.1.2}{X84472BD57E11264C}
\makelabel{cap:InstallMethodWithToDoForIsWellDefined}{9.2.1}{X7B516ECB84EE7FFF}
\makelabel{cap:InstallSetWithToDoForIsWellDefined for isobject, isstring, islist}{9.2.2}{X7C486C0F7D6161A0}
\makelabel{cap:DeclareAttributeWithToDoForIsWellDefined}{9.2.3}{X7801E9D185E5C130}
\makelabel{cap:DeclareFamilyProperty}{9.2.4}{X87364D2E830F7FAE}
\makelabel{cap:CAPINTERNALREPLACESTRINGWITHFILTER}{9.2.5}{X83EC415C82D6FCEC}
\makelabel{cap:CAPINTERNALREPLACESTRINGSWITHFILTERS}{9.2.6}{X840466B67CFF9CEA}
\makelabel{cap:CAPINTERNALMERGEFILTERLISTS}{9.2.7}{X7F2869657DDE9AC9}
\makelabel{cap:CAPINTERNALRETURNOPTIONORDEFAULT}{9.2.8}{X849B851C80D47B4F}
\makelabel{cap:CAPINTERNALFINDAPPEARANCEOFSYMBOLINFUNCTION}{9.2.9}{X7C7A71C97DC2FABF}
\makelabel{cap:CAPINTERNALMERGEPRECONDITIONSLIST}{9.2.10}{X78A121F97CF81A43}
\makelabel{cap:CAPINTERNALASSERTISCELLOFCATEGORY}{9.2.11}{X82F35A5C80A6AB86}
\makelabel{cap:CAPINTERNALASSERTISOBJECTOFCATEGORY}{9.2.12}{X8335A3308291E3A2}
\makelabel{cap:CAPINTERNALASSERTISMORPHISMOFCATEGORY}{9.2.13}{X7DD95FC27FBF20E3}
\makelabel{cap:CAPINTERNALASSERTISTWOCELLOFCATEGORY}{9.2.14}{X818BBDDE8387D373}
\makelabel{cap:CAPINTERNALASSERTISLISTOFOBJECTSOFCATEGORY}{9.2.15}{X78E82B6879C375CC}
\makelabel{cap:CAPINTERNALASSERTISLISTOFMORPHISMSOFCATEGORY}{9.2.16}{X7CADA28879902A65}
\makelabel{cap:CAPINTERNALASSERTISLISTOFTWOCELLSOFCATEGORY}{9.2.17}{X856160007E5AA72D}
\makelabel{cap:CAPINTERNALASSERTISNONNEGATIVEINTEGERORINFINITY}{9.2.18}{X7C40279E7AC33FB9}
\makelabel{cap:CachingStatistic}{9.2.19}{X82FC76688082956A}
\makelabel{cap:BrowseCachingStatistic}{9.2.20}{X7E4CA53E7C03600F}
\makelabel{cap:InstallDeprecatedAlias}{9.2.21}{X7B2A707E797A06FB}
\makelabel{cap:IsSpecializationOfFilter}{9.2.22}{X7BE001D378D75CF9}
\makelabel{cap:IsSpecializationOfFilterList}{9.2.23}{X7E756CEB799322B0}
\makelabel{cap:InstallMethodForCompilerForCAP}{9.2.24}{X7F953A7086264653}
\makelabel{cap:InstallOtherMethodForCompilerForCAP}{9.2.25}{X7FC9241882AB3F5A}
\makelabel{cap:CapJitAddKnownMethod}{9.2.26}{X7AF9D3AC85CB0F3D}
\makelabel{cap:CapJitAddTypeSignature}{9.2.27}{X816D0A767BD73071}
\makelabel{cap:CapJitAddTypeSignatureDeferred}{9.2.28}{X8345518F79EBB586}
\makelabel{cap:CapJitDataTypeOfCategory}{9.2.29}{X812BAF8D81DBE36B}
\makelabel{cap:CapJitDataTypeOfObjectOfCategory}{9.2.29}{X812BAF8D81DBE36B}
\makelabel{cap:CapJitDataTypeOfMorphismOfCategory}{9.2.29}{X812BAF8D81DBE36B}
\makelabel{cap:CapFixpoint}{9.2.30}{X824449507B8AC925}
\makelabel{cap:TransitivelyNeededOtherPackages}{9.2.31}{X7FA62DB97B67C4AB}
\makelabel{cap:PackageOfCAPOperation}{9.2.32}{X7E9D968D86A536EF}
\makelabel{cap:SafePosition for islist, isobject}{9.2.33}{X844FE77D85C951AA}
\makelabel{cap:NTuple}{9.2.34}{X7F2E50C87EC6E530}
\makelabel{cap:Pair}{9.2.35}{X7A63799B824FAEBA}
\makelabel{cap:Triple}{9.2.36}{X7C52730F8526A57E}
\makelabel{cap:HandlePrecompiledTowers}{9.2.37}{X7B339750826300B4}
\makelabel{cap:CAPINTERNALGENERATECONVENIENCEMETHODSFORLIMITS}{10.3.1}{X878F145478720C48}
\makelabel{cap:CAPINTERNALVALIDATELIMITSINNAMERECORD}{10.3.2}{X82234AD37EE8FC54}
\makelabel{cap:InfoCategoryConstructor}{11.1.1}{X7C2FCE2B7EBE56D9}
\makelabel{cap:CategoryConstructor for isrecord}{11.2.1}{X8070F8B48111E8A7}
\makelabel{cap:WasCreatedAsWrapperCapCategory for iscapcategory}{12.1.1}{X805F95CC83C8A7A0}
\makelabel{cap:IsWrapperCapCategory for wascreatedaswrappercapcategory}{12.1.2}{X783D407979D5B364}
\makelabel{cap:IsWrapperCapCategoryCell for iscapcategorycell}{12.1.3}{X807535A779A3C0EC}
\makelabel{cap:IsWrapperCapCategoryObject for iswrappercapcategorycell and iscapcategoryobject}{12.1.4}{X805C554B7F8BA971}
\makelabel{cap:IsWrapperCapCategoryMorphism for iswrappercapcategorycell and iscapcategorymorphism}{12.1.5}{X855897CB8250D0CF}
\makelabel{cap:ModelingCategory for wascreatedaswrappercapcategory}{12.2.1}{X81E3337B879B5EAA}
\makelabel{cap:UnderlyingCell for iswrappercapcategorycell}{12.2.2}{X7A5C1B677DE11201}
\makelabel{cap:AsObjectInWrapperCategory for iswrappercapcategory, iscapcategoryobject}{12.3.1}{X83886A588035ED96}
\makelabel{cap:AsMorphismInWrapperCategory for iswrappercapcategoryobject, iscapcategorymorphism, iswrappercapcategoryobject}{12.3.2}{X832CBD5A80B84DDF}
\makelabel{cap:AsMorphismInWrapperCategory for iswrappercapcategory, iscapcategorymorphism}{12.3.3}{X7A95EED57AD2AF78}
\makelabel{cap:WrapperCategory for iscapcategory, isrecord}{12.3.5}{X7C22BC7182777CF4}
\makelabel{cap:WrappingFunctor for iswrappercapcategory}{12.3.6}{X86932DDE8378A2AF}
\makelabel{cap:ModelingObject for wascreatedaswrappercapcategory, iscapcategoryobject}{12.3.7}{X82451D9185CD9FA4}
\makelabel{cap:ModeledObject for wascreatedaswrappercapcategory, iscapcategoryobject}{12.3.8}{X87D3B7227886FBAA}
\makelabel{cap:ModelingMorphism for wascreatedaswrappercapcategory, iscapcategorymorphism}{12.3.9}{X7ED17B397C5CC798}
\makelabel{cap:ModeledMorphism for wascreatedaswrappercapcategory, iscapcategoryobject, iscapcategorymorphism, iscapcategoryobject}{12.3.10}{X82277F387D146EB4}
\makelabel{cap:IsDummyCategory for iscapcategory}{13.1.1}{X872B304F85971287}
\makelabel{cap:IsDummyCategoryCell for iscapcategorycell}{13.1.2}{X8113C4A37D32FF64}
\makelabel{cap:IsDummyCategoryObject for isdummycategorycell and iscapcategoryobject}{13.1.3}{X81A613CD82E69A1F}
\makelabel{cap:IsDummyCategoryMorphism for isdummycategorycell and iscapcategorymorphism}{13.1.4}{X7C2C1DE6817B547E}
\makelabel{cap:DummyCategory for isrecord}{13.2.1}{X85EFD8FA7CA98ECB}
