Topology ​

Links ​

• Elementary applied topology - Covers the mathematics behind the exciting new field of applied topology. (HN)
• Coq library that develops some of the basic concepts and results of general topology
• Homology
• Physics, Topology, Logic and Computation: A Rosetta Stone (2009)
• Sphere Eversion (2020) (HN)
• A round-up of topology-based papers at ICML 2020 (HN)
• Learning Topology - Resources for learning topology and related concepts.
• An Introduction to Algebraic Topology (2020)
• Topology in Condensed Matter (Code)
• Topology 101: How Mathematicians Study Holes (2021) (HN)
• Book recommendations: Topology? (2021)
• Homotopical Topology Book
• Mathematicians Use Homology to Make Sense of Topology
• Entropy as a Topological Operad Derivation (2021) (Article) (HN) (Tweet)
• New math book rescues landmark topology proof (2021) (HN)
• The Disc Embedding Theorem
• Applied Topology - Qualitative data analysis. (GitHub)
• Formal Topology in Univalent Foundations
• Interview with Martin Ender (2018)
• In Topology When Are Two Shapes the Same? (2021) (HN)
• An Introduction to Topos Theory (2011) (HN)
• Topology and Computability (2022)
• Non-Hermitian topology in rock–paper–scissors games (2022)
• Topology of a latent space: problems with intrinsic dimension mismatch between data and latent space
• Topology for Computing
• π-Base - Community database of topological counterexamples. (Code)
• The topologist's world map