diff --git a/PackageInfo.g b/PackageInfo.g
index 28da91b..7bea32e 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -10,9 +10,9 @@ SetPackageInfo( rec(
 
 PackageName := "FinSetsForCAP",
 Subtitle := "The elementary topos of (skeletal) finite sets",
-Version := "2024.02-01",
+Version := "2024.02-02",
 
-Date := "2024-02-04",
+Date := "2024-02-05",
 License := "GPL-2.0-or-later",
 
 Persons := [
diff --git a/_data/package.yml b/_data/package.yml
index 2b4312d..11c49eb 100644
--- a/_data/package.yml
+++ b/_data/package.yml
@@ -1,7 +1,7 @@
 name: FinSetsForCAP
-version: "2024.02-01"
+version: "2024.02-02"
 license: "GPL-2.0-or-later"
-date: 2024-02-04
+date: 2024-02-05
 description: |
     The elementary topos of (skeletal) finite sets
 
@@ -40,11 +40,11 @@ packageinfo: https://homalg-project.github.io/FinSetsForCAP/PackageInfo.g
 
 downloads:
     - name: .tar.gz
-      url: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.02-01/FinSetsForCAP-2024.02-01.tar.gz
+      url: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.02-02/FinSetsForCAP-2024.02-02.tar.gz
     - name: .zip
-      url: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.02-01/FinSetsForCAP-2024.02-01.zip
+      url: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.02-02/FinSetsForCAP-2024.02-02.zip
 
-pdf: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.02-01/FinSetsForCAP-2024.02-01-manual.pdf
+pdf: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.02-02/FinSetsForCAP-2024.02-02-manual.pdf
 
 abstract: |
 
@@ -53,28 +53,28 @@ doc-html: doc/chap0.html
 doc-pdf: doc/manual.pdf
 citeas: |
     <p class='BibEntry'>
-    [<span class='BibKey'>BMZ04</span>]   <b class='BibAuthor'>Barakat, M., Mickisch, J. and Zickgraf, F.</b>,
+    [<span class='BibKey'>BMZ05</span>]   <b class='BibAuthor'>Barakat, M., Mickisch, J. and Zickgraf, F.</b>,
      <i class='BibTitle'>FinSetsForCAP, The elementary topos of (skeletal) finite sets,
-             Version 2024.02-01</i>
-     (<span class='BibYear'>2-04</span>)<br />
+             Version 2024.02-02</i>
+     (<span class='BibYear'>2-05</span>)<br />
     (<span class='BibNote'>GAP package</span>),
     <span class='BibHowpublished'><a href="https://homalg-project.github.io/pkg/FinSetsForCAP">https://homalg-project.github.io/pkg/FinSetsForCAP</a></span>.
     </p>
     
 
 bibtex: |
-    @misc{ FinSetsForCAP2024.02-01,
+    @misc{ FinSetsForCAP2024.02-02,
       author =           {Barakat, M. and Mickisch, J. and Zickgraf, F.},
       title =            {{FinSetsForCAP},  The  elementary  topos of (skeletal)
-                          finite sets, {V}ersion 2024.02-01},
+                          finite sets, {V}ersion 2024.02-02},
       month =            {4-},
-      year =             {2-04},
+      year =             {2-05},
       note =             {GAP package},
       howpublished =     {\href
                           {https://homalg-project.github.io/pkg/FinSetsForCAP}
                           {\texttt{https://homalg-project.github.io/}\discretionary
                           {}{}{}\texttt{pkg/}\discretionary
                           {}{}{}\texttt{FinSetsForCAP}}},
-      printedkey =       {BMZ04}
+      printedkey =       {BMZ05}
     }
 
diff --git a/doc/chap0.html b/doc/chap0.html
index 0ef4559..1134c28 100644
--- a/doc/chap0.html
+++ b/doc/chap0.html
@@ -29,10 +29,10 @@ <h1>FinSetsForCAP</h1>
 <h2>The elementary topos of (skeletal) finite sets</h2>
 
 <p>
-    2024.02-01</p>
+    2024.02-02</p>
 
 <p>
-    4 February 2024
+    5 February 2024
   </p>
 
 </div>
diff --git a/doc/chap0.txt b/doc/chap0.txt
index 91a7f64..699a045 100644
--- a/doc/chap0.txt
+++ b/doc/chap0.txt
@@ -6,10 +6,10 @@
                  The elementary topos of (skeletal) finite sets 
   
   
-                                   2024.02-01
+                                   2024.02-02
   
   
-                                4 February 2024
+                                5 February 2024
   
   
                                 Mohamed Barakat
diff --git a/doc/chap0_mj.html b/doc/chap0_mj.html
index 07922e2..397f1e6 100644
--- a/doc/chap0_mj.html
+++ b/doc/chap0_mj.html
@@ -32,10 +32,10 @@ <h1>FinSetsForCAP</h1>
 <h2>The elementary topos of (skeletal) finite sets</h2>
 
 <p>
-    2024.02-01</p>
+    2024.02-02</p>
 
 <p>
-    4 February 2024
+    5 February 2024
   </p>
 
 </div>
diff --git a/doc/chap3.html b/doc/chap3.html
index be8f79a..35ba495 100644
--- a/doc/chap3.html
+++ b/doc/chap3.html
@@ -56,6 +56,7 @@ <h4>3.1 <span class="Heading">Precompiling the category of skeletal finite sets<
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">          "CartesianBraidingInverseWithGivenDirectProducts",</span>
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">          "CartesianLambdaIntroduction",</span>
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">          "CartesianRightEvaluationMorphismWithGivenSource",</span>
+<span class="GAPprompt">&gt;</span> <span class="GAPinput">          "CartesianRightCoevaluationMorphismWithGivenRange",</span>
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">          "CoastrictionToImage",</span>
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">          "CoimageProjection",</span>
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">          "IsHomSetInhabited",</span>
diff --git a/doc/chap3.txt b/doc/chap3.txt
index bc55c10..0ce94e6 100644
--- a/doc/chap3.txt
+++ b/doc/chap3.txt
@@ -26,6 +26,7 @@
     >           "CartesianBraidingInverseWithGivenDirectProducts",
     >           "CartesianLambdaIntroduction",
     >           "CartesianRightEvaluationMorphismWithGivenSource",
+    >           "CartesianRightCoevaluationMorphismWithGivenRange",
     >           "CoastrictionToImage",
     >           "CoimageProjection",
     >           "IsHomSetInhabited",
diff --git a/doc/chap3_mj.html b/doc/chap3_mj.html
index 3debb95..3ea8a1e 100644
--- a/doc/chap3_mj.html
+++ b/doc/chap3_mj.html
@@ -59,6 +59,7 @@ <h4>3.1 <span class="Heading">Precompiling the category of skeletal finite sets<
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">          "CartesianBraidingInverseWithGivenDirectProducts",</span>
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">          "CartesianLambdaIntroduction",</span>
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">          "CartesianRightEvaluationMorphismWithGivenSource",</span>
+<span class="GAPprompt">&gt;</span> <span class="GAPinput">          "CartesianRightCoevaluationMorphismWithGivenRange",</span>
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">          "CoastrictionToImage",</span>
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">          "CoimageProjection",</span>
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">          "IsHomSetInhabited",</span>