Quelle  manual.lab   Sprache: unbekannt

\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:Categorical properties}{1.2}{X7A853C6D8096E14B}
\makelabel{cap:Constructor}{1.3}{X7ABF649E831D4D8E}
\makelabel{cap:Internal Attributes}{1.4}{X79CE135F7E6EBFEE}
\makelabel{cap:Logic switcher}{1.5}{X8305A19E86EC7B67}
\makelabel{cap:Tool functions}{1.6}{X7A15CCB67FBCF3E3}
\makelabel{cap:Well-Definedness of Cells}{1.7}{X7DB3D2BD8792ABBC}
\makelabel{cap:Unpacking data structures}{1.8}{X7D2E74CE87255099}
\makelabel{cap:Caching}{1.9}{X79DB9EE785F723D1}
\makelabel{cap:Sanity checks}{1.10}{X7EC631BC7CFCF5DB}
\makelabel{cap:Timing statistics}{1.11}{X7984C0E986CF0986}
\makelabel{cap:Enable automatic calls of Add}{1.12}{X81A1CDD77D375231}
\makelabel{cap:Performance tweaks}{1.13}{X7876FF1F831F58B0}
\makelabel{cap:LaTeX}{1.14}{X7B6A66AA7D212DDC}
\makelabel{cap:Objects}{2}{X78497E777FB3E402}
\makelabel{cap:Attributes for the Type of Objects}{2.1}{X7ABD8E5A8408A301}
\makelabel{cap:Adding Objects to a Category}{2.2}{X81817A2C84F03D1D}
\makelabel{cap:Equalities for Objects}{2.3}{X87FC6F8A78E599E0}
\makelabel{cap:Categorical Properties of Objects}{2.4}{X86CCD70884952468}
\makelabel{cap:Random Objects}{2.5}{X8332653E7EA2EB72}
\makelabel{cap:Tool functions for caches}{2.6}{X7DD668627932185C}
\makelabel{cap:Object constructors}{2.7}{X824C0CC579E8DD7F}
\makelabel{cap:Well-Definedness of Objects}{2.8}{X7820B09C781A90A8}
\makelabel{cap:SetOfObjects}{2.9}{X866BE10883381E75}
\makelabel{cap:Projectives}{2.10}{X7EFAF5CD83C3298F}
\makelabel{cap:Injectives}{2.11}{X87100AFB7A202D2F}
\makelabel{cap:Simplified Objects}{2.12}{X7DEC418578FAA1C0}
\makelabel{cap:Dimensions}{2.13}{X814E7CE2792896ED}
\makelabel{cap:Morphisms}{3}{X7BEB6C617FED52DA}
\makelabel{cap:Attributes for the Type of Morphisms}{3.1}{X8642E3327E96BBDD}
\makelabel{cap:Adding Morphisms to a Category}{3.2}{X867B9398854FEFFD}
\makelabel{cap:Morphism constructors}{3.3}{X8279E00178F05A66}
\makelabel{cap:Categorical Properties of Morphisms}{3.4}{X7A00D0C181471D06}
\makelabel{cap:Random Morphisms}{3.5}{X7B655F2678F605D3}
\makelabel{cap:Non-Categorical Properties of Morphisms}{3.6}{X7EA50D6587A93936}
\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:SetOfMorphisms}{3.16}{X858111977D44BC9C}
\makelabel{cap:Homomorphism structures}{3.17}{X7F065B9A78922547}
\makelabel{cap:Simplified Morphisms}{3.18}{X7B39E2927B533D10}
\makelabel{cap:Reduction by split epi summands}{3.19}{X8379B7817AA67F2D}
\makelabel{cap:Category 2-Cells}{4}{X7B2650D983390045}
\makelabel{cap:Attributes for the Type of 2-Cells}{4.1}{X793836877FCD5EC6}
\makelabel{cap:Adding 2-Cells to a Category}{4.2}{X7CB51AC67E08E3A1}
\makelabel{cap:Identity 2-Cell and Composition of 2-Cells}{4.3}{X7B780EDB7E466121}
\makelabel{cap:Well-Definedness for 2-Cells}{4.4}{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:Pushout}{6.12}{X81A2D49D85923894}
\makelabel{cap:Image}{6.13}{X87F4D35A826599C6}
\makelabel{cap:Coimage}{6.14}{X7EB02EC487B586E5}
\makelabel{cap:Morphism between Coimage and Image}{6.15}{X8047F7C57B874495}
\makelabel{cap:Homology objects}{6.16}{X87F38F8284D3137C}
\makelabel{cap:Projective covers and injective envelopes}{6.17}{X81E4AE0B7876230B}
\makelabel{cap:Add Functions}{7}{X87A9DB228112DF45}
\makelabel{cap:Functions Installed by Add}{7.1}{X85EC14607B6F66FE}
\makelabel{cap:Add Method}{7.2}{X85E3D9E07B8BC960}
\makelabel{cap:Method name record entries}{7.3}{X7E1C4F9D80329FEC}
\makelabel{cap:Enhancing the method name record}{7.4}{X844CF4D187364721}
\makelabel{cap:Prepare functions}{7.5}{X7AFA0108870EE97C}
\makelabel{cap:Available Add functions}{7.6}{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:Technical Details}{9}{X87A9EC0A7DF04931}
\makelabel{cap:The Category Cat}{9.1}{X7A8C280B85B50DE0}
\makelabel{cap:Tools}{9.2}{X8508AEF8845565A1}
\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:Reinterpretations of categories}{12}{X786E618B7E5FA5FA}
\makelabel{cap:Introduction}{12.1}{X7DFB63A97E67C0A1}
\makelabel{cap:Tutorial}{12.2}{X81932F777898AD72}
\makelabel{cap:Implementation details}{12.3}{X7AB84A0B83B2C1F1}
\makelabel{cap:Relation to CompilerForCAP}{12.4}{X856FF3B57FF7C2FD}
\makelabel{cap:Attributes}{12.5}{X7C701DBF7BAE649A}
\makelabel{cap:Constructors}{12.6}{X86EC0F0A78ECBC10}
\makelabel{cap:Create wrapper hulls of a category}{13}{X85EE0CDD7D162BC7}
\makelabel{cap:GAP categories}{13.1}{X7D03633A7D98026B}
\makelabel{cap:Attributes}{13.2}{X7C701DBF7BAE649A}
\makelabel{cap:Constructors}{13.3}{X86EC0F0A78ECBC10}
\makelabel{cap:Dummy implementations}{14}{X7CA5B46383A5CE09}
\makelabel{cap:Dummy rings}{14.1}{X7B19E3AE7AB1B31B}
\makelabel{cap:Dummy categories}{14.2}{X82A623E78640E822}
\makelabel{cap:Dummy homalg rings}{14.3}{X7D79D0478599BC12}
\makelabel{cap:Terminal category}{15}{X7EA29B7D7BA60F42}
\makelabel{cap:GAP Categories}{15.1}{X7D03633A7D98026B}
\makelabel{cap:Constructors}{15.2}{X86EC0F0A78ECBC10}
\makelabel{cap:Attributes}{15.3}{X7C701DBF7BAE649A}
\makelabel{cap:Finite skeletal discrete categories}{16}{X7BAE6D0285667B1F}
\makelabel{cap:GAP Categories}{16.1}{X7D03633A7D98026B}
\makelabel{cap:Constructors}{16.2}{X86EC0F0A78ECBC10}
\makelabel{cap:Attributes}{16.3}{X7C701DBF7BAE649A}
\makelabel{cap:Properties}{16.4}{X871597447BB998A1}
\makelabel{cap:Examples and Tests}{17}{X7967FE8E7BBDF485}
\makelabel{cap:Dummy implementations}{17.1}{X7CA5B46383A5CE09}
\makelabel{cap:Dummy categories}{17.1.1}{X82A623E78640E822}
\makelabel{cap:Dummy rings}{17.1.2}{X7B19E3AE7AB1B31B}
\makelabel{cap:Finite skeletal discrete categories}{17.2}{X7BAE6D0285667B1F}
\makelabel{cap:Functors}{17.3}{X78D1062D78BE08C1}
\makelabel{cap:HandlePrecompiledTowers}{17.4}{X7B339750826300B4}
\makelabel{cap:Terminal category}{17.5}{X7EA29B7D7BA60F42}
\makelabel{cap:CAP automatic generated documentation}{18}{X86293D7E84FD8A71}
\makelabel{cap:CAP automatic generated documentation of properties}{18.1}{X7F15B2867CEBDC5D}
\makelabel{cap:Index}{Ind}{X83A0356F839C696F}
\makelabel{cap:IsCapCategory for IsAttributeStoringRep}{1.1.1}{X80E47D0E86A9F916}
\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.2.1}{X7D6EA1307DFCCE46}
\makelabel{cap:IsObjectFiniteCategory for IsCapCategory}{1.2.2}{X806B382F8077EB7B}
\makelabel{cap:IsFiniteCategory for IsCapCategory}{1.2.3}{X8296B39C789BE6A9}
\makelabel{cap:IsFinite for IsCapCategory}{1.2.4}{X8347FF9C81E7385C}
\makelabel{cap:IsEquivalentToFiniteCategory for IsCapCategory}{1.2.5}{X8572BE547C73D308}
\makelabel{cap:IsEquippedWithHomomorphismStructure for IsCapCategory}{1.2.6}{X83F78D2C7AAC115D}
\makelabel{cap:IsCategoryWithDecidableLifts for IsCapCategory}{1.2.7}{X829DB5497D58C7E5}
\makelabel{cap:IsCategoryWithDecidableColifts for IsCapCategory}{1.2.8}{X7C22FA787967E694}
\makelabel{cap:IsCategoryWithInitialObject for IsCapCategory}{1.2.9}{X7C2B7A5F87EE5322}
\makelabel{cap:IsCategoryWithTerminalObject for IsCapCategory}{1.2.10}{X828327367FA16BDD}
\makelabel{cap:IsCategoryWithZeroObject for IsCapCategory}{1.2.11}{X7BFEEC3779A5EE2F}
\makelabel{cap:IsCategoryWithEqualizers for IsCapCategory}{1.2.12}{X8451BCF67F0C4F62}
\makelabel{cap:IsCategoryWithCoequalizers for IsCapCategory}{1.2.13}{X79D864BB79744E4E}
\makelabel{cap:IsEnrichedOverCommutativeRegularSemigroup for IsCapCategory}{1.2.14}{X82C2B6D37DA78465}
\makelabel{cap:IsSkeletalCategory for IsCapCategory}{1.2.15}{X7DBCD7237CF9100A}
\makelabel{cap:IsAbCategory for IsCapCategory}{1.2.16}{X79295B4680B0F22B}
\makelabel{cap:IsLinearCategoryOverCommutativeRing for IsCapCategory}{1.2.17}{X861DBAC181A15E1F}
\makelabel{cap:IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms for IsCapCategory}{1.2.18}{X86D45F0D7804F023}
\makelabel{cap:IsCategoryWithKernels for IsCapCategory}{1.2.19}{X7EB29BA681AE1F28}
\makelabel{cap:IsCategoryWithCokernels for IsCapCategory}{1.2.20}{X8226AEFF7F6F7FC3}
\makelabel{cap:IsAdditiveCategory for IsCapCategory}{1.2.21}{X87C4C37D7F75E681}
\makelabel{cap:IsPreAbelianCategory for IsCapCategory}{1.2.22}{X7A64E2B978685471}
\makelabel{cap:IsAbelianCategory for IsCapCategory}{1.2.23}{X79DB288F84457967}
\makelabel{cap:IsAbelianCategoryWithEnoughProjectives for IsCapCategory}{1.2.24}{X83EDCC4886FEE4B1}
\makelabel{cap:IsAbelianCategoryWithEnoughInjectives for IsCapCategory}{1.2.25}{X860EB7977F78EE3F}
\makelabel{cap:IsLocallyOfFiniteProjectiveDimension for IsCapCategory}{1.2.26}{X87AA6D6282FD1C02}
\makelabel{cap:IsLocallyOfFiniteInjectiveDimension for IsCapCategory}{1.2.27}{X7EDD2B4386ABE96E}
\makelabel{cap:ListOfDefiningOperations}{1.2.28}{X87434CEF86BC38D4}
\makelabel{cap:CreateCapCategory}{1.3.1}{X86EDB84D7E3F0194}
\makelabel{cap:CreateCapCategory for IsString}{1.3.2}{X854CC42E828C120D}
\makelabel{cap:CreateCapCategory for IsString, IsFunction, IsFunction, IsFunction, IsFunction}{1.3.3}{X7A1D562178FC3DDF}
\makelabel{cap:CreateCapCategoryWithDataTypes}{1.3.4}{X8090078F7C5EF5E9}
\makelabel{cap:Name for IsCapCategory}{1.4.1}{X79251D5C85B0F3D3}
\makelabel{cap:CategoryFilter for IsCapCategory}{1.4.2}{X7C7B1EAF7D786508}
\makelabel{cap:ObjectFilter for IsCapCategory}{1.4.3}{X7BD6E2B887F86E9C}
\makelabel{cap:MorphismFilter for IsCapCategory}{1.4.4}{X7F62E0C47C778CBB}
\makelabel{cap:TwoCellFilter for IsCapCategory}{1.4.5}{X850D0E978090D0C0}
\makelabel{cap:ObjectDatumType for IsCapCategory}{1.4.6}{X834BBE4085A42FAC}
\makelabel{cap:MorphismDatumType for IsCapCategory}{1.4.7}{X8090D81F78B1F25A}
\makelabel{cap:TwoCellDatumType for IsCapCategory}{1.4.8}{X850E7C0C807F3402}
\makelabel{cap:CommutativeRingOfLinearCategory for IsCapCategory}{1.4.9}{X78D0C0057817DBC3}
\makelabel{cap:RangeCategoryOfHomomorphismStructure for IsCapCategory}{1.4.10}{X80AF18E4797A5BB4}
\makelabel{cap:AdditiveGenerators for IsCapCategory}{1.4.11}{X7CF2F93F8258DAD5}
\makelabel{cap:IndecomposableProjectiveObjects for IsCapCategory}{1.4.12}{X7E094E2680348C88}
\makelabel{cap:IndecomposableInjectiveObjects for IsCapCategory}{1.4.13}{X85E6A5AF7DDA4F2C}
\makelabel{cap:CapCategorySwitchLogicPropagationForObjectsOn}{1.5.1}{X82C32E8C790EAB42}
\makelabel{cap:CapCategorySwitchLogicPropagationForObjectsOff}{1.5.2}{X7FEF6F218491CD45}
\makelabel{cap:CapCategorySwitchLogicPropagationForMorphismsOn}{1.5.3}{X80C98B547A76705D}
\makelabel{cap:CapCategorySwitchLogicPropagationForMorphismsOff}{1.5.4}{X86469EBF8261E1D4}
\makelabel{cap:CapCategorySwitchLogicPropagationOn}{1.5.5}{X7C06E84F78D82C0D}
\makelabel{cap:CapCategorySwitchLogicPropagationOff}{1.5.6}{X84F114757E964E1E}
\makelabel{cap:CapCategorySwitchLogicOn}{1.5.7}{X84824AC3793D872B}
\makelabel{cap:CapCategorySwitchLogicOff}{1.5.8}{X84A995A687D031B7}
\makelabel{cap:CanCompute for IsCapCategory, IsString}{1.6.1}{X851D0435816DDB40}
\makelabel{cap:CanCompute for IsCapCategory, IsFunction}{1.6.1}{X851D0435816DDB40}
\makelabel{cap:OperationWeight for IsCapCategory, IsString}{1.6.2}{X820DD63180AE4BAB}
\makelabel{cap:MissingOperationsForConstructivenessOfCategory for IsCapCategory, IsStringRep}{1.6.3}{X7AA6C5857FB663EB}
\makelabel{cap:IsWellDefined for IsCapCategoryCell}{1.7.1}{X839EA4D7805D4F97}
\makelabel{cap:Down for IsObject}{1.8.1}{X8790DC5F7A2BD22E}
\makelabel{cap:DownOnlyMorphismData for IsCapCategoryMorphism}{1.8.2}{X858B64487B2DA04E}
\makelabel{cap:DownToBottom for IsObject}{1.8.3}{X7BABD65A821C138F}
\makelabel{cap:SetCachingOfCategory}{1.9.1}{X7DB820A686B4059F}
\makelabel{cap:SetCachingOfCategoryWeak}{1.9.2}{X87AA14F27892F14F}
\makelabel{cap:SetCachingOfCategoryCrisp}{1.9.2}{X87AA14F27892F14F}
\makelabel{cap:DeactivateCachingOfCategory}{1.9.2}{X87AA14F27892F14F}
\makelabel{cap:SetDefaultCaching}{1.9.3}{X844903657E52E6D1}
\makelabel{cap:SetDefaultCachingWeak}{1.9.3}{X844903657E52E6D1}
\makelabel{cap:SetDefaultCachingCrisp}{1.9.3}{X844903657E52E6D1}
\makelabel{cap:DeactivateDefaultCaching}{1.9.3}{X844903657E52E6D1}
\makelabel{cap:DisableInputSanityChecks}{1.10.1}{X7BB84C7B83FE3D80}
\makelabel{cap:DisableOutputSanityChecks}{1.10.1}{X7BB84C7B83FE3D80}
\makelabel{cap:EnablePartialInputSanityChecks}{1.10.1}{X7BB84C7B83FE3D80}
\makelabel{cap:EnablePartialOutputSanityChecks}{1.10.1}{X7BB84C7B83FE3D80}
\makelabel{cap:EnableFullInputSanityChecks}{1.10.1}{X7BB84C7B83FE3D80}
\makelabel{cap:EnableFullOutputSanityChecks}{1.10.1}{X7BB84C7B83FE3D80}
\makelabel{cap:DisableSanityChecks}{1.10.1}{X7BB84C7B83FE3D80}
\makelabel{cap:EnablePartialSanityChecks}{1.10.1}{X7BB84C7B83FE3D80}
\makelabel{cap:EnableFullSanityChecks}{1.10.1}{X7BB84C7B83FE3D80}
\makelabel{cap:EnableTimingStatistics}{1.11.1}{X86C6F8828628B070}
\makelabel{cap:DisableTimingStatistics}{1.11.1}{X86C6F8828628B070}
\makelabel{cap:ResetTimingStatistics}{1.11.1}{X86C6F8828628B070}
\makelabel{cap:DisplayTimingStatistics}{1.11.1}{X86C6F8828628B070}
\makelabel{cap:BrowseTimingStatistics}{1.11.1}{X86C6F8828628B070}
\makelabel{cap:EnableAddForCategoricalOperations}{1.12.1}{X7C01E3727D08D219}
\makelabel{cap:DisableAddForCategoricalOperations}{1.12.1}{X7C01E3727D08D219}
\makelabel{cap:LaTeXOutput for IsCapCategoryCell}{1.14.1}{X831B157D7CC3DDA3}
\makelabel{cap:LaTeXOutput for IsCapCategory}{1.14.2}{X7B34A09D7AF0F683}
\makelabel{cap:CapCategory for IsCapCategoryObject}{2.1.1}{X7C3B8C3D865002C8}
\makelabel{cap:Add for IsCapCategory, IsCapCategoryObject}{2.2.1}{X824AE09A81D2B184}
\makelabel{cap:AddObject for IsCapCategory, IsAttributeStoringRep}{2.2.2}{X855C644A812F32B7}
\makelabel{cap:CreateCapCategoryObjectWithAttributes}{2.2.3}{X87BD8BB88206D940}
\makelabel{cap:AsCapCategoryObject}{2.2.4}{X7F5D75377B0D54A6}
\makelabel{cap:AsPrimitiveValue for IsCapCategoryObject}{2.2.5}{X7FAE21CF84BD7986}
\makelabel{cap:AsInteger for IsCapCategoryObject}{2.2.5}{X7FAE21CF84BD7986}
\makelabel{cap:AsHomalgMatrix for IsCapCategoryObject}{2.2.5}{X7FAE21CF84BD7986}
\makelabel{cap:IsEqualForObjects for IsCapCategoryObject, IsCapCategoryObject}{2.3.1}{X8337569D81C0BBEC}
\makelabel{cap:IsIsomorphicForObjects for IsCapCategoryObject, IsCapCategoryObject}{2.3.2}{X7C34D06C7ABE563F}
\makelabel{cap:SomeIsomorphismBetweenObjects for IsCapCategoryObject, IsCapCategoryObject}{2.3.3}{X7D3407D68401C878}
\makelabel{cap:IsBijectiveObject for IsCapCategoryObject}{2.4.1}{X854468CF79122D57}
\makelabel{cap:IsProjective for IsCapCategoryObject}{2.4.2}{X849A94147D3446BE}
\makelabel{cap:IsInjective for IsCapCategoryObject}{2.4.3}{X8788D5A27EC1F994}
\makelabel{cap:IsTerminal for IsCapCategoryObject}{2.4.4}{X7D3542EE7A8448A7}
\makelabel{cap:IsInitial for IsCapCategoryObject}{2.4.5}{X83F6095A80DCCDC3}
\makelabel{cap:IsZeroForObjects for IsCapCategoryObject}{2.4.6}{X856FA5E084753312}
\makelabel{cap:IsZero for IsCapCategoryObject}{2.4.7}{X824765AD78E027CC}
\makelabel{cap:RandomObjectByInteger for IsCapCategory, IsInt}{2.5.1}{X85A6C3687C46085F}
\makelabel{cap:RandomObjectByList for IsCapCategory, IsList}{2.5.2}{X7EEC27307C4B06E8}
\makelabel{cap:RandomObject for IsCapCategory, IsInt}{2.5.3}{X7E0974E58188E6FB}
\makelabel{cap:RandomObject for IsCapCategory, IsList}{2.5.4}{X7AF3D62C7F8F40AE}
\makelabel{cap:IsEqualForCacheForObjects for IsCapCategoryObject, IsCapCategoryObject}{2.6.1}{X7BAE9BBC874635CB}
\makelabel{cap:ObjectConstructor for IsCapCategory, IsObject}{2.7.1}{X825D050A8674D377}
\makelabel{cap:ObjectDatum for IsCapCategoryObject}{2.7.3}{X8521A36F7BBFF6BD}
\makelabel{cap:IsWellDefinedForObjects for IsCapCategoryObject}{2.8.1}{X7F9A38A187D9ABFA}
\makelabel{cap:SetOfObjectsOfCategory for IsCapCategory}{2.9.1}{X8047E157804C680E}
\makelabel{cap:SetOfObjects for IsCapCategory}{2.9.2}{X7B77708881BFE682}
\makelabel{cap:SomeProjectiveObject for IsCapCategoryObject}{2.10.1}{X7FED5E898784C314}
\makelabel{cap:EpimorphismFromSomeProjectiveObject for IsCapCategoryObject}{2.10.2}{X7D5951AA7EBD7750}
\makelabel{cap:EpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject for IsCapCategoryObject, IsCapCategoryObject}{2.10.3}{X81F04D8186B94570}
\makelabel{cap:ProjectiveLift for IsCapCategoryMorphism, IsCapCategoryMorphism}{2.10.4}{X7BFFD7FE82DCB5F6}
\makelabel{cap:SomeInjectiveObject for IsCapCategoryObject}{2.11.1}{X7C06E1807D8775AD}
\makelabel{cap:MonomorphismIntoSomeInjectiveObject for IsCapCategoryObject}{2.11.2}{X8502893C82A38864}
\makelabel{cap:MonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject for IsCapCategoryObject, IsCapCategoryObject}{2.11.3}{X7A7C030382397A2B}
\makelabel{cap:InjectiveColift for IsCapCategoryMorphism, IsCapCategoryMorphism}{2.11.4}{X7CCBB0A384F37EC6}
\makelabel{cap:Simplify for IsCapCategoryObject}{2.12.1}{X7BA160B382F8D742}
\makelabel{cap:SimplifyObject for IsCapCategoryObject, IsObject}{2.12.2}{X85B54852792DEDD7}
\makelabel{cap:SimplifyObjectIsoFromInputObject for IsCapCategoryObject, IsObject}{2.12.3}{X78C0D2CB867C5C90}
\makelabel{cap:SimplifyObjectIsoToInputObject for IsCapCategoryObject, IsObject}{2.12.4}{X835832A685F651C8}
\makelabel{cap:ProjectiveDimension for IsCapCategoryObject}{2.13.1}{X824604E9876DDDC5}
\makelabel{cap:InjectiveDimension for IsCapCategoryObject}{2.13.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:Target for IsCapCategoryMorphism}{3.1.4}{X83A0A39587BD6383}
\makelabel{cap:Add for IsCapCategory, IsCapCategoryMorphism}{3.2.1}{X7BDADB628232C280}
\makelabel{cap:AddMorphism for IsCapCategory, IsAttributeStoringRep}{3.2.2}{X82453E55857562AB}
\makelabel{cap:CreateCapCategoryMorphismWithAttributes}{3.2.3}{X78005D357A051FC6}
\makelabel{cap:AsCapCategoryMorphism}{3.2.4}{X7AE302BE7C2E829F}
\makelabel{cap:AsPrimitiveValue for IsCapCategoryMorphism}{3.2.5}{X7893F08182290038}
\makelabel{cap:AsInteger for IsCapCategoryMorphism}{3.2.5}{X7893F08182290038}
\makelabel{cap:AsHomalgMatrix for IsCapCategoryMorphism}{3.2.5}{X7893F08182290038}
\makelabel{cap:MorphismConstructor for IsCapCategoryObject, IsObject, IsCapCategoryObject}{3.3.1}{X7F1FB34F789ECB10}
\makelabel{cap:MorphismDatum for IsCapCategoryMorphism}{3.3.2}{X7BBFB178866108FA}
\makelabel{cap:IsMonomorphism for IsCapCategoryMorphism}{3.4.1}{X7A6F64027EEAF42B}
\makelabel{cap:IsEpimorphism for IsCapCategoryMorphism}{3.4.2}{X7E85E0A67BA11091}
\makelabel{cap:IsIsomorphism for IsCapCategoryMorphism}{3.4.3}{X7F29CF0282EFEAA3}
\makelabel{cap:IsSplitMonomorphism for IsCapCategoryMorphism}{3.4.4}{X871A71747E03207D}
\makelabel{cap:IsSplitEpimorphism for IsCapCategoryMorphism}{3.4.5}{X7B4DB8C887F37D02}
\makelabel{cap:IsOne for IsCapCategoryMorphism}{3.4.6}{X7FA10AFB7F441434}
\makelabel{cap:IsIdempotent for IsCapCategoryMorphism}{3.4.7}{X7BA4290882AFFCA3}
\makelabel{cap:RandomMorphismWithFixedSourceByInteger for IsCapCategoryObject, IsInt}{3.5.1}{X79EBA1717D89B0A4}
\makelabel{cap:RandomMorphismWithFixedSourceByList for IsCapCategoryObject, IsList}{3.5.2}{X84FDBEED7844CDB6}
\makelabel{cap:RandomMorphismWithFixedRangeByInteger for IsCapCategoryObject, IsInt}{3.5.3}{X844B1DDC8488B7CA}
\makelabel{cap:RandomMorphismWithFixedRangeByList for IsCapCategoryObject, IsList}{3.5.4}{X8568D71882C30501}
\makelabel{cap:RandomMorphismWithFixedSourceAndRangeByInteger for IsCapCategoryObject, IsCapCategoryObject, IsInt}{3.5.5}{X80F66E9D809EA6A7}
\makelabel{cap:RandomMorphismWithFixedSourceAndRangeByList for IsCapCategoryObject, IsCapCategoryObject, IsList}{3.5.6}{X7BF231C57B40B1A1}
\makelabel{cap:RandomMorphismByInteger for IsCapCategory, IsInt}{3.5.7}{X81DB09BA7CBD3DB4}
\makelabel{cap:RandomMorphismByList for IsCapCategory, IsList}{3.5.8}{X7E79F7A9802F622D}
\makelabel{cap:RandomMorphismWithFixedSource for IsCapCategoryObject, IsInt}{3.5.9}{X83D121E787FDC6E8}
\makelabel{cap:RandomMorphismWithFixedSource for IsCapCategoryObject, IsList}{3.5.9}{X83D121E787FDC6E8}
\makelabel{cap:RandomMorphismWithFixedRange for IsCapCategoryObject, IsInt}{3.5.9}{X83D121E787FDC6E8}
\makelabel{cap:RandomMorphismWithFixedRange for IsCapCategoryObject, IsList}{3.5.9}{X83D121E787FDC6E8}
\makelabel{cap:RandomMorphismWithFixedSourceAndRange for IsCapCategoryObject, IsCapCategoryObject, IsInt}{3.5.9}{X83D121E787FDC6E8}
\makelabel{cap:RandomMorphismWithFixedSourceAndRange for IsCapCategoryObject, IsCapCategoryObject, IsList}{3.5.9}{X83D121E787FDC6E8}
\makelabel{cap:RandomMorphism for IsCapCategoryObject, IsCapCategoryObject, IsInt}{3.5.9}{X83D121E787FDC6E8}
\makelabel{cap:RandomMorphism for IsCapCategoryObject, IsCapCategoryObject, IsList}{3.5.9}{X83D121E787FDC6E8}
\makelabel{cap:RandomMorphism for IsCapCategory, IsInt}{3.5.9}{X83D121E787FDC6E8}
\makelabel{cap:RandomMorphism for IsCapCategory, IsList}{3.5.9}{X83D121E787FDC6E8}
\makelabel{cap:IsEqualToIdentityMorphism for IsCapCategoryMorphism}{3.6.1}{X8211959783AFF307}
\makelabel{cap:IsEqualToZeroMorphism for IsCapCategoryMorphism}{3.6.2}{X79D407A3807309FC}
\makelabel{cap:IsEndomorphism for IsCapCategoryMorphism}{3.6.3}{X81057B3E812B06CC}
\makelabel{cap:IsAutomorphism for IsCapCategoryMorphism}{3.6.4}{X84E5DE257F241830}
\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 IsCapCategoryObject, IsList, IsCapCategoryObject}{3.10.4}{X87A5FFE97BB5190A}
\makelabel{cap:PostCompose for IsCapCategoryMorphism, IsCapCategoryMorphism}{3.10.5}{X84293B8381256A08}
\makelabel{cap:PostCompose for IsList}{3.10.6}{X81222A1084A4F637}
\makelabel{cap:PostComposeList for IsCapCategoryObject, IsList, IsCapCategoryObject}{3.10.7}{X7BD83BF3835870E9}
\makelabel{cap:SumOfMorphisms for IsCapCategoryObject, IsList, IsCapCategoryObject}{3.10.8}{X7D50F754822C30D7}
\makelabel{cap:LinearCombinationOfMorphisms for IsCapCategoryObject, IsList, IsList, IsCapCategoryObject}{3.10.9}{X7C101B5C7AC9089C}
\makelabel{cap:IsWellDefinedForMorphisms for IsCapCategoryMorphism}{3.11.1}{X7968A871832877B8}
\makelabel{cap:IsWellDefinedForMorphismsWithGivenSourceAndRange for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject}{3.11.2}{X820A29637F48E932}
\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:PreInverseForMorphisms for IsCapCategoryMorphism}{3.13.2}{X83E4A87F7B2290F1}
\makelabel{cap:PostInverseForMorphisms for IsCapCategoryMorphism}{3.13.3}{X800447917F75989A}
\makelabel{cap:IsEqualForCacheForMorphisms for IsCapCategoryMorphism, IsCapCategoryMorphism}{3.14.1}{X83F87AE07ED534ED}
\makelabel{cap:IsHomSetInhabited for IsCapCategoryObject, IsCapCategoryObject}{3.15.1}{X81DB15B87D1A946D}
\makelabel{cap:SetOfMorphismsOfFiniteCategory for IsCapCategory}{3.16.1}{X824691307DEF08FC}
\makelabel{cap:SetOfMorphisms for IsCapCategory}{3.16.2}{X8426F188818F02B7}
\makelabel{cap:HomomorphismStructureOnObjects for IsCapCategoryObject, IsCapCategoryObject}{3.17.1}{X81BC29A679416C45}
\makelabel{cap:HomomorphismStructureOnMorphisms for IsCapCategoryMorphism, IsCapCategoryMorphism}{3.17.2}{X8257E3787865C5E0}
\makelabel{cap:HomomorphismStructureOnMorphismsWithGivenObjects for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject}{3.17.3}{X7FBC94B983CBA64F}
\makelabel{cap:DistinguishedObjectOfHomomorphismStructure for IsCapCategory}{3.17.4}{X7999CCFF82DA16D7}
\makelabel{cap:InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure for IsCapCategoryMorphism}{3.17.5}{X81F1237C7DBF7603}
\makelabel{cap:InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject}{3.17.6}{X7A5A05C682EB033D}
\makelabel{cap:InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism}{3.17.7}{X8760D39C865239E8}
\makelabel{cap:SolveLinearSystemInAbCategory for IsList, IsList, IsList}{3.17.8}{X7BE5E2687FC110AC}
\makelabel{cap:SolveLinearSystemInAbCategoryOrFail for IsList, IsList, IsList}{3.17.9}{X7CAAF16981546CE0}
\makelabel{cap:MereExistenceOfSolutionOfLinearSystemInAbCategory for IsList, IsList, IsList}{3.17.10}{X7A722FA5817D5F76}
\makelabel{cap:MereExistenceOfUniqueSolutionOfLinearSystemInAbCategory for IsList, IsList, IsList}{3.17.11}{X8666962D84B81665}
\makelabel{cap:MereExistenceOfUniqueSolutionOfHomogeneousLinearSystemInAbCategory for IsList, IsList}{3.17.12}{X7E6E1269854E4B94}
\makelabel{cap:BasisOfSolutionsOfHomogeneousLinearSystemInLinearCategory for IsList, IsList}{3.17.13}{X85A7BE3185E58026}
\makelabel{cap:BasisOfSolutionsOfHomogeneousDoubleLinearSystemInLinearCategory for IsList, IsList, IsList, IsList}{3.17.14}{X798F78CE7EAA7F95}
\makelabel{cap:BasisOfSolutionsOfHomogeneousDoubleLinearSystemInLinearCategory for IsList, IsList}{3.17.15}{X860621FE7C1E6634}
\makelabel{cap:HomStructure for IsCapCategoryMorphism, IsCapCategoryMorphism}{3.17.16}{X7D473D9D83C53185}
\makelabel{cap:HomStructure for IsCapCategoryMorphism, IsCapCategoryObject}{3.17.17}{X7848040086B41266}
\makelabel{cap:HomStructure for IsCapCategoryObject, IsCapCategoryMorphism}{3.17.18}{X834C3BB480D6561D}
\makelabel{cap:HomStructure for IsCapCategoryObject, IsCapCategoryObject}{3.17.19}{X7BFD58C57EC23BD5}
\makelabel{cap:HomStructure for IsCapCategoryMorphism}{3.17.20}{X7CDC08947CF2022E}
\makelabel{cap:HomStructure for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism}{3.17.21}{X820B9AC886D78944}
\makelabel{cap:HomStructure for IsCapCategory}{3.17.22}{X8705DA127E089709}
\makelabel{cap:ExtendRangeOfHomomorphismStructureByFullEmbedding for IsCapCategory, IsCapCategory, IsFunction, IsFunction, IsFunction, IsFunction}{3.17.23}{X873E91D180B3057C}
\makelabel{cap:HomomorphismStructureOnObjectsExtendedByFullEmbedding for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryObject}{3.17.23}{X873E91D180B3057C}
\makelabel{cap:HomomorphismStructureOnMorphismsExtendedByFullEmbedding for IsCapCategory, IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism}{3.17.23}{X873E91D180B3057C}
\makelabel{cap:HomomorphismStructureOnMorphismsWithGivenObjectsExtendedByFullEmbedding for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject}{3.17.23}{X873E91D180B3057C}
\makelabel{cap:DistinguishedObjectOfHomomorphismStructureExtendedByFullEmbedding for IsCapCategory, IsCapCategory}{3.17.23}{X873E91D180B3057C}
\makelabel{cap:InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureExtendedByFullEmbedding for IsCapCategory, IsCapCategory, IsCapCategoryMorphism}{3.17.23}{X873E91D180B3057C}
\makelabel{cap:InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjectsExtendedByFullEmbedding for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject}{3.17.23}{X873E91D180B3057C}
\makelabel{cap:InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphismExtendedByFullEmbedding for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism}{3.17.23}{X873E91D180B3057C}
\makelabel{cap:ExtendRangeOfHomomorphismStructureByIdentityAsFullEmbedding for IsCapCategory}{3.17.24}{X7C551C8F7BA2F3F1}
\makelabel{cap:MorphismsOfExternalHom for IsCapCategoryObject, IsCapCategoryObject}{3.17.25}{X8510A7E08672FD73}
\makelabel{cap:BasisOfExternalHom for IsCapCategoryObject, IsCapCategoryObject}{3.17.26}{X7CC9C1A487AE6086}
\makelabel{cap:CoefficientsOfMorphism for IsCapCategoryMorphism}{3.17.27}{X8636593C845B23D2}
\makelabel{cap:SimplifyMorphism for IsCapCategoryMorphism, IsObject}{3.18.1}{X7FCE611883F6A56B}
\makelabel{cap:SimplifySource for IsCapCategoryMorphism, IsObject}{3.18.2}{X7DAD0E437D28F300}
\makelabel{cap:SimplifySourceIsoToInputObject for IsCapCategoryMorphism, IsObject}{3.18.3}{X843C68B97ED31DD4}
\makelabel{cap:SimplifySourceIsoFromInputObject for IsCapCategoryMorphism, IsObject}{3.18.4}{X7CE5C1BB7BA7AA16}
\makelabel{cap:SimplifyRange for IsCapCategoryMorphism, IsObject}{3.18.5}{X7F80C5357F84A39A}
\makelabel{cap:SimplifyRangeIsoToInputObject for IsCapCategoryMorphism, IsObject}{3.18.6}{X82FCEC277F3A1A70}
\makelabel{cap:SimplifyRangeIsoFromInputObject for IsCapCategoryMorphism, IsObject}{3.18.7}{X865CD95E7D068A77}
\makelabel{cap:SimplifySourceAndRange for IsCapCategoryMorphism, IsObject}{3.18.8}{X821E16DF8071B8A4}
\makelabel{cap:SimplifySourceAndRangeIsoToInputRange for IsCapCategoryMorphism, IsObject}{3.18.9}{X84C39DE584D38D4E}
\makelabel{cap:SimplifySourceAndRangeIsoFromInputRange for IsCapCategoryMorphism, IsObject}{3.18.10}{X859DF3C2819FFE4D}
\makelabel{cap:SimplifySourceAndRangeIsoToInputSource for IsCapCategoryMorphism, IsObject}{3.18.11}{X7DD0915A7E23283E}
\makelabel{cap:SimplifySourceAndRangeIsoFromInputSource for IsCapCategoryMorphism, IsObject}{3.18.12}{X783C20A47889C4A8}
\makelabel{cap:SimplifyEndo for IsCapCategoryMorphism, IsObject}{3.18.13}{X830C7337864DB3D6}
\makelabel{cap:SimplifyEndoIsoToInputObject for IsCapCategoryMorphism, IsObject}{3.18.14}{X78189F508549ABAA}
\makelabel{cap:SimplifyEndoIsoFromInputObject for IsCapCategoryMorphism, IsObject}{3.18.15}{X7C07985D844FD715}
\makelabel{cap:Simplify for IsCapCategoryMorphism}{3.18.16}{X7D80D2B2792A7A50}
\makelabel{cap:SomeReductionBySplitEpiSummand for IsCapCategoryMorphism}{3.19.1}{X7F997AF37E59411F}
\makelabel{cap:SomeReductionBySplitEpiSummandMorphismToInputRange for IsCapCategoryMorphism}{3.19.2}{X7C92D8AF82E65289}
\makelabel{cap:SomeReductionBySplitEpiSummandMorphismFromInputRange for IsCapCategoryMorphism}{3.19.3}{X7A0F381279955981}
\makelabel{cap:Source for IsCapCategoryTwoCell}{4.1.1}{X8061EB36809022A4}
\makelabel{cap:Range for IsCapCategoryTwoCell}{4.1.2}{X7C16D44B8639016B}
\makelabel{cap:Target for IsCapCategoryTwoCell}{4.1.3}{X780D00C482CA707D}
\makelabel{cap:Add for IsCapCategory, IsCapCategoryTwoCell}{4.2.1}{X82FFCA6D82FC0ED9}
\makelabel{cap:AddTwoCell for IsCapCategory, IsAttributeStoringRep}{4.2.2}{X7E3D6C538354F1D9}
\makelabel{cap:CreateCapCategoryTwoCellWithAttributes}{4.2.3}{X7B449CCB7C8050A3}
\makelabel{cap:IdentityTwoCell for IsCapCategoryMorphism}{4.3.1}{X78ED1F327D902924}
\makelabel{cap:HorizontalPreCompose for IsCapCategoryTwoCell, IsCapCategoryTwoCell}{4.3.2}{X7DD9EB1F80921939}
\makelabel{cap:HorizontalPostCompose for IsCapCategoryTwoCell, IsCapCategoryTwoCell}{4.3.3}{X87C942B87C6A161D}
\makelabel{cap:VerticalPreCompose for IsCapCategoryTwoCell, IsCapCategoryTwoCell}{4.3.4}{X7D89385B7834B086}
\makelabel{cap:VerticalPostCompose for IsCapCategoryTwoCell, IsCapCategoryTwoCell}{4.3.5}{X79D9FBEA851C4F00}
\makelabel{cap:IsWellDefinedForTwoCells for IsCapCategoryTwoCell}{4.4.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:ComponentOfMorphismIntoDirectSum for IsCapCategoryMorphism, IsList, IsInt}{6.6.18}{X7A3400D485D0C438}
\makelabel{cap:ComponentOfMorphismFromDirectSum for IsCapCategoryMorphism, IsList, IsInt}{6.6.19}{X7B71C4F4799263E6}
\makelabel{cap:DirectSumFunctorial for IsList, IsList, IsList}{6.6.20}{X784D53A47F683192}
\makelabel{cap:DirectSumFunctorialWithGivenDirectSums for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject}{6.6.21}{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:ComponentOfMorphismFromCoproduct for IsCapCategoryMorphism, IsList, IsInt}{6.7.10}{X82F0CBC179945B84}
\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:ComponentOfMorphismIntoDirectProduct for IsCapCategoryMorphism, IsList, IsInt}{6.8.9}{X7C5769577CEAF2C4}
\makelabel{cap:Equalizer}{6.9.1}{X824FD8F786D2350D}
\makelabel{cap:EqualizerOp for IsCapCategoryObject, IsList}{6.9.2}{X7B1937088320E680}
\makelabel{cap:EmbeddingOfEqualizer for IsCapCategoryObject, IsList}{6.9.3}{X803E62B382D76E4F}
\makelabel{cap:EmbeddingOfEqualizerWithGivenEqualizer for IsCapCategoryObject, IsList, IsCapCategoryObject}{6.9.4}{X828423F283DF97BA}
\makelabel{cap:MorphismFromEqualizerToSink for IsCapCategoryObject, IsList}{6.9.5}{X78A6E6AA87FADB13}
\makelabel{cap:MorphismFromEqualizerToSinkWithGivenEqualizer for IsCapCategoryObject, IsList, IsCapCategoryObject}{6.9.6}{X7CF04F98844789DE}
\makelabel{cap:UniversalMorphismIntoEqualizer for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryMorphism}{6.9.7}{X872F9E2E853EB91D}
\makelabel{cap:UniversalMorphismIntoEqualizerWithGivenEqualizer for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject}{6.9.8}{X7F7191B57D8AA456}
\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:JointPairwiseDifferencesOfMorphismsIntoDirectProduct for IsCapCategoryObject, IsList}{6.9.11}{X7DD2167B7836DF62}
\makelabel{cap:IsomorphismFromEqualizerToKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProduct for IsCapCategoryObject, IsList}{6.9.12}{X7E8843F17F0F3D14}
\makelabel{cap:IsomorphismFromKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProductToEqualizer for IsCapCategoryObject, IsList}{6.9.13}{X7A96B57382715059}
\makelabel{cap:Coequalizer}{6.10.1}{X7BA8F7BD793CC288}
\makelabel{cap:CoequalizerOp for IsCapCategoryObject, IsList}{6.10.2}{X80FCD6BE84781FE6}
\makelabel{cap:ProjectionOntoCoequalizer for IsCapCategoryObject, IsList}{6.10.3}{X7E0468077DE9EC3B}
\makelabel{cap:ProjectionOntoCoequalizerWithGivenCoequalizer for IsCapCategoryObject, IsList, IsCapCategoryObject}{6.10.4}{X78B7474384BAA57A}
\makelabel{cap:MorphismFromSourceToCoequalizer for IsCapCategoryObject, IsList}{6.10.5}{X7D3F328F82CD8A49}
\makelabel{cap:MorphismFromSourceToCoequalizerWithGivenCoequalizer for IsCapCategoryObject, IsList, IsCapCategoryObject}{6.10.6}{X82EB657782E82115}
\makelabel{cap:UniversalMorphismFromCoequalizer for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryMorphism}{6.10.7}{X86EFF737796C2630}
\makelabel{cap:UniversalMorphismFromCoequalizerWithGivenCoequalizer for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject}{6.10.8}{X816990198092E8B6}
\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:JointPairwiseDifferencesOfMorphismsFromCoproduct for IsCapCategoryObject, IsList}{6.10.11}{X7AE156547D6F06CE}
\makelabel{cap:IsomorphismFromCoequalizerToCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproduct for IsCapCategoryObject, IsList}{6.10.12}{X80AFEE3579EB987A}
\makelabel{cap:IsomorphismFromCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproductToCoequalizer for IsCapCategoryObject, IsList}{6.10.13}{X78A3F1087B86E650}
\makelabel{cap:IsomorphismFromFiberProductToEqualizerOfDirectProductDiagram for IsList}{6.11.1}{X7DAB395584678429}
\makelabel{cap:IsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct for IsList}{6.11.2}{X8190FBB47DB6307D}
\makelabel{cap:FiberProductEmbeddingInDirectProduct for IsList}{6.11.3}{X82157EF887CC99D1}
\makelabel{cap:FiberProductEmbeddingInDirectSum for IsList}{6.11.4}{X7919AF7486FA42C5}
\makelabel{cap:FiberProduct}{6.11.5}{X7DE20941803BFBD9}
\makelabel{cap:FiberProductOp for IsList}{6.11.6}{X8000EEB77D6E8B7C}
\makelabel{cap:ProjectionInFactorOfFiberProduct for IsList, IsInt}{6.11.7}{X8104B3717D3B646F}
\makelabel{cap:ProjectionInFactorOfFiberProductWithGivenFiberProduct for IsList, IsInt, IsCapCategoryObject}{6.11.8}{X8085606A7B09071F}
\makelabel{cap:MorphismFromFiberProductToSink for IsList}{6.11.9}{X7C6EF50085D13D12}
\makelabel{cap:MorphismFromFiberProductToSinkWithGivenFiberProduct for IsList, IsCapCategoryObject}{6.11.10}{X866ED61786F4C76C}
\makelabel{cap:UniversalMorphismIntoFiberProduct for IsList, IsCapCategoryObject, IsList}{6.11.11}{X8441CF7F8140E8C2}
\makelabel{cap:UniversalMorphismIntoFiberProductWithGivenFiberProduct for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject}{6.11.12}{X7A6A890D85F01977}
\makelabel{cap:FiberProductFunctorial for IsList, IsList, IsList}{6.11.13}{X791F33AB7EAF6A2A}
\makelabel{cap:FiberProductFunctorialWithGivenFiberProducts for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject}{6.11.14}{X83A9F01A82894F65}
\makelabel{cap:IsomorphismFromPushoutToCoequalizerOfCoproductDiagram for IsList}{6.12.1}{X87C495A782BE3433}
\makelabel{cap:IsomorphismFromCoequalizerOfCoproductDiagramToPushout for IsList}{6.12.2}{X7EAFDD727D94E932}
\makelabel{cap:PushoutProjectionFromCoproduct for IsList}{6.12.3}{X7E718F228767638A}
\makelabel{cap:PushoutProjectionFromDirectSum for IsList}{6.12.4}{X837467847F63FE1B}
\makelabel{cap:Pushout for IsList}{6.12.5}{X78E10D9E849FE214}
\makelabel{cap:Pushout for IsCapCategoryMorphism, IsCapCategoryMorphism}{6.12.6}{X78D93A2883C83CAC}
\makelabel{cap:InjectionOfCofactorOfPushout for IsList, IsInt}{6.12.7}{X7CF12E527805752F}
\makelabel{cap:InjectionOfCofactorOfPushoutWithGivenPushout for IsList, IsInt, IsCapCategoryObject}{6.12.8}{X7E54DB957B5F9157}
\makelabel{cap:MorphismFromSourceToPushout for IsList}{6.12.9}{X84B182F882D1F039}
\makelabel{cap:MorphismFromSourceToPushoutWithGivenPushout for IsList, IsCapCategoryObject}{6.12.10}{X7D3DAF80816918A4}
\makelabel{cap:UniversalMorphismFromPushout for IsList, IsCapCategoryObject, IsList}{6.12.11}{X84F299F47BFB39F8}
\makelabel{cap:UniversalMorphismFromPushoutWithGivenPushout for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject}{6.12.12}{X7E3C69767F1C3B30}
\makelabel{cap:PushoutFunctorial for IsList, IsList, IsList}{6.12.13}{X80494AF087F5DE4B}
\makelabel{cap:PushoutFunctorialWithGivenPushouts for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject}{6.12.14}{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:ImageObjectFunctorial for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism}{6.13.10}{X7A46647F7AA9C398}
\makelabel{cap:ImageObjectFunctorialWithGivenImageObjects for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject}{6.13.11}{X85F174A07A09B04C}
\makelabel{cap:IsomorphismFromCoimageToCokernelOfKernel for IsCapCategoryMorphism}{6.14.1}{X7C594E227D8DB0ED}
\makelabel{cap:IsomorphismFromCokernelOfKernelToCoimage for IsCapCategoryMorphism}{6.14.2}{X7CF7E7E47A460E56}
\makelabel{cap:CoimageObject for IsCapCategoryMorphism}{6.14.3}{X82318F9B876ACB1A}
\makelabel{cap:CoimageProjection for IsCapCategoryMorphism}{6.14.4}{X788E717C7CCC6645}
\makelabel{cap:CoimageProjectionWithGivenCoimageObject for IsCapCategoryMorphism, IsCapCategoryObject}{6.14.5}{X836301DF80A22C5C}
\makelabel{cap:AstrictionToCoimage for IsCapCategoryMorphism}{6.14.6}{X805108BF8047357E}
\makelabel{cap:AstrictionToCoimageWithGivenCoimageObject for IsCapCategoryMorphism, IsCapCategoryObject}{6.14.7}{X78AC1C7384A60A5E}
\makelabel{cap:UniversalMorphismIntoCoimage for IsCapCategoryMorphism, IsList}{6.14.8}{X7D051DDF7A68BFFB}
\makelabel{cap:UniversalMorphismIntoCoimageWithGivenCoimageObject for IsCapCategoryMorphism, IsList, IsCapCategoryObject}{6.14.9}{X87AACC0083B6D49F}
\makelabel{cap:CoimageObjectFunctorial for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism}{6.14.10}{X852EFBA87E7F6831}
\makelabel{cap:CoimageObjectFunctorialWithGivenCoimageObjects for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject}{6.14.11}{X7FB58F087D65DB38}
\makelabel{cap:MorphismFromCoimageToImage for IsCapCategoryMorphism}{6.15.1}{X7F7BD6A18581671E}
\makelabel{cap:MorphismFromCoimageToImageWithGivenObjects for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject}{6.15.2}{X8025749B78E12A2B}
\makelabel{cap:InverseOfMorphismFromCoimageToImage for IsCapCategoryMorphism}{6.15.3}{X86692249870B0EC6}
\makelabel{cap:InverseOfMorphismFromCoimageToImageWithGivenObjects for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject}{6.15.4}{X7B32041F7C9427E4}
\makelabel{cap:HomologyObject for IsCapCategoryMorphism, IsCapCategoryMorphism}{6.16.1}{X8713652D7B7E1418}
\makelabel{cap:HomologyObjectFunctorial for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism}{6.16.2}{X8647C62283C9B921}
\makelabel{cap:HomologyObjectFunctorialWithGivenHomologyObjects for IsCapCategoryObject, IsList, IsCapCategoryObject}{6.16.3}{X81012CC0845DE717}
\makelabel{cap:IsomorphismFromHomologyObjectToItsConstructionAsAnImageObject for IsCapCategoryMorphism, IsCapCategoryMorphism}{6.16.4}{X8799E88E79EFE007}
\makelabel{cap:IsomorphismFromItsConstructionAsAnImageObjectToHomologyObject for IsCapCategoryMorphism, IsCapCategoryMorphism}{6.16.5}{X828E94BA7CF6FB71}
\makelabel{cap:ProjectiveCoverObject for IsCapCategoryObject}{6.17.1}{X790C931979343CFF}
\makelabel{cap:EpimorphismFromProjectiveCoverObject for IsCapCategoryObject}{6.17.2}{X851836CC829092D9}
\makelabel{cap:EpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject for IsCapCategoryObject, IsCapCategoryObject}{6.17.3}{X7C9F2CC480C7DA1D}
\makelabel{cap:InjectiveEnvelopeObject for IsCapCategoryObject}{6.17.4}{X791CA23A8401BF2F}
\makelabel{cap:MonomorphismIntoInjectiveEnvelopeObject for IsCapCategoryObject}{6.17.5}{X879A01DD7DC8AB13}
\makelabel{cap:MonomorphismIntoInjectiveEnvelopeObjectWithGivenInjectiveEnvelopeObject for IsCapCategoryObject, IsCapCategoryObject}{6.17.6}{X781E3ED78574B379}
\makelabel{cap:CAPOperationPrepareFunction}{7.5.1}{X84409FF87D35BE99}
\makelabel{cap:CAPAddPrepareFunction}{7.5.2}{X7843089F86F47D3B}
\makelabel{cap:ListCAPPrepareFunctions}{7.5.3}{X82AEE9507F0B48BC}
\makelabel{cap:AddAdditionForMorphisms for IsCapCategory, IsFunction}{7.6.1}{X811BB502781CFBB9}
\makelabel{cap:AddAdditionForMorphisms for IsCapCategory, IsFunction, IsInt}{7.6.1}{X811BB502781CFBB9}
\makelabel{cap:AddAdditiveGenerators for IsCapCategory, IsFunction}{7.6.2}{X7BE108F1785F069A}
\makelabel{cap:AddAdditiveGenerators for IsCapCategory, IsFunction, IsInt}{7.6.2}{X7BE108F1785F069A}
\makelabel{cap:AddAdditiveInverseForMorphisms for IsCapCategory, IsFunction}{7.6.3}{X7AB78A707BF08401}
\makelabel{cap:AddAdditiveInverseForMorphisms for IsCapCategory, IsFunction, IsInt}{7.6.3}{X7AB78A707BF08401}
\makelabel{cap:AddAstrictionToCoimage for IsCapCategory, IsFunction}{7.6.4}{X786682798320D413}
\makelabel{cap:AddAstrictionToCoimage for IsCapCategory, IsFunction, IsInt}{7.6.4}{X786682798320D413}
\makelabel{cap:AddAstrictionToCoimageWithGivenCoimageObject for IsCapCategory, IsFunction}{7.6.5}{X7A3941A6808F122B}
\makelabel{cap:AddAstrictionToCoimageWithGivenCoimageObject for IsCapCategory, IsFunction, IsInt}{7.6.5}{X7A3941A6808F122B}
\makelabel{cap:AddBasisOfExternalHom for IsCapCategory, IsFunction}{7.6.6}{X7E995205864340BD}
\makelabel{cap:AddBasisOfExternalHom for IsCapCategory, IsFunction, IsInt}{7.6.6}{X7E995205864340BD}
\makelabel{cap:AddBasisOfSolutionsOfHomogeneousDoubleLinearSystemInLinearCategory for IsCapCategory, IsFunction}{7.6.7}{X8452C3617C063298}
\makelabel{cap:AddBasisOfSolutionsOfHomogeneousDoubleLinearSystemInLinearCategory for IsCapCategory, IsFunction, IsInt}{7.6.7}{X8452C3617C063298}
\makelabel{cap:AddBasisOfSolutionsOfHomogeneousLinearSystemInLinearCategory for IsCapCategory, IsFunction}{7.6.8}{X78FCEAFA80D1D71B}
\makelabel{cap:AddBasisOfSolutionsOfHomogeneousLinearSystemInLinearCategory for IsCapCategory, IsFunction, IsInt}{7.6.8}{X78FCEAFA80D1D71B}
\makelabel{cap:AddCoastrictionToImage for IsCapCategory, IsFunction}{7.6.9}{X78C7D6E582FD41E9}
\makelabel{cap:AddCoastrictionToImage for IsCapCategory, IsFunction, IsInt}{7.6.9}{X78C7D6E582FD41E9}
\makelabel{cap:AddCoastrictionToImageWithGivenImageObject for IsCapCategory, IsFunction}{7.6.10}{X8077FB7485FCD5E6}
\makelabel{cap:AddCoastrictionToImageWithGivenImageObject for IsCapCategory, IsFunction, IsInt}{7.6.10}{X8077FB7485FCD5E6}
\makelabel{cap:AddCoefficientsOfMorphism for IsCapCategory, IsFunction}{7.6.11}{X7F594A2F85F3806B}
\makelabel{cap:AddCoefficientsOfMorphism for IsCapCategory, IsFunction, IsInt}{7.6.11}{X7F594A2F85F3806B}
\makelabel{cap:AddCoequalizer for IsCapCategory, IsFunction}{7.6.12}{X854D668E7F7AE192}
\makelabel{cap:AddCoequalizer for IsCapCategory, IsFunction, IsInt}{7.6.12}{X854D668E7F7AE192}
\makelabel{cap:AddCoequalizerFunctorial for IsCapCategory, IsFunction}{7.6.13}{X85D135A186E19749}
\makelabel{cap:AddCoequalizerFunctorial for IsCapCategory, IsFunction, IsInt}{7.6.13}{X85D135A186E19749}
\makelabel{cap:AddCoequalizerFunctorialWithGivenCoequalizers for IsCapCategory, IsFunction}{7.6.14}{X784EE97C7CBD86AE}
\makelabel{cap:AddCoequalizerFunctorialWithGivenCoequalizers for IsCapCategory, IsFunction, IsInt}{7.6.14}{X784EE97C7CBD86AE}
\makelabel{cap:AddCoimageObject for IsCapCategory, IsFunction}{7.6.15}{X87747A0B87DA7CF9}
\makelabel{cap:AddCoimageObject for IsCapCategory, IsFunction, IsInt}{7.6.15}{X87747A0B87DA7CF9}
\makelabel{cap:AddCoimageObjectFunctorial for IsCapCategory, IsFunction}{7.6.16}{X7F38C4A17E52073B}
\makelabel{cap:AddCoimageObjectFunctorial for IsCapCategory, IsFunction, IsInt}{7.6.16}{X7F38C4A17E52073B}
\makelabel{cap:AddCoimageObjectFunctorialWithGivenCoimageObjects for IsCapCategory, IsFunction}{7.6.17}{X80465F7B85F144D7}
\makelabel{cap:AddCoimageObjectFunctorialWithGivenCoimageObjects for IsCapCategory, IsFunction, IsInt}{7.6.17}{X80465F7B85F144D7}
\makelabel{cap:AddCoimageProjection for IsCapCategory, IsFunction}{7.6.18}{X85B54DD47C3E9682}
\makelabel{cap:AddCoimageProjection for IsCapCategory, IsFunction, IsInt}{7.6.18}{X85B54DD47C3E9682}
\makelabel{cap:AddCoimageProjectionWithGivenCoimageObject for IsCapCategory, IsFunction}{7.6.19}{X819E76B4798EA44C}
\makelabel{cap:AddCoimageProjectionWithGivenCoimageObject for IsCapCategory, IsFunction, IsInt}{7.6.19}{X819E76B4798EA44C}
\makelabel{cap:AddCokernelColift for IsCapCategory, IsFunction}{7.6.20}{X7988858A83DAFF4B}
\makelabel{cap:AddCokernelColift for IsCapCategory, IsFunction, IsInt}{7.6.20}{X7988858A83DAFF4B}
\makelabel{cap:AddCokernelColiftWithGivenCokernelObject for IsCapCategory, IsFunction}{7.6.21}{X7991C43079F444CC}
\makelabel{cap:AddCokernelColiftWithGivenCokernelObject for IsCapCategory, IsFunction, IsInt}{7.6.21}{X7991C43079F444CC}
\makelabel{cap:AddCokernelObject for IsCapCategory, IsFunction}{7.6.22}{X7827637D7B8E7E60}
\makelabel{cap:AddCokernelObject for IsCapCategory, IsFunction, IsInt}{7.6.22}{X7827637D7B8E7E60}
\makelabel{cap:AddCokernelObjectFunctorial for IsCapCategory, IsFunction}{7.6.23}{X7E982C787FDA03DC}
\makelabel{cap:AddCokernelObjectFunctorial for IsCapCategory, IsFunction, IsInt}{7.6.23}{X7E982C787FDA03DC}
\makelabel{cap:AddCokernelObjectFunctorialWithGivenCokernelObjects for IsCapCategory, IsFunction}{7.6.24}{X7B162B6E7D60FFE7}
\makelabel{cap:AddCokernelObjectFunctorialWithGivenCokernelObjects for IsCapCategory, IsFunction, IsInt}{7.6.24}{X7B162B6E7D60FFE7}
\makelabel{cap:AddCokernelProjection for IsCapCategory, IsFunction}{7.6.25}{X7D9723AA7E4EAC2A}
\makelabel{cap:AddCokernelProjection for IsCapCategory, IsFunction, IsInt}{7.6.25}{X7D9723AA7E4EAC2A}
\makelabel{cap:AddCokernelProjectionWithGivenCokernelObject for IsCapCategory, IsFunction}{7.6.26}{X793803DC816CBA27}
\makelabel{cap:AddCokernelProjectionWithGivenCokernelObject for IsCapCategory, IsFunction, IsInt}{7.6.26}{X793803DC816CBA27}
\makelabel{cap:AddColift for IsCapCategory, IsFunction}{7.6.27}{X84A7986F82ED769E}
\makelabel{cap:AddColift for IsCapCategory, IsFunction, IsInt}{7.6.27}{X84A7986F82ED769E}
\makelabel{cap:AddColiftAlongEpimorphism for IsCapCategory, IsFunction}{7.6.28}{X7BBEF7C479E612ED}
\makelabel{cap:AddColiftAlongEpimorphism for IsCapCategory, IsFunction, IsInt}{7.6.28}{X7BBEF7C479E612ED}
\makelabel{cap:AddComponentOfMorphismFromCoproduct for IsCapCategory, IsFunction}{7.6.29}{X7F566C7D7ACC93CE}
\makelabel{cap:AddComponentOfMorphismFromCoproduct for IsCapCategory, IsFunction, IsInt}{7.6.29}{X7F566C7D7ACC93CE}
\makelabel{cap:AddComponentOfMorphismFromDirectSum for IsCapCategory, IsFunction}{7.6.30}{X7ABE523F82B2DB7C}
\makelabel{cap:AddComponentOfMorphismFromDirectSum for IsCapCategory, IsFunction, IsInt}{7.6.30}{X7ABE523F82B2DB7C}
\makelabel{cap:AddComponentOfMorphismIntoDirectProduct for IsCapCategory, IsFunction}{7.6.31}{X7F72750382933C68}
\makelabel{cap:AddComponentOfMorphismIntoDirectProduct for IsCapCategory, IsFunction, IsInt}{7.6.31}{X7F72750382933C68}
\makelabel{cap:AddComponentOfMorphismIntoDirectSum for IsCapCategory, IsFunction}{7.6.32}{X82B3F4A87CDF6F87}
\makelabel{cap:AddComponentOfMorphismIntoDirectSum for IsCapCategory, IsFunction, IsInt}{7.6.32}{X82B3F4A87CDF6F87}
\makelabel{cap:AddCoproduct for IsCapCategory, IsFunction}{7.6.33}{X790C5EE180471583}
\makelabel{cap:AddCoproduct for IsCapCategory, IsFunction, IsInt}{7.6.33}{X790C5EE180471583}
\makelabel{cap:AddCoproductFunctorial for IsCapCategory, IsFunction}{7.6.34}{X79F685258336C4B4}
\makelabel{cap:AddCoproductFunctorial for IsCapCategory, IsFunction, IsInt}{7.6.34}{X79F685258336C4B4}
\makelabel{cap:AddCoproductFunctorialWithGivenCoproducts for IsCapCategory, IsFunction}{7.6.35}{X7B23923D84D6FC9F}
\makelabel{cap:AddCoproductFunctorialWithGivenCoproducts for IsCapCategory, IsFunction, IsInt}{7.6.35}{X7B23923D84D6FC9F}
\makelabel{cap:AddDirectProduct for IsCapCategory, IsFunction}{7.6.36}{X7FE84F89844B8352}
\makelabel{cap:AddDirectProduct for IsCapCategory, IsFunction, IsInt}{7.6.36}{X7FE84F89844B8352}
\makelabel{cap:AddDirectProductFunctorial for IsCapCategory, IsFunction}{7.6.37}{X78F2B05A7DC3F890}
\makelabel{cap:AddDirectProductFunctorial for IsCapCategory, IsFunction, IsInt}{7.6.37}{X78F2B05A7DC3F890}
\makelabel{cap:AddDirectProductFunctorialWithGivenDirectProducts for IsCapCategory, IsFunction}{7.6.38}{X789E69C583A0E118}
\makelabel{cap:AddDirectProductFunctorialWithGivenDirectProducts for IsCapCategory, IsFunction, IsInt}{7.6.38}{X789E69C583A0E118}
\makelabel{cap:AddDirectSum for IsCapCategory, IsFunction}{7.6.39}{X7CE460A37D8D468F}
\makelabel{cap:AddDirectSum for IsCapCategory, IsFunction, IsInt}{7.6.39}{X7CE460A37D8D468F}
\makelabel{cap:AddDirectSumFunctorial for IsCapCategory, IsFunction}{7.6.40}{X80778A107EFC97B8}
\makelabel{cap:AddDirectSumFunctorial for IsCapCategory, IsFunction, IsInt}{7.6.40}{X80778A107EFC97B8}
\makelabel{cap:AddDirectSumFunctorialWithGivenDirectSums for IsCapCategory, IsFunction}{7.6.41}{X829D88B6845FA373}
\makelabel{cap:AddDirectSumFunctorialWithGivenDirectSums for IsCapCategory, IsFunction, IsInt}{7.6.41}{X829D88B6845FA373}
\makelabel{cap:AddDistinguishedObjectOfHomomorphismStructure for IsCapCategory, IsFunction}{7.6.42}{X7D7A07CC7C9541DB}
\makelabel{cap:AddDistinguishedObjectOfHomomorphismStructure for IsCapCategory, IsFunction, IsInt}{7.6.42}{X7D7A07CC7C9541DB}
\makelabel{cap:AddEmbeddingOfEqualizer for IsCapCategory, IsFunction}{7.6.43}{X86275A2F7EF2A472}
\makelabel{cap:AddEmbeddingOfEqualizer for IsCapCategory, IsFunction, IsInt}{7.6.43}{X86275A2F7EF2A472}
\makelabel{cap:AddEmbeddingOfEqualizerWithGivenEqualizer for IsCapCategory, IsFunction}{7.6.44}{X8346BE927EB0C95B}
\makelabel{cap:AddEmbeddingOfEqualizerWithGivenEqualizer for IsCapCategory, IsFunction, IsInt}{7.6.44}{X8346BE927EB0C95B}
\makelabel{cap:AddEpimorphismFromProjectiveCoverObject for IsCapCategory, IsFunction}{7.6.45}{X80D4EB9F793C19E7}
\makelabel{cap:AddEpimorphismFromProjectiveCoverObject for IsCapCategory, IsFunction, IsInt}{7.6.45}{X80D4EB9F793C19E7}
\makelabel{cap:AddEpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject for IsCapCategory, IsFunction}{7.6.46}{X82D978CC78155811}
\makelabel{cap:AddEpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject for IsCapCategory, IsFunction, IsInt}{7.6.46}{X82D978CC78155811}
\makelabel{cap:AddEpimorphismFromSomeProjectiveObject for IsCapCategory, IsFunction}{7.6.47}{X85B76EA67A35B7B2}
\makelabel{cap:AddEpimorphismFromSomeProjectiveObject for IsCapCategory, IsFunction, IsInt}{7.6.47}{X85B76EA67A35B7B2}
\makelabel{cap:AddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject for IsCapCategory, IsFunction}{7.6.48}{X7B7B27468506DA04}
\makelabel{cap:AddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject for IsCapCategory, IsFunction, IsInt}{7.6.48}{X7B7B27468506DA04}
\makelabel{cap:AddEqualizer for IsCapCategory, IsFunction}{7.6.49}{X8708C28287172ED7}
\makelabel{cap:AddEqualizer for IsCapCategory, IsFunction, IsInt}{7.6.49}{X8708C28287172ED7}
\makelabel{cap:AddEqualizerFunctorial for IsCapCategory, IsFunction}{7.6.50}{X8042AA538466FFE0}
\makelabel{cap:AddEqualizerFunctorial for IsCapCategory, IsFunction, IsInt}{7.6.50}{X8042AA538466FFE0}
\makelabel{cap:AddEqualizerFunctorialWithGivenEqualizers for IsCapCategory, IsFunction}{7.6.51}{X819700097DE622A4}
\makelabel{cap:AddEqualizerFunctorialWithGivenEqualizers for IsCapCategory, IsFunction, IsInt}{7.6.51}{X819700097DE622A4}
\makelabel{cap:AddFiberProduct for IsCapCategory, IsFunction}{7.6.52}{X86B7F8B983B9B184}
\makelabel{cap:AddFiberProduct for IsCapCategory, IsFunction, IsInt}{7.6.52}{X86B7F8B983B9B184}
\makelabel{cap:AddFiberProductFunctorial for IsCapCategory, IsFunction}{7.6.53}{X7BFDD60786E07890}
\makelabel{cap:AddFiberProductFunctorial for IsCapCategory, IsFunction, IsInt}{7.6.53}{X7BFDD60786E07890}
\makelabel{cap:AddFiberProductFunctorialWithGivenFiberProducts for IsCapCategory, IsFunction}{7.6.54}{X85CCD05C7D3D6B7C}
\makelabel{cap:AddFiberProductFunctorialWithGivenFiberProducts for IsCapCategory, IsFunction, IsInt}{7.6.54}{X85CCD05C7D3D6B7C}
\makelabel{cap:AddHomologyObject for IsCapCategory, IsFunction}{7.6.55}{X7B175A717B8D152B}
\makelabel{cap:AddHomologyObject for IsCapCategory, IsFunction, IsInt}{7.6.55}{X7B175A717B8D152B}
\makelabel{cap:AddHomologyObjectFunctorialWithGivenHomologyObjects for IsCapCategory, IsFunction}{7.6.56}{X78E7DBF47DBDFB55}
\makelabel{cap:AddHomologyObjectFunctorialWithGivenHomologyObjects for IsCapCategory, IsFunction, IsInt}{7.6.56}{X78E7DBF47DBDFB55}
\makelabel{cap:AddHomomorphismStructureOnMorphisms for IsCapCategory, IsFunction}{7.6.57}{X80ADD34F7833A668}
\makelabel{cap:AddHomomorphismStructureOnMorphisms for IsCapCategory, IsFunction, IsInt}{7.6.57}{X80ADD34F7833A668}
\makelabel{cap:AddHomomorphismStructureOnMorphismsWithGivenObjects for IsCapCategory, IsFunction}{7.6.58}{X7F6B67487C55B055}
\makelabel{cap:AddHomomorphismStructureOnMorphismsWithGivenObjects for IsCapCategory, IsFunction, IsInt}{7.6.58}{X7F6B67487C55B055}
\makelabel{cap:AddHomomorphismStructureOnObjects for IsCapCategory, IsFunction}{7.6.59}{X7833851F7DD2D0F1}
\makelabel{cap:AddHomomorphismStructureOnObjects for IsCapCategory, IsFunction, IsInt}{7.6.59}{X7833851F7DD2D0F1}
\makelabel{cap:AddHorizontalPostCompose for IsCapCategory, IsFunction}{7.6.60}{X80B2FA2F7C2E2BDA}
\makelabel{cap:AddHorizontalPostCompose for IsCapCategory, IsFunction, IsInt}{7.6.60}{X80B2FA2F7C2E2BDA}
\makelabel{cap:AddHorizontalPreCompose for IsCapCategory, IsFunction}{7.6.61}{X7C759D3A7CB3FA3A}
\makelabel{cap:AddHorizontalPreCompose for IsCapCategory, IsFunction, IsInt}{7.6.61}{X7C759D3A7CB3FA3A}
\makelabel{cap:AddIdentityMorphism for IsCapCategory, IsFunction}{7.6.62}{X878F4D2481E94EB6}
\makelabel{cap:AddIdentityMorphism for IsCapCategory, IsFunction, IsInt}{7.6.62}{X878F4D2481E94EB6}
\makelabel{cap:AddIdentityTwoCell for IsCapCategory, IsFunction}{7.6.63}{X85B4A2607CDFC0D2}
\makelabel{cap:AddIdentityTwoCell for IsCapCategory, IsFunction, IsInt}{7.6.63}{X85B4A2607CDFC0D2}
\makelabel{cap:AddImageEmbedding for IsCapCategory, IsFunction}{7.6.64}{X796EDCCD7A729E12}
\makelabel{cap:AddImageEmbedding for IsCapCategory, IsFunction, IsInt}{7.6.64}{X796EDCCD7A729E12}
\makelabel{cap:AddImageEmbeddingWithGivenImageObject for IsCapCategory, IsFunction}{7.6.65}{X785393EB7C27451E}
\makelabel{cap:AddImageEmbeddingWithGivenImageObject for IsCapCategory, IsFunction, IsInt}{7.6.65}{X785393EB7C27451E}
\makelabel{cap:AddImageObject for IsCapCategory, IsFunction}{7.6.66}{X7CA61123868B51B2}
\makelabel{cap:AddImageObject for IsCapCategory, IsFunction, IsInt}{7.6.66}{X7CA61123868B51B2}
\makelabel{cap:AddImageObjectFunctorial for IsCapCategory, IsFunction}{7.6.67}{X8044B4EC7F102769}
\makelabel{cap:AddImageObjectFunctorial for IsCapCategory, IsFunction, IsInt}{7.6.67}{X8044B4EC7F102769}
\makelabel{cap:AddImageObjectFunctorialWithGivenImageObjects for IsCapCategory, IsFunction}{7.6.68}{X7B22900C82A20B49}
\makelabel{cap:AddImageObjectFunctorialWithGivenImageObjects for IsCapCategory, IsFunction, IsInt}{7.6.68}{X7B22900C82A20B49}
\makelabel{cap:AddIndecomposableInjectiveObjects for IsCapCategory, IsFunction}{7.6.69}{X79CC10D18746249B}
\makelabel{cap:AddIndecomposableInjectiveObjects for IsCapCategory, IsFunction, IsInt}{7.6.69}{X79CC10D18746249B}
\makelabel{cap:AddIndecomposableProjectiveObjects for IsCapCategory, IsFunction}{7.6.70}{X782ED2C27FB4739D}
\makelabel{cap:AddIndecomposableProjectiveObjects for IsCapCategory, IsFunction, IsInt}{7.6.70}{X782ED2C27FB4739D}
\makelabel{cap:AddInitialObject for IsCapCategory, IsFunction}{7.6.71}{X78D5E19E781D696A}
\makelabel{cap:AddInitialObject for IsCapCategory, IsFunction, IsInt}{7.6.71}{X78D5E19E781D696A}
\makelabel{cap:AddInitialObjectFunctorial for IsCapCategory, IsFunction}{7.6.72}{X80950253819512A8}
\makelabel{cap:AddInitialObjectFunctorial for IsCapCategory, IsFunction, IsInt}{7.6.72}{X80950253819512A8}
\makelabel{cap:AddInitialObjectFunctorialWithGivenInitialObjects for IsCapCategory, IsFunction}{7.6.73}{X85493AEC80972B68}
\makelabel{cap:AddInitialObjectFunctorialWithGivenInitialObjects for IsCapCategory, IsFunction, IsInt}{7.6.73}{X85493AEC80972B68}
\makelabel{cap:AddInjectionOfCofactorOfCoproduct for IsCapCategory, IsFunction}{7.6.74}{X81B68CB6783FAFE0}
\makelabel{cap:AddInjectionOfCofactorOfCoproduct for IsCapCategory, IsFunction, IsInt}{7.6.74}{X81B68CB6783FAFE0}
\makelabel{cap:AddInjectionOfCofactorOfCoproductWithGivenCoproduct for IsCapCategory, IsFunction}{7.6.75}{X7DC2E9CD78A8622C}
\makelabel{cap:AddInjectionOfCofactorOfCoproductWithGivenCoproduct for IsCapCategory, IsFunction, IsInt}{7.6.75}{X7DC2E9CD78A8622C}
\makelabel{cap:AddInjectionOfCofactorOfDirectSum for IsCapCategory, IsFunction}{7.6.76}{X845EB2F47C8FE49C}
\makelabel{cap:AddInjectionOfCofactorOfDirectSum for IsCapCategory, IsFunction, IsInt}{7.6.76}{X845EB2F47C8FE49C}
\makelabel{cap:AddInjectionOfCofactorOfDirectSumWithGivenDirectSum for IsCapCategory, IsFunction}{7.6.77}{X86A78CC2859E4382}
\makelabel{cap:AddInjectionOfCofactorOfDirectSumWithGivenDirectSum for IsCapCategory, IsFunction, IsInt}{7.6.77}{X86A78CC2859E4382}
\makelabel{cap:AddInjectionOfCofactorOfPushout for IsCapCategory, IsFunction}{7.6.78}{X87ED0E87850C6D96}
\makelabel{cap:AddInjectionOfCofactorOfPushout for IsCapCategory, IsFunction, IsInt}{7.6.78}{X87ED0E87850C6D96}
\makelabel{cap:AddInjectionOfCofactorOfPushoutWithGivenPushout for IsCapCategory, IsFunction}{7.6.79}{X8352461A796F9214}
\makelabel{cap:AddInjectionOfCofactorOfPushoutWithGivenPushout for IsCapCategory, IsFunction, IsInt}{7.6.79}{X8352461A796F9214}
\makelabel{cap:AddInjectiveColift for IsCapCategory, IsFunction}{7.6.80}{X7CE0C54080533C0E}
\makelabel{cap:AddInjectiveColift for IsCapCategory, IsFunction, IsInt}{7.6.80}{X7CE0C54080533C0E}
\makelabel{cap:AddInjectiveDimension for IsCapCategory, IsFunction}{7.6.81}{X7E7B72EC7B2FB537}
\makelabel{cap:AddInjectiveDimension for IsCapCategory, IsFunction, IsInt}{7.6.81}{X7E7B72EC7B2FB537}
\makelabel{cap:AddInjectiveEnvelopeObject for IsCapCategory, IsFunction}{7.6.82}{X81CE72B78061AE51}
\makelabel{cap:AddInjectiveEnvelopeObject for IsCapCategory, IsFunction, IsInt}{7.6.82}{X81CE72B78061AE51}
\makelabel{cap:AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure for IsCapCategory, IsFunction}{7.6.83}{X805AC6057B80880D}
\makelabel{cap:AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure for IsCapCategory, IsFunction, IsInt}{7.6.83}{X805AC6057B80880D}
\makelabel{cap:AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects for IsCapCategory, IsFunction}{7.6.84}{X79A927B187FE594C}
\makelabel{cap:AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects for IsCapCategory, IsFunction, IsInt}{7.6.84}{X79A927B187FE594C}
\makelabel{cap:AddInterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism for IsCapCategory, IsFunction}{7.6.85}{X87DD6A387E32DD37}
\makelabel{cap:AddInterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism for IsCapCategory, IsFunction, IsInt}{7.6.85}{X87DD6A387E32DD37}
\makelabel{cap:AddInverseForMorphisms for IsCapCategory, IsFunction}{7.6.86}{X865C7A1781F3AEF7}
\makelabel{cap:AddInverseForMorphisms for IsCapCategory, IsFunction, IsInt}{7.6.86}{X865C7A1781F3AEF7}
\makelabel{cap:AddInverseOfMorphismFromCoimageToImage for IsCapCategory, IsFunction}{7.6.87}{X872C63B87BFEE476}
\makelabel{cap:AddInverseOfMorphismFromCoimageToImage for IsCapCategory, IsFunction, IsInt}{7.6.87}{X872C63B87BFEE476}
\makelabel{cap:AddInverseOfMorphismFromCoimageToImageWithGivenObjects for IsCapCategory, IsFunction}{7.6.88}{X849DC541848114A0}
\makelabel{cap:AddInverseOfMorphismFromCoimageToImageWithGivenObjects for IsCapCategory, IsFunction, IsInt}{7.6.88}{X849DC541848114A0}
\makelabel{cap:AddIsAutomorphism for IsCapCategory, IsFunction}{7.6.89}{X7FA3BD6D79D99498}
\makelabel{cap:AddIsAutomorphism for IsCapCategory, IsFunction, IsInt}{7.6.89}{X7FA3BD6D79D99498}
\makelabel{cap:AddIsBijectiveObject for IsCapCategory, IsFunction}{7.6.90}{X78D83890795EAAF2}
\makelabel{cap:AddIsBijectiveObject for IsCapCategory, IsFunction, IsInt}{7.6.90}{X78D83890795EAAF2}
\makelabel{cap:AddIsCodominating for IsCapCategory, IsFunction}{7.6.91}{X78E046E387674019}
\makelabel{cap:AddIsCodominating for IsCapCategory, IsFunction, IsInt}{7.6.91}{X78E046E387674019}
\makelabel{cap:AddIsColiftable for IsCapCategory, IsFunction}{7.6.92}{X7A41C14B8169E993}
\makelabel{cap:AddIsColiftable for IsCapCategory, IsFunction, IsInt}{7.6.92}{X7A41C14B8169E993}
\makelabel{cap:AddIsColiftableAlongEpimorphism for IsCapCategory, IsFunction}{7.6.93}{X86BF34667D329168}
\makelabel{cap:AddIsColiftableAlongEpimorphism for IsCapCategory, IsFunction, IsInt}{7.6.93}{X86BF34667D329168}
\makelabel{cap:AddIsCongruentForMorphisms for IsCapCategory, IsFunction}{7.6.94}{X861A83B3802D0FBD}
\makelabel{cap:AddIsCongruentForMorphisms for IsCapCategory, IsFunction, IsInt}{7.6.94}{X861A83B3802D0FBD}
\makelabel{cap:AddIsDominating for IsCapCategory, IsFunction}{7.6.95}{X834AC612831DDD11}
\makelabel{cap:AddIsDominating for IsCapCategory, IsFunction, IsInt}{7.6.95}{X834AC612831DDD11}
\makelabel{cap:AddIsEndomorphism for IsCapCategory, IsFunction}{7.6.96}{X87B1905481F6AF28}
\makelabel{cap:AddIsEndomorphism for IsCapCategory, IsFunction, IsInt}{7.6.96}{X87B1905481F6AF28}
\makelabel{cap:AddIsEpimorphism for IsCapCategory, IsFunction}{7.6.97}{X8523850C827FE182}
\makelabel{cap:AddIsEpimorphism for IsCapCategory, IsFunction, IsInt}{7.6.97}{X8523850C827FE182}
\makelabel{cap:AddIsEqualAsFactorobjects for IsCapCategory, IsFunction}{7.6.98}{X82DE9AE387425307}
\makelabel{cap:AddIsEqualAsFactorobjects for IsCapCategory, IsFunction, IsInt}{7.6.98}{X82DE9AE387425307}
\makelabel{cap:AddIsEqualAsSubobjects for IsCapCategory, IsFunction}{7.6.99}{X7A97D3C3869323D1}
\makelabel{cap:AddIsEqualAsSubobjects for IsCapCategory, IsFunction, IsInt}{7.6.99}{X7A97D3C3869323D1}
\makelabel{cap:AddIsEqualForCacheForMorphisms for IsCapCategory, IsFunction}{7.6.100}{X833165B27AA74580}
\makelabel{cap:AddIsEqualForCacheForMorphisms for IsCapCategory, IsFunction, IsInt}{7.6.100}{X833165B27AA74580}
\makelabel{cap:AddIsEqualForCacheForObjects for IsCapCategory, IsFunction}{7.6.101}{X7887D32C7973F4A0}
\makelabel{cap:AddIsEqualForCacheForObjects for IsCapCategory, IsFunction, IsInt}{7.6.101}{X7887D32C7973F4A0}
\makelabel{cap:AddIsEqualForMorphisms for IsCapCategory, IsFunction}{7.6.102}{X83F60F5F7E57F3C8}
\makelabel{cap:AddIsEqualForMorphisms for IsCapCategory, IsFunction, IsInt}{7.6.102}{X83F60F5F7E57F3C8}
\makelabel{cap:AddIsEqualForMorphismsOnMor for IsCapCategory, IsFunction}{7.6.103}{X84AB81547A770D36}
\makelabel{cap:AddIsEqualForMorphismsOnMor for IsCapCategory, IsFunction, IsInt}{7.6.103}{X84AB81547A770D36}
\makelabel{cap:AddIsEqualForObjects for IsCapCategory, IsFunction}{7.6.104}{X787F654B82150781}
\makelabel{cap:AddIsEqualForObjects for IsCapCategory, IsFunction, IsInt}{7.6.104}{X787F654B82150781}
\makelabel{cap:AddIsEqualToIdentityMorphism for IsCapCategory, IsFunction}{7.6.105}{X79F9BCED7C82AEAC}
\makelabel{cap:AddIsEqualToIdentityMorphism for IsCapCategory, IsFunction, IsInt}{7.6.105}{X79F9BCED7C82AEAC}
\makelabel{cap:AddIsEqualToZeroMorphism for IsCapCategory, IsFunction}{7.6.106}{X849B7E507B01ABE7}
\makelabel{cap:AddIsEqualToZeroMorphism for IsCapCategory, IsFunction, IsInt}{7.6.106}{X849B7E507B01ABE7}
\makelabel{cap:AddIsHomSetInhabited for IsCapCategory, IsFunction}{7.6.107}{X85D7E2DE7D45CF70}
\makelabel{cap:AddIsHomSetInhabited for IsCapCategory, IsFunction, IsInt}{7.6.107}{X85D7E2DE7D45CF70}
\makelabel{cap:AddIsIdempotent for IsCapCategory, IsFunction}{7.6.108}{X85701DBE7A5F90A1}
\makelabel{cap:AddIsIdempotent for IsCapCategory, IsFunction, IsInt}{7.6.108}{X85701DBE7A5F90A1}
\makelabel{cap:AddIsInitial for IsCapCategory, IsFunction}{7.6.109}{X7E6EDA9484F3E6F6}
\makelabel{cap:AddIsInitial for IsCapCategory, IsFunction, IsInt}{7.6.109}{X7E6EDA9484F3E6F6}
\makelabel{cap:AddIsInjective for IsCapCategory, IsFunction}{7.6.110}{X7F7F309F7C67D6CE}
\makelabel{cap:AddIsInjective for IsCapCategory, IsFunction, IsInt}{7.6.110}{X7F7F309F7C67D6CE}
\makelabel{cap:AddIsIsomorphicForObjects for IsCapCategory, IsFunction}{7.6.111}{X8783D5BB79CB2FD9}
\makelabel{cap:AddIsIsomorphicForObjects for IsCapCategory, IsFunction, IsInt}{7.6.111}{X8783D5BB79CB2FD9}
\makelabel{cap:AddIsIsomorphism for IsCapCategory, IsFunction}{7.6.112}{X7B0818ED7A7BBCB4}
\makelabel{cap:AddIsIsomorphism for IsCapCategory, IsFunction, IsInt}{7.6.112}{X7B0818ED7A7BBCB4}
\makelabel{cap:AddIsLiftable for IsCapCategory, IsFunction}{7.6.113}{X79AC542F8227455E}
\makelabel{cap:AddIsLiftable for IsCapCategory, IsFunction, IsInt}{7.6.113}{X79AC542F8227455E}
\makelabel{cap:AddIsLiftableAlongMonomorphism for IsCapCategory, IsFunction}{7.6.114}{X7BD695308127A877}
\makelabel{cap:AddIsLiftableAlongMonomorphism for IsCapCategory, IsFunction, IsInt}{7.6.114}{X7BD695308127A877}
\makelabel{cap:AddIsMonomorphism for IsCapCategory, IsFunction}{7.6.115}{X87DEC4BD7C48E679}
\makelabel{cap:AddIsMonomorphism for IsCapCategory, IsFunction, IsInt}{7.6.115}{X87DEC4BD7C48E679}
\makelabel{cap:AddIsOne for IsCapCategory, IsFunction}{7.6.116}{X7FCC38DC7843D455}
\makelabel{cap:AddIsOne for IsCapCategory, IsFunction, IsInt}{7.6.116}{X7FCC38DC7843D455}
\makelabel{cap:AddIsProjective for IsCapCategory, IsFunction}{7.6.117}{X865C78CF789DA86D}
\makelabel{cap:AddIsProjective for IsCapCategory, IsFunction, IsInt}{7.6.117}{X865C78CF789DA86D}
\makelabel{cap:AddIsSplitEpimorphism for IsCapCategory, IsFunction}{7.6.118}{X7D7BDF8F7EED3A72}
\makelabel{cap:AddIsSplitEpimorphism for IsCapCategory, IsFunction, IsInt}{7.6.118}{X7D7BDF8F7EED3A72}
\makelabel{cap:AddIsSplitMonomorphism for IsCapCategory, IsFunction}{7.6.119}{X7C5D46B77A65ACF2}
\makelabel{cap:AddIsSplitMonomorphism for IsCapCategory, IsFunction, IsInt}{7.6.119}{X7C5D46B77A65ACF2}
\makelabel{cap:AddIsTerminal for IsCapCategory, IsFunction}{7.6.120}{X7EDB2D5B7F234ADA}
\makelabel{cap:AddIsTerminal for IsCapCategory, IsFunction, IsInt}{7.6.120}{X7EDB2D5B7F234ADA}
\makelabel{cap:AddIsWellDefinedForMorphisms for IsCapCategory, IsFunction}{7.6.121}{X7A4BE39A83D2A730}
\makelabel{cap:AddIsWellDefinedForMorphisms for IsCapCategory, IsFunction, IsInt}{7.6.121}{X7A4BE39A83D2A730}
\makelabel{cap:AddIsWellDefinedForMorphismsWithGivenSourceAndRange for IsCapCategory, IsFunction}{7.6.122}{X861EFAFB8268CBAC}
\makelabel{cap:AddIsWellDefinedForMorphismsWithGivenSourceAndRange for IsCapCategory, IsFunction, IsInt}{7.6.122}{X861EFAFB8268CBAC}
\makelabel{cap:AddIsWellDefinedForObjects for IsCapCategory, IsFunction}{7.6.123}{X859219147B3058B8}
\makelabel{cap:AddIsWellDefinedForObjects for IsCapCategory, IsFunction, IsInt}{7.6.123}{X859219147B3058B8}
\makelabel{cap:AddIsWellDefinedForTwoCells for IsCapCategory, IsFunction}{7.6.124}{X7EE52A1587E15D94}
\makelabel{cap:AddIsWellDefinedForTwoCells for IsCapCategory, IsFunction, IsInt}{7.6.124}{X7EE52A1587E15D94}
\makelabel{cap:AddIsZeroForMorphisms for IsCapCategory, IsFunction}{7.6.125}{X87DD3BD27C49450A}
\makelabel{cap:AddIsZeroForMorphisms for IsCapCategory, IsFunction, IsInt}{7.6.125}{X87DD3BD27C49450A}
\makelabel{cap:AddIsZeroForObjects for IsCapCategory, IsFunction}{7.6.126}{X78C3E7BF78A9A7D5}
\makelabel{cap:AddIsZeroForObjects for IsCapCategory, IsFunction, IsInt}{7.6.126}{X78C3E7BF78A9A7D5}
\makelabel{cap:AddIsomorphismFromCoequalizerOfCoproductDiagramToPushout for IsCapCategory, IsFunction}{7.6.127}{X7B80534F79D74B95}
\makelabel{cap:AddIsomorphismFromCoequalizerOfCoproductDiagramToPushout for IsCapCategory, IsFunction, IsInt}{7.6.127}{X7B80534F79D74B95}
\makelabel{cap:AddIsomorphismFromCoequalizerToCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproduct for IsCapCategory, IsFunction}{7.6.128}{X866BBCDA84AC7C3F}
\makelabel{cap:AddIsomorphismFromCoequalizerToCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproduct for IsCapCategory, IsFunction, IsInt}{7.6.128}{X866BBCDA84AC7C3F}
\makelabel{cap:AddIsomorphismFromCoimageToCokernelOfKernel for IsCapCategory, IsFunction}{7.6.129}{X80B45F4D7A7B96A4}
\makelabel{cap:AddIsomorphismFromCoimageToCokernelOfKernel for IsCapCategory, IsFunction, IsInt}{7.6.129}{X80B45F4D7A7B96A4}
\makelabel{cap:AddIsomorphismFromCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproductToCoequalizer for IsCapCategory, IsFunction}{7.6.130}{X8236335C7EC1C0F9}
\makelabel{cap:AddIsomorphismFromCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproductToCoequalizer for IsCapCategory, IsFunction, IsInt}{7.6.130}{X8236335C7EC1C0F9}
\makelabel{cap:AddIsomorphismFromCokernelOfKernelToCoimage for IsCapCategory, IsFunction}{7.6.131}{X7D9B059578AC42D6}
\makelabel{cap:AddIsomorphismFromCokernelOfKernelToCoimage for IsCapCategory, IsFunction, IsInt}{7.6.131}{X7D9B059578AC42D6}
\makelabel{cap:AddIsomorphismFromCoproductToDirectSum for IsCapCategory, IsFunction}{7.6.132}{X87C04FAA7F49427B}
\makelabel{cap:AddIsomorphismFromCoproductToDirectSum for IsCapCategory, IsFunction, IsInt}{7.6.132}{X87C04FAA7F49427B}
\makelabel{cap:AddIsomorphismFromDirectProductToDirectSum for IsCapCategory, IsFunction}{7.6.133}{X793FDA608055E5C9}
\makelabel{cap:AddIsomorphismFromDirectProductToDirectSum for IsCapCategory, IsFunction, IsInt}{7.6.133}{X793FDA608055E5C9}
\makelabel{cap:AddIsomorphismFromDirectSumToCoproduct for IsCapCategory, IsFunction}{7.6.134}{X7D710CA282194DC7}
\makelabel{cap:AddIsomorphismFromDirectSumToCoproduct for IsCapCategory, IsFunction, IsInt}{7.6.134}{X7D710CA282194DC7}
\makelabel{cap:AddIsomorphismFromDirectSumToDirectProduct for IsCapCategory, IsFunction}{7.6.135}{X79DA06C087D4BDF3}
\makelabel{cap:AddIsomorphismFromDirectSumToDirectProduct for IsCapCategory, IsFunction, IsInt}{7.6.135}{X79DA06C087D4BDF3}
\makelabel{cap:AddIsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct for IsCapCategory, IsFunction}{7.6.136}{X83D3BDAF7BFBF924}
\makelabel{cap:AddIsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct for IsCapCategory, IsFunction, IsInt}{7.6.136}{X83D3BDAF7BFBF924}
\makelabel{cap:AddIsomorphismFromEqualizerToKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProduct for IsCapCategory, IsFunction}{7.6.137}{X81719A3179D403DD}
\makelabel{cap:AddIsomorphismFromEqualizerToKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProduct for IsCapCategory, IsFunction, IsInt}{7.6.137}{X81719A3179D403DD}
\makelabel{cap:AddIsomorphismFromFiberProductToEqualizerOfDirectProductDiagram for IsCapCategory, IsFunction}{7.6.138}{X7FF20AFE7CE85AF5}
\makelabel{cap:AddIsomorphismFromFiberProductToEqualizerOfDirectProductDiagram for IsCapCategory, IsFunction, IsInt}{7.6.138}{X7FF20AFE7CE85AF5}
\makelabel{cap:AddIsomorphismFromHomologyObjectToItsConstructionAsAnImageObject for IsCapCategory, IsFunction}{7.6.139}{X7BD4A45087C884FD}
\makelabel{cap:AddIsomorphismFromHomologyObjectToItsConstructionAsAnImageObject for IsCapCategory, IsFunction, IsInt}{7.6.139}{X7BD4A45087C884FD}
\makelabel{cap:AddIsomorphismFromImageObjectToKernelOfCokernel for IsCapCategory, IsFunction}{7.6.140}{X7B09757B8411AD52}
\makelabel{cap:AddIsomorphismFromImageObjectToKernelOfCokernel for IsCapCategory, IsFunction, IsInt}{7.6.140}{X7B09757B8411AD52}
\makelabel{cap:AddIsomorphismFromInitialObjectToZeroObject for IsCapCategory, IsFunction}{7.6.141}{X876F82038640430A}
\makelabel{cap:AddIsomorphismFromInitialObjectToZeroObject for IsCapCategory, IsFunction, IsInt}{7.6.141}{X876F82038640430A}
\makelabel{cap:AddIsomorphismFromItsConstructionAsAnImageObjectToHomologyObject for IsCapCategory, IsFunction}{7.6.142}{X80B2303081911753}
\makelabel{cap:AddIsomorphismFromItsConstructionAsAnImageObjectToHomologyObject for IsCapCategory, IsFunction, IsInt}{7.6.142}{X80B2303081911753}
\makelabel{cap:AddIsomorphismFromKernelOfCokernelToImageObject for IsCapCategory, IsFunction}{7.6.143}{X78A3EEFB843C5067}
\makelabel{cap:AddIsomorphismFromKernelOfCokernelToImageObject for IsCapCategory, IsFunction, IsInt}{7.6.143}{X78A3EEFB843C5067}
\makelabel{cap:AddIsomorphismFromKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProductToEqualizer for IsCapCategory, IsFunction}{7.6.144}{X80B6437D7B87933D}
\makelabel{cap:AddIsomorphismFromKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProductToEqualizer for IsCapCategory, IsFunction, IsInt}{7.6.144}{X80B6437D7B87933D}
\makelabel{cap:AddIsomorphismFromPushoutToCoequalizerOfCoproductDiagram for IsCapCategory, IsFunction}{7.6.145}{X7C757EA67A35147A}
\makelabel{cap:AddIsomorphismFromPushoutToCoequalizerOfCoproductDiagram for IsCapCategory, IsFunction, IsInt}{7.6.145}{X7C757EA67A35147A}
\makelabel{cap:AddIsomorphismFromTerminalObjectToZeroObject for IsCapCategory, IsFunction}{7.6.146}{X85A29A037839B32B}
\makelabel{cap:AddIsomorphismFromTerminalObjectToZeroObject for IsCapCategory, IsFunction, IsInt}{7.6.146}{X85A29A037839B32B}
\makelabel{cap:AddIsomorphismFromZeroObjectToInitialObject for IsCapCategory, IsFunction}{7.6.147}{X8084DA9E870DF7DB}
\makelabel{cap:AddIsomorphismFromZeroObjectToInitialObject for IsCapCategory, IsFunction, IsInt}{7.6.147}{X8084DA9E870DF7DB}
\makelabel{cap:AddIsomorphismFromZeroObjectToTerminalObject for IsCapCategory, IsFunction}{7.6.148}{X7BDED1CE7F0FADE9}
\makelabel{cap:AddIsomorphismFromZeroObjectToTerminalObject for IsCapCategory, IsFunction, IsInt}{7.6.148}{X7BDED1CE7F0FADE9}
\makelabel{cap:AddJointPairwiseDifferencesOfMorphismsFromCoproduct for IsCapCategory, IsFunction}{7.6.149}{X7A44C3757DD351AC}
\makelabel{cap:AddJointPairwiseDifferencesOfMorphismsFromCoproduct for IsCapCategory, IsFunction, IsInt}{7.6.149}{X7A44C3757DD351AC}
\makelabel{cap:AddJointPairwiseDifferencesOfMorphismsIntoDirectProduct for IsCapCategory, IsFunction}{7.6.150}{X83C624FA83037280}
\makelabel{cap:AddJointPairwiseDifferencesOfMorphismsIntoDirectProduct for IsCapCategory, IsFunction, IsInt}{7.6.150}{X83C624FA83037280}
\makelabel{cap:AddKernelEmbedding for IsCapCategory, IsFunction}{7.6.151}{X788D35FA8050DA84}
\makelabel{cap:AddKernelEmbedding for IsCapCategory, IsFunction, IsInt}{7.6.151}{X788D35FA8050DA84}
\makelabel{cap:AddKernelEmbeddingWithGivenKernelObject for IsCapCategory, IsFunction}{7.6.152}{X87668C2183C9E8A1}
\makelabel{cap:AddKernelEmbeddingWithGivenKernelObject for IsCapCategory, IsFunction, IsInt}{7.6.152}{X87668C2183C9E8A1}
\makelabel{cap:AddKernelLift for IsCapCategory, IsFunction}{7.6.153}{X7A3F184085748DE6}
\makelabel{cap:AddKernelLift for IsCapCategory, IsFunction, IsInt}{7.6.153}{X7A3F184085748DE6}
\makelabel{cap:AddKernelLiftWithGivenKernelObject for IsCapCategory, IsFunction}{7.6.154}{X7D6119357E10B4DA}
\makelabel{cap:AddKernelLiftWithGivenKernelObject for IsCapCategory, IsFunction, IsInt}{7.6.154}{X7D6119357E10B4DA}
\makelabel{cap:AddKernelObject for IsCapCategory, IsFunction}{7.6.155}{X8681E565875A8C03}
\makelabel{cap:AddKernelObject for IsCapCategory, IsFunction, IsInt}{7.6.155}{X8681E565875A8C03}
\makelabel{cap:AddKernelObjectFunctorial for IsCapCategory, IsFunction}{7.6.156}{X818A1E2C82034517}
\makelabel{cap:AddKernelObjectFunctorial for IsCapCategory, IsFunction, IsInt}{7.6.156}{X818A1E2C82034517}
\makelabel{cap:AddKernelObjectFunctorialWithGivenKernelObjects for IsCapCategory, IsFunction}{7.6.157}{X7BE607577847C4DC}
\makelabel{cap:AddKernelObjectFunctorialWithGivenKernelObjects for IsCapCategory, IsFunction, IsInt}{7.6.157}{X7BE607577847C4DC}
\makelabel{cap:AddLift for IsCapCategory, IsFunction}{7.6.158}{X7DA9346A8517648D}
\makelabel{cap:AddLift for IsCapCategory, IsFunction, IsInt}{7.6.158}{X7DA9346A8517648D}
\makelabel{cap:AddLiftAlongMonomorphism for IsCapCategory, IsFunction}{7.6.159}{X869A19337CB3059E}
\makelabel{cap:AddLiftAlongMonomorphism for IsCapCategory, IsFunction, IsInt}{7.6.159}{X869A19337CB3059E}
\makelabel{cap:AddLinearCombinationOfMorphisms for IsCapCategory, IsFunction}{7.6.160}{X851447D2876BF1D1}
\makelabel{cap:AddLinearCombinationOfMorphisms for IsCapCategory, IsFunction, IsInt}{7.6.160}{X851447D2876BF1D1}
\makelabel{cap:AddMereExistenceOfSolutionOfLinearSystemInAbCategory for IsCapCategory, IsFunction}{7.6.161}{X80E205428725FEA7}
\makelabel{cap:AddMereExistenceOfSolutionOfLinearSystemInAbCategory for IsCapCategory, IsFunction, IsInt}{7.6.161}{X80E205428725FEA7}
\makelabel{cap:AddMereExistenceOfUniqueSolutionOfHomogeneousLinearSystemInAbCategory for IsCapCategory, IsFunction}{7.6.162}{X7A635EA8808F2EC3}
\makelabel{cap:AddMereExistenceOfUniqueSolutionOfHomogeneousLinearSystemInAbCategory for IsCapCategory, IsFunction, IsInt}{7.6.162}{X7A635EA8808F2EC3}
\makelabel{cap:AddMereExistenceOfUniqueSolutionOfLinearSystemInAbCategory for IsCapCategory, IsFunction}{7.6.163}{X7C1910B77A78E2B8}
\makelabel{cap:AddMereExistenceOfUniqueSolutionOfLinearSystemInAbCategory for IsCapCategory, IsFunction, IsInt}{7.6.163}{X7C1910B77A78E2B8}
\makelabel{cap:AddMonomorphismIntoInjectiveEnvelopeObject for IsCapCategory, IsFunction}{7.6.164}{X7BD5C9B0867857CC}
\makelabel{cap:AddMonomorphismIntoInjectiveEnvelopeObject for IsCapCategory, IsFunction, IsInt}{7.6.164}{X7BD5C9B0867857CC}
\makelabel{cap:AddMonomorphismIntoInjectiveEnvelopeObjectWithGivenInjectiveEnvelopeObject for IsCapCategory, IsFunction}{7.6.165}{X87B801BF7F861F09}
\makelabel{cap:AddMonomorphismIntoInjectiveEnvelopeObjectWithGivenInjectiveEnvelopeObject for IsCapCategory, IsFunction, IsInt}{7.6.165}{X87B801BF7F861F09}
\makelabel{cap:AddMonomorphismIntoSomeInjectiveObject for IsCapCategory, IsFunction}{7.6.166}{X81C9788D7DD27D18}
\makelabel{cap:AddMonomorphismIntoSomeInjectiveObject for IsCapCategory, IsFunction, IsInt}{7.6.166}{X81C9788D7DD27D18}
\makelabel{cap:AddMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject for IsCapCategory, IsFunction}{7.6.167}{X7CCBF6577ADC62D9}
\makelabel{cap:AddMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject for IsCapCategory, IsFunction, IsInt}{7.6.167}{X7CCBF6577ADC62D9}
\makelabel{cap:AddMorphismBetweenDirectSums for IsCapCategory, IsFunction}{7.6.168}{X873C908279759A45}
\makelabel{cap:AddMorphismBetweenDirectSums for IsCapCategory, IsFunction, IsInt}{7.6.168}{X873C908279759A45}
\makelabel{cap:AddMorphismBetweenDirectSumsWithGivenDirectSums for IsCapCategory, IsFunction}{7.6.169}{X7E295E2784C267D5}
\makelabel{cap:AddMorphismBetweenDirectSumsWithGivenDirectSums for IsCapCategory, IsFunction, IsInt}{7.6.169}{X7E295E2784C267D5}
\makelabel{cap:AddMorphismConstructor for IsCapCategory, IsFunction}{7.6.170}{X7A1067568608419D}
\makelabel{cap:AddMorphismConstructor for IsCapCategory, IsFunction, IsInt}{7.6.170}{X7A1067568608419D}
\makelabel{cap:AddMorphismDatum for IsCapCategory, IsFunction}{7.6.171}{X7ADDB80C7F9BC838}
\makelabel{cap:AddMorphismDatum for IsCapCategory, IsFunction, IsInt}{7.6.171}{X7ADDB80C7F9BC838}
\makelabel{cap:AddMorphismFromCoimageToImage for IsCapCategory, IsFunction}{7.6.172}{X81F30776833F49B2}
\makelabel{cap:AddMorphismFromCoimageToImage for IsCapCategory, IsFunction, IsInt}{7.6.172}{X81F30776833F49B2}
\makelabel{cap:AddMorphismFromCoimageToImageWithGivenObjects for IsCapCategory, IsFunction}{7.6.173}{X7FCCF6EA7BD56684}
\makelabel{cap:AddMorphismFromCoimageToImageWithGivenObjects for IsCapCategory, IsFunction, IsInt}{7.6.173}{X7FCCF6EA7BD56684}
\makelabel{cap:AddMorphismFromEqualizerToSink for IsCapCategory, IsFunction}{7.6.174}{X86015A918233B365}
\makelabel{cap:AddMorphismFromEqualizerToSink for IsCapCategory, IsFunction, IsInt}{7.6.174}{X86015A918233B365}
\makelabel{cap:AddMorphismFromEqualizerToSinkWithGivenEqualizer for IsCapCategory, IsFunction}{7.6.175}{X857FA53779546DAC}
\makelabel{cap:AddMorphismFromEqualizerToSinkWithGivenEqualizer for IsCapCategory, IsFunction, IsInt}{7.6.175}{X857FA53779546DAC}
\makelabel{cap:AddMorphismFromFiberProductToSink for IsCapCategory, IsFunction}{7.6.176}{X87BB71D881AFD21C}
\makelabel{cap:AddMorphismFromFiberProductToSink for IsCapCategory, IsFunction, IsInt}{7.6.176}{X87BB71D881AFD21C}
\makelabel{cap:AddMorphismFromFiberProductToSinkWithGivenFiberProduct for IsCapCategory, IsFunction}{7.6.177}{X7F652D597B5298C6}
\makelabel{cap:AddMorphismFromFiberProductToSinkWithGivenFiberProduct for IsCapCategory, IsFunction, IsInt}{7.6.177}{X7F652D597B5298C6}
\makelabel{cap:AddMorphismFromKernelObjectToSink for IsCapCategory, IsFunction}{7.6.178}{X83B7DB587851A040}
\makelabel{cap:AddMorphismFromKernelObjectToSink for IsCapCategory, IsFunction, IsInt}{7.6.178}{X83B7DB587851A040}
\makelabel{cap:AddMorphismFromKernelObjectToSinkWithGivenKernelObject for IsCapCategory, IsFunction}{7.6.179}{X7844716879CAFB0C}
\makelabel{cap:AddMorphismFromKernelObjectToSinkWithGivenKernelObject for IsCapCategory, IsFunction, IsInt}{7.6.179}{X7844716879CAFB0C}
\makelabel{cap:AddMorphismFromSourceToCoequalizer for IsCapCategory, IsFunction}{7.6.180}{X7CC2819E868B2ACF}
\makelabel{cap:AddMorphismFromSourceToCoequalizer for IsCapCategory, IsFunction, IsInt}{7.6.180}{X7CC2819E868B2ACF}
\makelabel{cap:AddMorphismFromSourceToCoequalizerWithGivenCoequalizer for IsCapCategory, IsFunction}{7.6.181}{X84074D4B7E584205}
\makelabel{cap:AddMorphismFromSourceToCoequalizerWithGivenCoequalizer for IsCapCategory, IsFunction, IsInt}{7.6.181}{X84074D4B7E584205}
\makelabel{cap:AddMorphismFromSourceToCokernelObject for IsCapCategory, IsFunction}{7.6.182}{X7E2024F080A442DF}
\makelabel{cap:AddMorphismFromSourceToCokernelObject for IsCapCategory, IsFunction, IsInt}{7.6.182}{X7E2024F080A442DF}
\makelabel{cap:AddMorphismFromSourceToCokernelObjectWithGivenCokernelObject for IsCapCategory, IsFunction}{7.6.183}{X837F485E7A5E6511}
\makelabel{cap:AddMorphismFromSourceToCokernelObjectWithGivenCokernelObject for IsCapCategory, IsFunction, IsInt}{7.6.183}{X837F485E7A5E6511}
\makelabel{cap:AddMorphismFromSourceToPushout for IsCapCategory, IsFunction}{7.6.184}{X7A8728957EEC0667}
\makelabel{cap:AddMorphismFromSourceToPushout for IsCapCategory, IsFunction, IsInt}{7.6.184}{X7A8728957EEC0667}
\makelabel{cap:AddMorphismFromSourceToPushoutWithGivenPushout for IsCapCategory, IsFunction}{7.6.185}{X7D880C937DDE1F34}
\makelabel{cap:AddMorphismFromSourceToPushoutWithGivenPushout for IsCapCategory, IsFunction, IsInt}{7.6.185}{X7D880C937DDE1F34}
\makelabel{cap:AddMorphismsOfExternalHom for IsCapCategory, IsFunction}{7.6.186}{X7C37598A7F7C7413}
\makelabel{cap:AddMorphismsOfExternalHom for IsCapCategory, IsFunction, IsInt}{7.6.186}{X7C37598A7F7C7413}
\makelabel{cap:AddMultiplyWithElementOfCommutativeRingForMorphisms for IsCapCategory, IsFunction}{7.6.187}{X7AE8C7897CB6FDF8}
\makelabel{cap:AddMultiplyWithElementOfCommutativeRingForMorphisms for IsCapCategory, IsFunction, IsInt}{7.6.187}{X7AE8C7897CB6FDF8}
\makelabel{cap:AddObjectConstructor for IsCapCategory, IsFunction}{7.6.188}{X7D093D4981AC4E7F}
\makelabel{cap:AddObjectConstructor for IsCapCategory, IsFunction, IsInt}{7.6.188}{X7D093D4981AC4E7F}
\makelabel{cap:AddObjectDatum for IsCapCategory, IsFunction}{7.6.189}{X7EF116D57BFA80B5}
\makelabel{cap:AddObjectDatum for IsCapCategory, IsFunction, IsInt}{7.6.189}{X7EF116D57BFA80B5}
\makelabel{cap:AddPostCompose for IsCapCategory, IsFunction}{7.6.190}{X853E87F47F9FC287}
\makelabel{cap:AddPostCompose for IsCapCategory, IsFunction, IsInt}{7.6.190}{X853E87F47F9FC287}
\makelabel{cap:AddPostComposeList for IsCapCategory, IsFunction}{7.6.191}{X85A4A74585001622}
\makelabel{cap:AddPostComposeList for IsCapCategory, IsFunction, IsInt}{7.6.191}{X85A4A74585001622}
\makelabel{cap:AddPostInverseForMorphisms for IsCapCategory, IsFunction}{7.6.192}{X806FBF5479DB397D}
\makelabel{cap:AddPostInverseForMorphisms for IsCapCategory, IsFunction, IsInt}{7.6.192}{X806FBF5479DB397D}
\makelabel{cap:AddPreCompose for IsCapCategory, IsFunction}{7.6.193}{X868C87097D322509}
\makelabel{cap:AddPreCompose for IsCapCategory, IsFunction, IsInt}{7.6.193}{X868C87097D322509}
\makelabel{cap:AddPreComposeList for IsCapCategory, IsFunction}{7.6.194}{X7CE1A7FC792C6577}
\makelabel{cap:AddPreComposeList for IsCapCategory, IsFunction, IsInt}{7.6.194}{X7CE1A7FC792C6577}
\makelabel{cap:AddPreInverseForMorphisms for IsCapCategory, IsFunction}{7.6.195}{X85E1E8037F7353F8}
\makelabel{cap:AddPreInverseForMorphisms for IsCapCategory, IsFunction, IsInt}{7.6.195}{X85E1E8037F7353F8}
\makelabel{cap:AddProjectionInFactorOfDirectProduct for IsCapCategory, IsFunction}{7.6.196}{X84F5824779267907}
\makelabel{cap:AddProjectionInFactorOfDirectProduct for IsCapCategory, IsFunction, IsInt}{7.6.196}{X84F5824779267907}
\makelabel{cap:AddProjectionInFactorOfDirectProductWithGivenDirectProduct for IsCapCategory, IsFunction}{7.6.197}{X7B83D0627A2DCF93}
\makelabel{cap:AddProjectionInFactorOfDirectProductWithGivenDirectProduct for IsCapCategory, IsFunction, IsInt}{7.6.197}{X7B83D0627A2DCF93}
\makelabel{cap:AddProjectionInFactorOfDirectSum for IsCapCategory, IsFunction}{7.6.198}{X7B87E0308677AB17}
\makelabel{cap:AddProjectionInFactorOfDirectSum for IsCapCategory, IsFunction, IsInt}{7.6.198}{X7B87E0308677AB17}
\makelabel{cap:AddProjectionInFactorOfDirectSumWithGivenDirectSum for IsCapCategory, IsFunction}{7.6.199}{X81ACCDB081967CD3}
\makelabel{cap:AddProjectionInFactorOfDirectSumWithGivenDirectSum for IsCapCategory, IsFunction, IsInt}{7.6.199}{X81ACCDB081967CD3}
\makelabel{cap:AddProjectionInFactorOfFiberProduct for IsCapCategory, IsFunction}{7.6.200}{X7BC4A40A8587EB82}
\makelabel{cap:AddProjectionInFactorOfFiberProduct for IsCapCategory, IsFunction, IsInt}{7.6.200}{X7BC4A40A8587EB82}
\makelabel{cap:AddProjectionInFactorOfFiberProductWithGivenFiberProduct for IsCapCategory, IsFunction}{7.6.201}{X822C988083A72B14}
\makelabel{cap:AddProjectionInFactorOfFiberProductWithGivenFiberProduct for IsCapCategory, IsFunction, IsInt}{7.6.201}{X822C988083A72B14}
\makelabel{cap:AddProjectionOntoCoequalizer for IsCapCategory, IsFunction}{7.6.202}{X7C76BED4827D9C28}
\makelabel{cap:AddProjectionOntoCoequalizer for IsCapCategory, IsFunction, IsInt}{7.6.202}{X7C76BED4827D9C28}
\makelabel{cap:AddProjectionOntoCoequalizerWithGivenCoequalizer for IsCapCategory, IsFunction}{7.6.203}{X8691E0FA7BF900F5}
\makelabel{cap:AddProjectionOntoCoequalizerWithGivenCoequalizer for IsCapCategory, IsFunction, IsInt}{7.6.203}{X8691E0FA7BF900F5}
\makelabel{cap:AddProjectiveCoverObject for IsCapCategory, IsFunction}{7.6.204}{X7C6B7D3A80725B9A}
\makelabel{cap:AddProjectiveCoverObject for IsCapCategory, IsFunction, IsInt}{7.6.204}{X7C6B7D3A80725B9A}
\makelabel{cap:AddProjectiveDimension for IsCapCategory, IsFunction}{7.6.205}{X828B50D57F3DAB71}
\makelabel{cap:AddProjectiveDimension for IsCapCategory, IsFunction, IsInt}{7.6.205}{X828B50D57F3DAB71}
\makelabel{cap:AddProjectiveLift for IsCapCategory, IsFunction}{7.6.206}{X7AEE24E581A44083}
\makelabel{cap:AddProjectiveLift for IsCapCategory, IsFunction, IsInt}{7.6.206}{X7AEE24E581A44083}
\makelabel{cap:AddPushout for IsCapCategory, IsFunction}{7.6.207}{X78FDEE468742E573}
\makelabel{cap:AddPushout for IsCapCategory, IsFunction, IsInt}{7.6.207}{X78FDEE468742E573}
\makelabel{cap:AddPushoutFunctorial for IsCapCategory, IsFunction}{7.6.208}{X85F9FDCF7E697028}
\makelabel{cap:AddPushoutFunctorial for IsCapCategory, IsFunction, IsInt}{7.6.208}{X85F9FDCF7E697028}
\makelabel{cap:AddPushoutFunctorialWithGivenPushouts for IsCapCategory, IsFunction}{7.6.209}{X810036A887D287AC}
\makelabel{cap:AddPushoutFunctorialWithGivenPushouts for IsCapCategory, IsFunction, IsInt}{7.6.209}{X810036A887D287AC}
\makelabel{cap:AddRandomMorphismByInteger for IsCapCategory, IsFunction}{7.6.210}{X7BC5AC807FF84905}
\makelabel{cap:AddRandomMorphismByInteger for IsCapCategory, IsFunction, IsInt}{7.6.210}{X7BC5AC807FF84905}
\makelabel{cap:AddRandomMorphismByList for IsCapCategory, IsFunction}{7.6.211}{X84BEF31F81ABC74E}
\makelabel{cap:AddRandomMorphismByList for IsCapCategory, IsFunction, IsInt}{7.6.211}{X84BEF31F81ABC74E}
\makelabel{cap:AddRandomMorphismWithFixedRangeByInteger for IsCapCategory, IsFunction}{7.6.212}{X7D58154C7B6478A8}
\makelabel{cap:AddRandomMorphismWithFixedRangeByInteger for IsCapCategory, IsFunction, IsInt}{7.6.212}{X7D58154C7B6478A8}
\makelabel{cap:AddRandomMorphismWithFixedRangeByList for IsCapCategory, IsFunction}{7.6.213}{X7B2266E07E2114FE}
\makelabel{cap:AddRandomMorphismWithFixedRangeByList for IsCapCategory, IsFunction, IsInt}{7.6.213}{X7B2266E07E2114FE}
\makelabel{cap:AddRandomMorphismWithFixedSourceAndRangeByInteger for IsCapCategory, IsFunction}{7.6.214}{X78E443767AA69703}
\makelabel{cap:AddRandomMorphismWithFixedSourceAndRangeByInteger for IsCapCategory, IsFunction, IsInt}{7.6.214}{X78E443767AA69703}
\makelabel{cap:AddRandomMorphismWithFixedSourceAndRangeByList for IsCapCategory, IsFunction}{7.6.215}{X7A395AEB813562EA}
\makelabel{cap:AddRandomMorphismWithFixedSourceAndRangeByList for IsCapCategory, IsFunction, IsInt}{7.6.215}{X7A395AEB813562EA}
\makelabel{cap:AddRandomMorphismWithFixedSourceByInteger for IsCapCategory, IsFunction}{7.6.216}{X80E69DF27EA33C03}
\makelabel{cap:AddRandomMorphismWithFixedSourceByInteger for IsCapCategory, IsFunction, IsInt}{7.6.216}{X80E69DF27EA33C03}
\makelabel{cap:AddRandomMorphismWithFixedSourceByList for IsCapCategory, IsFunction}{7.6.217}{X7C5DEDED7A7D5F7A}
\makelabel{cap:AddRandomMorphismWithFixedSourceByList for IsCapCategory, IsFunction, IsInt}{7.6.217}{X7C5DEDED7A7D5F7A}
\makelabel{cap:AddRandomObjectByInteger for IsCapCategory, IsFunction}{7.6.218}{X8537D28D7C878EB2}
\makelabel{cap:AddRandomObjectByInteger for IsCapCategory, IsFunction, IsInt}{7.6.218}{X8537D28D7C878EB2}
\makelabel{cap:AddRandomObjectByList for IsCapCategory, IsFunction}{7.6.219}{X86F6CF9382A4906A}
\makelabel{cap:AddRandomObjectByList for IsCapCategory, IsFunction, IsInt}{7.6.219}{X86F6CF9382A4906A}
\makelabel{cap:AddSetOfMorphismsOfFiniteCategory for IsCapCategory, IsFunction}{7.6.220}{X802E75BC780B365B}
\makelabel{cap:AddSetOfMorphismsOfFiniteCategory for IsCapCategory, IsFunction, IsInt}{7.6.220}{X802E75BC780B365B}
\makelabel{cap:AddSetOfObjectsOfCategory for IsCapCategory, IsFunction}{7.6.221}{X836997AC786FEA72}
\makelabel{cap:AddSetOfObjectsOfCategory for IsCapCategory, IsFunction, IsInt}{7.6.221}{X836997AC786FEA72}
\makelabel{cap:AddSimplifyEndo for IsCapCategory, IsFunction}{7.6.222}{X79584C2B7AE88801}
\makelabel{cap:AddSimplifyEndo for IsCapCategory, IsFunction, IsInt}{7.6.222}{X79584C2B7AE88801}
\makelabel{cap:AddSimplifyEndoIsoFromInputObject for IsCapCategory, IsFunction}{7.6.223}{X7E143B0B7AFED0A5}
\makelabel{cap:AddSimplifyEndoIsoFromInputObject for IsCapCategory, IsFunction, IsInt}{7.6.223}{X7E143B0B7AFED0A5}
\makelabel{cap:AddSimplifyEndoIsoToInputObject for IsCapCategory, IsFunction}{7.6.224}{X8289DD3582E90412}
\makelabel{cap:AddSimplifyEndoIsoToInputObject for IsCapCategory, IsFunction, IsInt}{7.6.224}{X8289DD3582E90412}
\makelabel{cap:AddSimplifyMorphism for IsCapCategory, IsFunction}{7.6.225}{X82FC080B78E17869}
\makelabel{cap:AddSimplifyMorphism for IsCapCategory, IsFunction, IsInt}{7.6.225}{X82FC080B78E17869}
\makelabel{cap:AddSimplifyObject for IsCapCategory, IsFunction}{7.6.226}{X798AA0B57BDC7891}
\makelabel{cap:AddSimplifyObject for IsCapCategory, IsFunction, IsInt}{7.6.226}{X798AA0B57BDC7891}
\makelabel{cap:AddSimplifyObjectIsoFromInputObject for IsCapCategory, IsFunction}{7.6.227}{X839A072483DA4590}
\makelabel{cap:AddSimplifyObjectIsoFromInputObject for IsCapCategory, IsFunction, IsInt}{7.6.227}{X839A072483DA4590}
\makelabel{cap:AddSimplifyObjectIsoToInputObject for IsCapCategory, IsFunction}{7.6.228}{X7CFDA57581061E05}
\makelabel{cap:AddSimplifyObjectIsoToInputObject for IsCapCategory, IsFunction, IsInt}{7.6.228}{X7CFDA57581061E05}
\makelabel{cap:AddSimplifyRange for IsCapCategory, IsFunction}{7.6.229}{X78D0F3D57A70F0AA}
\makelabel{cap:AddSimplifyRange for IsCapCategory, IsFunction, IsInt}{7.6.229}{X78D0F3D57A70F0AA}
\makelabel{cap:AddSimplifyRangeIsoFromInputObject for IsCapCategory, IsFunction}{7.6.230}{X7FB594A37A1B8DA3}
\makelabel{cap:AddSimplifyRangeIsoFromInputObject for IsCapCategory, IsFunction, IsInt}{7.6.230}{X7FB594A37A1B8DA3}
\makelabel{cap:AddSimplifyRangeIsoToInputObject for IsCapCategory, IsFunction}{7.6.231}{X7BC056A2866EE0FC}
\makelabel{cap:AddSimplifyRangeIsoToInputObject for IsCapCategory, IsFunction, IsInt}{7.6.231}{X7BC056A2866EE0FC}
\makelabel{cap:AddSimplifySource for IsCapCategory, IsFunction}{7.6.232}{X800D4F4678C4B03E}
\makelabel{cap:AddSimplifySource for IsCapCategory, IsFunction, IsInt}{7.6.232}{X800D4F4678C4B03E}
\makelabel{cap:AddSimplifySourceAndRange for IsCapCategory, IsFunction}{7.6.233}{X7FDBB4087F652D97}
\makelabel{cap:AddSimplifySourceAndRange for IsCapCategory, IsFunction, IsInt}{7.6.233}{X7FDBB4087F652D97}
\makelabel{cap:AddSimplifySourceAndRangeIsoFromInputRange for IsCapCategory, IsFunction}{7.6.234}{X7B3E60B07AF758F7}
\makelabel{cap:AddSimplifySourceAndRangeIsoFromInputRange for IsCapCategory, IsFunction, IsInt}{7.6.234}{X7B3E60B07AF758F7}
\makelabel{cap:AddSimplifySourceAndRangeIsoFromInputSource for IsCapCategory, IsFunction}{7.6.235}{X86CEC88B82874A86}
\makelabel{cap:AddSimplifySourceAndRangeIsoFromInputSource for IsCapCategory, IsFunction, IsInt}{7.6.235}{X86CEC88B82874A86}
\makelabel{cap:AddSimplifySourceAndRangeIsoToInputRange for IsCapCategory, IsFunction}{7.6.236}{X7AEBD3D882FFB8A7}
\makelabel{cap:AddSimplifySourceAndRangeIsoToInputRange for IsCapCategory, IsFunction, IsInt}{7.6.236}{X7AEBD3D882FFB8A7}
\makelabel{cap:AddSimplifySourceAndRangeIsoToInputSource for IsCapCategory, IsFunction}{7.6.237}{X7814950A81D7A307}
\makelabel{cap:AddSimplifySourceAndRangeIsoToInputSource for IsCapCategory, IsFunction, IsInt}{7.6.237}{X7814950A81D7A307}
\makelabel{cap:AddSimplifySourceIsoFromInputObject for IsCapCategory, IsFunction}{7.6.238}{X83B7D18780C28D3F}
\makelabel{cap:AddSimplifySourceIsoFromInputObject for IsCapCategory, IsFunction, IsInt}{7.6.238}{X83B7D18780C28D3F}
\makelabel{cap:AddSimplifySourceIsoToInputObject for IsCapCategory, IsFunction}{7.6.239}{X7E67CB62821ED6AA}
\makelabel{cap:AddSimplifySourceIsoToInputObject for IsCapCategory, IsFunction, IsInt}{7.6.239}{X7E67CB62821ED6AA}
\makelabel{cap:AddSolveLinearSystemInAbCategory for IsCapCategory, IsFunction}{7.6.240}{X781C4BCA81250295}
\makelabel{cap:AddSolveLinearSystemInAbCategory for IsCapCategory, IsFunction, IsInt}{7.6.240}{X781C4BCA81250295}
\makelabel{cap:AddSomeInjectiveObject for IsCapCategory, IsFunction}{7.6.241}{X7DFC9A568472688B}
\makelabel{cap:AddSomeInjectiveObject for IsCapCategory, IsFunction, IsInt}{7.6.241}{X7DFC9A568472688B}
\makelabel{cap:AddSomeIsomorphismBetweenObjects for IsCapCategory, IsFunction}{7.6.242}{X825C2D98794A7378}
\makelabel{cap:AddSomeIsomorphismBetweenObjects for IsCapCategory, IsFunction, IsInt}{7.6.242}{X825C2D98794A7378}
\makelabel{cap:AddSomeProjectiveObject for IsCapCategory, IsFunction}{7.6.243}{X7C3AF36D86F11429}
\makelabel{cap:AddSomeProjectiveObject for IsCapCategory, IsFunction, IsInt}{7.6.243}{X7C3AF36D86F11429}
\makelabel{cap:AddSomeReductionBySplitEpiSummand for IsCapCategory, IsFunction}{7.6.244}{X7EB0389487C277CE}
\makelabel{cap:AddSomeReductionBySplitEpiSummand for IsCapCategory, IsFunction, IsInt}{7.6.244}{X7EB0389487C277CE}
\makelabel{cap:AddSomeReductionBySplitEpiSummandMorphismFromInputRange for IsCapCategory, IsFunction}{7.6.245}{X7E6384988569B9CA}
\makelabel{cap:AddSomeReductionBySplitEpiSummandMorphismFromInputRange for IsCapCategory, IsFunction, IsInt}{7.6.245}{X7E6384988569B9CA}
\makelabel{cap:AddSomeReductionBySplitEpiSummandMorphismToInputRange for IsCapCategory, IsFunction}{7.6.246}{X871D45CA80DAAFC2}
\makelabel{cap:AddSomeReductionBySplitEpiSummandMorphismToInputRange for IsCapCategory, IsFunction, IsInt}{7.6.246}{X871D45CA80DAAFC2}
\makelabel{cap:AddSubtractionForMorphisms for IsCapCategory, IsFunction}{7.6.247}{X7ECA7B0182144B81}
\makelabel{cap:AddSubtractionForMorphisms for IsCapCategory, IsFunction, IsInt}{7.6.247}{X7ECA7B0182144B81}
\makelabel{cap:AddSumOfMorphisms for IsCapCategory, IsFunction}{7.6.248}{X853690377C4630ED}
\makelabel{cap:AddSumOfMorphisms for IsCapCategory, IsFunction, IsInt}{7.6.248}{X853690377C4630ED}
\makelabel{cap:AddTerminalObject for IsCapCategory, IsFunction}{7.6.249}{X7C4B4B7F8009501B}
\makelabel{cap:AddTerminalObject for IsCapCategory, IsFunction, IsInt}{7.6.249}{X7C4B4B7F8009501B}
\makelabel{cap:AddTerminalObjectFunctorial for IsCapCategory, IsFunction}{7.6.250}{X82ED99F9845D2DA7}
\makelabel{cap:AddTerminalObjectFunctorial for IsCapCategory, IsFunction, IsInt}{7.6.250}{X82ED99F9845D2DA7}
\makelabel{cap:AddTerminalObjectFunctorialWithGivenTerminalObjects for IsCapCategory, IsFunction}{7.6.251}{X7A7BBCB08021B976}
\makelabel{cap:AddTerminalObjectFunctorialWithGivenTerminalObjects for IsCapCategory, IsFunction, IsInt}{7.6.251}{X7A7BBCB08021B976}
\makelabel{cap:AddUniversalMorphismFromCoequalizer for IsCapCategory, IsFunction}{7.6.252}{X82B3F52779407E2F}
\makelabel{cap:AddUniversalMorphismFromCoequalizer for IsCapCategory, IsFunction, IsInt}{7.6.252}{X82B3F52779407E2F}
\makelabel{cap:AddUniversalMorphismFromCoequalizerWithGivenCoequalizer for IsCapCategory, IsFunction}{7.6.253}{X7F27613984BEA3BB}
\makelabel{cap:AddUniversalMorphismFromCoequalizerWithGivenCoequalizer for IsCapCategory, IsFunction, IsInt}{7.6.253}{X7F27613984BEA3BB}
\makelabel{cap:AddUniversalMorphismFromCoproduct for IsCapCategory, IsFunction}{7.6.254}{X874696508440B555}
\makelabel{cap:AddUniversalMorphismFromCoproduct for IsCapCategory, IsFunction, IsInt}{7.6.254}{X874696508440B555}
\makelabel{cap:AddUniversalMorphismFromCoproductWithGivenCoproduct for IsCapCategory, IsFunction}{7.6.255}{X7ABE731884D77899}
\makelabel{cap:AddUniversalMorphismFromCoproductWithGivenCoproduct for IsCapCategory, IsFunction, IsInt}{7.6.255}{X7ABE731884D77899}
\makelabel{cap:AddUniversalMorphismFromDirectSum for IsCapCategory, IsFunction}{7.6.256}{X82AEA81280F0FE29}
\makelabel{cap:AddUniversalMorphismFromDirectSum for IsCapCategory, IsFunction, IsInt}{7.6.256}{X82AEA81280F0FE29}
\makelabel{cap:AddUniversalMorphismFromDirectSumWithGivenDirectSum for IsCapCategory, IsFunction}{7.6.257}{X81DB161779E15937}
\makelabel{cap:AddUniversalMorphismFromDirectSumWithGivenDirectSum for IsCapCategory, IsFunction, IsInt}{7.6.257}{X81DB161779E15937}
\makelabel{cap:AddUniversalMorphismFromImage for IsCapCategory, IsFunction}{7.6.258}{X7BE632048014DB7F}
\makelabel{cap:AddUniversalMorphismFromImage for IsCapCategory, IsFunction, IsInt}{7.6.258}{X7BE632048014DB7F}
\makelabel{cap:AddUniversalMorphismFromImageWithGivenImageObject for IsCapCategory, IsFunction}{7.6.259}{X79813E327CAD3D99}
\makelabel{cap:AddUniversalMorphismFromImageWithGivenImageObject for IsCapCategory, IsFunction, IsInt}{7.6.259}{X79813E327CAD3D99}
\makelabel{cap:AddUniversalMorphismFromInitialObject for IsCapCategory, IsFunction}{7.6.260}{X808255727E365DA5}
\makelabel{cap:AddUniversalMorphismFromInitialObject for IsCapCategory, IsFunction, IsInt}{7.6.260}{X808255727E365DA5}
\makelabel{cap:AddUniversalMorphismFromInitialObjectWithGivenInitialObject for IsCapCategory, IsFunction}{7.6.261}{X7F7D9168870D7AC6}
\makelabel{cap:AddUniversalMorphismFromInitialObjectWithGivenInitialObject for IsCapCategory, IsFunction, IsInt}{7.6.261}{X7F7D9168870D7AC6}
\makelabel{cap:AddUniversalMorphismFromPushout for IsCapCategory, IsFunction}{7.6.262}{X7ACB31A479737723}
\makelabel{cap:AddUniversalMorphismFromPushout for IsCapCategory, IsFunction, IsInt}{7.6.262}{X7ACB31A479737723}
\makelabel{cap:AddUniversalMorphismFromPushoutWithGivenPushout for IsCapCategory, IsFunction}{7.6.263}{X847BA99A851088A1}
\makelabel{cap:AddUniversalMorphismFromPushoutWithGivenPushout for IsCapCategory, IsFunction, IsInt}{7.6.263}{X847BA99A851088A1}
\makelabel{cap:AddUniversalMorphismFromZeroObject for IsCapCategory, IsFunction}{7.6.264}{X873263B37942E963}
\makelabel{cap:AddUniversalMorphismFromZeroObject for IsCapCategory, IsFunction, IsInt}{7.6.264}{X873263B37942E963}
\makelabel{cap:AddUniversalMorphismFromZeroObjectWithGivenZeroObject for IsCapCategory, IsFunction}{7.6.265}{X8396EFB87AABCD66}
\makelabel{cap:AddUniversalMorphismFromZeroObjectWithGivenZeroObject for IsCapCategory, IsFunction, IsInt}{7.6.265}{X8396EFB87AABCD66}
\makelabel{cap:AddUniversalMorphismIntoCoimage for IsCapCategory, IsFunction}{7.6.266}{X85DB30B982F6C564}
\makelabel{cap:AddUniversalMorphismIntoCoimage for IsCapCategory, IsFunction, IsInt}{7.6.266}{X85DB30B982F6C564}
\makelabel{cap:AddUniversalMorphismIntoCoimageWithGivenCoimageObject for IsCapCategory, IsFunction}{7.6.267}{X7D83EDB07844C0FA}
\makelabel{cap:AddUniversalMorphismIntoCoimageWithGivenCoimageObject for IsCapCategory, IsFunction, IsInt}{7.6.267}{X7D83EDB07844C0FA}
\makelabel{cap:AddUniversalMorphismIntoDirectProduct for IsCapCategory, IsFunction}{7.6.268}{X7E4C217083150A21}
\makelabel{cap:AddUniversalMorphismIntoDirectProduct for IsCapCategory, IsFunction, IsInt}{7.6.268}{X7E4C217083150A21}
\makelabel{cap:AddUniversalMorphismIntoDirectProductWithGivenDirectProduct for IsCapCategory, IsFunction}{7.6.269}{X84C986C67D703457}
\makelabel{cap:AddUniversalMorphismIntoDirectProductWithGivenDirectProduct for IsCapCategory, IsFunction, IsInt}{7.6.269}{X84C986C67D703457}
\makelabel{cap:AddUniversalMorphismIntoDirectSum for IsCapCategory, IsFunction}{7.6.270}{X7AA30E857A11AA2A}
\makelabel{cap:AddUniversalMorphismIntoDirectSum for IsCapCategory, IsFunction, IsInt}{7.6.270}{X7AA30E857A11AA2A}
\makelabel{cap:AddUniversalMorphismIntoDirectSumWithGivenDirectSum for IsCapCategory, IsFunction}{7.6.271}{X7E666F5683000D34}
\makelabel{cap:AddUniversalMorphismIntoDirectSumWithGivenDirectSum for IsCapCategory, IsFunction, IsInt}{7.6.271}{X7E666F5683000D34}
\makelabel{cap:AddUniversalMorphismIntoEqualizer for IsCapCategory, IsFunction}{7.6.272}{X814FACA47A759C7A}
\makelabel{cap:AddUniversalMorphismIntoEqualizer for IsCapCategory, IsFunction, IsInt}{7.6.272}{X814FACA47A759C7A}
\makelabel{cap:AddUniversalMorphismIntoEqualizerWithGivenEqualizer for IsCapCategory, IsFunction}{7.6.273}{X872A26F678D6989B}
\makelabel{cap:AddUniversalMorphismIntoEqualizerWithGivenEqualizer for IsCapCategory, IsFunction, IsInt}{7.6.273}{X872A26F678D6989B}
\makelabel{cap:AddUniversalMorphismIntoFiberProduct for IsCapCategory, IsFunction}{7.6.274}{X7F7446F882DF6DA5}
\makelabel{cap:AddUniversalMorphismIntoFiberProduct for IsCapCategory, IsFunction, IsInt}{7.6.274}{X7F7446F882DF6DA5}
\makelabel{cap:AddUniversalMorphismIntoFiberProductWithGivenFiberProduct for IsCapCategory, IsFunction}{7.6.275}{X84C5017486990FB2}
\makelabel{cap:AddUniversalMorphismIntoFiberProductWithGivenFiberProduct for IsCapCategory, IsFunction, IsInt}{7.6.275}{X84C5017486990FB2}
\makelabel{cap:AddUniversalMorphismIntoTerminalObject for IsCapCategory, IsFunction}{7.6.276}{X84D7DDAF835BDFA3}
\makelabel{cap:AddUniversalMorphismIntoTerminalObject for IsCapCategory, IsFunction, IsInt}{7.6.276}{X84D7DDAF835BDFA3}
\makelabel{cap:AddUniversalMorphismIntoTerminalObjectWithGivenTerminalObject for IsCapCategory, IsFunction}{7.6.277}{X8230986A7821D9B4}
\makelabel{cap:AddUniversalMorphismIntoTerminalObjectWithGivenTerminalObject for IsCapCategory, IsFunction, IsInt}{7.6.277}{X8230986A7821D9B4}
\makelabel{cap:AddUniversalMorphismIntoZeroObject for IsCapCategory, IsFunction}{7.6.278}{X7CAC035583A3BD60}
\makelabel{cap:AddUniversalMorphismIntoZeroObject for IsCapCategory, IsFunction, IsInt}{7.6.278}{X7CAC035583A3BD60}
\makelabel{cap:AddUniversalMorphismIntoZeroObjectWithGivenZeroObject for IsCapCategory, IsFunction}{7.6.279}{X8550CFE1804A9965}
\makelabel{cap:AddUniversalMorphismIntoZeroObjectWithGivenZeroObject for IsCapCategory, IsFunction, IsInt}{7.6.279}{X8550CFE1804A9965}
\makelabel{cap:AddVerticalPostCompose for IsCapCategory, IsFunction}{7.6.280}{X7AA662D58265F658}
\makelabel{cap:AddVerticalPostCompose for IsCapCategory, IsFunction, IsInt}{7.6.280}{X7AA662D58265F658}
\makelabel{cap:AddVerticalPreCompose for IsCapCategory, IsFunction}{7.6.281}{X85F4507081F229DD}
\makelabel{cap:AddVerticalPreCompose for IsCapCategory, IsFunction, IsInt}{7.6.281}{X85F4507081F229DD}
\makelabel{cap:AddZeroMorphism for IsCapCategory, IsFunction}{7.6.282}{X824C08CE7D7FB387}
\makelabel{cap:AddZeroMorphism for IsCapCategory, IsFunction, IsInt}{7.6.282}{X824C08CE7D7FB387}
\makelabel{cap:AddZeroObject for IsCapCategory, IsFunction}{7.6.283}{X7F0111277DF3FB7E}
\makelabel{cap:AddZeroObject for IsCapCategory, IsFunction, IsInt}{7.6.283}{X7F0111277DF3FB7E}
\makelabel{cap:AddZeroObjectFunctorial for IsCapCategory, IsFunction}{7.6.284}{X7C6A709286103BAE}
\makelabel{cap:AddZeroObjectFunctorial for IsCapCategory, IsFunction, IsInt}{7.6.284}{X7C6A709286103BAE}
\makelabel{cap:AddZeroObjectFunctorialWithGivenZeroObjects for IsCapCategory, IsFunction}{7.6.285}{X826BAB7F84D9499D}
\makelabel{cap:AddZeroObjectFunctorialWithGivenZeroObjects for IsCapCategory, IsFunction, IsInt}{7.6.285}{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 IsAttributeStoringRep}{8.2.1}{X8445F6F187784DF1}
\makelabel{cap:CreateDerivation}{8.2.2}{X7A90E47C7D0EE8F4}
\makelabel{cap:Description for IsDerivedMethod}{8.2.3}{X87FAA68185CE87A4}
\makelabel{cap:AdditionalWeight for IsDerivedMethod}{8.2.4}{X7FB3A67D81A47B14}
\makelabel{cap:DerivationFunction for IsDerivedMethod}{8.2.5}{X7CBD06FC8461DCA9}
\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:UsedOperationsWithMultiplesAndCategoryGetters for IsDerivedMethod}{8.2.9}{X7CEDBB3E7BCA64D1}
\makelabel{cap:InstallDerivationForCategory for IsDerivedMethod, IsPosInt, IsCapCategory}{8.2.10}{X7DCED23B84345454}
\makelabel{cap:FunctionCalledBeforeInstallation for IsDerivedMethod}{8.2.11}{X87B8757F7AAEE7DE}
\makelabel{cap:IsDerivedMethodGraph for IsAttributeStoringRep}{8.3.1}{X81A930FD84B9A43F}
\makelabel{cap:MakeDerivationGraph for IsDenseList}{8.3.2}{X7E19A0AD8661EF00}
\makelabel{cap:AddOperationsToDerivationGraph for IsDerivedMethodGraph, IsDenseList}{8.3.3}{X7B801088854A0127}
\makelabel{cap:AddDerivation}{8.3.4}{X83CDB3B181A3E3D7}
\makelabel{cap:AddDerivationToCAP}{8.3.5}{X7BC80B4F7A067D91}
\makelabel{cap:Operations for IsDerivedMethodGraph}{8.3.6}{X8669CCC78175B23B}
\makelabel{cap:DerivationsUsingOperation for IsDerivedMethodGraph, IsString}{8.3.7}{X7D8B5FE482B39913}
\makelabel{cap:DerivationsOfOperation for IsDerivedMethodGraph, IsString}{8.3.8}{X7A4C262581C53309}
\makelabel{cap:IsOperationWeightList for IsAttributeStoringRep}{8.4.1}{X7FDA7FFE7DE614F6}
\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:TriggerDerivationsUsingOperation for IsOperationWeightList, IsString}{8.4.8}{X7B67E3BD81BE00A6}
\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:ObjectCache for IsCapFunctor}{9.1.1}{X7B3D8EB378625F73}
\makelabel{cap:MorphismCache for IsCapFunctor}{9.1.2}{X84472BD57E11264C}
\makelabel{cap:FunctionWithNamedArguments}{9.2.1}{X8325EEB87BDE7B04}
\makelabel{cap:CAPINTERNALGETDATATYPEFROMSTRING}{9.2.2}{X87857B6887466690}
\makelabel{cap:CAPINTERNALGETDATATYPESFROMSTRINGS}{9.2.3}{X7E03E1EB7E0505C9}
\makelabel{cap:CAPINTERNALREPLACEDSTRINGWITHFILTER}{9.2.4}{X82C6A9FE7BA3CA5B}
\makelabel{cap:CAPINTERNALREPLACEDSTRINGSWITHFILTERS}{9.2.5}{X7F3826497806B627}
\makelabel{cap:CAPINTERNALRETURNOPTIONORDEFAULT}{9.2.6}{X849B851C80D47B4F}
\makelabel{cap:CAPINTERNALFINDAPPEARANCEOFSYMBOLINFUNCTION}{9.2.7}{X7C7A71C97DC2FABF}
\makelabel{cap:CAPINTERNALMERGEPRECONDITIONSLIST}{9.2.8}{X78A121F97CF81A43}
\makelabel{cap:CAPINTERNALASSERTVALUEISOFTYPEGETTER}{9.2.9}{X7D69A73578441A9C}
\makelabel{cap:CAPINTERNALASSERTISCELLOFCATEGORY}{9.2.10}{X82F35A5C80A6AB86}
\makelabel{cap:CAPINTERNALASSERTISOBJECTOFCATEGORY}{9.2.11}{X8335A3308291E3A2}
\makelabel{cap:CAPINTERNALASSERTISMORPHISMOFCATEGORY}{9.2.12}{X7DD95FC27FBF20E3}
\makelabel{cap:CAPINTERNALASSERTISTWOCELLOFCATEGORY}{9.2.13}{X818BBDDE8387D373}
\makelabel{cap:CachingStatistic}{9.2.14}{X82FC76688082956A}
\makelabel{cap:BrowseCachingStatistic}{9.2.15}{X7E4CA53E7C03600F}
\makelabel{cap:InstallDeprecatedAlias}{9.2.16}{X7B2A707E797A06FB}
\makelabel{cap:IsSpecializationOfFilter}{9.2.17}{X7BE001D378D75CF9}
\makelabel{cap:IsSpecializationOfFilterList}{9.2.18}{X7E756CEB799322B0}
\makelabel{cap:InstallMethodForCompilerForCAP}{9.2.19}{X7F953A7086264653}
\makelabel{cap:InstallOtherMethodForCompilerForCAP}{9.2.20}{X7FC9241882AB3F5A}
\makelabel{cap:CapJitAddKnownMethod}{9.2.21}{X7AF9D3AC85CB0F3D}
\makelabel{cap:CapJitAddTypeSignature}{9.2.22}{X816D0A767BD73071}
\makelabel{cap:CapJitDataTypeOfListOf}{9.2.23}{X78CFB24B81162C1D}
\makelabel{cap:CapJitDataTypeOfNTupleOf}{9.2.24}{X877F7F6081692CDF}
\makelabel{cap:CapJitDataTypeOfGroup}{9.2.25}{X859BFCA17B526A4F}
\makelabel{cap:CapJitDataTypeOfElementOfGroup}{9.2.25}{X859BFCA17B526A4F}
\makelabel{cap:CapJitDataTypeOfRing}{9.2.26}{X791E1AB37D1DE205}
\makelabel{cap:CapJitDataTypeOfElementOfRing}{9.2.26}{X791E1AB37D1DE205}
\makelabel{cap:CapJitDataTypeOfCategory}{9.2.27}{X812BAF8D81DBE36B}
\makelabel{cap:CapJitDataTypeOfObjectOfCategory}{9.2.27}{X812BAF8D81DBE36B}
\makelabel{cap:CapJitDataTypeOfMorphismOfCategory}{9.2.27}{X812BAF8D81DBE36B}
\makelabel{cap:CapJitDataTypeOfTwoCellOfCategory}{9.2.27}{X812BAF8D81DBE36B}
\makelabel{cap:CapJitTypedExpression}{9.2.28}{X874807C979EDC49B}
\makelabel{cap:CapFixpoint}{9.2.29}{X824449507B8AC925}
\makelabel{cap:Iterated for IsList, IsFunction, IsObject}{9.2.30}{X83607E077857CBDB}
\makelabel{cap:Iterated for IsList, IsFunction, IsObject, IsObject}{9.2.31}{X7D4C0F987B13D58D}
\makelabel{cap:TransitivelyNeededOtherPackages}{9.2.32}{X7FA62DB97B67C4AB}
\makelabel{cap:PackageOfCAPOperation}{9.2.33}{X7E9D968D86A536EF}
\makelabel{cap:SafePosition for IsList, IsObject}{9.2.34}{X844FE77D85C951AA}
\makelabel{cap:SafeUniquePosition for IsList, IsObject}{9.2.35}{X85FE589D84D60BEC}
\makelabel{cap:SafePositionProperty for IsList, IsFunction}{9.2.36}{X81DF04B87E3C9D0D}
\makelabel{cap:SafeUniquePositionProperty for IsList, IsFunction}{9.2.37}{X810EE26082CAA38E}
\makelabel{cap:SafeFirst for IsList, IsFunction}{9.2.38}{X860EA891868B5777}
\makelabel{cap:SafeUniqueEntry for IsList, IsFunction}{9.2.39}{X8608EAF482DAC239}
\makelabel{cap:NTuple}{9.2.40}{X7F2E50C87EC6E530}
\makelabel{cap:Pair}{9.2.41}{X7A63799B824FAEBA}
\makelabel{cap:Triple}{9.2.42}{X7C52730F8526A57E}
\makelabel{cap:TransposedMatWithGivenDimensions}{9.2.43}{X7AE413027C8587FE}
\makelabel{cap:HandlePrecompiledTowers}{9.2.44}{X7B339750826300B4}
\makelabel{cap:CAPJITINCOMPLETELOGIC}{9.2.45}{X7D06D3287E3BFCBB}
\makelabel{cap:CAPJITEXPRCASEWRAPPER}{9.2.46}{X859ADC8783342268}
\makelabel{cap:ListWithKeys}{9.2.47}{X7F313F4B853D176C}
\makelabel{cap:SumWithKeys}{9.2.48}{X873A487F7DA2A359}
\makelabel{cap:ProductWithKeys}{9.2.49}{X8321F3D8876ADA2D}
\makelabel{cap:ForAllWithKeys}{9.2.50}{X7F0574797C13C966}
\makelabel{cap:ForAnyWithKeys}{9.2.51}{X812F59097E8E7562}
\makelabel{cap:NumberWithKeys}{9.2.52}{X8322F3FF84EC9AEB}
\makelabel{cap:FilteredWithKeys}{9.2.53}{X7D0B0ECF7F70FB8E}
\makelabel{cap:FirstWithKeys}{9.2.54}{X7914B5437CBEB3EC}
\makelabel{cap:LastWithKeys}{9.2.55}{X849D015F79B08FCC}
\makelabel{cap:CreateGapObjectWithAttributes}{9.2.56}{X81386B5D7CE25406}
\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:ModelingCategory for IsCapCategory}{12.5.1}{X811A167F7DABD0F9}
\makelabel{cap:ReinterpretationOfCategory for IsCapCategory, IsRecord}{12.6.1}{X81D06FCA7ECE38C4}
\makelabel{cap:ReinterpretationFunctor for IsCapCategory}{12.6.2}{X7ACECA6387E9F29D}
\makelabel{cap:ModelingObject for IsCapCategory, IsCapCategoryObject}{12.6.3}{X7D2C2C3D7A342007}
\makelabel{cap:ReinterpretationOfObject for IsCapCategory, IsCapCategoryObject}{12.6.4}{X79C8914E86186004}
\makelabel{cap:ModelingMorphism for IsCapCategory, IsCapCategoryMorphism}{12.6.5}{X7C8C515B7E679556}
\makelabel{cap:ReinterpretationOfMorphism for IsCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject}{12.6.6}{X85D9773186C8969A}
\makelabel{cap:IsWrapperCapCategory for IsCapCategory}{13.1.1}{X82BF68357D8889C4}
\makelabel{cap:IsWrapperCapCategoryObject for IsCapCategoryObject}{13.1.2}{X7E59F7CB7F1D9569}
\makelabel{cap:IsWrapperCapCategoryMorphism for IsCapCategoryMorphism}{13.1.3}{X7B2D95DA7D635FD7}
\makelabel{cap:UnderlyingCell for IsWrapperCapCategoryObject}{13.2.1}{X81829E6386E43EF3}
\makelabel{cap:UnderlyingCell for IsWrapperCapCategoryMorphism}{13.2.2}{X7AA0358D85F1CD9F}
\makelabel{cap:AsObjectInWrapperCategory for IsWrapperCapCategory, IsCapCategoryObject}{13.3.1}{X83886A588035ED96}
\makelabel{cap:AsMorphismInWrapperCategory for IsWrapperCapCategoryObject, IsCapCategoryMorphism, IsWrapperCapCategoryObject}{13.3.2}{X832CBD5A80B84DDF}
\makelabel{cap:AsMorphismInWrapperCategory for IsWrapperCapCategory, IsCapCategoryMorphism}{13.3.3}{X7A95EED57AD2AF78}
\makelabel{cap:WrapperCategory for IsCapCategory, IsRecord}{13.3.5}{X7C22BC7182777CF4}
\makelabel{cap:WrappingFunctor for IsWrapperCapCategory}{13.3.6}{X86932DDE8378A2AF}
\makelabel{cap:IsDummyRing}{14.1.1}{X86A21A2379AA70E4}
\makelabel{cap:IsDummyRingElement}{14.1.2}{X7D89EFE77FC37A85}
\makelabel{cap:IsDummyCommutativeRing}{14.1.3}{X87E7CFFB81611DED}
\makelabel{cap:IsDummyCommutativeRingElement}{14.1.4}{X79CB0F12853487F4}
\makelabel{cap:IsDummyField}{14.1.5}{X7F1159E287E0850B}
\makelabel{cap:IsDummyFieldElement}{14.1.6}{X7A227A6D7F366CDE}
\makelabel{cap:DummyRing}{14.1.7}{X82B6E6F780AB19FA}
\makelabel{cap:DummyCommutativeRing}{14.1.8}{X823C63568160007F}
\makelabel{cap:DummyField}{14.1.9}{X8675D79684AD56D0}
\makelabel{cap:IsDummyCategory for IsCapCategory}{14.2.1}{X872B304F85971287}
\makelabel{cap:IsDummyCategoryObject for IsCapCategoryObject}{14.2.2}{X7FB7ED298101C4C5}
\makelabel{cap:IsDummyCategoryMorphism for IsCapCategoryMorphism}{14.2.3}{X86ED2D2D84900225}
\makelabel{cap:DummyCategory for IsRecord}{14.2.4}{X85EFD8FA7CA98ECB}
\makelabel{cap:IsDummyHomalgRing}{14.3.1}{X83D2C38E849A65DC}
\makelabel{cap:IsDummyHomalgRingElement}{14.3.2}{X7A64A51C7B55BD18}
\makelabel{cap:IsDummyCommutativeHomalgRing}{14.3.3}{X8170E18881CE3C03}
\makelabel{cap:IsDummyCommutativeHomalgRingElement}{14.3.4}{X7997E4157AB993E9}
\makelabel{cap:IsDummyHomalgField}{14.3.5}{X87E270D481736842}
\makelabel{cap:IsDummyHomalgFieldElement}{14.3.6}{X78E80ECF786AE153}
\makelabel{cap:DummyHomalgRing}{14.3.7}{X830459217A01C164}
\makelabel{cap:DummyCommutativeHomalgRing}{14.3.8}{X841685517C4CDC7A}
\makelabel{cap:DummyHomalgField}{14.3.9}{X7CA21DAD784763AA}
\makelabel{cap:IsCapTerminalCategoryWithSingleObject for IsCapCategory}{15.1.1}{X8665012E7D503742}
\makelabel{cap:IsObjectInCapTerminalCategoryWithSingleObject for IsCapCategoryObject}{15.1.2}{X7F48DB947BDA1232}
\makelabel{cap:IsMorphismInCapTerminalCategoryWithSingleObject for IsCapCategoryMorphism}{15.1.3}{X86041A8F851354DB}
\makelabel{cap:IsCapTerminalCategoryWithMultipleObjects for IsCapCategory}{15.1.4}{X85A149A17E45806B}
\makelabel{cap:IsObjectInCapTerminalCategoryWithMultipleObjects for IsCapCategoryObject}{15.1.5}{X8751E72879CE707D}
\makelabel{cap:IsMorphismInCapTerminalCategoryWithMultipleObjects for IsCapCategoryMorphism}{15.1.6}{X7BC47E5D7AD51588}
\makelabel{cap:IsTerminalCategory for IsCapCategory}{15.1.7}{X8724DDA281946BEB}
\makelabel{cap:TerminalCategoryWithSingleObject}{15.2.1}{X7D7044AA82764329}
\makelabel{cap:TerminalCategoryWithMultipleObjects}{15.2.2}{X7CBD1E9B81BBFFC8}
\makelabel{cap:CAPINTERNALCONSTRUCTORFORTERMINALCATEGORY}{15.2.3}{X81FA767C792670A2}
\makelabel{cap:TerminalCategoryWithSingleObjectUniqueObject for IsCapTerminalCategoryWithSingleObject}{15.3.1}{X7C2B3F018386B9D4}
\makelabel{cap:TerminalCategoryWithSingleObjectUniqueMorphism for IsCapTerminalCategoryWithSingleObject}{15.3.2}{X87F66FAD7A1100C7}
\makelabel{cap:FunctorFromTerminalCategory for IsCapCategoryObject}{15.3.3}{X80813F9A86FCCC24}
\makelabel{cap:IsFiniteSkeletalDiscreteCategory for IsCapCategory}{16.1.1}{X86FECC7F7B10DFB5}
\makelabel{cap:IsObjectInFiniteSkeletalDiscreteCategory for IsCapCategoryObject}{16.1.2}{X7B0369367B25FF27}
\makelabel{cap:IsMorphismInFiniteSkeletalDiscreteCategory for IsCapCategoryMorphism}{16.1.3}{X83A994137F28C142}
\makelabel{cap:FiniteSkeletalDiscreteCategory}{16.2.1}{X82D81EB281E4B15F}
\makelabel{cap:UnderlyingListOfGapObjects for IsFiniteSkeletalDiscreteCategory}{16.3.1}{X82A86530836AB45F}
\makelabel{cap:UnderlyingGapObject for IsObjectInFiniteSkeletalDiscreteCategory}{16.3.2}{X83402D288247887B}
\makelabel{cap:IsDiscreteCategory for IsCapCategory}{16.4.1}{X7F7BD8CF86A2D122}
\makelabel{cap:IsEquivalentToFiniteCategory for IsCapCategory}{18.1.1}{X8572BE547C73D308}