Yuhang Wei

I work in framed combinatorial topology, which I think of as a computable data structure for what an 'n-Morse theory' ought to carry. My focus is to transport operations that are classically analytic and existential, singularity perturbations above all, onto combinatorial ground, and to turn them into recursive, algorithmic processes. That commitment is witnessed by software: enumeration in C++, visualisation as a web app, and formalisation in Lean 4.