Issues

• Add more UnitTest functions similar to those in MonoidalCategories

  homalg-project/CAP_project#1870 · Filter by author kamalsaleh opened on Aug 4, 2026
  4

• Group tests in CompilerForCAP to 2-3 groups

  homalg-project/CAP_project#1856 · Filter by author kamalsaleh opened on Jun 29, 2026

• PDF Manual formatting

  homalg-project/CAP_project#1829 · Filter by author ruthhoffmann opened on May 5, 2026
  1

• Refactor MonoidalCategories

  MonoidalCategories
  homalg-project/CAP_project#1814 · Filter by author TKuh opened on Jan 8, 2026
  1

• Optimizations in GeneralizedMorphismsForCAP probably do not fulfill the specifications

  homalg-project/CAP_project#1669 · Filter by author zickgraf opened on Sep 11, 2024

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

  homalg-project/CAP_project#1555 · Filter by author zickgraf opened on Dec 19, 2023

• Officially support "Target" instead of "Range"

  homalg-project/CAP_project#1502 · Filter by author zickgraf opened on Nov 16, 2023
  3

• Avoid race conditions between resolving methods

  homalg-project/CAP_project#1498 · Filter by author mohamed-barakat opened on Oct 30, 2023

• Derive limit instead of colimit operations

  homalg-project/CAP_project#1472 · Filter by author mohamed-barakat opened on Sep 30, 2023
  1

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

  homalg-project/CAP_project#1469 · Filter by author zickgraf opened on Sep 26, 2023

• Broken if-statement

  homalg-project/CAP_project#1436 · Filter by author mohamed-barakat opened on Aug 20, 2023
  2

• Rename AdditiveClosure into StrictAdditiveClosure

  homalg-project/CAP_project#1426 · Filter by author mohamed-barakat opened on Aug 16, 2023
  3

  

• Remove IsCongruentForMorphisms from the record entry EveryCategory

  homalg-project/CAP_project#1380 · Filter by author mohamed-barakat opened on Jul 10, 2023
  2

• Use filter list entry n_tuple_of_morphism at more places

  help wanted
  homalg-project/CAP_project#1343 · Filter by author zickgraf opened on Jun 7, 2023

• Add and use filter list entry n_tuple_of_objects

  help wanted
  homalg-project/CAP_project#1342 · Filter by author zickgraf opened on Jun 7, 2023

• Explicitly test WithGiven operations in MonoidalCategoriesTensorProductAndUnitTest etc.

  help wanted
  homalg-project/CAP_project#1321 · Filter by author zickgraf opened on May 8, 2023

• Extending the range of a homomorphism structure of a category instance multiple times signals an error

  homalg-project/CAP_project#1267 · Filter by author mohamed-barakat opened on Feb 28, 2023
  3

• Drop the misleading Jit from CompilerForCAP

  homalg-project/CAP_project#1260 · Filter by author mohamed-barakat opened on Feb 26, 2023
  4

• Verify that all derivations have correct source and range

  help wanted
  homalg-project/CAP_project#1239 · Filter by author zickgraf opened on Feb 2, 2023
  9

• Introduce standard attributes to store ObjectDatum and MorphismDatum

  homalg-project/CAP_project#1222 · Filter by author mohamed-barakat opened on Jan 16, 2023

• CategoryConstructor should support installing functions for arbitrary CAP operations

  homalg-project/CAP_project#1140 · Filter by author zickgraf opened on Nov 4, 2022

• The compiler is too functional that it considers any two random integer elements in [m .. n] as equal 😄

  homalg-project/CAP_project#1134 · Filter by author kamalsaleh opened on Nov 3, 2022
  4

• Add number_of_objectified_objects_in_data_structure_of_object etc. to compiler_hints

  homalg-project/CAP_project#1120 · Filter by author mohamed-barakat opened on Oct 28, 2022
  1

• Introduce the dual notion of homomorphism structures

  help wanted
  homalg-project/CAP_project#1097 · Filter by author zickgraf opened on Oct 12, 2022

• Introduce dual notion of SomeReductionBySplitEpiSummand

  help wanted
  homalg-project/CAP_project#1093 · Filter by author zickgraf opened on Oct 10, 2022