3 papers
math.CT2021
Graph Traversals as Universal Constructions
Siddharth Bhaskar, Robin Kaarsgaard
We exploit a decomposition of graph traversals to give a novel characterization of depth-first and breadth-first traversals as universal constructions. Specifically, we introduce f…
quant-ph2021
Bennett and Stinespring, Together at Last
Chris Heunen, Robin Kaarsgaard
We present a universal construction that relates reversible dynamics on open systems to arbitrary dynamics on closed systems: the restriction affine completion of a monoidal restri…
cs.LO2018
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…