David Michael Roberts is a Research Associate at Adelaide University’s Institute for Geometry and Applications. He works at the intersection of differential geometry and category theory, and dabbles in logic and foundations of mathematics via topos theory.