Update website for CAP 2024.10-08

homalg-project · Oct 30, 2024 · 55d6636 · 55d6636
1 parent 4768b48
commit 55d6636
Show file tree

Hide file tree

Showing 8 changed files with 25 additions and 181 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.10-07",
-Date := "2024-10-24",
+Version := "2024.10-08",
+Date := "2024-10-30",
 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.10-07</p>
+    2024.10-08</p>
 
 <p>
-    24 October 2024
+    30 October 2024
   </p>
 
 </div>

diff --git a/CAP/doc/chap0.txt b/CAP/doc/chap0.txt
@@ -6,10 +6,10 @@
                      [1X Categories, Algorithms, Programming [101X
 
 
-                                   2024.10-07
+                                   2024.10-08
 
 
-                                24 October 2024
+                                30 October 2024
 
 
                                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.10-07</p>
+    2024.10-08</p>
 
 <p>
-    24 October 2024
+    30 October 2024
   </p>
 
 </div>

diff --git a/CAP/doc/chap15.html b/CAP/doc/chap15.html
@@ -228,31 +228,10 @@ <h4>15.4 <span class="Heading">Terminal category</span></h4>
 
 
 <div class="example"><pre>
-<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">LoadPackage( "MonoidalCategories", "&gt;= 2024.06-02", false );</span>
+<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">LoadPackage( "CAP", false );</span>
 true
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">T := TerminalCategoryWithMultipleObjects( );</span>
 TerminalCategoryWithMultipleObjects( )
-<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( T );</span>
-A CAP category with name TerminalCategoryWithMultipleObjects( ):
-
-86 primitive operations were used to derive 388 operations for this category \
-which algorithmically
-* IsCategoryWithDecidableColifts
-* IsCategoryWithDecidableLifts
-* IsEquippedWithHomomorphismStructure
-* IsLinearCategoryOverCommutativeRing
-* IsLeftClosedMonoidalCategory
-* IsLeftCoclosedMonoidalCategory
-* IsRigidSymmetricClosedMonoidalCategory
-* IsRigidSymmetricCoclosedMonoidalCategory
-* IsAbelianCategoryWithEnoughInjectives
-* IsAbelianCategoryWithEnoughProjectives
-and not yet algorithmically
-* IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms
-and furthermore mathematically
-* IsLocallyOfFiniteInjectiveDimension
-* IsLocallyOfFiniteProjectiveDimension
-* IsTerminalCategory
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">i := InitialObject( T );</span>
 &lt;A zero object in TerminalCategoryWithMultipleObjects( )&gt;
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">t := TerminalObject( T );</span>
@@ -326,14 +305,6 @@ <h4>15.4 <span class="Heading">Terminal category</span></h4>
 true
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">HomStructure( mor_ab );</span>
 &lt;A zero, identity morphism in TerminalCategoryWithSingleObject( )&gt;
-<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">t := TensorProduct( a, b );</span>
-&lt;A zero object in TerminalCategoryWithMultipleObjects( )&gt;
-<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( t );</span>
-TensorProductOnObjects
-<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">a = t;</span>
-false
-<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">TensorProduct( a, a ) = t;</span>
-true
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">m := MorphismConstructor( a, "m", b );</span>
 &lt;A zero, isomorphism in TerminalCategoryWithMultipleObjects( )&gt;
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( m );</span>
@@ -414,33 +385,10 @@ <h4>15.4 <span class="Heading">Terminal category</span></h4>
 
 
 <div class="example"><pre>
-<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">LoadPackage( "MonoidalCategories", "&gt;= 2024.06-02", false );</span>
+<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">LoadPackage( "CAP", false );</span>
 true
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">T := TerminalCategoryWithSingleObject( );</span>
 TerminalCategoryWithSingleObject( )
-<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( T );</span>
-A CAP category with name TerminalCategoryWithSingleObject( ):
-
-80 primitive operations were used to derive 388 operations for this category \
-which algorithmically
-* IsCategoryWithDecidableColifts
-* IsCategoryWithDecidableLifts
-* IsEquippedWithHomomorphismStructure
-* IsLinearCategoryOverCommutativeRing
-* IsLeftClosedMonoidalCategory
-* IsLeftCoclosedMonoidalCategory
-* IsRigidSymmetricClosedMonoidalCategory
-* IsRigidSymmetricCoclosedMonoidalCategory
-* IsAbelianCategoryWithEnoughInjectives
-* IsAbelianCategoryWithEnoughProjectives
-and not yet algorithmically
-* IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms
-and furthermore mathematically
-* IsLocallyOfFiniteInjectiveDimension
-* IsLocallyOfFiniteProjectiveDimension
-* IsSkeletalCategory
-* IsStrictMonoidalCategory
-* IsTerminalCategory
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">i := InitialObject( T );</span>
 &lt;A zero object in TerminalCategoryWithSingleObject( )&gt;
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">t := TerminalObject( T );</span>

diff --git a/CAP/doc/chap15.txt b/CAP/doc/chap15.txt
@@ -175,31 +175,10 @@
   [1X15.4 [33X[0;0YTerminal category[133X[101X
 
   [4X[32X  Example  [32X[104X
-    [4X[25Xgap>[125X [27XLoadPackage( "MonoidalCategories", ">= 2024.06-02", false );[127X[104X
+    [4X[25Xgap>[125X [27XLoadPackage( "CAP", false );[127X[104X
     [4X[28Xtrue[128X[104X
     [4X[25Xgap>[125X [27XT := TerminalCategoryWithMultipleObjects( );[127X[104X
     [4X[28XTerminalCategoryWithMultipleObjects( )[128X[104X
-    [4X[25Xgap>[125X [27XDisplay( T );[127X[104X
-    [4X[28XA CAP category with name TerminalCategoryWithMultipleObjects( ):[128X[104X
-    [4X[28X[128X[104X
-    [4X[28X86 primitive operations were used to derive 388 operations for this category \[128X[104X
-    [4X[28Xwhich algorithmically[128X[104X
-    [4X[28X* IsCategoryWithDecidableColifts[128X[104X
-    [4X[28X* IsCategoryWithDecidableLifts[128X[104X
-    [4X[28X* IsEquippedWithHomomorphismStructure[128X[104X
-    [4X[28X* IsLinearCategoryOverCommutativeRing[128X[104X
-    [4X[28X* IsLeftClosedMonoidalCategory[128X[104X
-    [4X[28X* IsLeftCoclosedMonoidalCategory[128X[104X
-    [4X[28X* IsRigidSymmetricClosedMonoidalCategory[128X[104X
-    [4X[28X* IsRigidSymmetricCoclosedMonoidalCategory[128X[104X
-    [4X[28X* IsAbelianCategoryWithEnoughInjectives[128X[104X
-    [4X[28X* IsAbelianCategoryWithEnoughProjectives[128X[104X
-    [4X[28Xand not yet algorithmically[128X[104X
-    [4X[28X* IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms[128X[104X
-    [4X[28Xand furthermore mathematically[128X[104X
-    [4X[28X* IsLocallyOfFiniteInjectiveDimension[128X[104X
-    [4X[28X* IsLocallyOfFiniteProjectiveDimension[128X[104X
-    [4X[28X* IsTerminalCategory[128X[104X
     [4X[25Xgap>[125X [27Xi := InitialObject( T );[127X[104X
     [4X[28X<A zero object in TerminalCategoryWithMultipleObjects( )>[128X[104X
     [4X[25Xgap>[125X [27Xt := TerminalObject( T );[127X[104X
@@ -273,14 +252,6 @@
     [4X[28Xtrue[128X[104X
     [4X[25Xgap>[125X [27XHomStructure( mor_ab );[127X[104X
     [4X[28X<A zero, identity morphism in TerminalCategoryWithSingleObject( )>[128X[104X
-    [4X[25Xgap>[125X [27Xt := TensorProduct( a, b );[127X[104X
-    [4X[28X<A zero object in TerminalCategoryWithMultipleObjects( )>[128X[104X
-    [4X[25Xgap>[125X [27XDisplay( t );[127X[104X
-    [4X[28XTensorProductOnObjects[128X[104X
-    [4X[25Xgap>[125X [27Xa = t;[127X[104X
-    [4X[28Xfalse[128X[104X
-    [4X[25Xgap>[125X [27XTensorProduct( a, a ) = t;[127X[104X
-    [4X[28Xtrue[128X[104X
     [4X[25Xgap>[125X [27Xm := MorphismConstructor( a, "m", b );[127X[104X
     [4X[28X<A zero, isomorphism in TerminalCategoryWithMultipleObjects( )>[128X[104X
     [4X[25Xgap>[125X [27XDisplay( m );[127X[104X
@@ -360,33 +331,10 @@
   [4X[32X[104X
 
   [4X[32X  Example  [32X[104X
-    [4X[25Xgap>[125X [27XLoadPackage( "MonoidalCategories", ">= 2024.06-02", false );[127X[104X
+    [4X[25Xgap>[125X [27XLoadPackage( "CAP", false );[127X[104X
     [4X[28Xtrue[128X[104X
     [4X[25Xgap>[125X [27XT := TerminalCategoryWithSingleObject( );[127X[104X
     [4X[28XTerminalCategoryWithSingleObject( )[128X[104X
-    [4X[25Xgap>[125X [27XDisplay( T );[127X[104X
-    [4X[28XA CAP category with name TerminalCategoryWithSingleObject( ):[128X[104X
-    [4X[28X[128X[104X
-    [4X[28X80 primitive operations were used to derive 388 operations for this category \[128X[104X
-    [4X[28Xwhich algorithmically[128X[104X
-    [4X[28X* IsCategoryWithDecidableColifts[128X[104X
-    [4X[28X* IsCategoryWithDecidableLifts[128X[104X
-    [4X[28X* IsEquippedWithHomomorphismStructure[128X[104X
-    [4X[28X* IsLinearCategoryOverCommutativeRing[128X[104X
-    [4X[28X* IsLeftClosedMonoidalCategory[128X[104X
-    [4X[28X* IsLeftCoclosedMonoidalCategory[128X[104X
-    [4X[28X* IsRigidSymmetricClosedMonoidalCategory[128X[104X
-    [4X[28X* IsRigidSymmetricCoclosedMonoidalCategory[128X[104X
-    [4X[28X* IsAbelianCategoryWithEnoughInjectives[128X[104X
-    [4X[28X* IsAbelianCategoryWithEnoughProjectives[128X[104X
-    [4X[28Xand not yet algorithmically[128X[104X
-    [4X[28X* IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms[128X[104X
-    [4X[28Xand furthermore mathematically[128X[104X
-    [4X[28X* IsLocallyOfFiniteInjectiveDimension[128X[104X
-    [4X[28X* IsLocallyOfFiniteProjectiveDimension[128X[104X
-    [4X[28X* IsSkeletalCategory[128X[104X
-    [4X[28X* IsStrictMonoidalCategory[128X[104X
-    [4X[28X* IsTerminalCategory[128X[104X
     [4X[25Xgap>[125X [27Xi := InitialObject( T );[127X[104X
     [4X[28X<A zero object in TerminalCategoryWithSingleObject( )>[128X[104X
     [4X[25Xgap>[125X [27Xt := TerminalObject( T );[127X[104X

diff --git a/CAP/doc/chap15_mj.html b/CAP/doc/chap15_mj.html
@@ -231,31 +231,10 @@ <h4>15.4 <span class="Heading">Terminal category</span></h4>
 
 
 <div class="example"><pre>
-<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">LoadPackage( "MonoidalCategories", "&gt;= 2024.06-02", false );</span>
+<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">LoadPackage( "CAP", false );</span>
 true
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">T := TerminalCategoryWithMultipleObjects( );</span>
 TerminalCategoryWithMultipleObjects( )
-<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( T );</span>
-A CAP category with name TerminalCategoryWithMultipleObjects( ):
-
-86 primitive operations were used to derive 388 operations for this category \
-which algorithmically
-* IsCategoryWithDecidableColifts
-* IsCategoryWithDecidableLifts
-* IsEquippedWithHomomorphismStructure
-* IsLinearCategoryOverCommutativeRing
-* IsLeftClosedMonoidalCategory
-* IsLeftCoclosedMonoidalCategory
-* IsRigidSymmetricClosedMonoidalCategory
-* IsRigidSymmetricCoclosedMonoidalCategory
-* IsAbelianCategoryWithEnoughInjectives
-* IsAbelianCategoryWithEnoughProjectives
-and not yet algorithmically
-* IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms
-and furthermore mathematically
-* IsLocallyOfFiniteInjectiveDimension
-* IsLocallyOfFiniteProjectiveDimension
-* IsTerminalCategory
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">i := InitialObject( T );</span>
 &lt;A zero object in TerminalCategoryWithMultipleObjects( )&gt;
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">t := TerminalObject( T );</span>
@@ -329,14 +308,6 @@ <h4>15.4 <span class="Heading">Terminal category</span></h4>
 true
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">HomStructure( mor_ab );</span>
 &lt;A zero, identity morphism in TerminalCategoryWithSingleObject( )&gt;
-<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">t := TensorProduct( a, b );</span>
-&lt;A zero object in TerminalCategoryWithMultipleObjects( )&gt;
-<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( t );</span>
-TensorProductOnObjects
-<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">a = t;</span>
-false
-<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">TensorProduct( a, a ) = t;</span>
-true
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">m := MorphismConstructor( a, "m", b );</span>
 &lt;A zero, isomorphism in TerminalCategoryWithMultipleObjects( )&gt;
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( m );</span>
@@ -417,33 +388,10 @@ <h4>15.4 <span class="Heading">Terminal category</span></h4>
 
 
 <div class="example"><pre>
-<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">LoadPackage( "MonoidalCategories", "&gt;= 2024.06-02", false );</span>
+<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">LoadPackage( "CAP", false );</span>
 true
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">T := TerminalCategoryWithSingleObject( );</span>
 TerminalCategoryWithSingleObject( )
-<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( T );</span>
-A CAP category with name TerminalCategoryWithSingleObject( ):
-
-80 primitive operations were used to derive 388 operations for this category \
-which algorithmically
-* IsCategoryWithDecidableColifts
-* IsCategoryWithDecidableLifts
-* IsEquippedWithHomomorphismStructure
-* IsLinearCategoryOverCommutativeRing
-* IsLeftClosedMonoidalCategory
-* IsLeftCoclosedMonoidalCategory
-* IsRigidSymmetricClosedMonoidalCategory
-* IsRigidSymmetricCoclosedMonoidalCategory
-* IsAbelianCategoryWithEnoughInjectives
-* IsAbelianCategoryWithEnoughProjectives
-and not yet algorithmically
-* IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms
-and furthermore mathematically
-* IsLocallyOfFiniteInjectiveDimension
-* IsLocallyOfFiniteProjectiveDimension
-* IsSkeletalCategory
-* IsStrictMonoidalCategory
-* IsTerminalCategory
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">i := InitialObject( T );</span>
 &lt;A zero object in TerminalCategoryWithSingleObject( )&gt;
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">t := TerminalObject( T );</span>

diff --git a/_data/CAP.yml b/_data/CAP.yml
@@ -1,7 +1,7 @@
 name: CAP
-version: "2024.10-07"
+version: "2024.10-08"
 license: "GPL-2.0-or-later"
-date: 2024-10-24
+date: 2024-10-30
 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.10-07/CAP-2024.10-07.tar.gz
+      url: https://github.com/homalg-project/CAP_project/releases/download/CAP-2024.10-08/CAP-2024.10-08.tar.gz
     - name: .zip
-      url: https://github.com/homalg-project/CAP_project/releases/download/CAP-2024.10-07/CAP-2024.10-07.zip
+      url: https://github.com/homalg-project/CAP_project/releases/download/CAP-2024.10-08/CAP-2024.10-08.zip
 
-pdf: https://github.com/homalg-project/CAP_project/releases/download/CAP-2024.10-07/CAP-2024.10-07-manual.pdf
+pdf: https://github.com/homalg-project/CAP_project/releases/download/CAP-2024.10-08/CAP-2024.10-08-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'>GPSZ24</span>]   <b class='BibAuthor'>Gutsche, S., Posur, S., Skartsæterhagen, Ø. and Zickgraf, F.</b>,
+    [<span class='BibKey'>GPSZ30</span>]   <b class='BibAuthor'>Gutsche, S., Posur, S., Skartsæterhagen, Ø. and Zickgraf, F.</b>,
      <i class='BibTitle'>CAP, Categories, Algorithms, Programming,
-             Version 2024.10-07</i>
-     (<span class='BibYear'>0-24</span>)<br />
+             Version 2024.10-08</i>
+     (<span class='BibYear'>0-30</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.10\texttt{\symbol{45}}07},
+                          2024.10\texttt{\symbol{45}}08},
       month =            {4\texttt{\symbol{45}}},
-      year =             {0\texttt{\symbol{45}}24},
+      year =             {0\texttt{\symbol{45}}30},
       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 =       {GPSZ24}
+      printedkey =       {GPSZ30}
     }