Skip to content

Commit f9b9af4

Browse files
author
Bot
committed
Update website for CAP 2025.06-09
1 parent 1cdbbf3 commit f9b9af4

8 files changed

Lines changed: 23 additions & 23 deletions

File tree

‎CAP/PackageInfo.g‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -10,8 +10,8 @@ SetPackageInfo( rec(
1010

1111
PackageName := "CAP",
1212
Subtitle := "Categories, Algorithms, Programming",
13-
Version := "2025.06-08",
14-
Date := "2025-06-22",
13+
Version := "2025.06-09",
14+
Date := "2025-07-01",
1515
License := "GPL-2.0-or-later",
1616

1717
Persons := [

‎CAP/doc/chap0.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -29,10 +29,10 @@ <h1>CAP</h1>
2929
<h2>Categories, Algorithms, Programming</h2>
3030

3131
<p>
32-
2025.06-08</p>
32+
2025.06-09</p>
3333

3434
<p>
35-
22 June 2025
35+
1 July 2025
3636
</p>
3737

3838
</div>

‎CAP/doc/chap0.txt‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -6,10 +6,10 @@
66
 Categories, Algorithms, Programming 
77

88

9-
2025.06-08
9+
2025.06-09
1010

1111

12-
22 June 2025
12+
1 July 2025
1313

1414

1515
Sebastian Gutsche

‎CAP/doc/chap0_mj.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -32,10 +32,10 @@ <h1>CAP</h1>
3232
<h2>Categories, Algorithms, Programming</h2>
3333

3434
<p>
35-
2025.06-08</p>
35+
2025.06-09</p>
3636

3737
<p>
38-
22 June 2025
38+
1 July 2025
3939
</p>
4040

4141
</div>

‎CAP/doc/chap12.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -99,7 +99,7 @@ <h4>12.1 <span class="Heading">Introduction</span></h4>
9999

100100
<h4>12.2 <span class="Heading">Tutorial</span></h4>
101101

102-
<p>We will show how one can reinterpret a category with the following guiding example: We reinterpret <code class="code">Opposite( CategoryOfRows( R ) )</code> as <code class="code">CategoryOfColumns( R )</code> using <code class="func">ReinterpretationOfCategory</code> (<a href="chap12.html#X81D06FCA7ECE38C4"><span class="RefLink">12.6-1</span></a>) with the options described in the following (see <code class="code">CategoryOfColumns_as_Opposite_CategoryOfRows.gi</code> in <code class="code">FreydCategoriesForCAP</code> for a full implementation).</p>
102+
<p>We will show how one can reinterpret a category with the following guiding example: We reinterpret <code class="code">Opposite( CategoryOfRows( R ) )</code> as <code class="code">CategoryOfColumns( R )</code> using <code class="func">ReinterpretationOfCategory</code> (<a href="chap12.html#X81D06FCA7ECE38C4"><span class="RefLink">12.6-1</span></a>) with the options described in the following (see <code class="code">CategoryOfColumns_as_Opposite_CategoryOfRows.gi</code> in <code class="code">AdditiveClosuresForCAP</code> for a full implementation).</p>
103103

104104
<ol>
105105
<li><p>Set the options <code class="code">category_filter</code>, <code class="code">category_object_filter</code>, and <code class="code">category_morphism_filter</code> to the filters corresponding to the data structure of the desired reinterpretation, e.g. <code class="code">IsCategoryOfColumns</code>, <code class="code">IsCategoryOfColumsObject</code>, and <code class="code">IsCategoryOfColumsMorphism</code>.</p>

‎CAP/doc/chap12.txt‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -49,8 +49,8 @@
4949
example: We reinterpret Opposite( CategoryOfRows( R ) ) as
5050
CategoryOfColumns( R ) using ReinterpretationOfCategory (12.6-1) with the
5151
options described in the following (see
52-
CategoryOfColumns_as_Opposite_CategoryOfRows.gi in FreydCategoriesForCAP for
53-
a full implementation).
52+
CategoryOfColumns_as_Opposite_CategoryOfRows.gi in AdditiveClosuresForCAP
53+
for a full implementation).
5454

5555
1 Set the options category_filter, category_object_filter, and
5656
category_morphism_filter to the filters corresponding to the data

‎CAP/doc/chap12_mj.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -102,7 +102,7 @@ <h4>12.1 <span class="Heading">Introduction</span></h4>
102102

103103
<h4>12.2 <span class="Heading">Tutorial</span></h4>
104104

105-
<p>We will show how one can reinterpret a category with the following guiding example: We reinterpret <code class="code">Opposite( CategoryOfRows( R ) )</code> as <code class="code">CategoryOfColumns( R )</code> using <code class="func">ReinterpretationOfCategory</code> (<a href="chap12_mj.html#X81D06FCA7ECE38C4"><span class="RefLink">12.6-1</span></a>) with the options described in the following (see <code class="code">CategoryOfColumns_as_Opposite_CategoryOfRows.gi</code> in <code class="code">FreydCategoriesForCAP</code> for a full implementation).</p>
105+
<p>We will show how one can reinterpret a category with the following guiding example: We reinterpret <code class="code">Opposite( CategoryOfRows( R ) )</code> as <code class="code">CategoryOfColumns( R )</code> using <code class="func">ReinterpretationOfCategory</code> (<a href="chap12_mj.html#X81D06FCA7ECE38C4"><span class="RefLink">12.6-1</span></a>) with the options described in the following (see <code class="code">CategoryOfColumns_as_Opposite_CategoryOfRows.gi</code> in <code class="code">AdditiveClosuresForCAP</code> for a full implementation).</p>
106106

107107
<ol>
108108
<li><p>Set the options <code class="code">category_filter</code>, <code class="code">category_object_filter</code>, and <code class="code">category_morphism_filter</code> to the filters corresponding to the data structure of the desired reinterpretation, e.g. <code class="code">IsCategoryOfColumns</code>, <code class="code">IsCategoryOfColumsObject</code>, and <code class="code">IsCategoryOfColumsMorphism</code>.</p>

‎_data/CAP.yml‎

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
name: CAP
2-
version: "2025.06-08"
2+
version: "2025.06-09"
33
license: "GPL-2.0-or-later"
4-
date: 2025-06-22
4+
date: 2025-07-01
55
description: |
66
Categories, Algorithms, Programming
77
@@ -46,11 +46,11 @@ packageinfo: https://homalg-project.github.io/CAP_project/CAP/PackageInfo.g
4646

4747
downloads:
4848
- name: .tar.gz
49-
url: https://github.com/homalg-project/CAP_project/releases/download/CAP-2025.06-08/CAP-2025.06-08.tar.gz
49+
url: https://github.com/homalg-project/CAP_project/releases/download/CAP-2025.06-09/CAP-2025.06-09.tar.gz
5050
- name: .zip
51-
url: https://github.com/homalg-project/CAP_project/releases/download/CAP-2025.06-08/CAP-2025.06-08.zip
51+
url: https://github.com/homalg-project/CAP_project/releases/download/CAP-2025.06-09/CAP-2025.06-09.zip
5252

53-
pdf: https://github.com/homalg-project/CAP_project/releases/download/CAP-2025.06-08/CAP-2025.06-08-manual.pdf
53+
pdf: https://github.com/homalg-project/CAP_project/releases/download/CAP-2025.06-09/CAP-2025.06-09-manual.pdf
5454

5555
abstract: |
5656
<span class="pkgname">CAP</span> (Categories, Algorithms, Programming) is a package for category theory.
@@ -62,10 +62,10 @@ doc-html: doc/chap0.html
6262
doc-pdf: doc/manual.pdf
6363
citeas: |
6464
<p class='BibEntry'>
65-
[<span class='BibKey'>GPSZ22</span>] <b class='BibAuthor'>Gutsche, S., Posur, S., Skartsæterhagen, Ø. and Zickgraf, F.</b>,
65+
[<span class='BibKey'>GPSZ01</span>] <b class='BibAuthor'>Gutsche, S., Posur, S., Skartsæterhagen, Ø. and Zickgraf, F.</b>,
6666
<i class='BibTitle'>CAP, Categories, Algorithms, Programming,
67-
Version 2025.06-08</i>
68-
(<span class='BibYear'>6-22</span>)<br />
67+
Version 2025.06-09</i>
68+
(<span class='BibYear'>7-01</span>)<br />
6969
(<span class='BibNote'>GAP package</span>),
7070
<span class='BibHowpublished'><a href="https://homalg-project.github.io/pkg/CAP">https://homalg-project.github.io/pkg/CAP</a></span>.
7171
</p>
@@ -76,13 +76,13 @@ bibtex: |
7676
author = {Gutsche, S. and Posur, S. and Skarts{\ae}terhagen,
7777
{\O}. and Zickgraf, F.},
7878
title = {{CAP}, {Categories, Algorithms, Programming},
79-
{V}ersion 2025.06\texttt{\symbol{45}}08},
79+
{V}ersion 2025.06\texttt{\symbol{45}}09},
8080
month = {5\texttt{\symbol{45}}},
81-
year = {6\texttt{\symbol{45}}22},
81+
year = {7\texttt{\symbol{45}}01},
8282
note = {GAP package},
8383
howpublished = {\href {https://homalg-project.github.io/pkg/CAP}
8484
{\texttt{https://homalg\texttt{\symbol{45}}project.github.io/}\discretionary
8585
{}{}{}\texttt{pkg/}\discretionary {}{}{}\texttt{CAP}}},
86-
printedkey = {GPSZ22}
86+
printedkey = {GPSZ01}
8787
}
8888

0 commit comments

Comments
 (0)