Skip to content

Issues: homalg-project/CategoricalTowers

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.

Sign up for GitHub

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

28 Open 34 Closed
28 Open 34 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Splitting packages?
#598 opened Oct 29, 2024 by mohamed-barakat
Missing case distinctions for precompiled code
#595 opened Oct 17, 2024 by zickgraf
Do something to get rid of these three lines
#581 opened Sep 17, 2024 by kamalsaleh
1
Speedup CategoryFromDataTables
#572 opened Sep 5, 2024 by mohamed-barakat
TensorProduct (=Coproduct) for path/linear categories
#566 opened Aug 27, 2024 by mohamed-barakat
@mohamed-barakat @kamalsaleh
SetIsObjectFiniteCategory in *FromDataTables
#564 opened Aug 27, 2024 by mohamed-barakat
@kamalsaleh
1
Make "dp" the default in PathCategory
#563 opened Aug 27, 2024 by mohamed-barakat
Fix documentation of CreatePreSheaf
#550 opened Jul 2, 2024 by mohamed-barakat
Implement the category constructors EmptyCoproduct/ProductCompletion and use it to refactor IntervalCategory
#488 opened Feb 15, 2024 by mohamed-barakat
Remove optimizations in LazyCategory (or disable them by default)
#361 opened Sep 19, 2023 by zickgraf
PushoutComplement_FinSets.g takes a long time in Toposes.jl
#304 opened Jul 24, 2023 by zickgraf
Implement IsRegularObject, IsComplemented for (co)Heyting algebroids
#298 opened Jul 21, 2023 by mohamed-barakat
LazyCategories: Show literal lists as separate nodes of the tree
#246 opened Jun 13, 2023 by zickgraf
dualize IsElementaryTopos -> IsElementaryLogos or IsElementaryCotopos
#133 opened Feb 12, 2023 by mohamed-barakat
The create_func_*s are not adapted to the equalizer now getting the source as an explicit argument.
#121 opened Feb 9, 2023 by mohamed-barakat
1
Then probably some logic template does not respect the matrix equality
#117 opened Feb 6, 2023 by mohamed-barakat
1
Many derivations in Toposes probably have to be final derivations
#105 opened Feb 2, 2023 by zickgraf
3
Algebroids: Assertion failure in CategoryFromDataTables
#96 opened Jan 31, 2023 by kamalsaleh
2
make an analogue of DecomposeQuiverAlgebraElement for CategoryFromDataTables/CategoryFromNerve
#84 opened Dec 4, 2022 by mohamed-barakat
Compile ClassifyingMorphismOfSubobject/SievesOfPathsToTruth
#90 opened Nov 6, 2022 by mohamed-barakat
2
Is there a way to treat HomStructure of SkeletalFinSets and MatrixCategory more uniformly?
#89 opened Nov 1, 2022 by mohamed-barakat
Compile SubobjectClassifier( FinQuivers ) to a fixed value help wanted Extra attention is needed
#88 opened Oct 28, 2022 by mohamed-barakat
1
Optimizing MorphismsOfExternalHom in FinQuivers
#87 opened Oct 25, 2022 by zickgraf
1
TruthMorphismOfTrueToSieveFunctorAndEmbedding successfully compiled in 427 minutes ~ 7 hours
#83 opened Oct 20, 2022 by mohamed-barakat
Move bialgebra structure in PreSheaves and inherit it in FunctorCategory
#86 opened Oct 9, 2022 by mohamed-barakat
ProTip! Type g i on any issue or pull request to go back to the issue listing page.