# 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