Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/sources/formale Sprachen/GAP/pkg/cap/doc/ (Algebra von RWTH Aachen Version 4.15.1^©) Datei vom 22.8.2025 mit Größe 134 kB

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

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