ahadziha / rewalt Star 15 Code Issues Pull requests A toolkit for higher-dimensional diagram rewriting. topology category-theory cell-complexes homotopy-theory rewriting higher-algebra string-diagrams monoidal-categories higher-category-theory cubical-sets simplicial-sets Updated Sep 15, 2022 Python
luizmugnaini / deep-dive Star 5 Code Issues Pull requests Extensive learning notes on mathematics machine-learning statistics topology linear-algebra mathematics category-theory graph-theory algebraic-topology homotopy-theory differential-geometry combinatorics group-theory probability-theory manifolds module-theory ring-theory simplicial-sets dendroidal-sets Updated May 20, 2024 TeX
matthias314 / SimplicialSets.jl Star 0 Code Issues Pull requests A Julia package to work with simplicial sets simplicial-sets Updated Mar 7, 2024 Julia