diff --git a/CAP/PackageInfo.g b/CAP/PackageInfo.g index 101571645d..5d936b7074 100644 --- 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 index 48e2b68a82..6c3d2e741d 100644 --- a/CAP/doc/chap0.html +++ b/CAP/doc/chap0.html @@ -29,10 +29,10 @@

CAP

Categories, Algorithms, Programming

- 2024.11-02

+ 2025.01-01

- 17 November 2024 + 2 January 2025

diff --git a/CAP/doc/chap0.txt b/CAP/doc/chap0.txt index 8dc4dcdd56..8c1b95e17a 100644 --- a/CAP/doc/chap0.txt +++ b/CAP/doc/chap0.txt @@ -6,10 +6,10 @@  Categories, Algorithms, Programming  - 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 index 1a07850168..830ac6ae5c 100644 --- a/CAP/doc/chap0_mj.html +++ b/CAP/doc/chap0_mj.html @@ -32,10 +32,10 @@

CAP

Categories, Algorithms, Programming

- 2024.11-02

+ 2025.01-01

- 17 November 2024 + 2 January 2025

diff --git a/CAP/doc/chap15.html b/CAP/doc/chap15.html index a10eab752c..9aca3fad17 100644 --- a/CAP/doc/chap15.html +++ b/CAP/doc/chap15.html @@ -239,11 +239,11 @@

15.4 Terminal category

gap> z := ZeroObject( T ); <A zero object in TerminalCategoryWithMultipleObjects( )> gap> Display( i ); -InitialObject +InitialObject( ) gap> Display( t ); -TerminalObject +TerminalObject( ) gap> Display( z ); -ZeroObject +ZeroObject( ) gap> IsIdenticalObj( i, z ); false gap> IsIdenticalObj( t, z ); @@ -336,7 +336,7 @@

15.4 Terminal category

gap> Display( id ); a | -| IdentityMorphism +| IdentityMorphism( a ) v a gap> m = id; @@ -348,7 +348,7 @@

15.4 Terminal category

gap> Display( zero ); a | -| ZeroMorphism +| ZeroMorphism( a, a ) v a gap> id = zero; @@ -360,7 +360,7 @@

15.4 Terminal category

gap> Display( lift ); a | -| Lift +| Lift( m, n ) v a gap> IsColiftable( m, n ); @@ -370,7 +370,7 @@

15.4 Terminal category

gap> Display( colift ); b | -| Colift +| Colift( m, n ) v b gap> DirectProduct( T, [ ] ); diff --git a/CAP/doc/chap15.txt b/CAP/doc/chap15.txt index 8c444c2891..29e7f4ad99 100644 --- a/CAP/doc/chap15.txt +++ b/CAP/doc/chap15.txt @@ -186,11 +186,11 @@ gap> z := ZeroObject( T );  gap> Display( i ); - InitialObject + InitialObject( ) gap> Display( t ); - TerminalObject + TerminalObject( ) gap> Display( z ); - ZeroObject + ZeroObject( ) gap> IsIdenticalObj( i, z ); false gap> IsIdenticalObj( t, z ); @@ -283,7 +283,7 @@ gap> Display( id ); a | - | IdentityMorphism + | IdentityMorphism( a ) v a gap> m = id; @@ -295,7 +295,7 @@ gap> Display( zero ); a | - | ZeroMorphism + | ZeroMorphism( a, a ) v a gap> id = zero; @@ -307,7 +307,7 @@ gap> Display( lift ); a | - | Lift + | Lift( m, n ) v a gap> IsColiftable( m, n ); @@ -317,7 +317,7 @@ gap> Display( colift ); b | - | Colift + | Colift( m, n ) v b gap> DirectProduct( T, [ ] ); diff --git a/CAP/doc/chap15_mj.html b/CAP/doc/chap15_mj.html index 1b6a23ea4a..4e7a094e7a 100644 --- a/CAP/doc/chap15_mj.html +++ b/CAP/doc/chap15_mj.html @@ -242,11 +242,11 @@

15.4 Terminal category

gap> z := ZeroObject( T ); <A zero object in TerminalCategoryWithMultipleObjects( )> gap> Display( i ); -InitialObject +InitialObject( ) gap> Display( t ); -TerminalObject +TerminalObject( ) gap> Display( z ); -ZeroObject +ZeroObject( ) gap> IsIdenticalObj( i, z ); false gap> IsIdenticalObj( t, z ); @@ -339,7 +339,7 @@

15.4 Terminal category

gap> Display( id ); a | -| IdentityMorphism +| IdentityMorphism( a ) v a gap> m = id; @@ -351,7 +351,7 @@

15.4 Terminal category

gap> Display( zero ); a | -| ZeroMorphism +| ZeroMorphism( a, a ) v a gap> id = zero; @@ -363,7 +363,7 @@

15.4 Terminal category

gap> Display( lift ); a | -| Lift +| Lift( m, n ) v a gap> IsColiftable( m, n ); @@ -373,7 +373,7 @@

15.4 Terminal category

gap> Display( colift ); b | -| Colift +| Colift( m, n ) v b gap> DirectProduct( T, [ ] ); diff --git a/_data/CAP.yml b/_data/CAP.yml index 91dc060158..0781e78128 100644 --- 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: | 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: |

- [GPSZ17] Gutsche, S., Posur, S., Skartsæterhagen, Ø. and Zickgraf, F., + [GPSZ02] Gutsche, S., Posur, S., Skartsæterhagen, Ø. and Zickgraf, F., CAP, Categories, Algorithms, Programming, - Version 2024.11-02 - (1-17)
+ Version 2025.01-01 + (1-02)
(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.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} }