Issues: homalg-project/CAP_project
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Review of the formalizations of the specifications of CAP operations and properties
#1555
opened Dec 19, 2023 by
zickgraf
The more categories are created, the slower the creation of new categories gets
#1469
opened Sep 26, 2023 by
zickgraf
Remove IsCongruentForMorphisms from the record entry EveryCategory
#1380
opened Jul 10, 2023 by
mohamed-barakat
Use filter list entry tasks suited for external help
n_tuple_of_morphism
at more places
help wanted
#1343
opened Jun 7, 2023 by
zickgraf
Add and use filter list entry tasks suited for external help
n_tuple_of_objects
help wanted
#1342
opened Jun 7, 2023 by
zickgraf
Explicitly test WithGiven operations in MonoidalCategoriesTensorProductAndUnitTest etc.
help wanted
tasks suited for external help
#1321
opened May 8, 2023 by
zickgraf
Extending the range of a homomorphism structure of a category instance multiple times signals an error
#1267
opened Feb 28, 2023 by
mohamed-barakat
Verify that all derivations have correct source and range
help wanted
tasks suited for external help
#1239
opened Feb 2, 2023 by
zickgraf
Introduce standard attributes to store ObjectDatum and MorphismDatum
#1222
opened Jan 16, 2023 by
mohamed-barakat
CategoryConstructor should support installing functions for arbitrary CAP operations
#1140
opened Nov 4, 2022 by
zickgraf
The compiler is too functional that it considers any two random integer elements in
[m .. n]
as equal 😄
#1134
opened Nov 3, 2022 by
kamalsaleh
Add
number_of_objectified_objects_in_data_structure_of_object
etc. to compiler_hints
#1120
opened Oct 28, 2022 by
mohamed-barakat
Introduce the dual notion of homomorphism structures
help wanted
tasks suited for external help
#1097
opened Oct 12, 2022 by
zickgraf
Introduce dual notion of SomeReductionBySplitEpiSummand
help wanted
tasks suited for external help
#1093
opened Oct 10, 2022 by
zickgraf
Previous Next
ProTip!
no:milestone will show everything without a milestone.