Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: homalg-project/CatReps
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: v2022.02-01
Choose a base ref
...
head repository: homalg-project/CatReps
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: master
Choose a head ref

Commits on Mar 31, 2022

  1. updated notebook

    mohamed-barakat committed Mar 31, 2022
    Copy the full SHA
    92d2a3d View commit details
  2. Copy the full SHA
    3cefcc6 View commit details
  3. Copy the full SHA
    e8faa92 View commit details
  4. Merge pull request #30 from mohamed-barakat/devel

    comply with CategoryConstructor v2022.03-01
    mohamed-barakat authored Mar 31, 2022
    Copy the full SHA
    789addd View commit details
  5. bumped version

    mohamed-barakat committed Mar 31, 2022
    Copy the full SHA
    70af955 View commit details
  6. Copy the full SHA
    1a6ecc9 View commit details
  7. Merge pull request #31 from mohamed-barakat/devel

    comply with Toposes v2022.03-05
    mohamed-barakat authored Mar 31, 2022
    Copy the full SHA
    0f6ae0e View commit details

Commits on Apr 1, 2022

  1. Copy the full SHA
    ac78eca View commit details

Commits on Apr 2, 2022

  1. Copy the full SHA
    dfb4ae5 View commit details
  2. Merge pull request #32 from mohamed-barakat/devel

    comply with CAP v2022.03-08
    mohamed-barakat authored Apr 2, 2022
    Copy the full SHA
    2ce4cd2 View commit details

Commits on Apr 12, 2022

  1. Copy the full SHA
    fdc9301 View commit details
  2. Copy the full SHA
    d2299c2 View commit details

Commits on Apr 13, 2022

  1. Copy the full SHA
    52d79ba View commit details
  2. Merge pull request #34 from mohamed-barakat/devel

    comply with Toposes v2022.04-16
    mohamed-barakat authored Apr 13, 2022
    Copy the full SHA
    e9e9124 View commit details

Commits on Apr 18, 2022

  1. Copy the full SHA
    03637f8 View commit details
  2. Merge pull request #35 from mohamed-barakat/devel

    got rid of UnderlyingCapTwoCategoryCell
    mohamed-barakat authored Apr 18, 2022
    Copy the full SHA
    56849c9 View commit details

Commits on Apr 27, 2022

  1. Copy the full SHA
    31bfa33 View commit details
  2. Copy the full SHA
    f8df004 View commit details
  3. updated README.md

    mohamed-barakat committed Apr 27, 2022
    Copy the full SHA
    683302b View commit details

Commits on May 1, 2022

  1. Copy the full SHA
    06f130d View commit details
  2. Copy the full SHA
    ad533ff View commit details
  3. Copy the full SHA
    7d01285 View commit details

Commits on May 2, 2022

  1. Merge pull request #38 from mohamed-barakat/devel

    comply with CAP v2022.04-08
    mohamed-barakat authored May 2, 2022
    Copy the full SHA
    e81854f View commit details
  2. Copy the full SHA
    8d021fa View commit details
  3. Merge pull request #39 from mohamed-barakat/devel

    comply with FunctorCategories v2022.04-04
    mohamed-barakat authored May 2, 2022
    Copy the full SHA
    fa3c2ec View commit details

Commits on May 22, 2022

  1. Copy the full SHA
    b15011b View commit details
  2. Merge pull request #40 from mohamed-barakat/devel

    comply with Algebroids v2022.05-02
    mohamed-barakat authored May 22, 2022
    Copy the full SHA
    b462fcc View commit details

Commits on May 23, 2022

  1. Copy the full SHA
    fac04c3 View commit details
  2. Merge pull request #41 from mohamed-barakat/devel

    comply with FunctorCategories v2022.05-08
    mohamed-barakat authored May 23, 2022
    Copy the full SHA
    0eda63d View commit details
  3. Copy the full SHA
    5b7caf3 View commit details
  4. Merge pull request #42 from mohamed-barakat/devel

    comply with FunctorCategories v2022.05-09
    mohamed-barakat authored May 23, 2022
    Copy the full SHA
    8c9cf83 View commit details

