Professor of Mathematics. Research: Algorithmic aspects of
category theory, homological algebra, algebraic geometry & their computer algebra implementation.
-
University of Siegen
- Siegen
- https://mohamed-barakat.github.io/
- @math_barakat
Highlights
- Pro
Block or Report
Block or report mohamed-barakat
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
homalg-project/CategoricalTowers
homalg-project/CategoricalTowers PublicTowers of category constructors
-
homalg-project/CAP_project
homalg-project/CAP_project PublicCAP project -- Categories, Algorithms, and Programming
-
homalg-project/CapAndHomalgNotebooks
homalg-project/CapAndHomalgNotebooks PublicCAP and homalg based packages
Jupyter Notebook 4
-
homalg-project/homalg_project
homalg-project/homalg_project PublicDeposited packages of the homalg project
-
homalg-project/CapAndHomalg.jl
homalg-project/CapAndHomalg.jl PublicThe CAP and homalg projects compatibility package for Julia
-
homalg-project/MatroidGeneration
homalg-project/MatroidGeneration PublicGenerate low-rank matroids
3,299 contributions in the last year
Day of Week | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Activity overview
Contributed to
homalg-project/CategoricalTowers,
homalg-project/FunctorCategories,
homalg-project/CAP_project
and 45 other
repositories
Contribution activity
March 2024
Created 218 commits in 20 repositories
Created a pull request in homalg-project/FinSetsForCAP that received 2 comments
improved AddDirectProductToExponentialRightAdjunctMorphismWithGivenExponential
+4
−4
lines changed
•
2
comments
Opened 30 other pull requests in 5 repositories
homalg-project/CategoricalTowers
25
merged
1
open
-
udpated SnakeInFreeAbelian.ipynb
This contribution was made on Mar 19
-
fixed and updated documentation
This contribution was made on Mar 16
-
updated Julia 1.10.0 -> 1.10.2
This contribution was made on Mar 14
-
d&i AssociatedCoequalizerPairInPreSheaves
This contribution was made on Mar 13
-
d&i AssociatedColimitQuiver
This contribution was made on Mar 11
-
added tst file for commit 08410a94
This contribution was made on Mar 9
-
do not AddIsLiftable/AddLift in the 2-enriched case
This contribution was made on Mar 9
-
installed CoveringListOfRepresentables for the 2-enriched case
This contribution was made on Mar 9
-
updated DisplayString for presheaves and their morphisms
This contribution was made on Mar 9
-
conditionally AddMorphismsOfExternalHom( proset, ... )
This contribution was made on Mar 9
-
d&i SET_RANGE_CATEGORY_Of_HOMOMORPHISM_STRUCTURE and used it to simplify code
This contribution was made on Mar 8
-
comply with FinSetsForCAP v2024.03-01
This contribution was made on Mar 7
-
again updated test file Toposes/examples/SingletonMorphism.g for Julia
This contribution was made on Mar 7
-
again updated test file Toposes/examples/SingletonMorphism.g for Julia
This contribution was made on Mar 7
-
updated test file Toposes/examples/SingletonMorphism.g
This contribution was made on Mar 7
-
PreSheavesOfFpEnrichedCategory in the 2-enriched case now returns a Heyting algebroid
This contribution was made on Mar 7
-
improved derivation of SingletonMorphismWithGivenPowerObject
This contribution was made on Mar 6
-
d&i AllCoproducts and used it to simplify AddSetOfObjectsOfCategory( PSh, ... )
This contribution was made on Mar 6
-
improved installation of SetOfGeneratingMorphismsOfCategory for posets
This contribution was made on Mar 4
-
support external tensor product for the enrichment over the interval category
This contribution was made on Mar 4
-
added symmetric monodial versions of properties of prosets/posets/lattices
This contribution was made on Mar 4
-
Revert "temporarily disable testing notebook"
This contribution was made on Mar 3
-
installed SetOfGeneratingMorphisms for IsCapSubcategory
This contribution was made on Mar 3
-
Cleanup in several packages
This contribution was made on Mar 3
-
improved AddSetOfObjectsOfCategory( PSh, ... )
This contribution was made on Mar 2
- Some pull requests not shown.
homalg-project/D-Modules
1
merged
-
added License
This contribution was made on Mar 19
homalg-project/FinSetsForCAP
1
merged
-
precompiled SingletonMorphismWithGivenPowerObject to optimal code 🎉
This contribution was made on Mar 7
homalg-project/CAP_project
1
merged
-
commented an InstallTrueMethod for Julia
This contribution was made on Mar 7
homalg-project/PackageJanitor
1
merged
-
updated Locales
This contribution was made on Mar 2