David Myers

---

David Jaz Myers is a mathematician interested generally in what it means to be a thing, particularly in homotopy type theory, categorical systems theory, axiomatic cohesion, and the internal logics of higher toposes. He is currently working in the Center for Topological and Quantum Systems, using modal homotopy type theory to give formal and axiomatic frameworks for topological quantum computing protocols.

He received his PhD from Johns Hopkins University in 2022 with a thesis on the geometry of higher groups in modal homotopy type theory. In this thesis, David developed a notion of modal fibration suitable for doing synthetic algebraic topology internal to a cohesive higher topos and gave a synthetic account of orbifolds in synthetic differential geometry. He has also written an introductory book on categorical systems theory (to appear).