Update website for CAP 2023.06-06

homalg-project · Jun 26, 2023 · 10c0c09 · 10c0c09
1 parent 56c198f
commit 10c0c09
Show file tree

Hide file tree

Showing 11 changed files with 325 additions and 295 deletions.
diff --git a/CAP/PackageInfo.g b/CAP/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CAP",
 Subtitle := "Categories, Algorithms, Programming",
-Version := "2023.06-05",
+Version := "2023.06-06",
 Date := "2023-06-26",
 License := "GPL-2.0-or-later",
 

diff --git a/CAP/doc/chap0.html b/CAP/doc/chap0.html
@@ -29,7 +29,7 @@ <h1>CAP</h1>
 <h2>Categories, Algorithms, Programming</h2>
 
 <p>
-    2023.06-05</p>
+    2023.06-06</p>
 
 <p>
     26 June 2023
@@ -1188,31 +1188,32 @@ <h3>Contents<a id="contents" name="contents"></a></h3>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X816D0A767BD73071">9.2-22 CapJitAddTypeSignature</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X8345518F79EBB586">9.2-23 CapJitAddTypeSignatureDeferred</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X78CFB24B81162C1D">9.2-24 CapJitDataTypeOfListOf</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X812BAF8D81DBE36B">9.2-25 CapJitDataTypeOfCategory</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X824449507B8AC925">9.2-26 CapFixpoint</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X83607E077857CBDB">9.2-27 Iterated</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X7FA62DB97B67C4AB">9.2-28 TransitivelyNeededOtherPackages</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X7E9D968D86A536EF">9.2-29 PackageOfCAPOperation</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X844FE77D85C951AA">9.2-30 SafePosition</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X85FE589D84D60BEC">9.2-31 SafeUniquePosition</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X81DF04B87E3C9D0D">9.2-32 SafePositionProperty</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X810EE26082CAA38E">9.2-33 SafeUniquePositionProperty</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X860EA891868B5777">9.2-34 SafeFirst</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X8608EAF482DAC239">9.2-35 SafeUniqueEntry</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X7F2E50C87EC6E530">9.2-36 NTuple</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X7A63799B824FAEBA">9.2-37 Pair</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X7C52730F8526A57E">9.2-38 Triple</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X7B339750826300B4">9.2-39 HandlePrecompiledTowers</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X7D06D3287E3BFCBB">9.2-40 CAP_JIT_INCOMPLETE_LOGIC</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X7F313F4B853D176C">9.2-41 ListWithKeys</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X873A487F7DA2A359">9.2-42 SumWithKeys</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X8321F3D8876ADA2D">9.2-43 ProductWithKeys</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X7F0574797C13C966">9.2-44 ForAllWithKeys</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X812F59097E8E7562">9.2-45 ForAnyWithKeys</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X8322F3FF84EC9AEB">9.2-46 NumberWithKeys</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X7D0B0ECF7F70FB8E">9.2-47 FilteredWithKeys</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X7914B5437CBEB3EC">9.2-48 FirstWithKeys</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X849D015F79B08FCC">9.2-49 LastWithKeys</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X877F7F6081692CDF">9.2-25 CapJitDataTypeOfNTupleOf</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X812BAF8D81DBE36B">9.2-26 CapJitDataTypeOfCategory</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X824449507B8AC925">9.2-27 CapFixpoint</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X83607E077857CBDB">9.2-28 Iterated</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X7FA62DB97B67C4AB">9.2-29 TransitivelyNeededOtherPackages</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X7E9D968D86A536EF">9.2-30 PackageOfCAPOperation</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X844FE77D85C951AA">9.2-31 SafePosition</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X85FE589D84D60BEC">9.2-32 SafeUniquePosition</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X81DF04B87E3C9D0D">9.2-33 SafePositionProperty</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X810EE26082CAA38E">9.2-34 SafeUniquePositionProperty</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X860EA891868B5777">9.2-35 SafeFirst</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X8608EAF482DAC239">9.2-36 SafeUniqueEntry</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X7F2E50C87EC6E530">9.2-37 NTuple</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X7A63799B824FAEBA">9.2-38 Pair</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X7C52730F8526A57E">9.2-39 Triple</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X7B339750826300B4">9.2-40 HandlePrecompiledTowers</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X7D06D3287E3BFCBB">9.2-41 CAP_JIT_INCOMPLETE_LOGIC</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X7F313F4B853D176C">9.2-42 ListWithKeys</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X873A487F7DA2A359">9.2-43 SumWithKeys</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X8321F3D8876ADA2D">9.2-44 ProductWithKeys</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X7F0574797C13C966">9.2-45 ForAllWithKeys</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X812F59097E8E7562">9.2-46 ForAnyWithKeys</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X8322F3FF84EC9AEB">9.2-47 NumberWithKeys</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X7D0B0ECF7F70FB8E">9.2-48 FilteredWithKeys</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X7914B5437CBEB3EC">9.2-49 FirstWithKeys</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9.html#X849D015F79B08FCC">9.2-50 LastWithKeys</a></span>
 </div></div>
 </div>
 <div class="ContChap"><a href="chap10.html#X857CF4D487158F26">10 <span class="Heading">Limits and Colimits</span></a>

