David Jaz Myers is a post-doc working at the [Center for Topological and Quantum Systems](https://nyuad.nyu.edu/en/research/faculty-labs-and-projects/cqts.html) at NYU Abu Dhabi. He earned a PhD in the Department of Mathematics at the University of California, Berkeley, under the supervision of Emily Riehl. He has a website: [davidjaz.com](http://www.davidjaz.com). His research interests include pure and applied category theory, and modal homotopy type theory. His main research interest is to ask the question: what does it mean for a part of the world to be a thing? He thinks a mathematical metaphysics is possible, and that the Topos Institute could be the place to develop it. Myers has published several papers in top academic journals, including the Proceedings of the American Mathematical Society and the Journal of Pure and Applied Algebra. He has also given talks at several major conferences, including the Category Theory Seminar at MIT and the [[Topos Institute]] Colloquium. Myers is a highly respected mathematician in the field of category theory. His work is known for its originality, depth, and clarity. He is also a gifted communicator, and his talks are always engaging and informative. Here are some of his notable contributions to category theory: - Developed a general definition of open [[Hub/Theory/Category Theory/Logic/dynamical system]] based on the idea of generalized lenses. - Gave a synthetic definition of orbifold in cohesive homotopy type theory, which closely resembles the informal definition. - Identified three paradigms of composition for systems, namely port plugging, variable sharing, and input/output. - Developed a new approach to mathematical metaphysics based on category theory. Myers' work has the potential to have a significant impact on the field of category theory, as well as on other areas of mathematics, such as physics, computer science, and philosophy. He has a book on [[Categorical Systems Theory]], as of October 24, 2023, is a work in progress on his website. # References [[@myersDavidJazMyers|David Jaz Myers – Student of mathematics and otherwise.]] ```dataview Table title as Title, authors as Authors where contains(authors, "David Jaz Myers") ```