The following pages link to Martti Karvonen (Q2134816):
Displaying 15 items.
- Reversible effects as inverse arrows (Q2134817) (← links)
- Monads on dagger categories (Q2953830) (← links)
- Categories of Empirical Models (Q3385639) (← links)
- Biproducts without pointedness (Q5116339) (← links)
- Limits in dagger categories (Q5382448) (← links)
- Reversible monadic computing (Q5971401) (← links)
- Categorical composable cryptography: extended version (Q6178713) (← links)
- Inner autoequivalences in general and those of monoidal categories in particular (Q6398512) (← links)
- Closing Bell: Boxing black box simulations in the resource theory of contextuality (Q6504465) (← links)
- Towards a Unified Theory of Time-Varying Data (Q6519813) (← links)
- Inner autoequivalences in general and those of monoidal categories in particular (Q6564635) (← links)
- Inner automorphisms as 2-cells (Q6593817) (← links)
- Closing Bell boxing black box simulations in the resource theory of contextuality (Q6612789) (← links)
- A comonadic view of simulation and quantum resources (Q6654488) (← links)
- Why quantum state verification cannot be both efficient and secure: a categorical approach (Q6752455) (← links)
