17 citations · 98 across the 21 of their papers we have counts for
4 papers · 1 filter
Reversible effects as inverse arrows
Chris Heunen, Robin Kaarsgaard, Martti Karvonen
Reversible computing models settings in which all processes can be reversed. Applications include low-power computing, quantum computing, and robotics. It is unclear how to represe…
Categories of Empirical Models
Martti Karvonen
A notion of morphism that is suitable for the sheaf-theoretic approach to contextuality is developed, resulting in a resource theory for contextuality. The key features involve usi…
Limits in dagger categories
Chris Heunen, Martti Karvonen
We develop a notion of limit for dagger categories, that we show is suitable in the following ways: it subsumes special cases known from the literature; dagger limits are unique up…
Biproducts without pointedness
Martti Karvonen
We show how to define biproducts up to isomorphism in an arbitrary category without assuming any enrichment. The resulting notion coincides with the usual definitions whenever all…