diff --git a/CAP/PackageInfo.g b/CAP/PackageInfo.g index 20db2420d4..c0803620bb 100644 --- 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 index d6c5cbf7b6..1de324dbba 100644 --- a/CAP/doc/chap0.html +++ b/CAP/doc/chap0.html @@ -29,10 +29,10 @@

CAP

Categories, Algorithms, Programming

- 2024.10-07

+ 2024.10-08

- 24 October 2024 + 30 October 2024

diff --git a/CAP/doc/chap0.txt b/CAP/doc/chap0.txt index 4441819d02..f2d0df4a05 100644 --- a/CAP/doc/chap0.txt +++ b/CAP/doc/chap0.txt @@ -6,10 +6,10 @@  Categories, Algorithms, Programming  - 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 index 0784a257b5..41a4402111 100644 --- a/CAP/doc/chap0_mj.html +++ b/CAP/doc/chap0_mj.html @@ -32,10 +32,10 @@

CAP

Categories, Algorithms, Programming

- 2024.10-07

+ 2024.10-08

- 24 October 2024 + 30 October 2024

diff --git a/CAP/doc/chap15.html b/CAP/doc/chap15.html index bedca921f2..a10eab752c 100644 --- a/CAP/doc/chap15.html +++ b/CAP/doc/chap15.html @@ -228,31 +228,10 @@

15.4 Terminal category

-gap> LoadPackage( "MonoidalCategories", ">= 2024.06-02", false );
+gap> LoadPackage( "CAP", false );
 true
 gap> T := TerminalCategoryWithMultipleObjects( );
 TerminalCategoryWithMultipleObjects( )
-gap> Display( T );
-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
 gap> i := InitialObject( T );
 <A zero object in TerminalCategoryWithMultipleObjects( )>
 gap> t := TerminalObject( T );
@@ -326,14 +305,6 @@ 
15.4 Terminal category

 true
 gap> HomStructure( mor_ab );
 <A zero, identity morphism in TerminalCategoryWithSingleObject( )>
-gap> t := TensorProduct( a, b );
-<A zero object in TerminalCategoryWithMultipleObjects( )>
-gap> Display( t );
-TensorProductOnObjects
-gap> a = t;
-false
-gap> TensorProduct( a, a ) = t;
-true
 gap> m := MorphismConstructor( a, "m", b );
 <A zero, isomorphism in TerminalCategoryWithMultipleObjects( )>
 gap> Display( m );
@@ -414,33 +385,10 @@ 
15.4 Terminal category

 
 
 
-gap> LoadPackage( "MonoidalCategories", ">= 2024.06-02", false );
+gap> LoadPackage( "CAP", false );
 true
 gap> T := TerminalCategoryWithSingleObject( );
 TerminalCategoryWithSingleObject( )
-gap> Display( T );
-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
 gap> i := InitialObject( T );
 <A zero object in TerminalCategoryWithSingleObject( )>
 gap> t := TerminalObject( T );
diff --git a/CAP/doc/chap15.txt b/CAP/doc/chap15.txt
index 3c6e4b864e..8c444c2891 100644
--- a/CAP/doc/chap15.txt
+++ b/CAP/doc/chap15.txt
@@ -175,31 +175,10 @@
   15.4 Terminal category
   
     Example  
-    gap> LoadPackage( "MonoidalCategories", ">= 2024.06-02", false );
+    gap> LoadPackage( "CAP", false );
     true
     gap> T := TerminalCategoryWithMultipleObjects( );
     TerminalCategoryWithMultipleObjects( )
-    gap> Display( T );
-    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
     gap> i := InitialObject( T );
     
     gap> t := TerminalObject( T );
@@ -273,14 +252,6 @@
     true
     gap> HomStructure( mor_ab );
     
-    gap> t := TensorProduct( a, b );
-    
-    gap> Display( t );
-    TensorProductOnObjects
-    gap> a = t;
-    false
-    gap> TensorProduct( a, a ) = t;
-    true
     gap> m := MorphismConstructor( a, "m", b );
     
     gap> Display( m );
@@ -360,33 +331,10 @@
   
   
     Example  
-    gap> LoadPackage( "MonoidalCategories", ">= 2024.06-02", false );
+    gap> LoadPackage( "CAP", false );
     true
     gap> T := TerminalCategoryWithSingleObject( );
     TerminalCategoryWithSingleObject( )
-    gap> Display( T );
-    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
     gap> i := InitialObject( T );
     
     gap> t := TerminalObject( T );
diff --git a/CAP/doc/chap15_mj.html b/CAP/doc/chap15_mj.html
index cbb3f176ba..1b6a23ea4a 100644
--- a/CAP/doc/chap15_mj.html
+++ b/CAP/doc/chap15_mj.html
@@ -231,31 +231,10 @@ 
15.4 Terminal category

 
 
 
-gap> LoadPackage( "MonoidalCategories", ">= 2024.06-02", false );
+gap> LoadPackage( "CAP", false );
 true
 gap> T := TerminalCategoryWithMultipleObjects( );
 TerminalCategoryWithMultipleObjects( )
-gap> Display( T );
-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
 gap> i := InitialObject( T );
 <A zero object in TerminalCategoryWithMultipleObjects( )>
 gap> t := TerminalObject( T );
@@ -329,14 +308,6 @@ 
15.4 Terminal category

 true
 gap> HomStructure( mor_ab );
 <A zero, identity morphism in TerminalCategoryWithSingleObject( )>
-gap> t := TensorProduct( a, b );
-<A zero object in TerminalCategoryWithMultipleObjects( )>
-gap> Display( t );
-TensorProductOnObjects
-gap> a = t;
-false
-gap> TensorProduct( a, a ) = t;
-true
 gap> m := MorphismConstructor( a, "m", b );
 <A zero, isomorphism in TerminalCategoryWithMultipleObjects( )>
 gap> Display( m );
@@ -417,33 +388,10 @@ 
15.4 Terminal category

 
 
 
-gap> LoadPackage( "MonoidalCategories", ">= 2024.06-02", false );
+gap> LoadPackage( "CAP", false );
 true
 gap> T := TerminalCategoryWithSingleObject( );
 TerminalCategoryWithSingleObject( )
-gap> Display( T );
-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
 gap> i := InitialObject( T );
 <A zero object in TerminalCategoryWithSingleObject( )>
 gap> t := TerminalObject( T );
diff --git a/_data/CAP.yml b/_data/CAP.yml
index 9d49d0fe17..0d3c1199b8 100644
--- 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: |
     CAP (Categories, Algorithms, Programming) is a package for category theory.
@@ -62,10 +62,10 @@ doc-html: doc/chap0.html
 doc-pdf: doc/manual.pdf
 citeas: |
     

-    [GPSZ24]   Gutsche, S., Posur, S., Skartsæterhagen, Ø. and Zickgraf, F.,
+    [GPSZ30]   Gutsche, S., Posur, S., Skartsæterhagen, Ø. and Zickgraf, F.,
      CAP, Categories, Algorithms, Programming,
-             Version 2024.10-07
-     (0-24)

+             Version 2024.10-08
+     (0-30)

     (GAP package),
     https://homalg-project.github.io/pkg/CAP.
     

@@ -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}
     }