Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/cap/doc/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 22.8.2025 mit Größe 169 kB image not shown  

Quelle  chap0_mj.html

  Sprache: HTML 		 

 products/Sources/formale Sprachen/GAP/pkg/cap/doc/chap0_mj.html


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

Messung V0.5 in Prozent
C=100 H=100 G=100

¤ Dauer der Verarbeitung: 0.35 Sekunden  (vorverarbeitet am  2026-04-27) ¤

*© Formatika GbR, Deutschland




Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.