🔥 Agda

Moja prezentacja o Homotopicznej Teorii Typów na seminarium z Logiki i Teorii Typów

Python steenrod algebra implementation

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.

Information about seminars and symposiums organized by the topology group of School of Sciences, Great Bay University

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. Preprint of the manuscript available in the URL.

WIP Analytic Homotopy Theory Notes

Extensive learning notes on mathematics. Now hosted at https://git.sr.ht/~luizmugnaini/deep-dive

Der Satz von Serre über die Endlichkeit der Homotopiegruppen der Sphären (Bachelorarbeit)

Notes from Andrew Blumberg's class on equivariant homotopy theory

A toolkit for higher-dimensional diagram rewriting.

All of my math stuff from grad school.