Update website for CAP 2025.01-01

homalg-project · Jan 1, 2025 · fec8664 · fec8664
1 parent 3bbfe32
commit fec8664
Show file tree

Hide file tree

Showing 8 changed files with 41 additions and 41 deletions.
diff --git a/CAP/PackageInfo.g b/CAP/PackageInfo.g
@@ -10,8 +10,8 @@ SetPackageInfo( rec(
 
 PackageName := "CAP",
 Subtitle := "Categories, Algorithms, Programming",
-Version := "2024.11-02",
-Date := "2024-11-17",
+Version := "2025.01-01",
+Date := "2025-01-02",
 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>
-    2024.11-02</p>
+    2025.01-01</p>
 
 <p>
-    17 November 2024
+    2 January 2025
   </p>
 
 </div>

diff --git a/CAP/doc/chap0.txt b/CAP/doc/chap0.txt
@@ -6,10 +6,10 @@
                      [1X Categories, Algorithms, Programming [101X
 
 
-                                   2024.11-02
+                                   2025.01-01
 
 
-                                17 November 2024
+                                 2 January 2025
 
 
                                Sebastian Gutsche

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>
-    2024.11-02</p>
+    2025.01-01</p>
 
 <p>
-    17 November 2024
+    2 January 2025
   </p>
 
 </div>

diff --git a/CAP/doc/chap15.html b/CAP/doc/chap15.html
@@ -239,11 +239,11 @@ <h4>15.4 <span class="Heading">Terminal category</span></h4>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">z := ZeroObject( T );</span>
 &lt;A zero object in TerminalCategoryWithMultipleObjects( )&gt;
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( i );</span>
-InitialObject
+InitialObject(  )
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( t );</span>
-TerminalObject
+TerminalObject(  )
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( z );</span>
-ZeroObject
+ZeroObject(  )
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">IsIdenticalObj( i, z );</span>
 false
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">IsIdenticalObj( t, z );</span>
@@ -336,7 +336,7 @@ <h4>15.4 <span class="Heading">Terminal category</span></h4>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( id );</span>
 a
 |
-| IdentityMorphism
+| IdentityMorphism( a )
 v
 a
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">m = id;</span>
@@ -348,7 +348,7 @@ <h4>15.4 <span class="Heading">Terminal category</span></h4>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( zero );</span>
 a
 |
-| ZeroMorphism
+| ZeroMorphism( a, a )
 v
 a
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">id = zero;</span>
@@ -360,7 +360,7 @@ <h4>15.4 <span class="Heading">Terminal category</span></h4>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( lift );</span>
 a
 |
-| Lift
+| Lift( m, n )
 v
 a
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">IsColiftable( m, n );</span>
@@ -370,7 +370,7 @@ <h4>15.4 <span class="Heading">Terminal category</span></h4>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( colift );</span>
 b
 |
-| Colift
+| Colift( m, n )
 v
 b
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">DirectProduct( T, [ ] );</span>

diff --git a/CAP/doc/chap15.txt b/CAP/doc/chap15.txt
@@ -186,11 +186,11 @@
     [4X[25Xgap>[125X [27Xz := ZeroObject( T );[127X[104X
     [4X[28X<A zero object in TerminalCategoryWithMultipleObjects( )>[128X[104X
     [4X[25Xgap>[125X [27XDisplay( i );[127X[104X
-    [4X[28XInitialObject[128X[104X
+    [4X[28XInitialObject(  )[128X[104X
     [4X[25Xgap>[125X [27XDisplay( t );[127X[104X
-    [4X[28XTerminalObject[128X[104X
+    [4X[28XTerminalObject(  )[128X[104X
     [4X[25Xgap>[125X [27XDisplay( z );[127X[104X
-    [4X[28XZeroObject[128X[104X
+    [4X[28XZeroObject(  )[128X[104X
     [4X[25Xgap>[125X [27XIsIdenticalObj( i, z );[127X[104X
     [4X[28Xfalse[128X[104X
     [4X[25Xgap>[125X [27XIsIdenticalObj( t, z );[127X[104X
@@ -283,7 +283,7 @@
     [4X[25Xgap>[125X [27XDisplay( id );[127X[104X
     [4X[28Xa[128X[104X
     [4X[28X|[128X[104X
-    [4X[28X| IdentityMorphism[128X[104X
+    [4X[28X| IdentityMorphism( a )[128X[104X
     [4X[28Xv[128X[104X
     [4X[28Xa[128X[104X
     [4X[25Xgap>[125X [27Xm = id;[127X[104X
@@ -295,7 +295,7 @@
     [4X[25Xgap>[125X [27XDisplay( zero );[127X[104X
     [4X[28Xa[128X[104X
     [4X[28X|[128X[104X
-    [4X[28X| ZeroMorphism[128X[104X
+    [4X[28X| ZeroMorphism( a, a )[128X[104X
     [4X[28Xv[128X[104X
     [4X[28Xa[128X[104X
     [4X[25Xgap>[125X [27Xid = zero;[127X[104X
@@ -307,7 +307,7 @@
     [4X[25Xgap>[125X [27XDisplay( lift );[127X[104X
     [4X[28Xa[128X[104X
     [4X[28X|[128X[104X
-    [4X[28X| Lift[128X[104X
+    [4X[28X| Lift( m, n )[128X[104X
     [4X[28Xv[128X[104X
     [4X[28Xa[128X[104X
     [4X[25Xgap>[125X [27XIsColiftable( m, n );[127X[104X
@@ -317,7 +317,7 @@
     [4X[25Xgap>[125X [27XDisplay( colift );[127X[104X
     [4X[28Xb[128X[104X
     [4X[28X|[128X[104X
-    [4X[28X| Colift[128X[104X
+    [4X[28X| Colift( m, n )[128X[104X
     [4X[28Xv[128X[104X
     [4X[28Xb[128X[104X
     [4X[25Xgap>[125X [27XDirectProduct( T, [ ] );[127X[104X

diff --git a/CAP/doc/chap15_mj.html b/CAP/doc/chap15_mj.html
@@ -242,11 +242,11 @@ <h4>15.4 <span class="Heading">Terminal category</span></h4>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">z := ZeroObject( T );</span>
 &lt;A zero object in TerminalCategoryWithMultipleObjects( )&gt;
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( i );</span>
-InitialObject
+InitialObject(  )
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( t );</span>
-TerminalObject
+TerminalObject(  )
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( z );</span>
-ZeroObject
+ZeroObject(  )
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">IsIdenticalObj( i, z );</span>
 false
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">IsIdenticalObj( t, z );</span>
@@ -339,7 +339,7 @@ <h4>15.4 <span class="Heading">Terminal category</span></h4>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( id );</span>
 a
 |
-| IdentityMorphism
+| IdentityMorphism( a )
 v
 a
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">m = id;</span>
@@ -351,7 +351,7 @@ <h4>15.4 <span class="Heading">Terminal category</span></h4>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( zero );</span>
 a
 |
-| ZeroMorphism
+| ZeroMorphism( a, a )
 v
 a
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">id = zero;</span>
@@ -363,7 +363,7 @@ <h4>15.4 <span class="Heading">Terminal category</span></h4>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( lift );</span>
 a
 |
-| Lift
+| Lift( m, n )
 v
 a
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">IsColiftable( m, n );</span>
@@ -373,7 +373,7 @@ <h4>15.4 <span class="Heading">Terminal category</span></h4>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( colift );</span>
 b
 |
-| Colift
+| Colift( m, n )
 v
 b
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">DirectProduct( T, [ ] );</span>

diff --git a/_data/CAP.yml b/_data/CAP.yml
@@ -1,7 +1,7 @@
 name: CAP
-version: "2024.11-02"
+version: "2025.01-01"
 license: "GPL-2.0-or-later"
-date: 2024-11-17
+date: 2025-01-02
 description: |
     Categories, Algorithms, Programming
 
@@ -46,11 +46,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-2024.11-02/CAP-2024.11-02.tar.gz
+      url: https://github.com/homalg-project/CAP_project/releases/download/CAP-2025.01-01/CAP-2025.01-01.tar.gz
     - name: .zip
-      url: https://github.com/homalg-project/CAP_project/releases/download/CAP-2024.11-02/CAP-2024.11-02.zip
+      url: https://github.com/homalg-project/CAP_project/releases/download/CAP-2025.01-01/CAP-2025.01-01.zip
 
-pdf: https://github.com/homalg-project/CAP_project/releases/download/CAP-2024.11-02/CAP-2024.11-02-manual.pdf
+pdf: https://github.com/homalg-project/CAP_project/releases/download/CAP-2025.01-01/CAP-2025.01-01-manual.pdf
 
 abstract: |
     <span class="pkgname">CAP</span> (Categories, Algorithms, Programming) is a package for category theory.
@@ -62,10 +62,10 @@ doc-html: doc/chap0.html
 doc-pdf: doc/manual.pdf
 citeas: |
     <p class='BibEntry'>
-    [<span class='BibKey'>GPSZ17</span>]   <b class='BibAuthor'>Gutsche, S., Posur, S., Skartsæterhagen, Ø. and Zickgraf, F.</b>,
+    [<span class='BibKey'>GPSZ02</span>]   <b class='BibAuthor'>Gutsche, S., Posur, S., Skartsæterhagen, Ø. and Zickgraf, F.</b>,
      <i class='BibTitle'>CAP, Categories, Algorithms, Programming,
-             Version 2024.11-02</i>
-     (<span class='BibYear'>1-17</span>)<br />
+             Version 2025.01-01</i>
+     (<span class='BibYear'>1-02</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>
@@ -76,13 +76,13 @@ bibtex: |
       author =           {Gutsche,  S.  and  Posur,  S. and Skarts{\ae}terhagen,
                           {\O}. and Zickgraf, F.},
       title =            {{CAP},  Categories, Algorithms, Programming, {V}ersion
-                          2024.11\texttt{\symbol{45}}02},
-      month =            {4\texttt{\symbol{45}}},
-      year =             {1\texttt{\symbol{45}}17},
+                          2025.01\texttt{\symbol{45}}01},
+      month =            {5\texttt{\symbol{45}}},
+      year =             {1\texttt{\symbol{45}}02},
       note =             {GAP package},
       howpublished =     {\href       {https://homalg-project.github.io/pkg/CAP}
                           {\texttt{https://homalg\texttt{\symbol{45}}project.github.io/}\discretionary
                           {}{}{}\texttt{pkg/}\discretionary {}{}{}\texttt{CAP}}},
-      printedkey =       {GPSZ17}
+      printedkey =       {GPSZ02}
     }