diff --git a/CAP/doc/chap0.txt b/CAP/doc/chap0.txt
@@ -6,7 +6,7 @@
                      [1X Categories, Algorithms, Programming [101X
 
 
-                                   2023.06-05
+                                   2023.06-06
 
 
                                   26 June 2023
@@ -924,31 +924,32 @@
       9.2-22 CapJitAddTypeSignature
       9.2-23 CapJitAddTypeSignatureDeferred
       9.2-24 CapJitDataTypeOfListOf
-      9.2-25 CapJitDataTypeOfCategory
-      9.2-26 CapFixpoint
-      9.2-27 Iterated
-      9.2-28 TransitivelyNeededOtherPackages
-      9.2-29 PackageOfCAPOperation
-      9.2-30 SafePosition
-      9.2-31 SafeUniquePosition
-      9.2-32 SafePositionProperty
-      9.2-33 SafeUniquePositionProperty
-      9.2-34 SafeFirst
-      9.2-35 SafeUniqueEntry
-      9.2-36 NTuple
-      9.2-37 Pair
-      9.2-38 Triple
-      9.2-39 HandlePrecompiledTowers
-      9.2-40 CAP_JIT_INCOMPLETE_LOGIC
-      9.2-41 ListWithKeys
-      9.2-42 SumWithKeys
-      9.2-43 ProductWithKeys
-      9.2-44 ForAllWithKeys
-      9.2-45 ForAnyWithKeys
-      9.2-46 NumberWithKeys
-      9.2-47 FilteredWithKeys
-      9.2-48 FirstWithKeys
-      9.2-49 LastWithKeys
+      9.2-25 CapJitDataTypeOfNTupleOf
+      9.2-26 CapJitDataTypeOfCategory
+      9.2-27 CapFixpoint
+      9.2-28 Iterated
+      9.2-29 TransitivelyNeededOtherPackages
+      9.2-30 PackageOfCAPOperation
+      9.2-31 SafePosition
+      9.2-32 SafeUniquePosition
+      9.2-33 SafePositionProperty
+      9.2-34 SafeUniquePositionProperty
+      9.2-35 SafeFirst
+      9.2-36 SafeUniqueEntry
+      9.2-37 NTuple
+      9.2-38 Pair
+      9.2-39 Triple
+      9.2-40 HandlePrecompiledTowers
+      9.2-41 CAP_JIT_INCOMPLETE_LOGIC
+      9.2-42 ListWithKeys
+      9.2-43 SumWithKeys
+      9.2-44 ProductWithKeys
+      9.2-45 ForAllWithKeys
+      9.2-46 ForAnyWithKeys
+      9.2-47 NumberWithKeys
+      9.2-48 FilteredWithKeys
+      9.2-49 FirstWithKeys
+      9.2-50 LastWithKeys
   10 [33X[0;0YLimits and Colimits[133X
     10.1 [33X[0;0YSpecification of Limits and Colimits[133X
     10.2 [33X[0;0YEnhancing Limit Specifications[133X

diff --git a/CAP/doc/chap0_mj.html b/CAP/doc/chap0_mj.html
@@ -32,7 +32,7 @@ <h1>CAP</h1>
 <h2>Categories, Algorithms, Programming</h2>
 
 <p>
-    2023.06-05</p>
+    2023.06-06</p>
 
 <p>
     26 June 2023
@@ -1191,31 +1191,32 @@ <h3>Contents<a id="contents" name="contents"></a></h3>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X816D0A767BD73071">9.2-22 CapJitAddTypeSignature</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X8345518F79EBB586">9.2-23 CapJitAddTypeSignatureDeferred</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X78CFB24B81162C1D">9.2-24 CapJitDataTypeOfListOf</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X812BAF8D81DBE36B">9.2-25 CapJitDataTypeOfCategory</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X824449507B8AC925">9.2-26 CapFixpoint</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X83607E077857CBDB">9.2-27 Iterated</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X7FA62DB97B67C4AB">9.2-28 TransitivelyNeededOtherPackages</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X7E9D968D86A536EF">9.2-29 PackageOfCAPOperation</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X844FE77D85C951AA">9.2-30 SafePosition</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X85FE589D84D60BEC">9.2-31 SafeUniquePosition</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X81DF04B87E3C9D0D">9.2-32 SafePositionProperty</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X810EE26082CAA38E">9.2-33 SafeUniquePositionProperty</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X860EA891868B5777">9.2-34 SafeFirst</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X8608EAF482DAC239">9.2-35 SafeUniqueEntry</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X7F2E50C87EC6E530">9.2-36 NTuple</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X7A63799B824FAEBA">9.2-37 Pair</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X7C52730F8526A57E">9.2-38 Triple</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X7B339750826300B4">9.2-39 HandlePrecompiledTowers</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X7D06D3287E3BFCBB">9.2-40 CAP_JIT_INCOMPLETE_LOGIC</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X7F313F4B853D176C">9.2-41 ListWithKeys</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X873A487F7DA2A359">9.2-42 SumWithKeys</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X8321F3D8876ADA2D">9.2-43 ProductWithKeys</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X7F0574797C13C966">9.2-44 ForAllWithKeys</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X812F59097E8E7562">9.2-45 ForAnyWithKeys</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X8322F3FF84EC9AEB">9.2-46 NumberWithKeys</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X7D0B0ECF7F70FB8E">9.2-47 FilteredWithKeys</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X7914B5437CBEB3EC">9.2-48 FirstWithKeys</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X849D015F79B08FCC">9.2-49 LastWithKeys</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X877F7F6081692CDF">9.2-25 CapJitDataTypeOfNTupleOf</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X812BAF8D81DBE36B">9.2-26 CapJitDataTypeOfCategory</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X824449507B8AC925">9.2-27 CapFixpoint</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X83607E077857CBDB">9.2-28 Iterated</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X7FA62DB97B67C4AB">9.2-29 TransitivelyNeededOtherPackages</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X7E9D968D86A536EF">9.2-30 PackageOfCAPOperation</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X844FE77D85C951AA">9.2-31 SafePosition</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X85FE589D84D60BEC">9.2-32 SafeUniquePosition</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X81DF04B87E3C9D0D">9.2-33 SafePositionProperty</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X810EE26082CAA38E">9.2-34 SafeUniquePositionProperty</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X860EA891868B5777">9.2-35 SafeFirst</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X8608EAF482DAC239">9.2-36 SafeUniqueEntry</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X7F2E50C87EC6E530">9.2-37 NTuple</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X7A63799B824FAEBA">9.2-38 Pair</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X7C52730F8526A57E">9.2-39 Triple</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X7B339750826300B4">9.2-40 HandlePrecompiledTowers</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X7D06D3287E3BFCBB">9.2-41 CAP_JIT_INCOMPLETE_LOGIC</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X7F313F4B853D176C">9.2-42 ListWithKeys</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X873A487F7DA2A359">9.2-43 SumWithKeys</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X8321F3D8876ADA2D">9.2-44 ProductWithKeys</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X7F0574797C13C966">9.2-45 ForAllWithKeys</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X812F59097E8E7562">9.2-46 ForAnyWithKeys</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X8322F3FF84EC9AEB">9.2-47 NumberWithKeys</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X7D0B0ECF7F70FB8E">9.2-48 FilteredWithKeys</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X7914B5437CBEB3EC">9.2-49 FirstWithKeys</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap9_mj.html#X849D015F79B08FCC">9.2-50 LastWithKeys</a></span>
 </div></div>
 </div>
 <div class="ContChap"><a href="chap10_mj.html#X857CF4D487158F26">10 <span class="Heading">Limits and Colimits</span></a>