Skip to content

Commit 74dc69c

Browse files
author
Bot
committed
Update website for FreydCategoriesForCAP 2025.06-09
1 parent 7ff5a86 commit 74dc69c

62 files changed

Lines changed: 3351 additions & 24073 deletions

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎FreydCategoriesForCAP/PackageInfo.g‎

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

1111
PackageName := "FreydCategoriesForCAP",
1212
Subtitle := "Freyd categories - Formal (co)kernels for additive categories",
13-
Version := "2025.06-08",
14-
Date := "2025-06-28",
13+
Version := "2025.06-09",
14+
Date := "2025-07-01",
1515
License := "GPL-2.0-or-later",
1616

1717
Persons := [
@@ -104,12 +104,13 @@ Dependencies := rec(
104104
NeededOtherPackages := [ [ "CAP", ">= 2025.06-05" ],
105105
[ "MatricesForHomalg", ">= 2023.01-01" ],
106106
[ "GradedRingForHomalg", ">=2019.08.07" ],
107+
[ "AdditiveClosuresForCAP", ">= 2025.06-01" ],
107108
[ "MonoidalCategories", ">= 2024.09-02" ],
108-
[ "GeneralizedMorphismsForCAP", ">= 2018.06.15" ]
109+
[ "GeneralizedMorphismsForCAP", ">= 2018.06.15" ],
109110
],
110111
SuggestedOtherPackages := [
111112
[ "FinSetsForCAP", ">= 2023.07-03" ],
112-
[ "GroupsAsCategoriesForCAP", ">= 2025.06-01" ],
113+
[ "GroupsAsCategoriesForCAP", ">= 2025.06-02" ],
113114
],
114115
ExternalConditions := [ ],
115116
),

‎FreydCategoriesForCAP/README.md‎

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,6 @@ This package includes implementations (amongst others) of:
1515
- [Freyd categories](#freyd-categories)
1616
- [Cokernel image closures](#cokernel-image-closures)
1717
- [Adelman categories](#adelman-categories)
18-
- [Additive closures](#additive-closures)
1918

2019
## Freyd categories
2120

@@ -39,10 +38,6 @@ Sebastian Posur, [*Closing the category of finitely presented functors under ima
3938

4039
Adelman categories provide a universal way of turning an additive category into an abelian category.
4140

42-
## Additive closures
43-
44-
Additive closures provide a universal way of equipping a given Ab-category with finite direct sums.
45-
4641
#### Paper (describing the underlying algorithms)
4742

4843
Sebastian Posur, [*Methods of constructive category theory*](https://arxiv.org/abs/1908.04132).

‎FreydCategoriesForCAP/doc/chap0.html‎

Lines changed: 53 additions & 370 deletions
Large diffs are not rendered by default.

‎FreydCategoriesForCAP/doc/chap0.txt‎

Lines changed: 51 additions & 257 deletions
Large diffs are not rendered by default.

‎FreydCategoriesForCAP/doc/chap0_mj.html‎

Lines changed: 53 additions & 370 deletions
Large diffs are not rendered by default.

‎FreydCategoriesForCAP/doc/chap1.html‎

Lines changed: 16 additions & 520 deletions
Large diffs are not rendered by default.

‎FreydCategoriesForCAP/doc/chap1.txt‎

Lines changed: 7 additions & 480 deletions
Large diffs are not rendered by default.

‎FreydCategoriesForCAP/doc/chap10.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@
1515
<body class="chap10" onload="jscontent()">
1616

1717

18-
<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chap3.html">3</a> <a href="chap4.html">4</a> <a href="chap5.html">5</a> <a href="chap6.html">6</a> <a href="chap7.html">7</a> <a href="chap8.html">8</a> <a href="chap9.html">9</a> <a href="chap10.html">10</a> <a href="chap11.html">11</a> <a href="chap12.html">12</a> <a href="chap13.html">13</a> <a href="chap14.html">14</a> <a href="chap15.html">15</a> <a href="chap16.html">16</a> <a href="chap17.html">17</a> <a href="chap18.html">18</a> <a href="chap19.html">19</a> <a href="chapInd.html">Ind</a> </div>
18+
<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chap3.html">3</a> <a href="chap4.html">4</a> <a href="chap5.html">5</a> <a href="chap6.html">6</a> <a href="chap7.html">7</a> <a href="chap8.html">8</a> <a href="chap9.html">9</a> <a href="chap10.html">10</a> <a href="chap11.html">11</a> <a href="chap12.html">12</a> <a href="chap13.html">13</a> <a href="chap14.html">14</a> <a href="chap15.html">15</a> <a href="chap16.html">16</a> <a href="chap17.html">17</a> <a href="chapInd.html">Ind</a> </div>
1919

2020
<div class="chlinkprevnexttop">&nbsp;<a href="chap0.html">[Top of Book]</a>&nbsp; <a href="chap0.html#contents">[Contents]</a>&nbsp; &nbsp;<a href="chap9.html">[Previous Chapter]</a>&nbsp; &nbsp;<a href="chap11.html">[Next Chapter]</a>&nbsp; </div>
2121

@@ -30,7 +30,7 @@ <h3>10 <span class="Heading">Cokernel image closure</span></h3>
3030
<div class="chlinkprevnextbot">&nbsp;<a href="chap0.html">[Top of Book]</a>&nbsp; <a href="chap0.html#contents">[Contents]</a>&nbsp; &nbsp;<a href="chap9.html">[Previous Chapter]</a>&nbsp; &nbsp;<a href="chap11.html">[Next Chapter]</a>&nbsp; </div>
3131

3232

33-
<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chap3.html">3</a> <a href="chap4.html">4</a> <a href="chap5.html">5</a> <a href="chap6.html">6</a> <a href="chap7.html">7</a> <a href="chap8.html">8</a> <a href="chap9.html">9</a> <a href="chap10.html">10</a> <a href="chap11.html">11</a> <a href="chap12.html">12</a> <a href="chap13.html">13</a> <a href="chap14.html">14</a> <a href="chap15.html">15</a> <a href="chap16.html">16</a> <a href="chap17.html">17</a> <a href="chap18.html">18</a> <a href="chap19.html">19</a> <a href="chapInd.html">Ind</a> </div>
33+
<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chap3.html">3</a> <a href="chap4.html">4</a> <a href="chap5.html">5</a> <a href="chap6.html">6</a> <a href="chap7.html">7</a> <a href="chap8.html">8</a> <a href="chap9.html">9</a> <a href="chap10.html">10</a> <a href="chap11.html">11</a> <a href="chap12.html">12</a> <a href="chap13.html">13</a> <a href="chap14.html">14</a> <a href="chap15.html">15</a> <a href="chap16.html">16</a> <a href="chap17.html">17</a> <a href="chapInd.html">Ind</a> </div>
3434

3535
<hr />
3636
<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>

‎FreydCategoriesForCAP/doc/chap10_mj.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@
1818
<body class="chap10" onload="jscontent()">
1919

2020

21-
<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a> <a href="chap1_mj.html">1</a> <a href="chap2_mj.html">2</a> <a href="chap3_mj.html">3</a> <a href="chap4_mj.html">4</a> <a href="chap5_mj.html">5</a> <a href="chap6_mj.html">6</a> <a href="chap7_mj.html">7</a> <a href="chap8_mj.html">8</a> <a href="chap9_mj.html">9</a> <a href="chap10_mj.html">10</a> <a href="chap11_mj.html">11</a> <a href="chap12_mj.html">12</a> <a href="chap13_mj.html">13</a> <a href="chap14_mj.html">14</a> <a href="chap15_mj.html">15</a> <a href="chap16_mj.html">16</a> <a href="chap17_mj.html">17</a> <a href="chap18_mj.html">18</a> <a href="chap19_mj.html">19</a> <a href="chapInd_mj.html">Ind</a> </div>
21+
<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a> <a href="chap1_mj.html">1</a> <a href="chap2_mj.html">2</a> <a href="chap3_mj.html">3</a> <a href="chap4_mj.html">4</a> <a href="chap5_mj.html">5</a> <a href="chap6_mj.html">6</a> <a href="chap7_mj.html">7</a> <a href="chap8_mj.html">8</a> <a href="chap9_mj.html">9</a> <a href="chap10_mj.html">10</a> <a href="chap11_mj.html">11</a> <a href="chap12_mj.html">12</a> <a href="chap13_mj.html">13</a> <a href="chap14_mj.html">14</a> <a href="chap15_mj.html">15</a> <a href="chap16_mj.html">16</a> <a href="chap17_mj.html">17</a> <a href="chapInd_mj.html">Ind</a> </div>
2222

2323
<div class="chlinkprevnexttop">&nbsp;<a href="chap0_mj.html">[Top of Book]</a>&nbsp; <a href="chap0_mj.html#contents">[Contents]</a>&nbsp; &nbsp;<a href="chap9_mj.html">[Previous Chapter]</a>&nbsp; &nbsp;<a href="chap11_mj.html">[Next Chapter]</a>&nbsp; </div>
2424

@@ -33,7 +33,7 @@ <h3>10 <span class="Heading">Cokernel image closure</span></h3>
3333
<div class="chlinkprevnextbot">&nbsp;<a href="chap0_mj.html">[Top of Book]</a>&nbsp; <a href="chap0_mj.html#contents">[Contents]</a>&nbsp; &nbsp;<a href="chap9_mj.html">[Previous Chapter]</a>&nbsp; &nbsp;<a href="chap11_mj.html">[Next Chapter]</a>&nbsp; </div>
3434

3535

36-
<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a> <a href="chap1_mj.html">1</a> <a href="chap2_mj.html">2</a> <a href="chap3_mj.html">3</a> <a href="chap4_mj.html">4</a> <a href="chap5_mj.html">5</a> <a href="chap6_mj.html">6</a> <a href="chap7_mj.html">7</a> <a href="chap8_mj.html">8</a> <a href="chap9_mj.html">9</a> <a href="chap10_mj.html">10</a> <a href="chap11_mj.html">11</a> <a href="chap12_mj.html">12</a> <a href="chap13_mj.html">13</a> <a href="chap14_mj.html">14</a> <a href="chap15_mj.html">15</a> <a href="chap16_mj.html">16</a> <a href="chap17_mj.html">17</a> <a href="chap18_mj.html">18</a> <a href="chap19_mj.html">19</a> <a href="chapInd_mj.html">Ind</a> </div>
36+
<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a> <a href="chap1_mj.html">1</a> <a href="chap2_mj.html">2</a> <a href="chap3_mj.html">3</a> <a href="chap4_mj.html">4</a> <a href="chap5_mj.html">5</a> <a href="chap6_mj.html">6</a> <a href="chap7_mj.html">7</a> <a href="chap8_mj.html">8</a> <a href="chap9_mj.html">9</a> <a href="chap10_mj.html">10</a> <a href="chap11_mj.html">11</a> <a href="chap12_mj.html">12</a> <a href="chap13_mj.html">13</a> <a href="chap14_mj.html">14</a> <a href="chap15_mj.html">15</a> <a href="chap16_mj.html">16</a> <a href="chap17_mj.html">17</a> <a href="chapInd_mj.html">Ind</a> </div>
3737

3838
<hr />
3939
<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>

‎FreydCategoriesForCAP/doc/chap11.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@
1515
<body class="chap11" onload="jscontent()">
1616

1717

18-
<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chap3.html">3</a> <a href="chap4.html">4</a> <a href="chap5.html">5</a> <a href="chap6.html">6</a> <a href="chap7.html">7</a> <a href="chap8.html">8</a> <a href="chap9.html">9</a> <a href="chap10.html">10</a> <a href="chap11.html">11</a> <a href="chap12.html">12</a> <a href="chap13.html">13</a> <a href="chap14.html">14</a> <a href="chap15.html">15</a> <a href="chap16.html">16</a> <a href="chap17.html">17</a> <a href="chap18.html">18</a> <a href="chap19.html">19</a> <a href="chapInd.html">Ind</a> </div>
18+
<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chap3.html">3</a> <a href="chap4.html">4</a> <a href="chap5.html">5</a> <a href="chap6.html">6</a> <a href="chap7.html">7</a> <a href="chap8.html">8</a> <a href="chap9.html">9</a> <a href="chap10.html">10</a> <a href="chap11.html">11</a> <a href="chap12.html">12</a> <a href="chap13.html">13</a> <a href="chap14.html">14</a> <a href="chap15.html">15</a> <a href="chap16.html">16</a> <a href="chap17.html">17</a> <a href="chapInd.html">Ind</a> </div>
1919

2020
<div class="chlinkprevnexttop">&nbsp;<a href="chap0.html">[Top of Book]</a>&nbsp; <a href="chap0.html#contents">[Contents]</a>&nbsp; &nbsp;<a href="chap10.html">[Previous Chapter]</a>&nbsp; &nbsp;<a href="chap12.html">[Next Chapter]</a>&nbsp; </div>
2121

@@ -262,7 +262,7 @@ <h5>11.3-4 ^</h5>
262262
<div class="chlinkprevnextbot">&nbsp;<a href="chap0.html">[Top of Book]</a>&nbsp; <a href="chap0.html#contents">[Contents]</a>&nbsp; &nbsp;<a href="chap10.html">[Previous Chapter]</a>&nbsp; &nbsp;<a href="chap12.html">[Next Chapter]</a>&nbsp; </div>
263263

264264

265-
<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chap3.html">3</a> <a href="chap4.html">4</a> <a href="chap5.html">5</a> <a href="chap6.html">6</a> <a href="chap7.html">7</a> <a href="chap8.html">8</a> <a href="chap9.html">9</a> <a href="chap10.html">10</a> <a href="chap11.html">11</a> <a href="chap12.html">12</a> <a href="chap13.html">13</a> <a href="chap14.html">14</a> <a href="chap15.html">15</a> <a href="chap16.html">16</a> <a href="chap17.html">17</a> <a href="chap18.html">18</a> <a href="chap19.html">19</a> <a href="chapInd.html">Ind</a> </div>
265+
<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chap3.html">3</a> <a href="chap4.html">4</a> <a href="chap5.html">5</a> <a href="chap6.html">6</a> <a href="chap7.html">7</a> <a href="chap8.html">8</a> <a href="chap9.html">9</a> <a href="chap10.html">10</a> <a href="chap11.html">11</a> <a href="chap12.html">12</a> <a href="chap13.html">13</a> <a href="chap14.html">14</a> <a href="chap15.html">15</a> <a href="chap16.html">16</a> <a href="chap17.html">17</a> <a href="chapInd.html">Ind</a> </div>
266266

267267
<hr />
268268
<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>

0 commit comments

Comments
 (0)