Commits on May 27, 2022

  1. Copy the full SHA
    cb1ae61 View commit details
  2. Copy the full SHA
    38409d4 View commit details

Commits on Jun 1, 2022

  1. Copy the full SHA
    d79409d View commit details
  2. Merge pull request #44 from mohamed-barakat/devel

    comply with new packages: Toposes and FinSetsForCAP v2022.05-07
    mohamed-barakat authored Jun 1, 2022
    Copy the full SHA
    11cc537 View commit details
  3. bumped version

    mohamed-barakat committed Jun 1, 2022
    Copy the full SHA
    d067e3c View commit details
  4. Copy the full SHA
    1ac9832 View commit details
  5. applied PackageJanitor to test notebooks

    for this to work one must change "nbformat_minor": 2 -> 5
    mohamed-barakat committed Jun 1, 2022
    Copy the full SHA
    5718a35 View commit details
  6. Merge pull request #45 from mohamed-barakat/devel

    applied PackageJanitor to test notebooks
    mohamed-barakat authored Jun 1, 2022
    Copy the full SHA
    877ed23 View commit details

Commits on Aug 15, 2022

  1. Copy the full SHA
    e902401 View commit details
  2. Merge pull request #46 from mohamed-barakat/devel

    comply with CAP v2022.08-04
    mohamed-barakat authored Aug 15, 2022
    Copy the full SHA
    65cb425 View commit details

Commits on Aug 23, 2022

  1. Copy the full SHA
    48ce2d4 View commit details

Commits on Aug 30, 2022

  1. Merge pull request #47 from mohamed-barakat/devel

    applied PackageJanitor
    mohamed-barakat authored Aug 30, 2022
    Copy the full SHA
    ae38311 View commit details
  2. Copy the full SHA
    b22e981 View commit details
  3. Merge pull request #48 from mohamed-barakat/devel

    comply with FunctorCategories v2022.08-06
    mohamed-barakat authored Aug 30, 2022
    Copy the full SHA
    5275cdf View commit details

Commits on Sep 26, 2022

  1. comply with homalg-project/CAP_project#1054

    comply with CAP v2022.09-17
    mohamed-barakat committed Sep 26, 2022
    Copy the full SHA
    943ef5c View commit details
  2. Copy the full SHA
    2b3f8ae View commit details

Commits on Oct 3, 2022

  1. Copy the full SHA
    40db71b View commit details
  2. Merge pull request #50 from mohamed-barakat/devel

    comply with FunctorCategories v2022.10-01
    mohamed-barakat authored Oct 3, 2022
    Copy the full SHA
    5bb6304 View commit details

Commits on Oct 8, 2022

  1. Copy the full SHA
    3266274 View commit details
6 changes: 0 additions & 6 deletions .codecov.yml

This file was deleted.

69 changes: 0 additions & 69 deletions .github/workflows/Tests.yml

This file was deleted.

