All of my math stuff from grad school.
A toolkit for higher-dimensional diagram rewriting.
Notes from Andrew Blumberg's class on equivariant homotopy theory
WIP Analytic Homotopy Theory Notes
Der Satz von Serre über die Endlichkeit der Homotopiegruppen der Sphären (Bachelorarbeit)
Glial-inspired ANN algorithm for unsupervised classification and zero-shot forecasting of nonstationary dynamics with oscillating links. Based on dynamical systems and simplicial homotopy theory. Open source manuscript available below.
Extensive learning notes on mathematics. Now hosted at https://git.sr.ht/~luizmugnaini/deep-dive
Information about seminars and symposiums organized by the topology group of School of Sciences, Great Bay University
Python steenrod algebra implementation
Moja prezentacja o Homotopicznej Teorii Typów na seminarium z Logiki i Teorii Typów
Repository for simulating edge collapse on Erdos-Renyi clique complexes, based on the paper “On Edge Collapse of Random Simplicial Complexes” (SoCG’24 submission). The edge collapse procedure reduces a simplicial complex to its core while preserving homotopy and homology, helping analyze its topological structure with greater efficiency.
Comparator-gated Lean 4 benchmark for known and open results on homotopy groups, with a tracker and leaderboard.
Add a description, image, and links to the homotopy-theory topic page so that developers can more easily learn about it.
To associate your repository with the homotopy-theory topic, visit your repo's landing page and select "manage topics."