I’m trying to use Category Theory to turn everything into pictures. So far, I’ve mostly been working in machine learning. By “pictures”, I really mean string diagrams. Here’s the reverse chain rule:
NOTE: I’m currently looking for research work after my Ph.D. If you’re interested in working with me, please reach out to me at paul AT statusfailed DOT com.
My long term goals are to understand different aspects of computation in terms of category theory, and apply this to building genuinely intelligent machine learning systems that interact with their environments.
One day, I’d like to have a computer completely defined in terms of morphisms of different categories: I imagine the “tower of abstractions” that make a modern computer as a stack of categories with functors between them; all sitting on top of the circuit morphism describing the behaviour of the CPU itself.
More immediately, I am interested in applying Category Theory (and in particular diagrammatic representations) to the following areas:
- Machine learning
- Compilers (specifically for array programming languages)
- Assembly language and low-level models of computing
- Circuit models
Here are some places you can find me (Paul Wilson) on the internet:
- My CV