"I have the audacity to believe that peoples everywhere can have three meals a day for their bodies, education and culture for their minds, and dignity, equality, and freedom for their spirits." - Dr. Martin Luther King Jr., Norway 1964
Dom Verity is a Research Mathematician whose side hustles include Programming, Electronics, (incredibly bad) Drumming, and University Governance.
His research interests lie in the mathematical fields of Homotopy Theory, sometimes known as “rubber sheet geometry,” and Category Theory, a kind of “theory of everything” for pure mathematics. He is also active in exploring applications of this work to the Computer Science of Programming Languages. His most cited paper introduced Traced Monoidal Categories, structures that have become a key component in modern accounts of iterative processes in traditional and quantum computation.
His closest mathematical collaborator is Emily Riehl (Johns Hopkins), and together they are responsible for developing and popularising model independent and synthetic approaches to (∞,1)-category theory.Read more...