Update website for CAP 2023.08-04

homalg-project · Aug 3, 2023 · 5f76a29 · 5f76a29
1 parent ebaf42f
commit 5f76a29
Show file tree

Hide file tree

Showing 14 changed files with 88 additions and 20 deletions.
diff --git a/CAP/PackageInfo.g b/CAP/PackageInfo.g
@@ -10,8 +10,8 @@ SetPackageInfo( rec(
 
 PackageName := "CAP",
 Subtitle := "Categories, Algorithms, Programming",
-Version := "2023.08-03",
-Date := "2023-08-01",
+Version := "2023.08-04",
+Date := "2023-08-03",
 License := "GPL-2.0-or-later",
 
 Persons := [

diff --git a/CAP/doc/chap0.html b/CAP/doc/chap0.html
@@ -29,10 +29,10 @@ <h1>CAP</h1>
 <h2>Categories, Algorithms, Programming</h2>
 
 <p>
-    2023.08-03</p>
+    2023.08-04</p>
 
 <p>
-    1 August 2023
+    3 August 2023
   </p>
 
 </div>
@@ -283,6 +283,7 @@ <h3>Contents<a id="contents" name="contents"></a></h3>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X7E923036810C606E">3.1-1 CapCategory</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X7E1373E385E7315A">3.1-2 Source</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X817496B987A1ADFC">3.1-3 Range</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X83A0A39587BD6383">3.1-4 Target</a></span>
 </div></div>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap3.html#X8279E00178F05A66">3.2 <span class="Heading">Morphism constructors</span></a>
 </span>
@@ -465,6 +466,7 @@ <h3>Contents<a id="contents" name="contents"></a></h3>
 <div class="ContSSBlock">
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap4.html#X8061EB36809022A4">4.1-1 Source</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap4.html#X7C16D44B8639016B">4.1-2 Range</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap4.html#X780D00C482CA707D">4.1-3 Target</a></span>
 </div></div>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap4.html#X7B780EDB7E466121">4.2 <span class="Heading">Identity 2-Cell and Composition of 2-Cells</span></a>
 </span>

diff --git a/CAP/doc/chap0.txt b/CAP/doc/chap0.txt
@@ -6,10 +6,10 @@
                      [1X Categories, Algorithms, Programming [101X
 
 
-                                   2023.08-03
+                                   2023.08-04
 
 
-                                 1 August 2023
+                                 3 August 2023
 
 
                                Sebastian Gutsche
@@ -184,6 +184,7 @@
       3.1-1 CapCategory
       3.1-2 Source
       3.1-3 Range
+      3.1-4 Target
     3.2 [33X[0;0YMorphism constructors[133X
       3.2-1 MorphismConstructor
       3.2-2 MorphismDatum
@@ -311,6 +312,7 @@
     4.1 [33X[0;0YAttributes for the Type of 2-Cells[133X
       4.1-1 Source
       4.1-2 Range
+      4.1-3 Target
     4.2 [33X[0;0YIdentity 2-Cell and Composition of 2-Cells[133X
       4.2-1 IdentityTwoCell
       4.2-2 HorizontalPreCompose

diff --git a/CAP/doc/chap0_mj.html b/CAP/doc/chap0_mj.html
@@ -32,10 +32,10 @@ <h1>CAP</h1>
 <h2>Categories, Algorithms, Programming</h2>
 
 <p>
-    2023.08-03</p>
+    2023.08-04</p>
 
 <p>
-    1 August 2023
+    3 August 2023
   </p>
 
 </div>
@@ -286,6 +286,7 @@ <h3>Contents<a id="contents" name="contents"></a></h3>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X7E923036810C606E">3.1-1 CapCategory</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X7E1373E385E7315A">3.1-2 Source</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X817496B987A1ADFC">3.1-3 Range</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X83A0A39587BD6383">3.1-4 Target</a></span>
 </div></div>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap3_mj.html#X8279E00178F05A66">3.2 <span class="Heading">Morphism constructors</span></a>
 </span>
@@ -468,6 +469,7 @@ <h3>Contents<a id="contents" name="contents"></a></h3>
 <div class="ContSSBlock">
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap4_mj.html#X8061EB36809022A4">4.1-1 Source</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap4_mj.html#X7C16D44B8639016B">4.1-2 Range</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap4_mj.html#X780D00C482CA707D">4.1-3 Target</a></span>
 </div></div>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap4_mj.html#X7B780EDB7E466121">4.2 <span class="Heading">Identity 2-Cell and Composition of 2-Cells</span></a>
 </span>

diff --git a/CAP/doc/chap3.html b/CAP/doc/chap3.html
@@ -28,6 +28,7 @@
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X7E923036810C606E">3.1-1 CapCategory</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X7E1373E385E7315A">3.1-2 Source</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X817496B987A1ADFC">3.1-3 Range</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X83A0A39587BD6383">3.1-4 Target</a></span>
 </div></div>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap3.html#X8279E00178F05A66">3.2 <span class="Heading">Morphism constructors</span></a>
 </span>
@@ -240,6 +241,15 @@ <h5>3.1-3 Range</h5>
 
 <p>The argument is a morphism <span class="Math">\alpha: a \rightarrow b</span>. The output is its range <span class="Math">b</span>.</p>
 
+<p><a id="X83A0A39587BD6383" name="X83A0A39587BD6383"></a></p>
+
+<h5>3.1-4 Target</h5>
+
+<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#8227; Target</code>( <var class="Arg">alpha</var> )</td><td class="tdright">(&nbsp;attribute&nbsp;)</td></tr></table></div>
+<p>Returns: an object</p>
+
+<p>The argument is a morphism <span class="Math">\alpha: a \rightarrow b</span>. The output is its target <span class="Math">b</span>.</p>
+
 <p><a id="X8279E00178F05A66" name="X8279E00178F05A66"></a></p>
 
 <h4>3.2 <span class="Heading">Morphism constructors</span></h4>

diff --git a/CAP/doc/chap3.txt b/CAP/doc/chap3.txt
@@ -35,6 +35,14 @@
   [33X[0;0YThe  argument is a morphism [23X\alpha: a \rightarrow b[123X. The output is its range
   [23Xb[123X.[133X
 
+  [1X3.1-4 Target[101X
+
+  [33X[1;0Y[29X[2XTarget[102X( [3Xalpha[103X ) [32X attribute[133X
+  [6XReturns:[106X  [33X[0;10Yan object[133X
+
+  [33X[0;0YThe argument is a morphism [23X\alpha: a \rightarrow b[123X. The output is its target
+  [23Xb[123X.[133X
+
 
   [1X3.2 [33X[0;0YMorphism constructors[133X[101X
 

diff --git a/CAP/doc/chap3_mj.html b/CAP/doc/chap3_mj.html
@@ -31,6 +31,7 @@
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X7E923036810C606E">3.1-1 CapCategory</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X7E1373E385E7315A">3.1-2 Source</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X817496B987A1ADFC">3.1-3 Range</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X83A0A39587BD6383">3.1-4 Target</a></span>
 </div></div>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap3_mj.html#X8279E00178F05A66">3.2 <span class="Heading">Morphism constructors</span></a>
 </span>
@@ -243,6 +244,15 @@ <h5>3.1-3 Range</h5>
 
 <p>The argument is a morphism <span class="SimpleMath">\(\alpha: a \rightarrow b\)</span>. The output is its range <span class="SimpleMath">\(b\)</span>.</p>
 
+<p><a id="X83A0A39587BD6383" name="X83A0A39587BD6383"></a></p>
+
+<h5>3.1-4 Target</h5>
+
+<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#8227; Target</code>( <var class="Arg">alpha</var> )</td><td class="tdright">(&nbsp;attribute&nbsp;)</td></tr></table></div>
+<p>Returns: an object</p>
+
+<p>The argument is a morphism <span class="SimpleMath">\(\alpha: a \rightarrow b\)</span>. The output is its target <span class="SimpleMath">\(b\)</span>.</p>
+
 <p><a id="X8279E00178F05A66" name="X8279E00178F05A66"></a></p>
 
 <h4>3.2 <span class="Heading">Morphism constructors</span></h4>

diff --git a/CAP/doc/chap4.html b/CAP/doc/chap4.html
@@ -27,6 +27,7 @@
 <div class="ContSSBlock">
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap4.html#X8061EB36809022A4">4.1-1 Source</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap4.html#X7C16D44B8639016B">4.1-2 Range</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap4.html#X780D00C482CA707D">4.1-3 Target</a></span>
 </div></div>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap4.html#X7B780EDB7E466121">4.2 <span class="Heading">Identity 2-Cell and Composition of 2-Cells</span></a>
 </span>
@@ -68,6 +69,15 @@ <h5>4.1-2 Range</h5>
 
 <p>The argument is a <span class="Math">2</span>-cell <span class="Math">c: \alpha \rightarrow \beta</span>. The output is its range <span class="Math">\beta</span>.</p>
 
+<p><a id="X780D00C482CA707D" name="X780D00C482CA707D"></a></p>
+
+<h5>4.1-3 Target</h5>
+
+<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#8227; Target</code>( <var class="Arg">c</var> )</td><td class="tdright">(&nbsp;attribute&nbsp;)</td></tr></table></div>
+<p>Returns: a morphism</p>
+
+<p>The argument is a <span class="Math">2</span>-cell <span class="Math">c: \alpha \rightarrow \beta</span>. The output is its target <span class="Math">\beta</span>.</p>
+
 <p><a id="X7B780EDB7E466121" name="X7B780EDB7E466121"></a></p>
 
 <h4>4.2 <span class="Heading">Identity 2-Cell and Composition of 2-Cells</span></h4>

diff --git a/CAP/doc/chap4.txt b/CAP/doc/chap4.txt
@@ -20,6 +20,14 @@
   [33X[0;0YThe  argument  is  a  [23X2[123X-cell  [23Xc: \alpha \rightarrow \beta[123X. The output is its
   range [23X\beta[123X.[133X
 
+  [1X4.1-3 Target[101X
+
+  [33X[1;0Y[29X[2XTarget[102X( [3Xc[103X ) [32X attribute[133X
+  [6XReturns:[106X  [33X[0;10Ya morphism[133X
+
+  [33X[0;0YThe  argument  is  a  [23X2[123X-cell  [23Xc: \alpha \rightarrow \beta[123X. The output is its
+  target [23X\beta[123X.[133X
+
 
   [1X4.2 [33X[0;0YIdentity 2-Cell and Composition of 2-Cells[133X[101X
 

diff --git a/CAP/doc/chap4_mj.html b/CAP/doc/chap4_mj.html
@@ -30,6 +30,7 @@
 <div class="ContSSBlock">
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap4_mj.html#X8061EB36809022A4">4.1-1 Source</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap4_mj.html#X7C16D44B8639016B">4.1-2 Range</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap4_mj.html#X780D00C482CA707D">4.1-3 Target</a></span>
 </div></div>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap4_mj.html#X7B780EDB7E466121">4.2 <span class="Heading">Identity 2-Cell and Composition of 2-Cells</span></a>
 </span>
@@ -71,6 +72,15 @@ <h5>4.1-2 Range</h5>
 
 <p>The argument is a <span class="SimpleMath">\(2\)</span>-cell <span class="SimpleMath">\(c: \alpha \rightarrow \beta\)</span>. The output is its range <span class="SimpleMath">\(\beta\)</span>.</p>
 
+<p><a id="X780D00C482CA707D" name="X780D00C482CA707D"></a></p>
+
+<h5>4.1-3 Target</h5>
+
+<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#8227; Target</code>( <var class="Arg">c</var> )</td><td class="tdright">(&nbsp;attribute&nbsp;)</td></tr></table></div>
+<p>Returns: a morphism</p>
+
+<p>The argument is a <span class="SimpleMath">\(2\)</span>-cell <span class="SimpleMath">\(c: \alpha \rightarrow \beta\)</span>. The output is its target <span class="SimpleMath">\(\beta\)</span>.</p>
+
 <p><a id="X7B780EDB7E466121" name="X7B780EDB7E466121"></a></p>
 
 <h4>4.2 <span class="Heading">Identity 2-Cell and Composition of 2-Cells</span></h4>

diff --git a/CAP/doc/chapInd.html b/CAP/doc/chapInd.html
@@ -858,6 +858,8 @@ <h3>Index</h3>
 <code class="func">SumOfMorphisms</code>, for IsCapCategoryObject, IsList, IsCapCategoryObject  <a href="chap3.html#X7D50F754822C30D7">3.10-8</a>  <br />
 <code class="func">SumWithKeys</code>  <a href="chap9.html#X873A487F7DA2A359">9.2-43</a>  <br />
 <code class="func">Swap</code>, for IsStringMinHeap, IsPosInt, IsPosInt  <a href="chap8.html#X7AE2A000800CD0A2">8.5-9</a>  <br />
+<code class="func">Target</code>, for IsCapCategoryMorphism  <a href="chap3.html#X83A0A39587BD6383">3.1-4</a>  <br />
+&nbsp;&nbsp;&nbsp;&nbsp;for IsCapCategoryTwoCell  <a href="chap4.html#X780D00C482CA707D">4.1-3</a>  <br />
 <code class="func">TargetOperation</code>, for IsDerivedMethod  <a href="chap8.html#X82E56CD47C15FE34">8.2-8</a>  <br />
 <code class="func">TerminalCategoryWithMultipleObjects</code>  <a href="chap16.html#X7CBD1E9B81BBFFC8">16.2-2</a>  <br />
 <code class="func">TerminalCategoryWithSingleObject</code>  <a href="chap16.html#X7D7044AA82764329">16.2-1</a>  <br />

diff --git a/CAP/doc/chapInd.txt b/CAP/doc/chapInd.txt
@@ -835,6 +835,8 @@
   [2XSumOfMorphisms[102X, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.10-8 
   [2XSumWithKeys[102X 9.2-43 
   [2XSwap[102X, for IsStringMinHeap, IsPosInt, IsPosInt 8.5-9 
+  [2XTarget[102X, for IsCapCategoryMorphism 3.1-4 
+      for IsCapCategoryTwoCell 4.1-3 
   [2XTargetOperation[102X, for IsDerivedMethod 8.2-8 
   [2XTerminalCategoryWithMultipleObjects[102X 16.2-2 
   [2XTerminalCategoryWithSingleObject[102X 16.2-1 

diff --git a/CAP/doc/chapInd_mj.html b/CAP/doc/chapInd_mj.html
@@ -861,6 +861,8 @@ <h3>Index</h3>
 <code class="func">SumOfMorphisms</code>, for IsCapCategoryObject, IsList, IsCapCategoryObject  <a href="chap3_mj.html#X7D50F754822C30D7">3.10-8</a>  <br />
 <code class="func">SumWithKeys</code>  <a href="chap9_mj.html#X873A487F7DA2A359">9.2-43</a>  <br />
 <code class="func">Swap</code>, for IsStringMinHeap, IsPosInt, IsPosInt  <a href="chap8_mj.html#X7AE2A000800CD0A2">8.5-9</a>  <br />
+<code class="func">Target</code>, for IsCapCategoryMorphism  <a href="chap3_mj.html#X83A0A39587BD6383">3.1-4</a>  <br />
+&nbsp;&nbsp;&nbsp;&nbsp;for IsCapCategoryTwoCell  <a href="chap4_mj.html#X780D00C482CA707D">4.1-3</a>  <br />
 <code class="func">TargetOperation</code>, for IsDerivedMethod  <a href="chap8_mj.html#X82E56CD47C15FE34">8.2-8</a>  <br />
 <code class="func">TerminalCategoryWithMultipleObjects</code>  <a href="chap16_mj.html#X7CBD1E9B81BBFFC8">16.2-2</a>  <br />
 <code class="func">TerminalCategoryWithSingleObject</code>  <a href="chap16_mj.html#X7D7044AA82764329">16.2-1</a>  <br />

diff --git a/_data/CAP.yml b/_data/CAP.yml
@@ -1,7 +1,7 @@
 name: CAP
-version: "2023.08-03"
+version: "2023.08-04"
 license: "GPL-2.0-or-later"
-date: 2023-08-01
+date: 2023-08-03
 description: |
     Categories, Algorithms, Programming
 
@@ -42,11 +42,11 @@ packageinfo: https://homalg-project.github.io/CAP_project/CAP/PackageInfo.g
 
 downloads:
     - name: .tar.gz
-      url: https://github.com/homalg-project/CAP_project/releases/download/CAP-2023.08-03/CAP-2023.08-03.tar.gz
+      url: https://github.com/homalg-project/CAP_project/releases/download/CAP-2023.08-04/CAP-2023.08-04.tar.gz
     - name: .zip
-      url: https://github.com/homalg-project/CAP_project/releases/download/CAP-2023.08-03/CAP-2023.08-03.zip
+      url: https://github.com/homalg-project/CAP_project/releases/download/CAP-2023.08-04/CAP-2023.08-04.zip
 
-pdf: https://github.com/homalg-project/CAP_project/releases/download/CAP-2023.08-03/CAP-2023.08-03-manual.pdf
+pdf: https://github.com/homalg-project/CAP_project/releases/download/CAP-2023.08-04/CAP-2023.08-04-manual.pdf
 
 abstract: |
     <span class="pkgname">CAP</span> (Categories, Algorithms, Programming) is a package for category theory.
@@ -58,27 +58,27 @@ doc-html: doc/chap0.html
 doc-pdf: doc/manual.pdf
 citeas: |
     <p class='BibEntry'>
-    [<span class='BibKey'>GPS01</span>]   <b class='BibAuthor'>Gutsche, S., Posur, S. and Skartsæterhagen, Ø.</b>,
+    [<span class='BibKey'>GPS03</span>]   <b class='BibAuthor'>Gutsche, S., Posur, S. and Skartsæterhagen, Ø.</b>,
      <i class='BibTitle'>CAP, Categories, Algorithms, Programming,
-             Version 2023.08-03</i>
-     (<span class='BibYear'>8-01</span>)<br />
+             Version 2023.08-04</i>
+     (<span class='BibYear'>8-03</span>)<br />
     (<span class='BibNote'>GAP package</span>),
     <span class='BibHowpublished'><a href="https://homalg-project.github.io/pkg/CAP">https://homalg-project.github.io/pkg/CAP</a></span>.
     </p>
     
 
 bibtex: |
-    @misc{ CAP2023.08-03,
+    @misc{ CAP2023.08-04,
       author =           {Gutsche,  S.  and  Posur,  S. and Skarts{\ae}terhagen,
                           {\O}.},
       title =            {{CAP},  Categories, Algorithms, Programming, {V}ersion
-                          2023.08-03},
+                          2023.08-04},
       month =            {3-},
-      year =             {8-01},
+      year =             {8-03},
       note =             {GAP package},
       howpublished =     {\href       {https://homalg-project.github.io/pkg/CAP}
                           {\texttt{https://homalg-project.github.io/}\discretionary
                           {}{}{}\texttt{pkg/}\discretionary {}{}{}\texttt{CAP}}},
-      printedkey =       {GPS01}
+      printedkey =       {GPS03}
     }