About Me
I'm finegeometer. I enjoy mathematics and related subjects, such as theoretical physics and computer science.
I appreciate simplicity, and enjoy finding just the right way to formulate things to make them as clean as possible.
This has led me to synthetic mathematics, in the sense of synthetic differential geometry or homotopy type theory. The addition of nonclassical axioms to type theory which capture mathematical concepts in a more direct way than the standard theory, such that we can connect back to the original approach by interpreting the type theory into a well-chosen topos.