14 citations · 14 across the 2 of their papers we have counts for
3 papers
cs.PL2020
Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing
Mathieu Huot, Sam Staton, Matthijs Vákár
We present semantic correctness proofs of Automatic Differentiation (AD). We consider a forward-mode AD method on a higher order language with algebraic data types, and we characte…
cs.LO2019
Quantum channels as a categorical completion
Mathieu Huot, Sam Staton
We propose a categorical foundation for the connection between pure and mixed states in quantum information and quantum computation. The foundation is based on distributive monoida…
quant-ph2019★ 14 cited
Universal Properties in Quantum Theory
Mathieu Huot, Sam Staton
We argue that notions in quantum theory should have universal properties in the sense of category theory. We consider the completely positive trace preserving (CPTP) maps, the basi…