Update website for Locales 2024.09-03

homalg-project · Sep 7, 2024 · 210547e · 210547e
1 parent 8d73cc7
commit 210547e
Show file tree

Hide file tree

Showing 17 changed files with 170 additions and 214 deletions.
diff --git a/Locales/PackageInfo.g b/Locales/PackageInfo.g
@@ -10,9 +10,9 @@ SetPackageInfo( rec(
 
 PackageName := "Locales",
 Subtitle := "Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets",
-Version := "2024.09-02",
-Date := "2024-09-06",
-Date := "2024-09-06",
+Version := "2024.09-03",
+Date := "2024-09-07",
+Date := "2024-09-07",
 License := "GPL-2.0-or-later",
 
 Persons := [

diff --git a/Locales/doc/chap0.html b/Locales/doc/chap0.html
@@ -29,10 +29,10 @@ <h1>Locales</h1>
 <h2>Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets</h2>
 
 <p>
-    2024.09-02</p>
+    2024.09-03</p>
 
 <p>
-    6 September 2024
+    7 September 2024
   </p>
 
 </div>
@@ -104,8 +104,9 @@ <h3>Contents<a id="contents" name="contents"></a></h3>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap1.html#X7D03633A7D98026B">1.5 <span class="Heading">GAP categories</span></a>
 </span>
 <div class="ContSSBlock">
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap1.html#X81147C8787D95719">1.5-1 IsObjectInThinCategory</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap1.html#X7AC4E7D484A5CAF3">1.5-2 IsMorphismInThinCategory</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap1.html#X7CD9D9627C565CF4">1.5-1 IsCategoryWithoutMorphismData</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap1.html#X81147C8787D95719">1.5-2 IsObjectInThinCategory</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap1.html#X7AC4E7D484A5CAF3">1.5-3 IsMorphismInThinCategory</a></span>
 </div></div>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap1.html#X85C8C80F785AEB5E">1.6 <span class="Heading">Add-methods</span></a>
 </span>
@@ -273,12 +274,12 @@ <h3>Contents<a id="contents" name="contents"></a></h3>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap7.html#X825BE79D7E86AABA">7.2-2 UnderlyingObjectMembershipFunction</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap7.html#X7BC903C378490711">7.2-3 UnderlyingObjectEqualityFunction</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap7.html#X7A67D58582A8CDAF">7.2-4 UnderlyingPreorderFunction</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap7.html#X8356F8357863572C">7.2-5 UnderlyingObject</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap7.html#X7F38182285854088">7.2-5 UnderlyingDatum</a></span>
 </div></div>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap7.html#X7D03633A7D98026B">7.3 <span class="Heading">GAP categories</span></a>
 </span>
 <div class="ContSSBlock">
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap7.html#X87A1F0757E5F9942">7.3-1 IsProsetAsCategory</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap7.html#X84AF21B17AC1C234">7.3-1 IsProsetAsCategory</a></span>
 </div></div>
 </div>
 <div class="ContChap"><a href="chap8.html#X841B28097AFB29ED">8 <span class="Heading">The (stable) proset/poset of a category</span></a>
@@ -295,17 +296,13 @@ <h3>Contents<a id="contents" name="contents"></a></h3>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8.html#X8752F6307A2CC7FF">8.2-3 StableProsetOfCategory</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8.html#X7CED62D3823B3875">8.2-4 PosetOfCategory</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8.html#X7C510918829D2DAF">8.2-5 StablePosetOfCategory</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8.html#X83C7D92980FD8200">8.2-6 AsCellOfProset</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8.html#X7F1751537AB8BFF5">8.2-7 AsCellOfStableProset</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8.html#X80E0FC6A79F094D5">8.2-8 AsCellOfPoset</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8.html#X7D18EFF57A55C225">8.2-9 AsCellOfStablePoset</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8.html#X80BF5F0187E00004">8.2-10 /</a></span>
 </div></div>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap8.html#X7C701DBF7BAE649A">8.3 <span class="Heading">Attributes</span></a>
 </span>
 <div class="ContSSBlock">
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8.html#X85702AB27ADF48CA">8.3-1 AmbientCategory</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8.html#X812067018336213A">8.3-2 UnderlyingCell</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8.html#X817D54B379EADB27">8.3-2 UnderlyingObject</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8.html#X7A77521E87E8F1DA">8.3-3 UnderlyingMorphism</a></span>
 </div></div>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap8.html#X7A489A5D79DA9E5C">8.4 <span class="Heading">Examples</span></a>
 </span>

diff --git a/Locales/doc/chap0.txt b/Locales/doc/chap0.txt
@@ -7,10 +7,10 @@
                   and Boolean algebras of constructible sets [101X
 
 
-                                   2024.09-02
+                                   2024.09-03
 
 
-                                6 September 2024
+                                7 September 2024
 
 
                                 Mohamed Barakat
@@ -70,8 +70,9 @@
     1.4 [33X[0;0YOperations[133X
       1.4-1 AreIsomorphicForObjectsIfIsHomSetInhabited
     1.5 [33X[0;0YGAP categories[133X
-      1.5-1 IsObjectInThinCategory
-      1.5-2 IsMorphismInThinCategory
+      1.5-1 IsCategoryWithoutMorphismData
+      1.5-2 IsObjectInThinCategory
+      1.5-3 IsMorphismInThinCategory
     1.6 [33X[0;0YAdd-methods[133X
       1.6-1 AddAreIsomorphicForObjectsIfIsHomSetInhabited
       1.6-2 AddUniqueMorphism
@@ -173,7 +174,7 @@
       7.2-2 UnderlyingObjectMembershipFunction
       7.2-3 UnderlyingObjectEqualityFunction
       7.2-4 UnderlyingPreorderFunction
-      7.2-5 UnderlyingObject
+      7.2-5 UnderlyingDatum
     7.3 [33X[0;0YGAP categories[133X
       7.3-1 IsProsetAsCategory
   8 [33X[0;0YThe (stable) proset/poset of a category[133X
@@ -185,14 +186,10 @@
       8.2-3 StableProsetOfCategory
       8.2-4 PosetOfCategory
       8.2-5 StablePosetOfCategory
-      8.2-6 AsCellOfProset
-      8.2-7 AsCellOfStableProset
-      8.2-8 AsCellOfPoset
-      8.2-9 AsCellOfStablePoset
-      8.2-10 /
     8.3 [33X[0;0YAttributes[133X
       8.3-1 AmbientCategory
-      8.3-2 UnderlyingCell
+      8.3-2 UnderlyingObject
+      8.3-3 UnderlyingMorphism
     8.4 [33X[0;0YExamples[133X
       8.4-1 [33X[0;0YIdeal quotient[133X
     8.5 [33X[0;0YGAP categories[133X

diff --git a/Locales/doc/chap0_mj.html b/Locales/doc/chap0_mj.html
@@ -32,10 +32,10 @@ <h1>Locales</h1>
 <h2>Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets</h2>
 
 <p>
-    2024.09-02</p>
+    2024.09-03</p>
 
 <p>
-    6 September 2024
+    7 September 2024
   </p>
 
 </div>
@@ -107,8 +107,9 @@ <h3>Contents<a id="contents" name="contents"></a></h3>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap1_mj.html#X7D03633A7D98026B">1.5 <span class="Heading">GAP categories</span></a>
 </span>
 <div class="ContSSBlock">
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap1_mj.html#X81147C8787D95719">1.5-1 IsObjectInThinCategory</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap1_mj.html#X7AC4E7D484A5CAF3">1.5-2 IsMorphismInThinCategory</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap1_mj.html#X7CD9D9627C565CF4">1.5-1 IsCategoryWithoutMorphismData</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap1_mj.html#X81147C8787D95719">1.5-2 IsObjectInThinCategory</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap1_mj.html#X7AC4E7D484A5CAF3">1.5-3 IsMorphismInThinCategory</a></span>
 </div></div>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap1_mj.html#X85C8C80F785AEB5E">1.6 <span class="Heading">Add-methods</span></a>
 </span>
@@ -276,12 +277,12 @@ <h3>Contents<a id="contents" name="contents"></a></h3>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap7_mj.html#X825BE79D7E86AABA">7.2-2 UnderlyingObjectMembershipFunction</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap7_mj.html#X7BC903C378490711">7.2-3 UnderlyingObjectEqualityFunction</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap7_mj.html#X7A67D58582A8CDAF">7.2-4 UnderlyingPreorderFunction</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap7_mj.html#X8356F8357863572C">7.2-5 UnderlyingObject</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap7_mj.html#X7F38182285854088">7.2-5 UnderlyingDatum</a></span>
 </div></div>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap7_mj.html#X7D03633A7D98026B">7.3 <span class="Heading">GAP categories</span></a>
 </span>
 <div class="ContSSBlock">
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap7_mj.html#X87A1F0757E5F9942">7.3-1 IsProsetAsCategory</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap7_mj.html#X84AF21B17AC1C234">7.3-1 IsProsetAsCategory</a></span>
 </div></div>
 </div>
 <div class="ContChap"><a href="chap8_mj.html#X841B28097AFB29ED">8 <span class="Heading">The (stable) proset/poset of a category</span></a>
@@ -298,17 +299,13 @@ <h3>Contents<a id="contents" name="contents"></a></h3>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8_mj.html#X8752F6307A2CC7FF">8.2-3 StableProsetOfCategory</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8_mj.html#X7CED62D3823B3875">8.2-4 PosetOfCategory</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8_mj.html#X7C510918829D2DAF">8.2-5 StablePosetOfCategory</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8_mj.html#X83C7D92980FD8200">8.2-6 AsCellOfProset</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8_mj.html#X7F1751537AB8BFF5">8.2-7 AsCellOfStableProset</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8_mj.html#X80E0FC6A79F094D5">8.2-8 AsCellOfPoset</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8_mj.html#X7D18EFF57A55C225">8.2-9 AsCellOfStablePoset</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8_mj.html#X80BF5F0187E00004">8.2-10 /</a></span>
 </div></div>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap8_mj.html#X7C701DBF7BAE649A">8.3 <span class="Heading">Attributes</span></a>
 </span>
 <div class="ContSSBlock">
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8_mj.html#X85702AB27ADF48CA">8.3-1 AmbientCategory</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8_mj.html#X812067018336213A">8.3-2 UnderlyingCell</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8_mj.html#X817D54B379EADB27">8.3-2 UnderlyingObject</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap8_mj.html#X7A77521E87E8F1DA">8.3-3 UnderlyingMorphism</a></span>
 </div></div>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap8_mj.html#X7A489A5D79DA9E5C">8.4 <span class="Heading">Examples</span></a>
 </span>

diff --git a/Locales/doc/chap1.html b/Locales/doc/chap1.html
@@ -52,8 +52,9 @@
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap1.html#X7D03633A7D98026B">1.5 <span class="Heading">GAP categories</span></a>
 </span>
 <div class="ContSSBlock">
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap1.html#X81147C8787D95719">1.5-1 IsObjectInThinCategory</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap1.html#X7AC4E7D484A5CAF3">1.5-2 IsMorphismInThinCategory</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap1.html#X7CD9D9627C565CF4">1.5-1 IsCategoryWithoutMorphismData</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap1.html#X81147C8787D95719">1.5-2 IsObjectInThinCategory</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap1.html#X7AC4E7D484A5CAF3">1.5-3 IsMorphismInThinCategory</a></span>
 </div></div>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap1.html#X85C8C80F785AEB5E">1.6 <span class="Heading">Add-methods</span></a>
 </span>
@@ -180,9 +181,18 @@ <h5>1.4-1 AreIsomorphicForObjectsIfIsHomSetInhabited</h5>
 
 <h4>1.5 <span class="Heading">GAP categories</span></h4>
 
+<p><a id="X7CD9D9627C565CF4" name="X7CD9D9627C565CF4"></a></p>
+
+<h5>1.5-1 IsCategoryWithoutMorphismData</h5>
+
+<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#8227; IsCategoryWithoutMorphismData</code>( <var class="Arg">object</var> )</td><td class="tdright">(&nbsp;filter&nbsp;)</td></tr></table></div>
+<p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>
+
+<p>The <strong class="pkg">GAP</strong> category of categories with morphisms without a morphism datum.</p>
+
 <p><a id="X81147C8787D95719" name="X81147C8787D95719"></a></p>
 
-<h5>1.5-1 IsObjectInThinCategory</h5>
+<h5>1.5-2 IsObjectInThinCategory</h5>
 
 <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#8227; IsObjectInThinCategory</code>( <var class="Arg">object</var> )</td><td class="tdright">(&nbsp;filter&nbsp;)</td></tr></table></div>
 <p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>
@@ -191,7 +201,7 @@ <h5>1.5-1 IsObjectInThinCategory</h5>
 
 <p><a id="X7AC4E7D484A5CAF3" name="X7AC4E7D484A5CAF3"></a></p>
 
-<h5>1.5-2 IsMorphismInThinCategory</h5>
+<h5>1.5-3 IsMorphismInThinCategory</h5>
 
 <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#8227; IsMorphismInThinCategory</code>( <var class="Arg">morphism</var> )</td><td class="tdright">(&nbsp;filter&nbsp;)</td></tr></table></div>
 <p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>

diff --git a/Locales/doc/chap1.txt b/Locales/doc/chap1.txt
@@ -93,14 +93,21 @@
 
   [1X1.5 [33X[0;0YGAP categories[133X[101X
 
-  [1X1.5-1 IsObjectInThinCategory[101X
+  [1X1.5-1 IsCategoryWithoutMorphismData[101X
+
+  [33X[1;0Y[29X[2XIsCategoryWithoutMorphismData[102X( [3Xobject[103X ) [32X filter[133X
+  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
+
+  [33X[0;0YThe [5XGAP[105X category of categories with morphisms without a morphism datum.[133X
+
+  [1X1.5-2 IsObjectInThinCategory[101X
 
   [33X[1;0Y[29X[2XIsObjectInThinCategory[102X( [3Xobject[103X ) [32X filter[133X
   [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
 
   [33X[0;0YThe [5XGAP[105X category of objects in a thin [5XCAP[105X category.[133X
 
-  [1X1.5-2 IsMorphismInThinCategory[101X
+  [1X1.5-3 IsMorphismInThinCategory[101X
 
   [33X[1;0Y[29X[2XIsMorphismInThinCategory[102X( [3Xmorphism[103X ) [32X filter[133X
   [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X

diff --git a/Locales/doc/chap1_mj.html b/Locales/doc/chap1_mj.html
@@ -55,8 +55,9 @@
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap1_mj.html#X7D03633A7D98026B">1.5 <span class="Heading">GAP categories</span></a>
 </span>
 <div class="ContSSBlock">
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap1_mj.html#X81147C8787D95719">1.5-1 IsObjectInThinCategory</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap1_mj.html#X7AC4E7D484A5CAF3">1.5-2 IsMorphismInThinCategory</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap1_mj.html#X7CD9D9627C565CF4">1.5-1 IsCategoryWithoutMorphismData</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap1_mj.html#X81147C8787D95719">1.5-2 IsObjectInThinCategory</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap1_mj.html#X7AC4E7D484A5CAF3">1.5-3 IsMorphismInThinCategory</a></span>
 </div></div>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap1_mj.html#X85C8C80F785AEB5E">1.6 <span class="Heading">Add-methods</span></a>
 </span>
@@ -183,9 +184,18 @@ <h5>1.4-1 AreIsomorphicForObjectsIfIsHomSetInhabited</h5>
 
 <h4>1.5 <span class="Heading">GAP categories</span></h4>
 
+<p><a id="X7CD9D9627C565CF4" name="X7CD9D9627C565CF4"></a></p>
+
+<h5>1.5-1 IsCategoryWithoutMorphismData</h5>
+
+<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#8227; IsCategoryWithoutMorphismData</code>( <var class="Arg">object</var> )</td><td class="tdright">(&nbsp;filter&nbsp;)</td></tr></table></div>
+<p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>
+
+<p>The <strong class="pkg">GAP</strong> category of categories with morphisms without a morphism datum.</p>
+
 <p><a id="X81147C8787D95719" name="X81147C8787D95719"></a></p>
 
-<h5>1.5-1 IsObjectInThinCategory</h5>
+<h5>1.5-2 IsObjectInThinCategory</h5>
 
 <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#8227; IsObjectInThinCategory</code>( <var class="Arg">object</var> )</td><td class="tdright">(&nbsp;filter&nbsp;)</td></tr></table></div>
 <p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>
@@ -194,7 +204,7 @@ <h5>1.5-1 IsObjectInThinCategory</h5>
 
 <p><a id="X7AC4E7D484A5CAF3" name="X7AC4E7D484A5CAF3"></a></p>
 
-<h5>1.5-2 IsMorphismInThinCategory</h5>
+<h5>1.5-3 IsMorphismInThinCategory</h5>
 
 <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#8227; IsMorphismInThinCategory</code>( <var class="Arg">morphism</var> )</td><td class="tdright">(&nbsp;filter&nbsp;)</td></tr></table></div>
 <p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>