they/them
I'm a mathematician and Haskell programmer. Here are my areas of interest:
- Topos theory.
- Category theory.
- Foundations.
- Functional analysis.
- Topology.
I'm also really interested in pedagogy and the philosophy of how we teach certain topics in mathematics.