I am interested in using category theoretic techniques to model and reason about systems in terms of their interactions and observable behaviour. Recent application areas have included quantum computation, natural language semantics,compositional theories of physics and mathematical models of human cognition. Concretely, I apply methods such as graphical languages,categorical logics, coalgebra and monad theory to the analysis of these processes.
On the Non−Compositionality of Monads via Distributive Laws
PhD Thesis Department of Computer Science‚ University of Oxford. September, 2020.
Symmetric Monoidal Structure with Local Character is a Property
Stefano Gogioso‚ Dan Marsden and Bob Coecke
In Peter Selinger and Giulio Chiribella, editors, Proceedings of the 15th International Conference on Quantum Physics and Logic‚ Halifax‚ Canada‚ 3−7th June 2018. Vol. 287 of Electronic Proceedings in Theoretical Computer Science. Pages 179−190. Open Publishing Association. 2019.
No−Go Theorems for Distributive Laws
Maaike Zwart and Dan Marsden
In 34th Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2019‚ Vancouver‚ BC‚ Canada‚ June 24−27‚ 2019. Pages 1–13. IEEE. 2019.