Follow
David Reutter
Title
Cited by
Cited by
Year
Fusion 2-categories and a state-sum invariant for 4-manifolds
CL Douglas, DJ Reutter
arXiv preprint arXiv:1812.11933, 2018
662018
A compositional approach to quantum functions
B Musto, D Reutter, D Verdon
Journal of Mathematical Physics 59 (8), 081706, 2018
472018
The Morita theory of quantum graph isomorphisms
B Musto, D Reutter, D Verdon
Communications in Mathematical Physics 365 (2), 797-845, 2019
292019
Biunitary constructions in quantum information
DJ Reutter, J Vicary
arXiv preprint arXiv:1609.07775, 2016
262016
High-level methods for homotopy construction in associative n-categories
D Reutter, J Vicary
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019
132019
Shaded tangles for the design and verification of quantum circuits
DJ Reutter, J Vicary
Proceedings of the Royal Society A 475 (2224), 20180338, 2019
11*2019
Minimal nondegenerate extensions
T Johnson-Freyd, D Reutter
arXiv preprint arXiv:2105.15167, 2021
102021
A type theory for strictly unital infinity-categories
J Vicary, A Rice, E Finster, D Reutter
Department of Computer Science And Technology, 2022
8*2022
Semisimple 4-dimensional topological field theories cannot detect exotic smooth structure
D Reutter
arXiv preprint arXiv:2001.02288, 2020
62020
Uniqueness of unitary structure for unitarizable fusion categories
D Reutter
arXiv preprint arXiv:1906.09710, 2019
62019
A 3-categorical perspective on G-crossed braided categories
C Jones, D Penneys, D Reutter
arXiv preprint arXiv:2009.00405, 2020
32020
Zigzag normalisation for associative -categories
L Heidemann, D Reutter, J Vicary
arXiv preprint arXiv:2205.08952, 2022
12022
A classical groupoid model for quantum networks
J Vicary, DJ Reutter
Logical Methods in Computer Science 15, 2019
1*2019
Higher linear algebra in topology and quantum information theory
DJ Reutter
University of Oxford, 2019
12019
Computads for weak -categories as an inductive type
CJ Dean, E Finster, I Markakis, D Reutter, J Vicary
arXiv preprint arXiv:2208.08719, 2022
2022
Semisimple Field Theories Detect Stable Diffeomorphism
D Reutter, C Schommer-Pries
arXiv preprint arXiv:2206.10031, 2022
2022
Zigzag normalisation for associative n-categories
J Vicary, D Reutter, A Rice, E Finster
Department of Computer Science And Technology, 2022
2022
Higher fusion categories as quantum homotopy types
D Reutter, T Johnson-Freyd
2021 Fall Western Sectional Meeting, 2021
2021
HIGHER
DJ Reutter, J Vicary
2019
The Heat Equation and the Atiyah-Singer Index Theorem
D REUTTER
2015
The system can't perform the operation now. Try again later.
Articles 1–20