From 32159932795f404a548f0e83e1631cbf069444d2 Mon Sep 17 00:00:00 2001 From: Bot Date: Fri, 20 Oct 2023 00:39:40 +0200 Subject: [PATCH] Update website for FreydCategoriesForCAP 2023.10-06 --- FreydCategoriesForCAP/PackageInfo.g | 8 +++---- FreydCategoriesForCAP/doc/chap0.html | 4 ++-- FreydCategoriesForCAP/doc/chap0.txt | 4 ++-- FreydCategoriesForCAP/doc/chap0_mj.html | 4 ++-- FreydCategoriesForCAP/doc/chap5.html | 6 ++++++ FreydCategoriesForCAP/doc/chap5.txt | 12 +++++++++++ FreydCategoriesForCAP/doc/chap5_mj.html | 6 ++++++ _data/FreydCategoriesForCAP.yml | 28 ++++++++++++------------- 8 files changed, 48 insertions(+), 24 deletions(-) diff --git a/FreydCategoriesForCAP/PackageInfo.g b/FreydCategoriesForCAP/PackageInfo.g index 55df693312..685dfbe4d7 100644 --- a/FreydCategoriesForCAP/PackageInfo.g +++ b/FreydCategoriesForCAP/PackageInfo.g @@ -10,8 +10,8 @@ SetPackageInfo( rec( PackageName := "FreydCategoriesForCAP", Subtitle := "Freyd categories - Formal (co)kernels for additive categories", -Version := "2023.10-05", -Date := "2023-10-09", +Version := "2023.10-06", +Date := "2023-10-20", License := "GPL-2.0-or-later", Persons := [ @@ -87,10 +87,10 @@ PackageDoc := rec( Dependencies := rec( GAP := ">= 4.12.1", - NeededOtherPackages := [ [ "CAP", ">= 2023.10-04" ], + NeededOtherPackages := [ [ "CAP", ">= 2023.10-07" ], [ "MatricesForHomalg", ">= 2023.01-01" ], [ "GradedRingForHomalg", ">=2019.08.07" ], - [ "MonoidalCategories", ">= 2023.08-11" ], + [ "MonoidalCategories", ">= 2023.10-01" ], [ "GeneralizedMorphismsForCAP", ">= 2018.06.15" ] ], SuggestedOtherPackages := [ diff --git a/FreydCategoriesForCAP/doc/chap0.html b/FreydCategoriesForCAP/doc/chap0.html index 8ad99c4ef4..289436f39f 100644 --- a/FreydCategoriesForCAP/doc/chap0.html +++ b/FreydCategoriesForCAP/doc/chap0.html @@ -29,10 +29,10 @@

FreydCategoriesForCAP

Freyd categories - Formal (co)kernels for additive categories

- 2023.10-05

+ 2023.10-06

- 9 October 2023 + 20 October 2023

diff --git a/FreydCategoriesForCAP/doc/chap0.txt b/FreydCategoriesForCAP/doc/chap0.txt index e32d31b213..20d8a28921 100644 --- a/FreydCategoriesForCAP/doc/chap0.txt +++ b/FreydCategoriesForCAP/doc/chap0.txt @@ -6,10 +6,10 @@  Freyd categories - Formal (co)kernels for additive categories  - 2023.10-05 + 2023.10-06 - 9 October 2023 + 20 October 2023 Sebastian Posur diff --git a/FreydCategoriesForCAP/doc/chap0_mj.html b/FreydCategoriesForCAP/doc/chap0_mj.html index 4fb4391b81..d6a72a4adc 100644 --- a/FreydCategoriesForCAP/doc/chap0_mj.html +++ b/FreydCategoriesForCAP/doc/chap0_mj.html @@ -32,10 +32,10 @@

FreydCategoriesForCAP

Freyd categories - Formal (co)kernels for additive categories

- 2023.10-05

+ 2023.10-06

- 9 October 2023 + 20 October 2023

diff --git a/FreydCategoriesForCAP/doc/chap5.html b/FreydCategoriesForCAP/doc/chap5.html index 82f1a9f7f1..31f76f3100 100644 --- a/FreydCategoriesForCAP/doc/chap5.html +++ b/FreydCategoriesForCAP/doc/chap5.html @@ -779,6 +779,9 @@
5.1-3 CategoryOfRows of a commutative ring

  • InternalCoHomToTensorProductAdjunctionMap (MonoidalCategories: InternalCoHomToTensorProductAdjunctionMap for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism)

    +
    • +

  • InternalCoHomToTensorProductAdjunctionMapWithGivenTensorProduct (MonoidalCategories: InternalCoHomToTensorProductAdjunctionMapWithGivenTensorProduct for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject)

    +

  • InternalHomOnMorphisms (MonoidalCategories: InternalHomOnMorphisms for IsCapCategoryMorphism, IsCapCategoryMorphism)

    @@ -791,6 +794,9 @@
    5.1-3 CategoryOfRows of a commutative ring

  • InternalHomToTensorProductAdjunctionMap (MonoidalCategories: InternalHomToTensorProductAdjunctionMap for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism)

    +
    • +

  • InternalHomToTensorProductAdjunctionMapWithGivenTensorProduct (MonoidalCategories: InternalHomToTensorProductAdjunctionMapWithGivenTensorProduct for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject)

    +

  • IsIsomorphicForObjects (CAP: IsIsomorphicForObjects for IsCapCategoryObject, IsCapCategoryObject)

    diff --git a/FreydCategoriesForCAP/doc/chap5.txt b/FreydCategoriesForCAP/doc/chap5.txt index 0dea2a25b7..756357ee5a 100644 --- a/FreydCategoriesForCAP/doc/chap5.txt +++ b/FreydCategoriesForCAP/doc/chap5.txt @@ -800,6 +800,12 @@ InternalCoHomToTensorProductAdjunctionMap for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism) +  InternalCoHomToTensorProductAdjunctionMapWithGivenTensorProduct + (MonoidalCategories: + InternalCoHomToTensorProductAdjunctionMapWithGivenTensorProduct for + IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, + IsCapCategoryObject) +  InternalHomOnMorphisms (MonoidalCategories: InternalHomOnMorphisms for IsCapCategoryMorphism, IsCapCategoryMorphism) @@ -814,6 +820,12 @@ InternalHomToTensorProductAdjunctionMap for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism) +  InternalHomToTensorProductAdjunctionMapWithGivenTensorProduct + (MonoidalCategories: + InternalHomToTensorProductAdjunctionMapWithGivenTensorProduct for + IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, + IsCapCategoryObject) +  IsIsomorphicForObjects (CAP: IsIsomorphicForObjects for IsCapCategoryObject, IsCapCategoryObject) diff --git a/FreydCategoriesForCAP/doc/chap5_mj.html b/FreydCategoriesForCAP/doc/chap5_mj.html index bf26692979..ad15cd9cb8 100644 --- a/FreydCategoriesForCAP/doc/chap5_mj.html +++ b/FreydCategoriesForCAP/doc/chap5_mj.html @@ -782,6 +782,9 @@
    5.1-3 CategoryOfRows of a commutative ring

  • InternalCoHomToTensorProductAdjunctionMap (MonoidalCategories: InternalCoHomToTensorProductAdjunctionMap for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism)

    +
    • +

  • InternalCoHomToTensorProductAdjunctionMapWithGivenTensorProduct (MonoidalCategories: InternalCoHomToTensorProductAdjunctionMapWithGivenTensorProduct for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject)

    +

  • InternalHomOnMorphisms (MonoidalCategories: InternalHomOnMorphisms for IsCapCategoryMorphism, IsCapCategoryMorphism)

    @@ -794,6 +797,9 @@
    5.1-3 CategoryOfRows of a commutative ring

  • InternalHomToTensorProductAdjunctionMap (MonoidalCategories: InternalHomToTensorProductAdjunctionMap for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism)

    +
    • +

  • InternalHomToTensorProductAdjunctionMapWithGivenTensorProduct (MonoidalCategories: InternalHomToTensorProductAdjunctionMapWithGivenTensorProduct for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject)

    +

  • IsIsomorphicForObjects (CAP: IsIsomorphicForObjects for IsCapCategoryObject, IsCapCategoryObject)

    diff --git a/_data/FreydCategoriesForCAP.yml b/_data/FreydCategoriesForCAP.yml index a2d415bbb7..3f580b4aa2 100644 --- a/_data/FreydCategoriesForCAP.yml +++ b/_data/FreydCategoriesForCAP.yml @@ -1,7 +1,7 @@ name: FreydCategoriesForCAP -version: "2023.10-05" +version: "2023.10-06" license: "GPL-2.0-or-later" -date: 2023-10-09 +date: 2023-10-20 description: | Freyd categories - Formal (co)kernels for additive categories @@ -21,7 +21,7 @@ GAP: ">= 4.12.1" needed-pkgs: - name: "CAP" - version: ">= 2023.10-04" + version: ">= 2023.10-07" url: "https://homalg-project.github.io/pkg/CAP" - name: "MatricesForHomalg" version: ">= 2023.01-01" @@ -30,7 +30,7 @@ needed-pkgs: version: ">=2019.08.07" url: "https://homalg-project.github.io/pkg/GradedRingForHomalg" - name: "MonoidalCategories" - version: ">= 2023.08-11" + version: ">= 2023.10-01" url: "https://homalg-project.github.io/pkg/MonoidalCategories" - name: "GeneralizedMorphismsForCAP" version: ">= 2018.06.15" @@ -46,11 +46,11 @@ packageinfo: https://homalg-project.github.io/CAP_project/FreydCategoriesForCAP/ downloads: - name: .tar.gz - url: https://github.com/homalg-project/CAP_project/releases/download/FreydCategoriesForCAP-2023.10-05/FreydCategoriesForCAP-2023.10-05.tar.gz + url: https://github.com/homalg-project/CAP_project/releases/download/FreydCategoriesForCAP-2023.10-06/FreydCategoriesForCAP-2023.10-06.tar.gz - name: .zip - url: https://github.com/homalg-project/CAP_project/releases/download/FreydCategoriesForCAP-2023.10-05/FreydCategoriesForCAP-2023.10-05.zip + url: https://github.com/homalg-project/CAP_project/releases/download/FreydCategoriesForCAP-2023.10-06/FreydCategoriesForCAP-2023.10-06.zip -pdf: https://github.com/homalg-project/CAP_project/releases/download/FreydCategoriesForCAP-2023.10-05/FreydCategoriesForCAP-2023.10-05-manual.pdf +pdf: https://github.com/homalg-project/CAP_project/releases/download/FreydCategoriesForCAP-2023.10-06/FreydCategoriesForCAP-2023.10-06-manual.pdf abstract: | @@ -59,29 +59,29 @@ doc-html: doc/chap0.html doc-pdf: doc/manual.pdf citeas: |

    - [PB09] Posur, S. and Bies, M., + [PB20] Posur, S. and Bies, M., FreydCategoriesForCAP, Freyd categories - Formal (co)kernels for additive categories, - Version 2023.10-05 - (0-09)
    + Version 2023.10-06 + (0-20)
    (GAP package), https://homalg-project.github.io/pkg/FreydCategoriesForCAP.

    bibtex: | - @misc{ FreydCategoriesForCAP2023.10-05, + @misc{ FreydCategoriesForCAP2023.10-06, author = {Posur, S. and Bies, M.}, title = {{FreydCategoriesForCAP}, Freyd categories - Formal (co)kernels for additive categories, {V}ersion - 2023.10-05}, + 2023.10-06}, month = {3-}, - year = {0-09}, + year = {0-20}, note = {GAP package}, howpublished = {\href {https://homalg-project.github.io/pkg/FreydCategoriesForCAP} {\texttt{https://homalg-project.github.io/}\discretionary {}{}{}\texttt{pkg/}\discretionary {}{}{}\texttt{FreydCategoriesForCAP}}}, - printedkey = {PB09} + printedkey = {PB20} }