Me, my research & I

I work in the foundations of quantum computing, especially in category-theoretical approaches. At the moment I am mostly trying to understand and develop further the theory of dagger categories. I am also interested in reversible computing, type theory, categorical logic and more generally, in most parts of pure mathematics and theoretical computer science where an abstract, structural approach pays off. My primary supervisor is Chris Heunen and Tom Leinster is my secondary supervisor. This is what I look like on paper.

Recent work

Limits in dagger categories

We define a notion of limit suitable for dagger categories and explore it.

Biproducts without zero morphisms

Turns out one can define the notion of a biproduct in any category without assuming zero morphisms. If you can come up with more interesting new examples, I'd be happy to hear.
Submitted for publication.

Monads on dagger categories

This is the extended version of the previous paper.
Heunen, C., & Karvonen, M. (2016). Monads on dagger categories. Theory and Applications of Categories, Vol. 31, No. 35, 1016-1043.
PDF Bibtex ArXiv Journal

Reversible monadic computing

Heunen, C., & Karvonen, M. (2015). Reversible monadic computing. Electronic Notes in Theoretical Computer Science, 319, 217-237.
PDF Bibtex ArXiv Journal

Get In Touch