I am interested in monad compositions, via distributive laws or otherwise. Currently, my favourite topics in this area are:
- Self-composition: which monads compose with themselves, and which monads do not?
- No-go theorems: which properties prevent monad compositions from working?
The monads I'm studying are mostly (but not exclusively) monads on Set, such as Tree, List, Multiset, Powerset, finite probability distributions, and related monads.
I studied Physics and Mathematics at Radboud University in Nijmegen, The Netherlands, and received a BSc. in both topics. I then studied at the University of Amsterdam, where I completed the Master of Logic. Now I am here in Oxford where I study for my DPhil in Computer Science and TA several courses of the Software Engineering Programme.
Double Dilation Double Mixing (extended abstract)
Maaike Zwart and Bob Coecke
In Bob Coecke and Aleks Kissinger, editors, Proceedings 14th International Conference on Quantum Physics and Logic‚ Nijmegen‚ The Netherlands‚ 3−7 July 2017. Vol. 266 of Electronic Proceedings in Theoretical Computer Science. Pages 133−146. Open Publishing Association. 2018.