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}
--> --------------------

--> maximum size reached

--> --------------------

Quelle manual.lab Sprache: unbekannt

[ Dauer der Verarbeitung: 0.23 Sekunden (vorverarbeitet) ]