Concepts in topology successfully transferred to graph theory and combinatorics with non-trivial applications?
Automorphisms of genus 6 surfaces
Finiteness aspects of Deligne cohomology
Tubular Neighborhood Theorem for C1 Submanifold
When is it easier to work projectively?
Why do we need model categories?
In what respect are univalent foundations “better” than set theory?