<?xml version=
"1.0" encoding=
"UTF-8"?>
<!
DOCTYPE html PUBLIC
"-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<
html xmlns=
"http://www.w3.org/1999/xhtml" xml:lang=
"en">
<
head>
<
script type=
"text/javascript"
src=
"https://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
</
script>
<
title>GAP (CAP) - Contents</
title>
<
meta http-equiv=
"content-type" content=
"text/html; charset=UTF-8" />
<
meta name=
"generator" content=
"GAPDoc2HTML" />
<
link rel=
"stylesheet" type=
"text/css" href=
"manual.css" />
<
script src=
"manual.js" type=
"text/javascript"></
script>
<
script type=
"text/javascript">overwriteStyle();</
script>
</
head>
<
body class=
"chap0" onload=
"jscontent()">
<
div class=
"chlinktop"><
span class=
"chlink1">Goto Chapter: </
span><
a href=
"chap0_mj.html">Top<
/a> <a href="chap1_mj.html">1</a> <a href="chap2_mj.html">2</a> <a href="chap3_mj.html">3</a> <a href="chap4_mj.html">4</a> <a href="chap5_mj.html">5</a> <a href="chap6_mj.html">6</a> <a href="chap7_mj.html">7</a> <a href="chap8_mj.html">8</a> <a href="chap9_mj.html">9</a> <a href="chap10_mj.html">10</a> <a href="chap11_mj.html">11</a> <a href="chap12_mj.html">12</a> <a href="chap13_mj.html">13</a> <a href="chap14_mj.html">14</a> <a href="chap15_mj.html">15</a> <a href="chap16_mj.html">16</a> <a href="chap17_mj.html">17</a> <a href="chap18_mj.html">18</a> <a href="chapInd_mj.html">Ind</a> </div>
<div class="chlinkprevnexttop"> <a href="chap0_mj.html">[Top of Book]</a> <a href="chap0_mj.html#contents">[Contents]</a> <a href="chap1_mj.html">[Next Chapter]</a> </div>
<p id="mathjaxlink" class="pcenter"><a href="chap0.html">[MathJax off]</a></p>
<p><a id="X7D2C85EC87DD46E5" name="X7D2C85EC87DD46E5"></a></p>
<div class="pcenter">
<h1>CAP</h1>
<h2>Categories, Algorithms, Programming</h2>
<p>
2025.09-04</p>
<p>
22 September 2025
</p>
</div>
<p><b>
Sebastian Gutsche
</b>
<br />Email: <span class="URL"><a href="mailto:sebastian.gutsche@gmail.com">sebastian.gutsche@gmail.com</a></span>
<br />Homepage: <span class="URL"><a href="https://sebasguts.github.io/">https://sebasguts.github.io/</a></span>
<br />Address: <br />Department Mathematik<br /> Universität Siegen<br /> Walter-Flex-Straße 3<br /> 57068 Siegen<br /> Germany<br />
</p><p><b>
Sebastian Posur
</b>
<br />Email: <span class="URL"><a href="mailto:sebastian.posur@uni-muenster.de">sebastian.posur@uni-muenster.de</a></span>
<br />Homepage: <span class="URL"><a href="https://sebastianpos.github.io">https://sebastianpos.github.io</a></span>
<br />Address: <br />Department Mathematik<br /> Universität Siegen<br /> Walter-Flex-Straße 3<br /> 57068 Siegen<br /> Germany<br />
</p><p><b>
Øystein Skartsæterhagen
</b>
<br />Email: <span class="URL"><a href="mailto:oysteini@math.ntnu.no">oysteini@math.ntnu.no</a></span>
<br />Homepage: <span class="URL"><a href="http://www.math.ntnu.no/~oysteini/">http://www.math.ntnu.no/~oysteini/</a></span>
<br />Address: <br />NTNU<br /> Institutt for matematiske fag<br /> 7491 Trondheim<br /> Norway<br />
</p><p><b>
Fabian Zickgraf
</b>
<br />Email: <span class="URL"><a href="mailto:f.zickgraf@dashdos.com">f.zickgraf@dashdos.com</a></span>
<br />Homepage: <span class="URL"><a href="https://github.com/zickgraf/">https://github.com/zickgraf/</a></span>
<br />Address: <br />Walter-Flex-Str. 3<br /> 57068 Siegen<br /> Germany<br />
</p>
<p><a id="X8537FEB07AF2BEC8" name="X8537FEB07AF2BEC8"></a></p>
<div class="contents">
<h3>Contents<a id="contents" name="contents"></a></h3>
<div class="ContChap"><a href="chap1_mj.html#X7C99ABCB7DEEDE2A">1 <span class="Heading">CAP Categories</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X7CC6903E78F24167">1.1 <span class="Heading">Categories</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X80E47D0E86A9F916">1.1-1 IsCapCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7E2CFDC482566454">1.1-2 IsCapCategoryCell</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7DAEF54180094D1E">1.1-3 IsCapCategoryObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X84413C4978765A3F">1.1-4 IsCapCategoryMorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7F3B964286D98710">1.1-5 IsCapCategoryTwoCell</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X7A853C6D8096E14B">1.2 <span class="Heading">Categorical properties</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7D6EA1307DFCCE46">1.2-1 AddCategoricalProperty</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X806B382F8077EB7B">1.2-2 IsObjectFiniteCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X8296B39C789BE6A9">1.2-3 IsFiniteCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X8347FF9C81E7385C">1.2-4 IsFinite</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X8572BE547C73D308">1.2-5 IsEquivalentToFiniteCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X83F78D2C7AAC115D">1.2-6 IsEquippedWithHomomorphismStructure</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X829DB5497D58C7E5">1.2-7 IsCategoryWithDecidableLifts</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7C22FA787967E694">1.2-8 IsCategoryWithDecidableColifts</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7C2B7A5F87EE5322">1.2-9 IsCategoryWithInitialObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X828327367FA16BDD">1.2-10 IsCategoryWithTerminalObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7BFEEC3779A5EE2F">1.2-11 IsCategoryWithZeroObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X8451BCF67F0C4F62">1.2-12 IsCategoryWithEqualizers</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X79D864BB79744E4E">1.2-13 IsCategoryWithCoequalizers</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X82C2B6D37DA78465">1.2-14 IsEnrichedOverCommutativeRegularSemigroup</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7DBCD7237CF9100A">1.2-15 IsSkeletalCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X79295B4680B0F22B">1.2-16 IsAbCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X861DBAC181A15E1F">1.2-17 IsLinearCategoryOverCommutativeRing</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X86D45F0D7804F023">1.2-18 IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7EB29BA681AE1F28">1.2-19 IsCategoryWithKernels</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X8226AEFF7F6F7FC3">1.2-20 IsCategoryWithCokernels</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X87C4C37D7F75E681">1.2-21 IsAdditiveCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7A64E2B978685471">1.2-22 IsPreAbelianCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X79DB288F84457967">1.2-23 IsAbelianCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X83EDCC4886FEE4B1">1.2-24 IsAbelianCategoryWithEnoughProjectives</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X860EB7977F78EE3F">1.2-25 IsAbelianCategoryWithEnoughInjectives</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X87AA6D6282FD1C02">1.2-26 IsLocallyOfFiniteProjectiveDimension</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7EDD2B4386ABE96E">1.2-27 IsLocallyOfFiniteInjectiveDimension</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X87434CEF86BC38D4">1.2-28 ListOfDefiningOperations</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X7ABF649E831D4D8E">1.3 <span class="Heading">Constructor</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X86EDB84D7E3F0194">1.3-1 CreateCapCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X854CC42E828C120D">1.3-2 CreateCapCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7A1D562178FC3DDF">1.3-3 CreateCapCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X8090078F7C5EF5E9">1.3-4 CreateCapCategoryWithDataTypes</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X79CE135F7E6EBFEE">1.4 <span class="Heading">Internal Attributes</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X79251D5C85B0F3D3">1.4-1 Name</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7C7B1EAF7D786508">1.4-2 CategoryFilter</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7BD6E2B887F86E9C">1.4-3 ObjectFilter</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7F62E0C47C778CBB">1.4-4 MorphismFilter</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X850D0E978090D0C0">1.4-5 TwoCellFilter</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X834BBE4085A42FAC">1.4-6 ObjectDatumType</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X8090D81F78B1F25A">1.4-7 MorphismDatumType</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X850E7C0C807F3402">1.4-8 TwoCellDatumType</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X78D0C0057817DBC3">1.4-9 CommutativeRingOfLinearCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X80AF18E4797A5BB4">1.4-10 RangeCategoryOfHomomorphismStructure</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7CF2F93F8258DAD5">1.4-11 AdditiveGenerators</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7E094E2680348C88">1.4-12 IndecomposableProjectiveObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X85E6A5AF7DDA4F2C">1.4-13 IndecomposableInjectiveObjects</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X8305A19E86EC7B67">1.5 <span class="Heading">Logic switcher</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X82C32E8C790EAB42">1.5-1 CapCategorySwitchLogicPropagationForObjectsOn</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7FEF6F218491CD45">1.5-2 CapCategorySwitchLogicPropagationForObjectsOff</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X80C98B547A76705D">1.5-3 CapCategorySwitchLogicPropagationForMorphismsOn</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X86469EBF8261E1D4">1.5-4 CapCategorySwitchLogicPropagationForMorphismsOff</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7C06E84F78D82C0D">1.5-5 CapCategorySwitchLogicPropagationOn</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X84F114757E964E1E">1.5-6 CapCategorySwitchLogicPropagationOff</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X84824AC3793D872B">1.5-7 CapCategorySwitchLogicOn</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X84A995A687D031B7">1.5-8 CapCategorySwitchLogicOff</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X7A15CCB67FBCF3E3">1.6 <span class="Heading">Tool functions</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X851D0435816DDB40">1.6-1 CanCompute</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X820DD63180AE4BAB">1.6-2 OperationWeight</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7AA6C5857FB663EB">1.6-3 MissingOperationsForConstructivenessOfCategory</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X7DB3D2BD8792ABBC">1.7 <span class="Heading">Well-Definedness of Cells</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X839EA4D7805D4F97">1.7-1 IsWellDefined</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X7D2E74CE87255099">1.8 <span class="Heading">Unpacking data structures</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X8790DC5F7A2BD22E">1.8-1 Down</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X858B64487B2DA04E">1.8-2 DownOnlyMorphismData</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7BABD65A821C138F">1.8-3 DownToBottom</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X79DB9EE785F723D1">1.9 <span class="Heading">Caching</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7DB820A686B4059F">1.9-1 SetCachingOfCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X87AA14F27892F14F">1.9-2 SetCachingOfCategoryWeak</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X844903657E52E6D1">1.9-3 SetDefaultCaching</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X7EC631BC7CFCF5DB">1.10 <span class="Heading">Sanity checks</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7BB84C7B83FE3D80">1.10-1 DisableInputSanityChecks</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X7984C0E986CF0986">1.11 <span class="Heading">Timing statistics</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X86C6F8828628B070">1.11-1 EnableTimingStatistics</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X81A1CDD77D375231">1.12 <span class="Heading">Enable automatic calls of <code class="code">Add</code></span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7C01E3727D08D219">1.12-1 EnableAddForCategoricalOperations</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X7876FF1F831F58B0">1.13 <span class="Heading">Performance tweaks</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X7B6A66AA7D212DDC">1.14 <span class="Heading">LaTeX</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X831B157D7CC3DDA3">1.14-1 LaTeXOutput</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7B34A09D7AF0F683">1.14-2 LaTeXOutput</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap2_mj.html#X78497E777FB3E402">2 <span class="Heading">Objects</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.html#X7ABD8E5A8408A301">2.1 <span class="Heading">Attributes for the Type of Objects</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7C3B8C3D865002C8">2.1-1 CapCategory</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.html#X81817A2C84F03D1D">2.2 <span class="Heading">Adding Objects to a Category</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X824AE09A81D2B184">2.2-1 Add</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X855C644A812F32B7">2.2-2 AddObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X87BD8BB88206D940">2.2-3 CreateCapCategoryObjectWithAttributes</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7F5D75377B0D54A6">2.2-4 AsCapCategoryObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7FAE21CF84BD7986">2.2-5 AsPrimitiveValue</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.html#X87FC6F8A78E599E0">2.3 <span class="Heading">Equalities for Objects</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X8337569D81C0BBEC">2.3-1 IsEqualForObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7C34D06C7ABE563F">2.3-2 IsIsomorphicForObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7D3407D68401C878">2.3-3 SomeIsomorphismBetweenObjects</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.html#X86CCD70884952468">2.4 <span class="Heading">Categorical Properties of Objects</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X854468CF79122D57">2.4-1 IsBijectiveObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X849A94147D3446BE">2.4-2 IsProjective</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X8788D5A27EC1F994">2.4-3 IsInjective</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7D3542EE7A8448A7">2.4-4 IsTerminal</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X83F6095A80DCCDC3">2.4-5 IsInitial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X856FA5E084753312">2.4-6 IsZeroForObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X824765AD78E027CC">2.4-7 IsZero</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.html#X8332653E7EA2EB72">2.5 <span class="Heading">Random Objects</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X85A6C3687C46085F">2.5-1 RandomObjectByInteger</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7EEC27307C4B06E8">2.5-2 RandomObjectByList</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7E0974E58188E6FB">2.5-3 RandomObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7AF3D62C7F8F40AE">2.5-4 RandomObject</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.html#X7DD668627932185C">2.6 <span class="Heading">Tool functions for caches</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7BAE9BBC874635CB">2.6-1 IsEqualForCacheForObjects</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.html#X824C0CC579E8DD7F">2.7 <span class="Heading">Object constructors</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X825D050A8674D377">2.7-1 ObjectConstructor</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7C6745F27FBA23F7">2.7-2 /</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X8521A36F7BBFF6BD">2.7-3 ObjectDatum</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.html#X7820B09C781A90A8">2.8 <span class="Heading">Well-Definedness of Objects</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7F9A38A187D9ABFA">2.8-1 IsWellDefinedForObjects</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.html#X866BE10883381E75">2.9 <span class="Heading">SetOfObjects</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X8047E157804C680E">2.9-1 SetOfObjectsOfCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7B77708881BFE682">2.9-2 SetOfObjects</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.html#X7EFAF5CD83C3298F">2.10 <span class="Heading">Projectives</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7FED5E898784C314">2.10-1 SomeProjectiveObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7D5951AA7EBD7750">2.10-2 EpimorphismFromSomeProjectiveObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X81F04D8186B94570">2.10-3 EpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7BFFD7FE82DCB5F6">2.10-4 ProjectiveLift</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.html#X87100AFB7A202D2F">2.11 <span class="Heading">Injectives</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7C06E1807D8775AD">2.11-1 SomeInjectiveObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X8502893C82A38864">2.11-2 MonomorphismIntoSomeInjectiveObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7A7C030382397A2B">2.11-3 MonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7CCBB0A384F37EC6">2.11-4 InjectiveColift</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.html#X7DEC418578FAA1C0">2.12 <span class="Heading">Simplified Objects</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7BA160B382F8D742">2.12-1 Simplify</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X85B54852792DEDD7">2.12-2 SimplifyObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X78C0D2CB867C5C90">2.12-3 SimplifyObject_IsoFromInputObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X835832A685F651C8">2.12-4 SimplifyObject_IsoToInputObject</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.html#X814E7CE2792896ED">2.13 <span class="Heading">Dimensions</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X824604E9876DDDC5">2.13-1 ProjectiveDimension</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X823062CF792E3359">2.13-2 InjectiveDimension</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap3_mj.html#X7BEB6C617FED52DA">3 <span class="Heading">Morphisms</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X8642E3327E96BBDD">3.1 <span class="Heading">Attributes for the Type of Morphisms</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7E923036810C606E">3.1-1 CapCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7E1373E385E7315A">3.1-2 Source</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X817496B987A1ADFC">3.1-3 Range</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X83A0A39587BD6383">3.1-4 Target</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X867B9398854FEFFD">3.2 <span class="Heading">Adding Morphisms to a Category</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7BDADB628232C280">3.2-1 Add</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X82453E55857562AB">3.2-2 AddMorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X78005D357A051FC6">3.2-3 CreateCapCategoryMorphismWithAttributes</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7AE302BE7C2E829F">3.2-4 AsCapCategoryMorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7893F08182290038">3.2-5 AsPrimitiveValue</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X8279E00178F05A66">3.3 <span class="Heading">Morphism constructors</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7F1FB34F789ECB10">3.3-1 MorphismConstructor</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7BBFB178866108FA">3.3-2 MorphismDatum</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X7A00D0C181471D06">3.4 <span class="Heading">Categorical Properties of Morphisms</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7A6F64027EEAF42B">3.4-1 IsMonomorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7E85E0A67BA11091">3.4-2 IsEpimorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7F29CF0282EFEAA3">3.4-3 IsIsomorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X871A71747E03207D">3.4-4 IsSplitMonomorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7B4DB8C887F37D02">3.4-5 IsSplitEpimorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7FA10AFB7F441434">3.4-6 IsOne</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7BA4290882AFFCA3">3.4-7 IsIdempotent</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X7B655F2678F605D3">3.5 <span class="Heading">Random Morphisms</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X79EBA1717D89B0A4">3.5-1 RandomMorphismWithFixedSourceByInteger</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X84FDBEED7844CDB6">3.5-2 RandomMorphismWithFixedSourceByList</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X844B1DDC8488B7CA">3.5-3 RandomMorphismWithFixedRangeByInteger</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X8568D71882C30501">3.5-4 RandomMorphismWithFixedRangeByList</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X80F66E9D809EA6A7">3.5-5 RandomMorphismWithFixedSourceAndRangeByInteger</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7BF231C57B40B1A1">3.5-6 RandomMorphismWithFixedSourceAndRangeByList</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X81DB09BA7CBD3DB4">3.5-7 RandomMorphismByInteger</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7E79F7A9802F622D">3.5-8 RandomMorphismByList</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X83D121E787FDC6E8">3.5-9 RandomMorphismWithFixedSource</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X7EA50D6587A93936">3.6 <span class="Heading">Non-Categorical Properties of Morphisms</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X8211959783AFF307">3.6-1 IsEqualToIdentityMorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X79D407A3807309FC">3.6-2 IsEqualToZeroMorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X81057B3E812B06CC">3.6-3 IsEndomorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X84E5DE257F241830">3.6-4 IsAutomorphism</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X850CFDD48773998E">3.7 <span class="Heading">Equality and Congruence for Morphisms</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7FABCFBF865F4179">3.7-1 IsCongruentForMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X8004F1DA7D9BFA8B">3.7-2 IsEqualForMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X8589E5A4814C3DA5">3.7-3 IsEqualForMorphismsOnMor</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X8312421679CAAE35">3.8 <span class="Heading">Basic Operations for Morphisms in Ab-Categories</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X844684AD86DCC2DC">3.8-1 IsZeroForMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X83B77FBB85927F14">3.8-2 AdditionForMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7B6461F5873F3F9D">3.8-3 SubtractionForMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X83177713785DCFFC">3.8-4 AdditiveInverseForMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X8187CAF17EB5D6D0">3.8-5 MultiplyWithElementOfCommutativeRingForMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X877D74C67D041F74">3.8-6 *</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X873412DB7BD0FBD3">3.8-7 ZeroMorphism</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X7C81E153817F489F">3.9 <span class="Heading">Subobject and Factorobject Operations</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7E99DAA884674DE2">3.9-1 IsEqualAsSubobjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X79389FBF86CF87A4">3.9-2 IsEqualAsFactorobjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7C21531C7EE65C72">3.9-3 IsDominating</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7C77E9D479C8D502">3.9-4 IsCodominating</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X82ADC0BF82DA2122">3.10 <span class="Heading">Identity Morphism and Composition of Morphisms</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7C9F3D8086238443">3.10-1 IdentityMorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X8244F7A0868BE27D">3.10-2 PreCompose</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X83CB57FB81931CFE">3.10-3 PreCompose</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X87A5FFE97BB5190A">3.10-4 PreComposeList</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X84293B8381256A08">3.10-5 PostCompose</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X81222A1084A4F637">3.10-6 PostCompose</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7BD83BF3835870E9">3.10-7 PostComposeList</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7D50F754822C30D7">3.10-8 SumOfMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7C101B5C7AC9089C">3.10-9 LinearCombinationOfMorphisms</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X7D5182B48598FBC5">3.11 <span class="Heading">Well-Definedness of Morphisms</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7968A871832877B8">3.11-1 IsWellDefinedForMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X820A29637F48E932">3.11-2 IsWellDefinedForMorphismsWithGivenSourceAndRange</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X83339BB37B01DB19">3.12 <span class="Heading">Lift/Colift</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X83CDF65582CD9921">3.12-1 LiftAlongMonomorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X79AA9F638487EE32">3.12-2 ColiftAlongEpimorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7D9BA8D67892BD48">3.12-3 IsLiftableAlongMonomorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7DCDD2B2859EFD2D">3.12-4 IsColiftableAlongEpimorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X87C471D583C1CD9E">3.12-5 Lift</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X8597DE1C83CFE89D">3.12-6 LiftOrFail</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7F895375875BE5B9">3.12-7 IsLiftable</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7BA38B0F797AFE20">3.12-8 Colift</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X79FFE43E7962CFBA">3.12-9 ColiftOrFail</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X8685B04087B1E52A">3.12-10 IsColiftable</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X864F84C47DC1A620">3.13 <span class="Heading">Inverses</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X8371BF227B4C32EF">3.13-1 InverseForMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X83E4A87F7B2290F1">3.13-2 PreInverseForMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X800447917F75989A">3.13-3 PostInverseForMorphisms</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X7DD668627932185C">3.14 <span class="Heading">Tool functions for caches</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X83F87AE07ED534ED">3.14-1 IsEqualForCacheForMorphisms</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X84563B1A835E9766">3.15 <span class="Heading">IsHomSetInhabited</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X81DB15B87D1A946D">3.15-1 IsHomSetInhabited</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X858111977D44BC9C">3.16 <span class="Heading">SetOfMorphisms</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X824691307DEF08FC">3.16-1 SetOfMorphismsOfFiniteCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X8426F188818F02B7">3.16-2 SetOfMorphisms</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X7F065B9A78922547">3.17 <span class="Heading">Homomorphism structures</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X81BC29A679416C45">3.17-1 HomomorphismStructureOnObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X8257E3787865C5E0">3.17-2 HomomorphismStructureOnMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7FBC94B983CBA64F">3.17-3 HomomorphismStructureOnMorphismsWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7999CCFF82DA16D7">3.17-4 DistinguishedObjectOfHomomorphismStructure</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X81F1237C7DBF7603">3.17-5 InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7A5A05C682EB033D">3.17-6 InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X8760D39C865239E8">3.17-7 InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7BE5E2687FC110AC">3.17-8 SolveLinearSystemInAbCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7CAAF16981546CE0">3.17-9 SolveLinearSystemInAbCategoryOrFail</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7A722FA5817D5F76">3.17-10 MereExistenceOfSolutionOfLinearSystemInAbCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X8666962D84B81665">3.17-11 MereExistenceOfUniqueSolutionOfLinearSystemInAbCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7E6E1269854E4B94">3.17-12 MereExistenceOfUniqueSolutionOfHomogeneousLinearSystemInAbCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X85A7BE3185E58026">3.17-13 BasisOfSolutionsOfHomogeneousLinearSystemInLinearCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X798F78CE7EAA7F95">3.17-14 BasisOfSolutionsOfHomogeneousDoubleLinearSystemInLinearCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X860621FE7C1E6634">3.17-15 BasisOfSolutionsOfHomogeneousDoubleLinearSystemInLinearCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7D473D9D83C53185">3.17-16 HomStructure</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7848040086B41266">3.17-17 HomStructure</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X834C3BB480D6561D">3.17-18 HomStructure</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7BFD58C57EC23BD5">3.17-19 HomStructure</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7CDC08947CF2022E">3.17-20 HomStructure</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X820B9AC886D78944">3.17-21 HomStructure</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X8705DA127E089709">3.17-22 HomStructure</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X873E91D180B3057C">3.17-23 ExtendRangeOfHomomorphismStructureByFullEmbedding</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7C551C8F7BA2F3F1">3.17-24 ExtendRangeOfHomomorphismStructureByIdentityAsFullEmbedding</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X8510A7E08672FD73">3.17-25 MorphismsOfExternalHom</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7CC9C1A487AE6086">3.17-26 BasisOfExternalHom</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X8636593C845B23D2">3.17-27 CoefficientsOfMorphism</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X7B39E2927B533D10">3.18 <span class="Heading">Simplified Morphisms</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7FCE611883F6A56B">3.18-1 SimplifyMorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7DAD0E437D28F300">3.18-2 SimplifySource</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X843C68B97ED31DD4">3.18-3 SimplifySource_IsoToInputObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7CE5C1BB7BA7AA16">3.18-4 SimplifySource_IsoFromInputObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7F80C5357F84A39A">3.18-5 SimplifyRange</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X82FCEC277F3A1A70">3.18-6 SimplifyRange_IsoToInputObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X865CD95E7D068A77">3.18-7 SimplifyRange_IsoFromInputObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X821E16DF8071B8A4">3.18-8 SimplifySourceAndRange</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X84C39DE584D38D4E">3.18-9 SimplifySourceAndRange_IsoToInputRange</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X859DF3C2819FFE4D">3.18-10 SimplifySourceAndRange_IsoFromInputRange</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7DD0915A7E23283E">3.18-11 SimplifySourceAndRange_IsoToInputSource</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X783C20A47889C4A8">3.18-12 SimplifySourceAndRange_IsoFromInputSource</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X830C7337864DB3D6">3.18-13 SimplifyEndo</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X78189F508549ABAA">3.18-14 SimplifyEndo_IsoToInputObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7C07985D844FD715">3.18-15 SimplifyEndo_IsoFromInputObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7D80D2B2792A7A50">3.18-16 Simplify</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X8379B7817AA67F2D">3.19 <span class="Heading">Reduction by split epi summands</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7F997AF37E59411F">3.19-1 SomeReductionBySplitEpiSummand</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7C92D8AF82E65289">3.19-2 SomeReductionBySplitEpiSummand_MorphismToInputRange</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3_mj.html#X7A0F381279955981">3.19-3 SomeReductionBySplitEpiSummand_MorphismFromInputRange</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap4_mj.html#X7B2650D983390045">4 <span class="Heading">Category 2-Cells</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4_mj.html#X793836877FCD5EC6">4.1 <span class="Heading">Attributes for the Type of 2-Cells</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X8061EB36809022A4">4.1-1 Source</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X7C16D44B8639016B">4.1-2 Range</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X780D00C482CA707D">4.1-3 Target</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4_mj.html#X7CB51AC67E08E3A1">4.2 <span class="Heading">Adding 2-Cells to a Category</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X82FFCA6D82FC0ED9">4.2-1 Add</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X7E3D6C538354F1D9">4.2-2 AddTwoCell</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X7B449CCB7C8050A3">4.2-3 CreateCapCategoryTwoCellWithAttributes</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4_mj.html#X7B780EDB7E466121">4.3 <span class="Heading">Identity 2-Cell and Composition of 2-Cells</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X78ED1F327D902924">4.3-1 IdentityTwoCell</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X7DD9EB1F80921939">4.3-2 HorizontalPreCompose</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X87C942B87C6A161D">4.3-3 HorizontalPostCompose</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X7D89385B7834B086">4.3-4 VerticalPreCompose</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X79D9FBEA851C4F00">4.3-5 VerticalPostCompose</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4_mj.html#X84A60F017943A943">4.4 <span class="Heading">Well-Definedness for 2-Cells</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X8240AF367C87663F">4.4-1 IsWellDefinedForTwoCells</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap5_mj.html#X87C0818C7EFB273D">5 <span class="Heading">Category of Categories</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5_mj.html#X7A8C280B85B50DE0">5.1 <span class="Heading">The Category Cat</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X810DBB407D117E6B">5.1-1 CapCat</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5_mj.html#X7CC6903E78F24167">5.2 <span class="Heading">Categories</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X814369D484E429EF">5.2-1 IsCapCategoryAsCatObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X7CBE360B8629DC79">5.2-2 IsCapFunctor</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X7D2DD1297D6E57D0">5.2-3 IsCapNaturalTransformation</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5_mj.html#X86EC0F0A78ECBC10">5.3 <span class="Heading">Constructors</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X7F7E47537FD1EDC3">5.3-1 AsCatObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X7E3142BA84C1EC72">5.3-2 AsCapCategory</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5_mj.html#X78D1062D78BE08C1">5.4 <span class="Heading">Functors</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X7814A6FC86238C93">5.4-1 CapFunctor</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X7E4F877C7C91B7CA">5.4-2 CapFunctor</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X78773EEC7F33AC3A">5.4-3 SourceOfFunctor</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X8710DBB68544497A">5.4-4 RangeOfFunctor</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X7A75B6A77C9F6836">5.4-5 AddObjectFunction</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X78CD5D1E811A85CF">5.4-6 FunctorObjectOperation</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X85EFB9BE8145B737">5.4-7 AddMorphismFunction</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X7D3BAF84793D9576">5.4-8 FunctorMorphismOperation</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X850397447A1A766E">5.4-9 ApplyFunctor</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X8562CA1F795C5154">5.4-10 InputSignature</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X781664C7876ED8A0">5.4-11 InstallFunctor</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X833F9B6D85713A4F">5.4-12 IdentityFunctor</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X83FFF5538147E243">5.4-13 FunctorCanonicalizeZeroObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X7EF63850830B8064">5.4-14 NaturalIsomorphismFromIdentityToCanonicalizeZeroObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X7AA6B22B7BF73AAE">5.4-15 FunctorCanonicalizeZeroMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X8223CAD483193F52">5.4-16 NaturalIsomorphismFromIdentityToCanonicalizeZeroMorphisms</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5_mj.html#X836749D8814FEEE6">5.5 <span class="Heading">Natural transformations</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X7F32E8C985178781">5.5-1 Name</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X7C9810B8858249A0">5.5-2 NaturalTransformation</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X7DFC4C9183446E95">5.5-3 AddNaturalTransformationFunction</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X867F8B6A78462396">5.5-4 ApplyNaturalTransformation</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X79E6BE7E83687767">5.5-5 InstallNaturalTransformation</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X7EAB133B81CDB5E5">5.5-6 HorizontalPreComposeNaturalTransformationWithFunctor</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5_mj.html#X7B8AC0BB8370031D">5.5-7 HorizontalPreComposeFunctorWithNaturalTransformation</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap6_mj.html#X7994CC1487D7617C">6 <span class="Heading">Universal Objects</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6_mj.html#X7DCD99628504B810">6.1 <span class="Heading">Kernel</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X82EAD3357C9FE4C8">6.1-1 KernelObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X8430666980D732FB">6.1-2 KernelEmbedding</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7CBE1D0C84F5A47E">6.1-3 KernelEmbeddingWithGivenKernelObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X78140AF884DE0736">6.1-4 MorphismFromKernelObjectToSink</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7BF5A3A57E23C795">6.1-5 MorphismFromKernelObjectToSinkWithGivenKernelObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X87920AC67A5802BC">6.1-6 KernelLift</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X83D439A07AD29D05">6.1-7 KernelLiftWithGivenKernelObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X78D5B94A7EF4D4F0">6.1-8 KernelObjectFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X787AE8F07F7A062C">6.1-9 KernelObjectFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7F61FE0B82AF4CDB">6.1-10 KernelObjectFunctorialWithGivenKernelObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7A17922D869CCEB5">6.1-11 KernelObjectFunctorialWithGivenKernelObjects</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6_mj.html#X875F177A82BF9B8B">6.2 <span class="Heading">Cokernel</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X82803DBC80F40EFC">6.2-1 CokernelObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X78948D7A7B52AB31">6.2-2 CokernelProjection</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X845DC9377A05BE7B">6.2-3 CokernelProjectionWithGivenCokernelObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X872E26C57F195D50">6.2-4 MorphismFromSourceToCokernelObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X876648527E75AA04">6.2-5 MorphismFromSourceToCokernelObjectWithGivenCokernelObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X8735262382CE2560">6.2-6 CokernelColift</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X86DB5CD27C0EB7D2">6.2-7 CokernelColiftWithGivenCokernelObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X78E421227FB90A70">6.2-8 CokernelObjectFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X837889ED7BD6CBED">6.2-9 CokernelObjectFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7BA172F07A431626">6.2-10 CokernelObjectFunctorialWithGivenCokernelObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7F59A455873709D3">6.2-11 CokernelObjectFunctorialWithGivenCokernelObjects</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6_mj.html#X797A74DE8267C974">6.3 <span class="Heading">Zero Object</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X790C4FA87CADB93E">6.3-1 ZeroObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X87D87A177FE0542F">6.3-2 ZeroObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7A0BF1118777C8A3">6.3-3 UniversalMorphismFromZeroObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X80327B2387F38FE8">6.3-4 UniversalMorphismFromZeroObjectWithGivenZeroObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X86003308844F8341">6.3-5 UniversalMorphismIntoZeroObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X866104CA84CBC40A">6.3-6 UniversalMorphismIntoZeroObjectWithGivenZeroObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7F701A11812C74C5">6.3-7 MorphismFromZeroObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X837BD808791003FF">6.3-8 MorphismIntoZeroObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X8711ABE9811C7CCF">6.3-9 IsomorphismFromZeroObjectToInitialObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X86FF82B284B8E2EB">6.3-10 IsomorphismFromInitialObjectToZeroObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X78C501A179BB6CBB">6.3-11 IsomorphismFromZeroObjectToTerminalObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X83E84FC187EE2445">6.3-12 IsomorphismFromTerminalObjectToZeroObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X79CEAF827DDED44B">6.3-13 ZeroObjectFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X82D7BF1F85268B0A">6.3-14 ZeroObjectFunctorialWithGivenZeroObjects</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6_mj.html#X827CD17C7EBFD58F">6.4 <span class="Heading">Terminal Object</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7DC837217946D22D">6.4-1 TerminalObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7D86D2EA7845AEEB">6.4-2 TerminalObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7BEA5AF67D63F4A5">6.4-3 UniversalMorphismIntoTerminalObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X8707AD1784DCBBFF">6.4-4 UniversalMorphismIntoTerminalObjectWithGivenTerminalObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7C616CD287760D2F">6.4-5 TerminalObjectFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X8511229882130F93">6.4-6 TerminalObjectFunctorialWithGivenTerminalObjects</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6_mj.html#X78B0ED8B80BF5254">6.5 <span class="Heading">Initial Object</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7A70384E7F182B00">6.5-1 InitialObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7E17CDF481C348B9">6.5-2 InitialObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X873FC2B087004DC3">6.5-3 UniversalMorphismFromInitialObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7F7177F585576F6B">6.5-4 UniversalMorphismFromInitialObjectWithGivenInitialObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X87B1C71179F798C8">6.5-5 InitialObjectFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7CE9BBC27F70F3BD">6.5-6 InitialObjectFunctorialWithGivenInitialObjects</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6_mj.html#X81FDB99378D1307A">6.6 <span class="Heading">Direct Sum</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X82AD6F187B550060">6.6-1 DirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7BC1F4728357D708">6.6-2 DirectSumOp</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X78E4506F7BBA7A9A">6.6-3 ProjectionInFactorOfDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X832F2E577B7B70BB">6.6-4 ProjectionInFactorOfDirectSumWithGivenDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X842743E97E2F28CD">6.6-5 InjectionOfCofactorOfDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X876493497F824480">6.6-6 InjectionOfCofactorOfDirectSumWithGivenDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X84FCF65E798EBF7B">6.6-7 UniversalMorphismIntoDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X79EFDADB8276B639">6.6-8 UniversalMorphismIntoDirectSumWithGivenDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X812D12CF7AB6F499">6.6-9 UniversalMorphismFromDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7B64A051814EFDDB">6.6-10 UniversalMorphismFromDirectSumWithGivenDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7AB9D34882B5EDDF">6.6-11 IsomorphismFromDirectSumToDirectProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7E87C9257A1BFFEE">6.6-12 IsomorphismFromDirectProductToDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X85599FEC812FD591">6.6-13 IsomorphismFromDirectSumToCoproduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7CACFBCA7B9A4E19">6.6-14 IsomorphismFromCoproductToDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X847C8B7E8646DF61">6.6-15 MorphismBetweenDirectSums</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7FDE63F78410A822">6.6-16 MorphismBetweenDirectSums</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7E020D2783A62178">6.6-17 MorphismBetweenDirectSumsWithGivenDirectSums</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7A3400D485D0C438">6.6-18 ComponentOfMorphismIntoDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7B71C4F4799263E6">6.6-19 ComponentOfMorphismFromDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X784D53A47F683192">6.6-20 DirectSumFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X78B24593868483EE">6.6-21 DirectSumFunctorialWithGivenDirectSums</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6_mj.html#X7E8036DF7AC65994">6.7 <span class="Heading">Coproduct</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X872D3F297979C7B8">6.7-1 Coproduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7E3C6A0482E8CAB5">6.7-2 Coproduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X82FCE4657D132584">6.7-3 Coproduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X82D87B52862BB55C">6.7-4 InjectionOfCofactorOfCoproduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X83687CD9789CAB9C">6.7-5 InjectionOfCofactorOfCoproductWithGivenCoproduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7D002C7B82B26908">6.7-6 UniversalMorphismFromCoproduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X85F392E5865012C7">6.7-7 UniversalMorphismFromCoproductWithGivenCoproduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7FDE92577EFB6866">6.7-8 CoproductFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X85FFAD9E7FAFF9D4">6.7-9 CoproductFunctorialWithGivenCoproducts</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X82F0CBC179945B84">6.7-10 ComponentOfMorphismFromCoproduct</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6_mj.html#X844C65417FBEA3C7">6.8 <span class="Heading">Direct Product</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X861BA02C7902A4F4">6.8-1 DirectProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7AEF0CD1812F7EC8">6.8-2 DirectProductOp</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7FFBE9EC7BEE7673">6.8-3 ProjectionInFactorOfDirectProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X8288ABA984EF9DED">6.8-4 ProjectionInFactorOfDirectProductWithGivenDirectProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X872189E4848F6863">6.8-5 UniversalMorphismIntoDirectProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X81A27DC180D751B8">6.8-6 UniversalMorphismIntoDirectProductWithGivenDirectProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X79EB76507C8AB4A4">6.8-7 DirectProductFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7DD930FE78492D58">6.8-8 DirectProductFunctorialWithGivenDirectProducts</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7C5769577CEAF2C4">6.8-9 ComponentOfMorphismIntoDirectProduct</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6_mj.html#X824FD8F786D2350D">6.9 <span class="Heading">Equalizer</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X824FD8F786D2350D">6.9-1 Equalizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7B1937088320E680">6.9-2 EqualizerOp</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X803E62B382D76E4F">6.9-3 EmbeddingOfEqualizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X828423F283DF97BA">6.9-4 EmbeddingOfEqualizerWithGivenEqualizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X78A6E6AA87FADB13">6.9-5 MorphismFromEqualizerToSink</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7CF04F98844789DE">6.9-6 MorphismFromEqualizerToSinkWithGivenEqualizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X872F9E2E853EB91D">6.9-7 UniversalMorphismIntoEqualizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7F7191B57D8AA456">6.9-8 UniversalMorphismIntoEqualizerWithGivenEqualizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X82400CA57F0E5585">6.9-9 EqualizerFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7804D05C7EFDC5CE">6.9-10 EqualizerFunctorialWithGivenEqualizers</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7DD2167B7836DF62">6.9-11 JointPairwiseDifferencesOfMorphismsIntoDirectProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7E8843F17F0F3D14">6.9-12 IsomorphismFromEqualizerToKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7A96B57382715059">6.9-13 IsomorphismFromKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProductToEqualizer</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6_mj.html#X7BA8F7BD793CC288">6.10 <span class="Heading">Coequalizer</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7BA8F7BD793CC288">6.10-1 Coequalizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X80FCD6BE84781FE6">6.10-2 CoequalizerOp</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7E0468077DE9EC3B">6.10-3 ProjectionOntoCoequalizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X78B7474384BAA57A">6.10-4 ProjectionOntoCoequalizerWithGivenCoequalizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7D3F328F82CD8A49">6.10-5 MorphismFromSourceToCoequalizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X82EB657782E82115">6.10-6 MorphismFromSourceToCoequalizerWithGivenCoequalizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X86EFF737796C2630">6.10-7 UniversalMorphismFromCoequalizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X816990198092E8B6">6.10-8 UniversalMorphismFromCoequalizerWithGivenCoequalizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X818C5AD2794A2C7B">6.10-9 CoequalizerFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7CB3323C7B44B75F">6.10-10 CoequalizerFunctorialWithGivenCoequalizers</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7AE156547D6F06CE">6.10-11 JointPairwiseDifferencesOfMorphismsFromCoproduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X80AFEE3579EB987A">6.10-12 IsomorphismFromCoequalizerToCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X78A3F1087B86E650">6.10-13 IsomorphismFromCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproductToCoequalizer</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6_mj.html#X8038824E84B571F8">6.11 <span class="Heading">Fiber Product (= Pullback)</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7DAB395584678429">6.11-1 IsomorphismFromFiberProductToEqualizerOfDirectProductDiagram</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X8190FBB47DB6307D">6.11-2 IsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X82157EF887CC99D1">6.11-3 FiberProductEmbeddingInDirectProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7919AF7486FA42C5">6.11-4 FiberProductEmbeddingInDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7DE20941803BFBD9">6.11-5 FiberProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X8000EEB77D6E8B7C">6.11-6 FiberProductOp</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X8104B3717D3B646F">6.11-7 ProjectionInFactorOfFiberProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X8085606A7B09071F">6.11-8 ProjectionInFactorOfFiberProductWithGivenFiberProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7C6EF50085D13D12">6.11-9 MorphismFromFiberProductToSink</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X866ED61786F4C76C">6.11-10 MorphismFromFiberProductToSinkWithGivenFiberProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X8441CF7F8140E8C2">6.11-11 UniversalMorphismIntoFiberProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7A6A890D85F01977">6.11-12 UniversalMorphismIntoFiberProductWithGivenFiberProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X791F33AB7EAF6A2A">6.11-13 FiberProductFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X83A9F01A82894F65">6.11-14 FiberProductFunctorialWithGivenFiberProducts</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6_mj.html#X81A2D49D85923894">6.12 <span class="Heading">Pushout</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X87C495A782BE3433">6.12-1 IsomorphismFromPushoutToCoequalizerOfCoproductDiagram</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7EAFDD727D94E932">6.12-2 IsomorphismFromCoequalizerOfCoproductDiagramToPushout</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7E718F228767638A">6.12-3 PushoutProjectionFromCoproduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X837467847F63FE1B">6.12-4 PushoutProjectionFromDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X78E10D9E849FE214">6.12-5 Pushout</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X78D93A2883C83CAC">6.12-6 Pushout</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7CF12E527805752F">6.12-7 InjectionOfCofactorOfPushout</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7E54DB957B5F9157">6.12-8 InjectionOfCofactorOfPushoutWithGivenPushout</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X84B182F882D1F039">6.12-9 MorphismFromSourceToPushout</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7D3DAF80816918A4">6.12-10 MorphismFromSourceToPushoutWithGivenPushout</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X84F299F47BFB39F8">6.12-11 UniversalMorphismFromPushout</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7E3C69767F1C3B30">6.12-12 UniversalMorphismFromPushoutWithGivenPushout</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X80494AF087F5DE4B">6.12-13 PushoutFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7DAF60808113D76B">6.12-14 PushoutFunctorialWithGivenPushouts</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6_mj.html#X87F4D35A826599C6">6.13 <span class="Heading">Image</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X80490BD785CA695A">6.13-1 IsomorphismFromImageObjectToKernelOfCokernel</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7CAA3342865B456B">6.13-2 IsomorphismFromKernelOfCokernelToImageObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X83B457FF79AC5AC6">6.13-3 ImageObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X86CEE2D1876EC2B9">6.13-4 ImageEmbedding</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X82991FA17B460744">6.13-5 ImageEmbeddingWithGivenImageObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X8144201987A27661">6.13-6 CoastrictionToImage</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X78BE36EA83BEF493">6.13-7 CoastrictionToImageWithGivenImageObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7989B1FB811D2033">6.13-8 UniversalMorphismFromImage</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X86E557097CFB4430">6.13-9 UniversalMorphismFromImageWithGivenImageObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7A46647F7AA9C398">6.13-10 ImageObjectFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X85F174A07A09B04C">6.13-11 ImageObjectFunctorialWithGivenImageObjects</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6_mj.html#X7EB02EC487B586E5">6.14 <span class="Heading">Coimage</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7C594E227D8DB0ED">6.14-1 IsomorphismFromCoimageToCokernelOfKernel</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7CF7E7E47A460E56">6.14-2 IsomorphismFromCokernelOfKernelToCoimage</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X82318F9B876ACB1A">6.14-3 CoimageObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X788E717C7CCC6645">6.14-4 CoimageProjection</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X836301DF80A22C5C">6.14-5 CoimageProjectionWithGivenCoimageObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X805108BF8047357E">6.14-6 AstrictionToCoimage</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X78AC1C7384A60A5E">6.14-7 AstrictionToCoimageWithGivenCoimageObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7D051DDF7A68BFFB">6.14-8 UniversalMorphismIntoCoimage</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X87AACC0083B6D49F">6.14-9 UniversalMorphismIntoCoimageWithGivenCoimageObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X852EFBA87E7F6831">6.14-10 CoimageObjectFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7FB58F087D65DB38">6.14-11 CoimageObjectFunctorialWithGivenCoimageObjects</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6_mj.html#X8047F7C57B874495">6.15 <span class="Heading">Morphism between Coimage and Image</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7F7BD6A18581671E">6.15-1 MorphismFromCoimageToImage</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X8025749B78E12A2B">6.15-2 MorphismFromCoimageToImageWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X86692249870B0EC6">6.15-3 InverseOfMorphismFromCoimageToImage</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7B32041F7C9427E4">6.15-4 InverseOfMorphismFromCoimageToImageWithGivenObjects</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6_mj.html#X87F38F8284D3137C">6.16 <span class="Heading">Homology objects</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X8713652D7B7E1418">6.16-1 HomologyObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X8647C62283C9B921">6.16-2 HomologyObjectFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X81012CC0845DE717">6.16-3 HomologyObjectFunctorialWithGivenHomologyObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X8799E88E79EFE007">6.16-4 IsomorphismFromHomologyObjectToItsConstructionAsAnImageObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X828E94BA7CF6FB71">6.16-5 IsomorphismFromItsConstructionAsAnImageObjectToHomologyObject</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6_mj.html#X81E4AE0B7876230B">6.17 <span class="Heading">Projective covers and injective envelopes</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X790C931979343CFF">6.17-1 ProjectiveCoverObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X851836CC829092D9">6.17-2 EpimorphismFromProjectiveCoverObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X7C9F2CC480C7DA1D">6.17-3 EpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X791CA23A8401BF2F">6.17-4 InjectiveEnvelopeObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X879A01DD7DC8AB13">6.17-5 MonomorphismIntoInjectiveEnvelopeObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6_mj.html#X781E3ED78574B379">6.17-6 MonomorphismIntoInjectiveEnvelopeObjectWithGivenInjectiveEnvelopeObject</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap7_mj.html#X87A9DB228112DF45">7 <span class="Heading">Add Functions</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7_mj.html#X85EC14607B6F66FE">7.1 <span class="Heading">Functions Installed by Add</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7_mj.html#X85E3D9E07B8BC960">7.2 <span class="Heading">Add Method</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7_mj.html#X7E1C4F9D80329FEC">7.3 <span class="Heading">Method name record entries</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7_mj.html#X844CF4D187364721">7.4 <span class="Heading">Enhancing the method name record</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7_mj.html#X7AFA0108870EE97C">7.5 <span class="Heading">Prepare functions</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X84409FF87D35BE99">7.5-1 CAPOperationPrepareFunction</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7843089F86F47D3B">7.5-2 CAPAddPrepareFunction</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X82AEE9507F0B48BC">7.5-3 ListCAPPrepareFunctions</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7_mj.html#X829CEC0B8319A503">7.6 <span class="Heading">Available Add functions</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X811BB502781CFBB9">7.6-1 AddAdditionForMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7BE108F1785F069A">7.6-2 AddAdditiveGenerators</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7AB78A707BF08401">7.6-3 AddAdditiveInverseForMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X786682798320D413">7.6-4 AddAstrictionToCoimage</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7A3941A6808F122B">7.6-5 AddAstrictionToCoimageWithGivenCoimageObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7E995205864340BD">7.6-6 AddBasisOfExternalHom</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X8452C3617C063298">7.6-7 AddBasisOfSolutionsOfHomogeneousDoubleLinearSystemInLinearCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X78FCEAFA80D1D71B">7.6-8 AddBasisOfSolutionsOfHomogeneousLinearSystemInLinearCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X78C7D6E582FD41E9">7.6-9 AddCoastrictionToImage</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X8077FB7485FCD5E6">7.6-10 AddCoastrictionToImageWithGivenImageObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7F594A2F85F3806B">7.6-11 AddCoefficientsOfMorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X854D668E7F7AE192">7.6-12 AddCoequalizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X85D135A186E19749">7.6-13 AddCoequalizerFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X784EE97C7CBD86AE">7.6-14 AddCoequalizerFunctorialWithGivenCoequalizers</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X87747A0B87DA7CF9">7.6-15 AddCoimageObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7F38C4A17E52073B">7.6-16 AddCoimageObjectFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X80465F7B85F144D7">7.6-17 AddCoimageObjectFunctorialWithGivenCoimageObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X85B54DD47C3E9682">7.6-18 AddCoimageProjection</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X819E76B4798EA44C">7.6-19 AddCoimageProjectionWithGivenCoimageObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7988858A83DAFF4B">7.6-20 AddCokernelColift</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7991C43079F444CC">7.6-21 AddCokernelColiftWithGivenCokernelObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7827637D7B8E7E60">7.6-22 AddCokernelObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7E982C787FDA03DC">7.6-23 AddCokernelObjectFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7B162B6E7D60FFE7">7.6-24 AddCokernelObjectFunctorialWithGivenCokernelObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7D9723AA7E4EAC2A">7.6-25 AddCokernelProjection</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X793803DC816CBA27">7.6-26 AddCokernelProjectionWithGivenCokernelObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X84A7986F82ED769E">7.6-27 AddColift</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7BBEF7C479E612ED">7.6-28 AddColiftAlongEpimorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7F566C7D7ACC93CE">7.6-29 AddComponentOfMorphismFromCoproduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7ABE523F82B2DB7C">7.6-30 AddComponentOfMorphismFromDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7F72750382933C68">7.6-31 AddComponentOfMorphismIntoDirectProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X82B3F4A87CDF6F87">7.6-32 AddComponentOfMorphismIntoDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X790C5EE180471583">7.6-33 AddCoproduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X79F685258336C4B4">7.6-34 AddCoproductFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7B23923D84D6FC9F">7.6-35 AddCoproductFunctorialWithGivenCoproducts</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7FE84F89844B8352">7.6-36 AddDirectProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X78F2B05A7DC3F890">7.6-37 AddDirectProductFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X789E69C583A0E118">7.6-38 AddDirectProductFunctorialWithGivenDirectProducts</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7CE460A37D8D468F">7.6-39 AddDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X80778A107EFC97B8">7.6-40 AddDirectSumFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X829D88B6845FA373">7.6-41 AddDirectSumFunctorialWithGivenDirectSums</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7D7A07CC7C9541DB">7.6-42 AddDistinguishedObjectOfHomomorphismStructure</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X86275A2F7EF2A472">7.6-43 AddEmbeddingOfEqualizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X8346BE927EB0C95B">7.6-44 AddEmbeddingOfEqualizerWithGivenEqualizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X80D4EB9F793C19E7">7.6-45 AddEpimorphismFromProjectiveCoverObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X82D978CC78155811">7.6-46 AddEpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X85B76EA67A35B7B2">7.6-47 AddEpimorphismFromSomeProjectiveObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7B7B27468506DA04">7.6-48 AddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X8708C28287172ED7">7.6-49 AddEqualizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X8042AA538466FFE0">7.6-50 AddEqualizerFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X819700097DE622A4">7.6-51 AddEqualizerFunctorialWithGivenEqualizers</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X86B7F8B983B9B184">7.6-52 AddFiberProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7BFDD60786E07890">7.6-53 AddFiberProductFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X85CCD05C7D3D6B7C">7.6-54 AddFiberProductFunctorialWithGivenFiberProducts</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7B175A717B8D152B">7.6-55 AddHomologyObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X78E7DBF47DBDFB55">7.6-56 AddHomologyObjectFunctorialWithGivenHomologyObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X80ADD34F7833A668">7.6-57 AddHomomorphismStructureOnMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7F6B67487C55B055">7.6-58 AddHomomorphismStructureOnMorphismsWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7833851F7DD2D0F1">7.6-59 AddHomomorphismStructureOnObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X80B2FA2F7C2E2BDA">7.6-60 AddHorizontalPostCompose</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7C759D3A7CB3FA3A">7.6-61 AddHorizontalPreCompose</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X878F4D2481E94EB6">7.6-62 AddIdentityMorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X85B4A2607CDFC0D2">7.6-63 AddIdentityTwoCell</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X796EDCCD7A729E12">7.6-64 AddImageEmbedding</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X785393EB7C27451E">7.6-65 AddImageEmbeddingWithGivenImageObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7CA61123868B51B2">7.6-66 AddImageObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X8044B4EC7F102769">7.6-67 AddImageObjectFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7B22900C82A20B49">7.6-68 AddImageObjectFunctorialWithGivenImageObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X79CC10D18746249B">7.6-69 AddIndecomposableInjectiveObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X782ED2C27FB4739D">7.6-70 AddIndecomposableProjectiveObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X78D5E19E781D696A">7.6-71 AddInitialObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X80950253819512A8">7.6-72 AddInitialObjectFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X85493AEC80972B68">7.6-73 AddInitialObjectFunctorialWithGivenInitialObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X81B68CB6783FAFE0">7.6-74 AddInjectionOfCofactorOfCoproduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7DC2E9CD78A8622C">7.6-75 AddInjectionOfCofactorOfCoproductWithGivenCoproduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X845EB2F47C8FE49C">7.6-76 AddInjectionOfCofactorOfDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X86A78CC2859E4382">7.6-77 AddInjectionOfCofactorOfDirectSumWithGivenDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X87ED0E87850C6D96">7.6-78 AddInjectionOfCofactorOfPushout</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X8352461A796F9214">7.6-79 AddInjectionOfCofactorOfPushoutWithGivenPushout</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7CE0C54080533C0E">7.6-80 AddInjectiveColift</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7E7B72EC7B2FB537">7.6-81 AddInjectiveDimension</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X81CE72B78061AE51">7.6-82 AddInjectiveEnvelopeObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X805AC6057B80880D">7.6-83 AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X79A927B187FE594C">7.6-84 AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X87DD6A387E32DD37">7.6-85 AddInterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X865C7A1781F3AEF7">7.6-86 AddInverseForMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X872C63B87BFEE476">7.6-87 AddInverseOfMorphismFromCoimageToImage</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X849DC541848114A0">7.6-88 AddInverseOfMorphismFromCoimageToImageWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7FA3BD6D79D99498">7.6-89 AddIsAutomorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X78D83890795EAAF2">7.6-90 AddIsBijectiveObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X78E046E387674019">7.6-91 AddIsCodominating</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7A41C14B8169E993">7.6-92 AddIsColiftable</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X86BF34667D329168">7.6-93 AddIsColiftableAlongEpimorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X861A83B3802D0FBD">7.6-94 AddIsCongruentForMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X834AC612831DDD11">7.6-95 AddIsDominating</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X87B1905481F6AF28">7.6-96 AddIsEndomorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X8523850C827FE182">7.6-97 AddIsEpimorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X82DE9AE387425307">7.6-98 AddIsEqualAsFactorobjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7A97D3C3869323D1">7.6-99 AddIsEqualAsSubobjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X833165B27AA74580">7.6-100 AddIsEqualForCacheForMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7887D32C7973F4A0">7.6-101 AddIsEqualForCacheForObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X83F60F5F7E57F3C8">7.6-102 AddIsEqualForMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X84AB81547A770D36">7.6-103 AddIsEqualForMorphismsOnMor</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X787F654B82150781">7.6-104 AddIsEqualForObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X79F9BCED7C82AEAC">7.6-105 AddIsEqualToIdentityMorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X849B7E507B01ABE7">7.6-106 AddIsEqualToZeroMorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X85D7E2DE7D45CF70">7.6-107 AddIsHomSetInhabited</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X85701DBE7A5F90A1">7.6-108 AddIsIdempotent</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7E6EDA9484F3E6F6">7.6-109 AddIsInitial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7F7F309F7C67D6CE">7.6-110 AddIsInjective</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X8783D5BB79CB2FD9">7.6-111 AddIsIsomorphicForObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7B0818ED7A7BBCB4">7.6-112 AddIsIsomorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X79AC542F8227455E">7.6-113 AddIsLiftable</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7BD695308127A877">7.6-114 AddIsLiftableAlongMonomorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X87DEC4BD7C48E679">7.6-115 AddIsMonomorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7FCC38DC7843D455">7.6-116 AddIsOne</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X865C78CF789DA86D">7.6-117 AddIsProjective</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7D7BDF8F7EED3A72">7.6-118 AddIsSplitEpimorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7C5D46B77A65ACF2">7.6-119 AddIsSplitMonomorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7EDB2D5B7F234ADA">7.6-120 AddIsTerminal</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7A4BE39A83D2A730">7.6-121 AddIsWellDefinedForMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X861EFAFB8268CBAC">7.6-122 AddIsWellDefinedForMorphismsWithGivenSourceAndRange</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X859219147B3058B8">7.6-123 AddIsWellDefinedForObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7EE52A1587E15D94">7.6-124 AddIsWellDefinedForTwoCells</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X87DD3BD27C49450A">7.6-125 AddIsZeroForMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X78C3E7BF78A9A7D5">7.6-126 AddIsZeroForObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7B80534F79D74B95">7.6-127 AddIsomorphismFromCoequalizerOfCoproductDiagramToPushout</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X866BBCDA84AC7C3F">7.6-128 AddIsomorphismFromCoequalizerToCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X80B45F4D7A7B96A4">7.6-129 AddIsomorphismFromCoimageToCokernelOfKernel</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X8236335C7EC1C0F9">7.6-130 AddIsomorphismFromCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproductToCoequalizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7D9B059578AC42D6">7.6-131 AddIsomorphismFromCokernelOfKernelToCoimage</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X87C04FAA7F49427B">7.6-132 AddIsomorphismFromCoproductToDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X793FDA608055E5C9">7.6-133 AddIsomorphismFromDirectProductToDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7D710CA282194DC7">7.6-134 AddIsomorphismFromDirectSumToCoproduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X79DA06C087D4BDF3">7.6-135 AddIsomorphismFromDirectSumToDirectProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X83D3BDAF7BFBF924">7.6-136 AddIsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X81719A3179D403DD">7.6-137 AddIsomorphismFromEqualizerToKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7FF20AFE7CE85AF5">7.6-138 AddIsomorphismFromFiberProductToEqualizerOfDirectProductDiagram</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7BD4A45087C884FD">7.6-139 AddIsomorphismFromHomologyObjectToItsConstructionAsAnImageObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7B09757B8411AD52">7.6-140 AddIsomorphismFromImageObjectToKernelOfCokernel</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X876F82038640430A">7.6-141 AddIsomorphismFromInitialObjectToZeroObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X80B2303081911753">7.6-142 AddIsomorphismFromItsConstructionAsAnImageObjectToHomologyObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X78A3EEFB843C5067">7.6-143 AddIsomorphismFromKernelOfCokernelToImageObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X80B6437D7B87933D">7.6-144 AddIsomorphismFromKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProductToEqualizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7C757EA67A35147A">7.6-145 AddIsomorphismFromPushoutToCoequalizerOfCoproductDiagram</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X85A29A037839B32B">7.6-146 AddIsomorphismFromTerminalObjectToZeroObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X8084DA9E870DF7DB">7.6-147 AddIsomorphismFromZeroObjectToInitialObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7BDED1CE7F0FADE9">7.6-148 AddIsomorphismFromZeroObjectToTerminalObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7A44C3757DD351AC">7.6-149 AddJointPairwiseDifferencesOfMorphismsFromCoproduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X83C624FA83037280">7.6-150 AddJointPairwiseDifferencesOfMorphismsIntoDirectProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X788D35FA8050DA84">7.6-151 AddKernelEmbedding</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X87668C2183C9E8A1">7.6-152 AddKernelEmbeddingWithGivenKernelObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7A3F184085748DE6">7.6-153 AddKernelLift</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7D6119357E10B4DA">7.6-154 AddKernelLiftWithGivenKernelObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X8681E565875A8C03">7.6-155 AddKernelObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X818A1E2C82034517">7.6-156 AddKernelObjectFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7BE607577847C4DC">7.6-157 AddKernelObjectFunctorialWithGivenKernelObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7DA9346A8517648D">7.6-158 AddLift</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X869A19337CB3059E">7.6-159 AddLiftAlongMonomorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X851447D2876BF1D1">7.6-160 AddLinearCombinationOfMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X80E205428725FEA7">7.6-161 AddMereExistenceOfSolutionOfLinearSystemInAbCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7A635EA8808F2EC3">7.6-162 AddMereExistenceOfUniqueSolutionOfHomogeneousLinearSystemInAbCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7C1910B77A78E2B8">7.6-163 AddMereExistenceOfUniqueSolutionOfLinearSystemInAbCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7BD5C9B0867857CC">7.6-164 AddMonomorphismIntoInjectiveEnvelopeObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X87B801BF7F861F09">7.6-165 AddMonomorphismIntoInjectiveEnvelopeObjectWithGivenInjectiveEnvelopeObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X81C9788D7DD27D18">7.6-166 AddMonomorphismIntoSomeInjectiveObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7CCBF6577ADC62D9">7.6-167 AddMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X873C908279759A45">7.6-168 AddMorphismBetweenDirectSums</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7E295E2784C267D5">7.6-169 AddMorphismBetweenDirectSumsWithGivenDirectSums</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7A1067568608419D">7.6-170 AddMorphismConstructor</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7ADDB80C7F9BC838">7.6-171 AddMorphismDatum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X81F30776833F49B2">7.6-172 AddMorphismFromCoimageToImage</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7FCCF6EA7BD56684">7.6-173 AddMorphismFromCoimageToImageWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X86015A918233B365">7.6-174 AddMorphismFromEqualizerToSink</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X857FA53779546DAC">7.6-175 AddMorphismFromEqualizerToSinkWithGivenEqualizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X87BB71D881AFD21C">7.6-176 AddMorphismFromFiberProductToSink</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7F652D597B5298C6">7.6-177 AddMorphismFromFiberProductToSinkWithGivenFiberProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X83B7DB587851A040">7.6-178 AddMorphismFromKernelObjectToSink</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7844716879CAFB0C">7.6-179 AddMorphismFromKernelObjectToSinkWithGivenKernelObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7CC2819E868B2ACF">7.6-180 AddMorphismFromSourceToCoequalizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X84074D4B7E584205">7.6-181 AddMorphismFromSourceToCoequalizerWithGivenCoequalizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7E2024F080A442DF">7.6-182 AddMorphismFromSourceToCokernelObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X837F485E7A5E6511">7.6-183 AddMorphismFromSourceToCokernelObjectWithGivenCokernelObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7A8728957EEC0667">7.6-184 AddMorphismFromSourceToPushout</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7D880C937DDE1F34">7.6-185 AddMorphismFromSourceToPushoutWithGivenPushout</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7C37598A7F7C7413">7.6-186 AddMorphismsOfExternalHom</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7AE8C7897CB6FDF8">7.6-187 AddMultiplyWithElementOfCommutativeRingForMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7D093D4981AC4E7F">7.6-188 AddObjectConstructor</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7EF116D57BFA80B5">7.6-189 AddObjectDatum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X853E87F47F9FC287">7.6-190 AddPostCompose</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X85A4A74585001622">7.6-191 AddPostComposeList</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X806FBF5479DB397D">7.6-192 AddPostInverseForMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X868C87097D322509">7.6-193 AddPreCompose</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7CE1A7FC792C6577">7.6-194 AddPreComposeList</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X85E1E8037F7353F8">7.6-195 AddPreInverseForMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X84F5824779267907">7.6-196 AddProjectionInFactorOfDirectProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7B83D0627A2DCF93">7.6-197 AddProjectionInFactorOfDirectProductWithGivenDirectProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7B87E0308677AB17">7.6-198 AddProjectionInFactorOfDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X81ACCDB081967CD3">7.6-199 AddProjectionInFactorOfDirectSumWithGivenDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7BC4A40A8587EB82">7.6-200 AddProjectionInFactorOfFiberProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X822C988083A72B14">7.6-201 AddProjectionInFactorOfFiberProductWithGivenFiberProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7C76BED4827D9C28">7.6-202 AddProjectionOntoCoequalizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X8691E0FA7BF900F5">7.6-203 AddProjectionOntoCoequalizerWithGivenCoequalizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7C6B7D3A80725B9A">7.6-204 AddProjectiveCoverObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X828B50D57F3DAB71">7.6-205 AddProjectiveDimension</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7AEE24E581A44083">7.6-206 AddProjectiveLift</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X78FDEE468742E573">7.6-207 AddPushout</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X85F9FDCF7E697028">7.6-208 AddPushoutFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X810036A887D287AC">7.6-209 AddPushoutFunctorialWithGivenPushouts</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7BC5AC807FF84905">7.6-210 AddRandomMorphismByInteger</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X84BEF31F81ABC74E">7.6-211 AddRandomMorphismByList</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7D58154C7B6478A8">7.6-212 AddRandomMorphismWithFixedRangeByInteger</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7B2266E07E2114FE">7.6-213 AddRandomMorphismWithFixedRangeByList</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X78E443767AA69703">7.6-214 AddRandomMorphismWithFixedSourceAndRangeByInteger</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7A395AEB813562EA">7.6-215 AddRandomMorphismWithFixedSourceAndRangeByList</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X80E69DF27EA33C03">7.6-216 AddRandomMorphismWithFixedSourceByInteger</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7C5DEDED7A7D5F7A">7.6-217 AddRandomMorphismWithFixedSourceByList</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X8537D28D7C878EB2">7.6-218 AddRandomObjectByInteger</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X86F6CF9382A4906A">7.6-219 AddRandomObjectByList</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X802E75BC780B365B">7.6-220 AddSetOfMorphismsOfFiniteCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X836997AC786FEA72">7.6-221 AddSetOfObjectsOfCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X79584C2B7AE88801">7.6-222 AddSimplifyEndo</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7E143B0B7AFED0A5">7.6-223 AddSimplifyEndo_IsoFromInputObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X8289DD3582E90412">7.6-224 AddSimplifyEndo_IsoToInputObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X82FC080B78E17869">7.6-225 AddSimplifyMorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X798AA0B57BDC7891">7.6-226 AddSimplifyObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X839A072483DA4590">7.6-227 AddSimplifyObject_IsoFromInputObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7CFDA57581061E05">7.6-228 AddSimplifyObject_IsoToInputObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X78D0F3D57A70F0AA">7.6-229 AddSimplifyRange</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7FB594A37A1B8DA3">7.6-230 AddSimplifyRange_IsoFromInputObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7BC056A2866EE0FC">7.6-231 AddSimplifyRange_IsoToInputObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X800D4F4678C4B03E">7.6-232 AddSimplifySource</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7FDBB4087F652D97">7.6-233 AddSimplifySourceAndRange</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7B3E60B07AF758F7">7.6-234 AddSimplifySourceAndRange_IsoFromInputRange</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X86CEC88B82874A86">7.6-235 AddSimplifySourceAndRange_IsoFromInputSource</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7AEBD3D882FFB8A7">7.6-236 AddSimplifySourceAndRange_IsoToInputRange</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7814950A81D7A307">7.6-237 AddSimplifySourceAndRange_IsoToInputSource</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X83B7D18780C28D3F">7.6-238 AddSimplifySource_IsoFromInputObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7E67CB62821ED6AA">7.6-239 AddSimplifySource_IsoToInputObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X781C4BCA81250295">7.6-240 AddSolveLinearSystemInAbCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7DFC9A568472688B">7.6-241 AddSomeInjectiveObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X825C2D98794A7378">7.6-242 AddSomeIsomorphismBetweenObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7C3AF36D86F11429">7.6-243 AddSomeProjectiveObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7EB0389487C277CE">7.6-244 AddSomeReductionBySplitEpiSummand</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7E6384988569B9CA">7.6-245 AddSomeReductionBySplitEpiSummand_MorphismFromInputRange</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X871D45CA80DAAFC2">7.6-246 AddSomeReductionBySplitEpiSummand_MorphismToInputRange</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7ECA7B0182144B81">7.6-247 AddSubtractionForMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X853690377C4630ED">7.6-248 AddSumOfMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7C4B4B7F8009501B">7.6-249 AddTerminalObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X82ED99F9845D2DA7">7.6-250 AddTerminalObjectFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7A7BBCB08021B976">7.6-251 AddTerminalObjectFunctorialWithGivenTerminalObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X82B3F52779407E2F">7.6-252 AddUniversalMorphismFromCoequalizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7F27613984BEA3BB">7.6-253 AddUniversalMorphismFromCoequalizerWithGivenCoequalizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X874696508440B555">7.6-254 AddUniversalMorphismFromCoproduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7ABE731884D77899">7.6-255 AddUniversalMorphismFromCoproductWithGivenCoproduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X82AEA81280F0FE29">7.6-256 AddUniversalMorphismFromDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X81DB161779E15937">7.6-257 AddUniversalMorphismFromDirectSumWithGivenDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7BE632048014DB7F">7.6-258 AddUniversalMorphismFromImage</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X79813E327CAD3D99">7.6-259 AddUniversalMorphismFromImageWithGivenImageObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X808255727E365DA5">7.6-260 AddUniversalMorphismFromInitialObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7F7D9168870D7AC6">7.6-261 AddUniversalMorphismFromInitialObjectWithGivenInitialObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7ACB31A479737723">7.6-262 AddUniversalMorphismFromPushout</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X847BA99A851088A1">7.6-263 AddUniversalMorphismFromPushoutWithGivenPushout</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X873263B37942E963">7.6-264 AddUniversalMorphismFromZeroObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X8396EFB87AABCD66">7.6-265 AddUniversalMorphismFromZeroObjectWithGivenZeroObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X85DB30B982F6C564">7.6-266 AddUniversalMorphismIntoCoimage</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7D83EDB07844C0FA">7.6-267 AddUniversalMorphismIntoCoimageWithGivenCoimageObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7E4C217083150A21">7.6-268 AddUniversalMorphismIntoDirectProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X84C986C67D703457">7.6-269 AddUniversalMorphismIntoDirectProductWithGivenDirectProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7AA30E857A11AA2A">7.6-270 AddUniversalMorphismIntoDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7E666F5683000D34">7.6-271 AddUniversalMorphismIntoDirectSumWithGivenDirectSum</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X814FACA47A759C7A">7.6-272 AddUniversalMorphismIntoEqualizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X872A26F678D6989B">7.6-273 AddUniversalMorphismIntoEqualizerWithGivenEqualizer</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7F7446F882DF6DA5">7.6-274 AddUniversalMorphismIntoFiberProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X84C5017486990FB2">7.6-275 AddUniversalMorphismIntoFiberProductWithGivenFiberProduct</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X84D7DDAF835BDFA3">7.6-276 AddUniversalMorphismIntoTerminalObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X8230986A7821D9B4">7.6-277 AddUniversalMorphismIntoTerminalObjectWithGivenTerminalObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7CAC035583A3BD60">7.6-278 AddUniversalMorphismIntoZeroObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X8550CFE1804A9965">7.6-279 AddUniversalMorphismIntoZeroObjectWithGivenZeroObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7AA662D58265F658">7.6-280 AddVerticalPostCompose</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X85F4507081F229DD">7.6-281 AddVerticalPreCompose</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X824C08CE7D7FB387">7.6-282 AddZeroMorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7F0111277DF3FB7E">7.6-283 AddZeroObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7C6A709286103BAE">7.6-284 AddZeroObjectFunctorial</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X826BAB7F84D9499D">7.6-285 AddZeroObjectFunctorialWithGivenZeroObjects</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap8_mj.html#X8397FA067BFF4850">8 <span class="Heading">Managing Derived Methods</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap8_mj.html#X7EBFC26F83EB9F72">8.1 <span class="Heading">Info Class</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X847BF8788620ADEC">8.1-1 DerivationInfo</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X82EB820C81919BD5">8.1-2 ActivateDerivationInfo</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X7853FBCF7DAA6AD1">8.1-3 DeactivateDerivationInfo</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap8_mj.html#X85225AB582EE9B06">8.2 <span class="Heading">Derivation Objects</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X8445F6F187784DF1">8.2-1 IsDerivedMethod</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X7A90E47C7D0EE8F4">8.2-2 CreateDerivation</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X87FAA68185CE87A4">8.2-3 Description</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X7FB3A67D81A47B14">8.2-4 AdditionalWeight</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X7CBD06FC8461DCA9">8.2-5 DerivationFunction</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X7F2B7310826D555B">8.2-6 CategoryFilter</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X7CA199A3868E0222">8.2-7 IsApplicableToCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X82E56CD47C15FE34">8.2-8 TargetOperation</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X7CEDBB3E7BCA64D1">8.2-9 UsedOperationsWithMultiplesAndCategoryGetters</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X7DCED23B84345454">8.2-10 InstallDerivationForCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X87B8757F7AAEE7DE">8.2-11 FunctionCalledBeforeInstallation</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap8_mj.html#X87186DAD7DF242ED">8.3 <span class="Heading">Derivation Graphs</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X81A930FD84B9A43F">8.3-1 IsDerivedMethodGraph</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X7E19A0AD8661EF00">8.3-2 MakeDerivationGraph</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X7B801088854A0127">8.3-3 AddOperationsToDerivationGraph</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X83CDB3B181A3E3D7">8.3-4 AddDerivation</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X7BC80B4F7A067D91">8.3-5 AddDerivationToCAP</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X8669CCC78175B23B">8.3-6 Operations</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X7D8B5FE482B39913">8.3-7 DerivationsUsingOperation</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X7A4C262581C53309">8.3-8 DerivationsOfOperation</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap8_mj.html#X86F129738355A31B">8.4 <span class="Heading">Managing Derivations in a Category</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X7FDA7FFE7DE614F6">8.4-1 IsOperationWeightList</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X7CFC7F17786B1B6E">8.4-2 MakeOperationWeightList</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X7E6F8469808FE57E">8.4-3 DerivationGraph</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X80E9071D87ABCA57">8.4-4 CategoryOfOperationWeightList</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X7BE16AB2849D0107">8.4-5 CurrentOperationWeight</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X7A67FC1B80BF67AD">8.4-6 OperationWeightUsingDerivation</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X79490A257E67804E">8.4-7 DerivationOfOperation</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X7B67E3BD81BE00A6">8.4-8 TriggerDerivationsUsingOperation</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X7E2279C47AFE3FAD">8.4-9 Reevaluate</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X8748C9C27F6B47A3">8.4-10 Saturate</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X835210E67EF93118">8.4-11 AddPrimitiveOperation</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X8145094E862826BE">8.4-12 PrintDerivationTree</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X7E59037F7B4E42D0">8.4-13 PrintTree</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap8_mj.html#X8293EF6286A82480">8.4-14 PrintTreeRec</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap9_mj.html#X87A9EC0A7DF04931">9 <span class="Heading">Technical Details</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap9_mj.html#X7A8C280B85B50DE0">9.1 <span class="Heading">The Category Cat</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X7B3D8EB378625F73">9.1-1 ObjectCache</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X84472BD57E11264C">9.1-2 MorphismCache</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap9_mj.html#X8508AEF8845565A1">9.2 <span class="Heading">Tools</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X8325EEB87BDE7B04">9.2-1 FunctionWithNamedArguments</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X87857B6887466690">9.2-2 CAP_INTERNAL_GET_DATA_TYPE_FROM_STRING</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X7E03E1EB7E0505C9">9.2-3 CAP_INTERNAL_GET_DATA_TYPES_FROM_STRINGS</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X82C6A9FE7BA3CA5B">9.2-4 CAP_INTERNAL_REPLACED_STRING_WITH_FILTER</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X7F3826497806B627">9.2-5 CAP_INTERNAL_REPLACED_STRINGS_WITH_FILTERS</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X849B851C80D47B4F">9.2-6 CAP_INTERNAL_RETURN_OPTION_OR_DEFAULT</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X7C7A71C97DC2FABF">9.2-7 CAP_INTERNAL_FIND_APPEARANCE_OF_SYMBOL_IN_FUNCTION</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X78A121F97CF81A43">9.2-8 CAP_INTERNAL_MERGE_PRECONDITIONS_LIST</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X7D69A73578441A9C">9.2-9 CAP_INTERNAL_ASSERT_VALUE_IS_OF_TYPE_GETTER</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X82F35A5C80A6AB86">9.2-10 CAP_INTERNAL_ASSERT_IS_CELL_OF_CATEGORY</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X8335A3308291E3A2">9.2-11 CAP_INTERNAL_ASSERT_IS_OBJECT_OF_CATEGORY</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X7DD95FC27FBF20E3">9.2-12 CAP_INTERNAL_ASSERT_IS_MORPHISM_OF_CATEGORY</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X818BBDDE8387D373">9.2-13 CAP_INTERNAL_ASSERT_IS_TWO_CELL_OF_CATEGORY</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X82FC76688082956A">9.2-14 CachingStatistic</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X7E4CA53E7C03600F">9.2-15 BrowseCachingStatistic</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X7B2A707E797A06FB">9.2-16 InstallDeprecatedAlias</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X7BE001D378D75CF9">9.2-17 IsSpecializationOfFilter</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X7E756CEB799322B0">9.2-18 IsSpecializationOfFilterList</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X7F953A7086264653">9.2-19 InstallMethodForCompilerForCAP</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X7FC9241882AB3F5A">9.2-20 InstallOtherMethodForCompilerForCAP</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X7AF9D3AC85CB0F3D">9.2-21 CapJitAddKnownMethod</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X816D0A767BD73071">9.2-22 CapJitAddTypeSignature</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X78CFB24B81162C1D">9.2-23 CapJitDataTypeOfListOf</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X877F7F6081692CDF">9.2-24 CapJitDataTypeOfNTupleOf</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X859BFCA17B526A4F">9.2-25 CapJitDataTypeOfGroup</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X791E1AB37D1DE205">9.2-26 CapJitDataTypeOfRing</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X812BAF8D81DBE36B">9.2-27 CapJitDataTypeOfCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X874807C979EDC49B">9.2-28 CapJitTypedExpression</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X824449507B8AC925">9.2-29 CapFixpoint</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X83607E077857CBDB">9.2-30 Iterated</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X7D4C0F987B13D58D">9.2-31 Iterated</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X7FA62DB97B67C4AB">9.2-32 TransitivelyNeededOtherPackages</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X7E9D968D86A536EF">9.2-33 PackageOfCAPOperation</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X844FE77D85C951AA">9.2-34 SafePosition</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X85FE589D84D60BEC">9.2-35 SafeUniquePosition</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X81DF04B87E3C9D0D">9.2-36 SafePositionProperty</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X810EE26082CAA38E">9.2-37 SafeUniquePositionProperty</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X860EA891868B5777">9.2-38 SafeFirst</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X8608EAF482DAC239">9.2-39 SafeUniqueEntry</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X7F2E50C87EC6E530">9.2-40 NTuple</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X7A63799B824FAEBA">9.2-41 Pair</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X7C52730F8526A57E">9.2-42 Triple</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X7AE413027C8587FE">9.2-43 TransposedMatWithGivenDimensions</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X7B339750826300B4">9.2-44 HandlePrecompiledTowers</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X7D06D3287E3BFCBB">9.2-45 CAP_JIT_INCOMPLETE_LOGIC</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X859ADC8783342268">9.2-46 CAP_JIT_EXPR_CASE_WRAPPER</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X7F313F4B853D176C">9.2-47 ListWithKeys</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X873A487F7DA2A359">9.2-48 SumWithKeys</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X8321F3D8876ADA2D">9.2-49 ProductWithKeys</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X7F0574797C13C966">9.2-50 ForAllWithKeys</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X812F59097E8E7562">9.2-51 ForAnyWithKeys</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X8322F3FF84EC9AEB">9.2-52 NumberWithKeys</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X7D0B0ECF7F70FB8E">9.2-53 FilteredWithKeys</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X7914B5437CBEB3EC">9.2-54 FirstWithKeys</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X849D015F79B08FCC">9.2-55 LastWithKeys</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap9_mj.html#X81386B5D7CE25406">9.2-56 CreateGapObjectWithAttributes</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap10_mj.html#X857CF4D487158F26">10 <span class="Heading">Limits and Colimits</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap10_mj.html#X8588E7B080530988">10.1 <span class="Heading">Specification of Limits and Colimits</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap10_mj.html#X82DEA53C869D2324">10.2 <span class="Heading">Enhancing Limit Specifications</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap10_mj.html#X86FA580F8055B274">10.3 <span class="Heading">Functions</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap10_mj.html#X878F145478720C48">10.3-1 CAP_INTERNAL_GENERATE_CONVENIENCE_METHODS_FOR_LIMITS</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap10_mj.html#X82234AD37EE8FC54">10.3-2 CAP_INTERNAL_VALIDATE_LIMITS_IN_NAME_RECORD</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap11_mj.html#X78ADFFF38316E753">11 <span class="Heading">The Category Constructor</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap11_mj.html#X7EBFC26F83EB9F72">11.1 <span class="Heading">Info class</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap11_mj.html#X7C2FCE2B7EBE56D9">11.1-1 InfoCategoryConstructor</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap11_mj.html#X86EC0F0A78ECBC10">11.2 <span class="Heading">Constructors</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap11_mj.html#X8070F8B48111E8A7">11.2-1 CategoryConstructor</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap12_mj.html#X786E618B7E5FA5FA">12 <span class="Heading">Reinterpretations of categories</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap12_mj.html#X7DFB63A97E67C0A1">12.1 <span class="Heading">Introduction</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap12_mj.html#X81932F777898AD72">12.2 <span class="Heading">Tutorial</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap12_mj.html#X7AB84A0B83B2C1F1">12.3 <span class="Heading">Implementation details</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap12_mj.html#X856FF3B57FF7C2FD">12.4 <span class="Heading">Relation to <code class="code">CompilerForCAP</code></span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap12_mj.html#X7C701DBF7BAE649A">12.5 <span class="Heading">Attributes</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap12_mj.html#X811A167F7DABD0F9">12.5-1 ModelingCategory</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap12_mj.html#X86EC0F0A78ECBC10">12.6 <span class="Heading">Constructors</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap12_mj.html#X81D06FCA7ECE38C4">12.6-1 ReinterpretationOfCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap12_mj.html#X7ACECA6387E9F29D">12.6-2 ReinterpretationFunctor</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap12_mj.html#X7D2C2C3D7A342007">12.6-3 ModelingObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap12_mj.html#X79C8914E86186004">12.6-4 ReinterpretationOfObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap12_mj.html#X7C8C515B7E679556">12.6-5 ModelingMorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap12_mj.html#X85D9773186C8969A">12.6-6 ReinterpretationOfMorphism</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap13_mj.html#X85EE0CDD7D162BC7">13 <span class="Heading">Create wrapper hulls of a category</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap13_mj.html#X7D03633A7D98026B">13.1 <span class="Heading">GAP categories</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13_mj.html#X82BF68357D8889C4">13.1-1 IsWrapperCapCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13_mj.html#X7E59F7CB7F1D9569">13.1-2 IsWrapperCapCategoryObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13_mj.html#X7B2D95DA7D635FD7">13.1-3 IsWrapperCapCategoryMorphism</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap13_mj.html#X7C701DBF7BAE649A">13.2 <span class="Heading">Attributes</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13_mj.html#X81829E6386E43EF3">13.2-1 UnderlyingCell</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13_mj.html#X7AA0358D85F1CD9F">13.2-2 UnderlyingCell</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap13_mj.html#X86EC0F0A78ECBC10">13.3 <span class="Heading">Constructors</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13_mj.html#X83886A588035ED96">13.3-1 AsObjectInWrapperCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13_mj.html#X832CBD5A80B84DDF">13.3-2 AsMorphismInWrapperCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13_mj.html#X7A95EED57AD2AF78">13.3-3 AsMorphismInWrapperCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13_mj.html#X7BF21C4587D89462">13.3-4 /</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13_mj.html#X7C22BC7182777CF4">13.3-5 WrapperCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap13_mj.html#X86932DDE8378A2AF">13.3-6 WrappingFunctor</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap14_mj.html#X7CA5B46383A5CE09">14 <span class="Heading">Dummy implementations</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap14_mj.html#X7B19E3AE7AB1B31B">14.1 <span class="Heading">Dummy rings</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap14_mj.html#X86A21A2379AA70E4">14.1-1 IsDummyRing</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap14_mj.html#X7D89EFE77FC37A85">14.1-2 IsDummyRingElement</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap14_mj.html#X87E7CFFB81611DED">14.1-3 IsDummyCommutativeRing</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap14_mj.html#X79CB0F12853487F4">14.1-4 IsDummyCommutativeRingElement</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap14_mj.html#X7F1159E287E0850B">14.1-5 IsDummyField</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap14_mj.html#X7A227A6D7F366CDE">14.1-6 IsDummyFieldElement</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap14_mj.html#X82B6E6F780AB19FA">14.1-7 DummyRing</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap14_mj.html#X823C63568160007F">14.1-8 DummyCommutativeRing</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap14_mj.html#X8675D79684AD56D0">14.1-9 DummyField</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap14_mj.html#X82A623E78640E822">14.2 <span class="Heading">Dummy categories</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap14_mj.html#X872B304F85971287">14.2-1 IsDummyCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap14_mj.html#X7FB7ED298101C4C5">14.2-2 IsDummyCategoryObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap14_mj.html#X86ED2D2D84900225">14.2-3 IsDummyCategoryMorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap14_mj.html#X85EFD8FA7CA98ECB">14.2-4 DummyCategory</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap14_mj.html#X7D79D0478599BC12">14.3 <span class="Heading">Dummy homalg rings</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap14_mj.html#X83D2C38E849A65DC">14.3-1 IsDummyHomalgRing</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap14_mj.html#X7A64A51C7B55BD18">14.3-2 IsDummyHomalgRingElement</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap14_mj.html#X8170E18881CE3C03">14.3-3 IsDummyCommutativeHomalgRing</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap14_mj.html#X7997E4157AB993E9">14.3-4 IsDummyCommutativeHomalgRingElement</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap14_mj.html#X87E270D481736842">14.3-5 IsDummyHomalgField</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap14_mj.html#X78E80ECF786AE153">14.3-6 IsDummyHomalgFieldElement</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap14_mj.html#X830459217A01C164">14.3-7 DummyHomalgRing</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap14_mj.html#X841685517C4CDC7A">14.3-8 DummyCommutativeHomalgRing</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap14_mj.html#X7CA21DAD784763AA">14.3-9 DummyHomalgField</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap15_mj.html#X7EA29B7D7BA60F42">15 <span class="Heading">Terminal category</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap15_mj.html#X7D03633A7D98026B">15.1 <span class="Heading"><strong class="pkg">GAP</strong> Categories</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap15_mj.html#X8665012E7D503742">15.1-1 IsCapTerminalCategoryWithSingleObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap15_mj.html#X7F48DB947BDA1232">15.1-2 IsObjectInCapTerminalCategoryWithSingleObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap15_mj.html#X86041A8F851354DB">15.1-3 IsMorphismInCapTerminalCategoryWithSingleObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap15_mj.html#X85A149A17E45806B">15.1-4 IsCapTerminalCategoryWithMultipleObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap15_mj.html#X8751E72879CE707D">15.1-5 IsObjectInCapTerminalCategoryWithMultipleObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap15_mj.html#X7BC47E5D7AD51588">15.1-6 IsMorphismInCapTerminalCategoryWithMultipleObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap15_mj.html#X8724DDA281946BEB">15.1-7 IsTerminalCategory</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap15_mj.html#X86EC0F0A78ECBC10">15.2 <span class="Heading">Constructors</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap15_mj.html#X7D7044AA82764329">15.2-1 TerminalCategoryWithSingleObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap15_mj.html#X7CBD1E9B81BBFFC8">15.2-2 TerminalCategoryWithMultipleObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap15_mj.html#X81FA767C792670A2">15.2-3 CAP_INTERNAL_CONSTRUCTOR_FOR_TERMINAL_CATEGORY</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap15_mj.html#X7C701DBF7BAE649A">15.3 <span class="Heading">Attributes</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap15_mj.html#X7C2B3F018386B9D4">15.3-1 TerminalCategoryWithSingleObjectUniqueObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap15_mj.html#X87F66FAD7A1100C7">15.3-2 TerminalCategoryWithSingleObjectUniqueMorphism</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap15_mj.html#X80813F9A86FCCC24">15.3-3 FunctorFromTerminalCategory</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap16_mj.html#X7BAE6D0285667B1F">16 <span class="Heading">Finite skeletal discrete categories</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap16_mj.html#X7D03633A7D98026B">16.1 <span class="Heading"><strong class="pkg">GAP</strong> Categories</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap16_mj.html#X86FECC7F7B10DFB5">16.1-1 IsFiniteSkeletalDiscreteCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap16_mj.html#X7B0369367B25FF27">16.1-2 IsObjectInFiniteSkeletalDiscreteCategory</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap16_mj.html#X83A994137F28C142">16.1-3 IsMorphismInFiniteSkeletalDiscreteCategory</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap16_mj.html#X86EC0F0A78ECBC10">16.2 <span class="Heading">Constructors</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap16_mj.html#X82D81EB281E4B15F">16.2-1 FiniteSkeletalDiscreteCategory</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap16_mj.html#X7C701DBF7BAE649A">16.3 <span class="Heading">Attributes</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap16_mj.html#X82A86530836AB45F">16.3-1 UnderlyingListOfGapObjects</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap16_mj.html#X83402D288247887B">16.3-2 UnderlyingGapObject</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap16_mj.html#X871597447BB998A1">16.4 <span class="Heading">Properties</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap16_mj.html#X7F7BD8CF86A2D122">16.4-1 IsDiscreteCategory</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap17_mj.html#X7967FE8E7BBDF485">17 <span class="Heading">Examples and Tests</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap17_mj.html#X7CA5B46383A5CE09">17.1 <span class="Heading">Dummy implementations</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap17_mj.html#X82A623E78640E822">17.1-1 <span class="Heading">Dummy categories</span></a>
</span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap17_mj.html#X7B19E3AE7AB1B31B">17.1-2 <span class="Heading">Dummy rings</span></a>
</span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap17_mj.html#X7BAE6D0285667B1F">17.2 <span class="Heading">Finite skeletal discrete categories</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap17_mj.html#X78D1062D78BE08C1">17.3 <span class="Heading">Functors</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap17_mj.html#X7B339750826300B4">17.4 <span class="Heading">HandlePrecompiledTowers</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap17_mj.html#X7EA29B7D7BA60F42">17.5 <span class="Heading">Terminal category</span></a>
</span>
</div>
</div>
<div class="ContChap"><a href="chap18_mj.html#X86293D7E84FD8A71">18 <span class="Heading">CAP automatic generated documentation</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap18_mj.html#X7F15B2867CEBDC5D">18.1 <span class="Heading">CAP automatic generated documentation of properties</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap18_mj.html#X8572BE547C73D308">18.1-1 IsEquivalentToFiniteCategory</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chapInd_mj.html"><span class="Heading">Index</span></a></div>
<br />
</div>
<div class="chlinkprevnextbot"> <a href="chap0_mj.html">[Top of Book]</a> <a href="chap0_mj.html#contents">[Contents]</a> <a href="chap1_mj.html">[Next Chapter]</a> </div>
<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a> <a href="chap1_mj.html">1</a> <a href="chap2_mj.html">2</a> <a href="chap3_mj.html">3</a> <a href="chap4_mj.html">4</a> <a href="chap5_mj.html">5</a> <a href="chap6_mj.html">6</a> <a href="chap7_mj.html">7</a> <a href="chap8_mj.html">8</a> <a href="chap9_mj.html">9</a> <a href="chap10_mj.html">10</a> <a href="chap11_mj.html">11</a> <a href="chap12_mj.html">12</a> <a href="chap13_mj.html">13</a> <a href="chap14_mj.html">14</a> <a href="chap15_mj.html">15</a> <a href="chap16_mj.html">16</a> <a href="chap17_mj.html">17</a> <a href="chap18_mj.html">18</a> <a href="chapInd_mj.html">Ind</a> </div>
<hr />
<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>
¤ Dauer der Verarbeitung: 0.86 Sekunden
¤
*© Formatika GbR, Deutschland