Skip to content

Tags: homalg-project/CAP_project

Tags

AdditiveClosuresForCAP-2025.08-02

Toggle AdditiveClosuresForCAP-2025.08-02's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Merge pull request #1792 from mohamed-barakat/pre-additive

pre-abelian -> pre-additive

LinearClosuresForCAP-2025.08-03

Toggle LinearClosuresForCAP-2025.08-03's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Merge pull request #1791 from kamalsaleh/linclosures_G2J

LinearClosuresForCAP-2025.08-02

Toggle LinearClosuresForCAP-2025.08-02's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Merge pull request #1788 from kamalsaleh/master

Few improvements & preperations for translating `(Additive/Linear)ClosuresForCAP` to Julia

LinearClosuresForCAP-2025.08-01

Toggle LinearClosuresForCAP-2025.08-01's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Merge pull request #1787 from mohamed-barakat/LinearClosure

start making LinearClosure compilable

CAP-2025.08-02

Toggle CAP-2025.08-02's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Merge pull request #1788 from kamalsaleh/master

Few improvements & preperations for translating `(Additive/Linear)ClosuresForCAP` to Julia

AdditiveClosuresForCAP-2025.08-01

Toggle AdditiveClosuresForCAP-2025.08-01's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Merge pull request #1788 from kamalsaleh/master

Few improvements & preperations for translating `(Additive/Linear)ClosuresForCAP` to Julia

MonoidalCategories-2025.07-07

Toggle MonoidalCategories-2025.07-07's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Merge pull request #1784 from mohamed-barakat/no_with_given

comply with CAP: remove WithGiven-methods from CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD

CartesianCategories-2025.07-07

Toggle CartesianCategories-2025.07-07's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Merge pull request #1784 from mohamed-barakat/no_with_given

comply with CAP: remove WithGiven-methods from CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD

CAP-2025.08-01

Toggle CAP-2025.08-01's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Merge pull request #1786 from mohamed-barakat/TerminalCategory

fix in CAP_INTERNAL_CONSTRUCTOR_FOR_TERMINAL_CATEGORY

LinearClosuresForCAP-2025.07-03

Toggle LinearClosuresForCAP-2025.07-03's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Merge pull request #1781 from mohamed-barakat/IsLinearClosureOfACategory

declared categorical property IsLinearClosureOfACategory