Mathieu Huot
Mathieu Huot
Wolfson Building, Parks Road, Oxford OX1 3QD
Interests
I'm interested in programming language theory and category theory.
Biography
I did my master in computer science in Paris (MPRI) after degrees in mathematics and computer science, also in Paris.
Selected Publications
-
Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing
Mathieu Huot‚ Sam Staton and Matthijs Vákár
In arXiv preprint arXiv:2001.02209. 2020.
Details about Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing | BibTeX data for Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing | Download (pdf) of Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing
-
Universal properties in quantum theory
Mathieu Huot and Sam Staton
In arXiv preprint arXiv:1901.10117. 2019.
Details about Universal properties in quantum theory | BibTeX data for Universal properties in quantum theory | Link to Universal properties in quantum theory
-
Quantum channels as a categorical completion
Mathieu Huot and Sam Staton
In CoRR. Vol. abs/1904.09600. 2019.
Details about Quantum channels as a categorical completion | BibTeX data for Quantum channels as a categorical completion | Link to Quantum channels as a categorical completion