Search results

Refactor MonoidalCategoriesForCAP

MonoidalCategoriesIssues in the package MonoidalCategoriesForCAP.Issues in the package MonoidalCategoriesForCAP.

Status: Open.

#1814 In homalg-project/CAP_project;

· TKuh opened on Jan 8, 2026

Optimizations in GeneralizedMorphismsForCAP probably do not fulfill the specifications

Status: Open.

#1669 In homalg-project/CAP_project;

· zickgraf opened on Sep 11, 2024

Review of the formalizations of the specifications of CAP operations and properties

Status: Open.

#1555 In homalg-project/CAP_project;

· zickgraf opened on Dec 19, 2023

Officially support "Target" instead of "Range"

Status: Open.

#1502 In homalg-project/CAP_project;

· zickgraf opened on Nov 16, 2023

Avoid race conditions between resolving methods

Status: Open.

#1498 In homalg-project/CAP_project;

· mohamed-barakat opened on Oct 30, 2023

Derive limit instead of colimit operations

Status: Open.

#1472 In homalg-project/CAP_project;

· mohamed-barakat opened on Sep 30, 2023

The more categories are created, the slower the creation of new categories gets

Status: Open.

#1469 In homalg-project/CAP_project;

· zickgraf opened on Sep 26, 2023

Broken if-statement

Status: Open.

#1436 In homalg-project/CAP_project;

· mohamed-barakat opened on Aug 20, 2023

Rename AdditiveClosure into StrictAdditiveClosure

Status: Open.

#1426 In homalg-project/CAP_project;

· mohamed-barakat opened on Aug 16, 2023

Remove IsCongruentForMorphisms from the record entry EveryCategory

Status: Open.

#1380 In homalg-project/CAP_project;

· mohamed-barakat opened on Jul 10, 2023

Use filter list entry n_tuple_of_morphism at more places

help wantedtasks suited for external helptasks suited for external help

Status: Open.

#1343 In homalg-project/CAP_project;

· zickgraf opened on Jun 7, 2023

Add and use filter list entry n_tuple_of_objects

help wantedtasks suited for external helptasks suited for external help

Status: Open.

#1342 In homalg-project/CAP_project;

· zickgraf opened on Jun 7, 2023