Hi everyone! Here's yet another introduction.
[I'm](http://personal-homepages.mis.mpg.de/fritz/) a mathematician at the [MPI for Mathematics in the Sciences](https://www.mis.mpg.de/). A large part of my work is about resource theories, which will soon be a topic in the Applied Category Theory course. I'm looking forward to discussing that stuff with you all, especially because there's such a diverse crowd here!
From my biased personal perspective, the most interesting application that we have so far of the resource theories formalism is to thermodynamics, where we've [developed](https://arxiv.org/abs/1607.01302) simple methods to answer questions like, "How much work can be extracted from a given state?", or "What is the maximal efficiency of a heat engine operating with a given amount of hot and cold substances?"
I also have a loosely related interest in the foundations of probability, on which I'm currently [working](https://arxiv.org/abs/1712.05363) [with](https://arxiv.org/abs/1804.03527) my student Paolo Perrone, and previously [on](https://arxiv.org/abs/1106.1791) [entropy](https://arxiv.org/abs/1402.3067) with John Baez and Tom Leinster.