I am a mathematician working across category theory, homotopy theory, type theory, algebraic geometry, probability and machine learning.