Follow
Martti Karvonen
Title
Cited by
Cited by
Year
Monads on dagger categories
C Heunen, M Karvonen
Theory and Applications of Categories 31 (35), 1016-1043, 2016
362016
The Way of the Dagger
M Karvonen
arXiv preprint arXiv:1904.10805, 2019
262019
A comonadic view of simulation and quantum resources
S Abramsky, RS Barbosa, M Karvonen, S Mansfield
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2019
252019
Neither Contextuality nor Nonlocality Admits Catalysts
M Karvonen
Physical Review Letters 127 (16), 160402, 2021
212021
Closing Bell Boxing Black Box Simulations in the Resource Theory of Contextuality
RS Barbosa, M Karvonen, S Mansfield
Samson Abramsky on Logic and Structure in Computer Science and Beyond, 475-529, 2023
192023
Reversible monadic computing
C Heunen, M Karvonen
Electronic Notes in Theoretical Computer Science 319, 217-237, 2015
182015
Categories of empirical models
M Karvonen
Electronic Proceedings in Theoretical Computer Science 287 (Proceedings of …, 2019
162019
Reversible effects as inverse arrows
C Heunen, R Kaarsgaard, M Karvonen
Electronic Notes in Theoretical Computer Science 341, 179-199, 2018
152018
Limits in dagger categories
C Heunen, M Karvonen
Theory and Applications of Categories 34 (18), 468-513, 2019
132019
Categorical composable cryptography
A Broadbent, M Karvonen
International Conference on Foundations of Software Science and Computation …, 2022
122022
Biproducts without pointedness
M Karvonen
Cahiers de topologie et géométrie différentielle catégoriques 61 (3), 229-238, 2020
6*2020
Categorical composable cryptography: extended version
A Broadbent, M Karvonen
Logical Methods in Computer Science 19 (4), 30:1–30:46, 2023
32023
Inner autoequivalences in general and those of monoidal categories in particular
P Hofstra, M Karvonen
Journal of Pure and Applied Algebra 228 (11), 107717, 2024
12024
Towards a Unified Theory of Time-varying Data
BM Bumpus, J Fairbanks, M Karvonen, W Leal, F Simard
arXiv preprint arXiv:2402.00206, 2024
12024
Uncloneable Quantum Advice
A Broadbent, M Karvonen, S Lord
arXiv preprint arXiv:2309.05155, 2023
12023
Inner automorphisms as 2-cells
P Hofstra, M Karvonen
Theory and Applications of Categories 42 (2), 19-40, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–16