17 citations · 98 across the 21 of their papers we have counts for
3 papers · 1 filter
Why quantum state verification cannot be both efficient and secure: a categorical approach
Fabian Wiesner, Ziad Chaoui, Diana Kessler +2
The advantage of quantum protocols lies in the inherent properties of the shared quantum states. These states are sometimes provided by sources that are not trusted, and therefore…
Inner automorphisms as 2-cells
Pieter Hofstra, Martti Karvonen
Abstract inner automorphisms can be used to promote any category into a 2-category, and we study two-dimensional limits and colimits in the resulting 2-categories. Existing connect…
Towards a Unified Theory of Time-Varying Data
Benjamin Merlin Bumpus, James Fairbanks, Martti Karvonen +2
What is a time-varying graph, a time-varying topological space, or, more generally, a mathematical structure that evolves over time? In this work, we lay the foundations for a gene…