Here are
10 public repositories
matching this topic...
All of my math stuff from grad school.
Notes from Andrew Blumberg's class on equivariant homotopy theory
A toolkit for higher-dimensional diagram rewriting.
Updated
Sep 15, 2022
Python
WIP Analytic Homotopy Theory Notes
Der Satz von Serre über die Endlichkeit der Homotopiegruppen der Sphären (Bachelorarbeit)
Extensive learning notes on mathematics
Information about seminars and symposiums organized by the topology group of School of Sciences, Great Bay University
Updated
Sep 18, 2024
HTML
Updated
Aug 22, 2017
Agda
Moja prezentacja o Homotopicznej Teorii Typów na seminarium z Logiki i Teorii Typów
Python steenrod algebra implementation
Improve this page
Add a description, image, and links to the
homotopy-theory
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
homotopy-theory
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.