26 changes: 13 additions & 13 deletions PackageInfo.g
Original file line number Diff line number Diff line change
@@ -10,10 +10,10 @@ SetPackageInfo( rec(

PackageName := "CatReps",
Subtitle := "Representations and cohomology of finite categories",
Version := "2022.02-01",
Version := "2024.12-01",

Date := ~.Version{[ 1 .. 10 ]},
Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
License := "GPL-2.0-or-later",

Persons := [
@@ -64,13 +64,13 @@ Persons := [
# BEGIN URLS
SourceRepository := rec(
Type := "git",
URL := "https://github.com/homalg-project/CatReps",
URL := "https://github.com/homalg-project/CategoricalTowers",
),
IssueTrackerURL := Concatenation( ~.SourceRepository.URL, "/issues" ),
PackageWWWHome := "https://homalg-project.github.io/pkg/CatReps",
PackageInfoURL := "https://homalg-project.github.io/CatReps/PackageInfo.g",
README_URL := "https://homalg-project.github.io/CatReps/README.md",
ArchiveURL := Concatenation( "https://github.com/homalg-project/CatReps/releases/download/v", ~.Version, "/CatReps-", ~.Version ),
PackageInfoURL := "https://homalg-project.github.io/CategoricalTowers/CatReps/PackageInfo.g",
README_URL := "https://homalg-project.github.io/CategoricalTowers/CatReps/README.md",
ArchiveURL := Concatenation( "https://github.com/homalg-project/CategoricalTowers/releases/download/CatReps-", ~.Version, "/CatReps-", ~.Version ),
# END URLS

ArchiveFormats := ".tar.gz .zip",
@@ -97,19 +97,19 @@ PackageDoc := rec(
),

Dependencies := rec(
GAP := ">= 4.9.1",
GAP := ">= 4.13.0",
NeededOtherPackages := [
[ "GAPDoc", ">= 1.5" ],
[ "CAP", ">= 2021.11-03" ],
[ "CAP", ">= 2024.09-05" ],
[ "MonoidalCategories", ">= 2021.08-01" ],
[ "LinearAlgebraForCAP", ">= 2021.07-01" ],
[ "FinSetsForCAP", ">= 2020.04.01" ],
[ "CategoryConstructor", ">= 2021.10-07" ],
[ "FinSetsForCAP", ">= 2022.05-07" ],
[ "ToolsForCategoricalTowers", ">= 2024.03-02" ],
[ "SubcategoriesForCAP", ">= 2020.06-01" ],
[ "MatricesForHomalg", ">= 2020.02.02" ],
[ "Toposes", ">= 2022.01-05" ],
[ "Algebroids", ">= 2022.01-02" ],
[ "FunctorCategories", ">= 2022.02-01" ],
[ "Toposes", ">= 2022.05-07" ],
[ "Algebroids", ">= 2024.02-02" ],
[ "FunctorCategories", ">= 2024.11-04" ],
],
SuggestedOtherPackages := [ ],
ExternalConditions := [ ],
6 changes: 0 additions & 6 deletions Project.toml

This file was deleted.

63 changes: 31 additions & 32 deletions README.md
Original file line number Diff line number Diff line change
@@ -3,7 +3,7 @@

### Representations and cohomology of finite categories

| Documentation | Latest Release | Build Status | Code Coverage |
| Documentation | Latest Release | Build Status of [CategoricalTowers](/../../) | Code Coverage |
| ------------- | -------------- | ------------ | ------------- |
| [![HTML stable documentation][html-img]][html-url] [![PDF stable documentation][pdf-img]][pdf-url] | [![version][version-img]][version-url] [![date][date-img]][date-url] | [![Build Status][tests-img]][tests-url] | [![Code Coverage][codecov-img]][codecov-url] |

@@ -30,21 +30,22 @@ Using the procedure `Algebroid` one can then construct a finite presentation of

```gap
gap> Q := HomalgFieldOfRationals( );
GF(3)
gap> A := Algebroid( Q, c3c3 );
Algebroid generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2]
gap> UnderlyingQuiverAlgebra( A );
(Q * q) / [ 1*(a*a*a) - 1*(1), 1*(c*c*c) - 1*(2), -1*(b*c) + 1*(a*b) ]
Q
gap> A := Q[c3c3];
Algebroid( Q, FreeCategory( RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations
gap> RelationsOfAlgebroid( A );
[ (1)-[1*(a*a*a) - 1*(1)]->(1), (2)-[1*(c*c*c) - 1*(2)]->(2), (1)-[1*(b*c) - 1*(a*b)]->(2) ]
gap> IsLinearClosureOfACategory( A );
true
```

Finally, using the constructor `Hom` from the package [`FunctorCategories`](https://github.com/homalg-project/FunctorCategories) one can construct the category of finite dimensional k-linear representations of the finite concrete category:

```gap
gap> CatReps := FunctorCategory( A, Q );
FunctorCategory( Algebroid generated by the right quiver
q(2)[a:1->1,b:1->2,c:2->2] -> Category of matrices over Q )
gap> CatReps := FunctorCategory( A );
FunctorCategory( Algebroid( Q, FreeCategory(
RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations,
Category of matrices over Q )
```

The supported categorical doctrine of the category of representations is
@@ -56,12 +57,15 @@ The supported categorical doctrine of the category of representations is
* (possibly incomplete) direct sum decomposition.

```gap
gap> InfoOfInstalledOperationsOfCategory( CatReps );
95 primitive operations were used to derive 293 operations for this category which
gap> Display( CatReps );
68 primitive operations were used to derive 360 operations for this category
which constructively
* IsCategoryWithDecidableColifts
* IsCategoryWithDecidableLifts
* IsEquippedWithHomomorphismStructure
* IsLinearCategoryOverCommutativeRing
* IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms
* IsSymmetricMonoidalCategory
* IsAbelianCategory
* IsAbelianCategoryWithEnoughProjectives
gap> CommutativeRingOfLinearCategory( CatReps );
Q
```
@@ -87,33 +91,28 @@ To obtain current versions of all dependencies, `git clone` (or `git pull` to up
|--- | ---------- | ------- |
| 1. | [**homalg_project**](https://github.com/homalg-project/homalg_project#readme) | https://github.com/homalg-project/homalg_project.git |
| 2. | [**CAP_project**](https://github.com/homalg-project/CAP_project#readme) | https://github.com/homalg-project/CAP_project.git |
| 3. | [**CategoryConstructor**](https://github.com/homalg-project/CategoryConstructor#readme) | https://github.com/homalg-project/CategoryConstructor.git |
| 4. | [**HigherHomologicalAlgebra**](https://github.com/homalg-project/HigherHomologicalAlgebra#readme) | https://github.com/homalg-project/HigherHomologicalAlgebra.git |
| 5. | [**QPA2**](https://github.com/homalg-project/QPA2#readme) | https://github.com/homalg-project/QPA2.git |
| 6. | [**Algebroids**](https://github.com/homalg-project/Algebroids#readme) | https://github.com/homalg-project/Algebroids.git |
| 7. | [**FunctorCategories**](https://github.com/homalg-project/FunctorCategories#readme) | https://github.com/homalg-project/FunctorCategories.git |
| 8. | [**Toposes**](https://github.com/homalg-project/Toposes#readme) | https://github.com/homalg-project/Toposes.git |
| 9. | [**FinSetsForCAP**](https://github.com/homalg-project/FinSetsForCAP#readme) | https://github.com/homalg-project/FinSetsForCAP.git |
| 10. | [**SubcategoriesForCAP**](https://github.com/homalg-project/SubcategoriesForCAP#readme) | https://github.com/homalg-project/SubcategoriesForCAP.git |
| 3. | [**HigherHomologicalAlgebra**](https://github.com/homalg-project/HigherHomologicalAlgebra#readme) | https://github.com/homalg-project/HigherHomologicalAlgebra.git |
| 4. | [**QPA2**](https://github.com/homalg-project/QPA2#readme) | https://github.com/homalg-project/QPA2.git |
| 5. | [**FinSetsForCAP**](https://github.com/homalg-project/FinSetsForCAP#readme) | https://github.com/homalg-project/FinSetsForCAP.git |

[html-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg
[html-url]: https://homalg-project.github.io/CatReps/doc/chap0_mj.html
[html-url]: https://homalg-project.github.io/CategoricalTowers/CatReps/doc/chap0_mj.html

[pdf-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg
[pdf-url]: https://homalg-project.github.io/CatReps/download_pdf.html
[pdf-url]: https://homalg-project.github.io/CategoricalTowers/CatReps/download_pdf.html

[version-img]: https://img.shields.io/endpoint?url=https://homalg-project.github.io/CatReps/badge_version.json&label=🔗%20version&color=yellow
[version-url]: https://homalg-project.github.io/CatReps/view_release.html
[version-img]: https://img.shields.io/endpoint?url=https://homalg-project.github.io/CategoricalTowers/CatReps/badge_version.json&label=🔗%20version&color=yellow
[version-url]: https://homalg-project.github.io/CategoricalTowers/CatReps/view_release.html

[date-img]: https://img.shields.io/endpoint?url=https://homalg-project.github.io/CatReps/badge_date.json&label=🔗%20released%20on&color=yellow
[date-url]: https://homalg-project.github.io/CatReps/view_release.html
[date-img]: https://img.shields.io/endpoint?url=https://homalg-project.github.io/CategoricalTowers/CatReps/badge_date.json&label=🔗%20released%20on&color=yellow
[date-url]: https://homalg-project.github.io/CategoricalTowers/CatReps/view_release.html

[tests-img]: https://github.com/homalg-project/CatReps/workflows/Tests/badge.svg?branch=master
[tests-url]: https://github.com/homalg-project/CatReps/actions?query=workflow%3ATests+branch%3Amaster
[tests-img]: https://github.com/homalg-project/CategoricalTowers/actions/workflows/Tests.yml/badge.svg?branch=master
[tests-url]: https://github.com/homalg-project/CategoricalTowers/actions/workflows/Tests.yml?query=branch%3Amaster

[codecov-img]: https://codecov.io/gh/homalg-project/CatReps/branch/master/graph/badge.svg
[codecov-url]: https://codecov.io/gh/homalg-project/CatReps
[codecov-img]: https://codecov.io/gh/homalg-project/CategoricalTowers/branch/master/graph/badge.svg?flag=CatReps
[codecov-url]: https://app.codecov.io/gh/homalg-project/CategoricalTowers/tree/master/CatReps

[code-img]: https://img.shields.io/badge/-View%20code-blue?logo=github
[code-url]: https://github.com/homalg-project/CatReps#top
[code-url]: https://github.com/homalg-project/CategoricalTowers/tree/master/CatReps#top
<!-- END FOOTER -->
12 changes: 0 additions & 12 deletions ci_gaprc

This file was deleted.

20 changes: 12 additions & 8 deletions examples/Algebroid.g
Original file line number Diff line number Diff line change
@@ -17,23 +17,27 @@ ccat2 := ConcreteCategoryForCAP( [ [,,,5,6,4], [,,,7,8,9], [,,,,,,8,9,7] ] );
Q := HomalgFieldOfRationals( );
#! Q
A1 := Q[ccat1];
#! Algebroid generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2]
#! Algebroid( Q, FreeCategory(
#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations
A2 := Q[ccat2];
#! Algebroid generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2]
#! Algebroid( Q, FreeCategory(
#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations
IsIdenticalObj( A1, A2 );
#! true
UnderlyingCategory( A1 );
#! Category generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2] with relations
#! FreeCategory( RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) / relations
UnderlyingCategory( A2 );
#! Category generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2] with relations
#! FreeCategory( RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) / relations
IsIdenticalObj( UnderlyingCategory( A1 ), UnderlyingCategory( A2 ) );
#! true
CatReps1 := FunctorCategory( A1, Q );
#! FunctorCategory( Algebroid generated by the right quiver
#! q(2)[a:1->1,b:1->2,c:2->2] -> Category of matrices over Q )
#! FunctorCategory( Algebroid( Q, FreeCategory(
#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations,
#! Category of matrices over Q )
CatReps2 := FunctorCategory( A2, Q );
#! FunctorCategory( Algebroid generated by the right quiver
#! q(2)[a:1->1,b:1->2,c:2->2] -> Category of matrices over Q )
#! FunctorCategory( Algebroid( Q, FreeCategory(
#! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations,
#! Category of matrices over Q )
IsIdenticalObj( CatReps1, CatReps2 );
#! true
#! @EndExample
Loading