Fusion 2-categories and a state-sum invariant for 4-manifolds CL Douglas, DJ Reutter
arXiv preprint arXiv:1812.11933, 2018
144 * 2018 A compositional approach to quantum functions B Musto, D Reutter, D Verdon
Journal of Mathematical Physics 59 (8), 2018
75 2018 Minimal nondegenerate extensions T Johnson-Freyd, D Reutter
Journal of the American Mathematical Society 37 (1), 81-150, 2024
53 2024 The Morita theory of quantum graph isomorphisms B Musto, D Reutter, D Verdon
Communications in Mathematical Physics 365, 797-845, 2019
43 2019 Biunitary constructions in quantum information DJ Reutter, J Vicary
Higher Structures 3 (1), 109-154, 2019
37 2019 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
31 2019 A type theory for strictly unital∞-categories E Finster, D Reutter, J Vicary, A Rice
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
19 2022 Semisimple four‐dimensional topological field theories cannot detect exotic smooth structure D Reutter
Journal of Topology 16 (2), 542-566, 2023
15 2023 Shaded tangles for the design and verification of quantum circuits DJ Reutter, J Vicary
Proceedings of the Royal Society A 475 (2224), 20180338, 2019
14 * 2019 Uniqueness of unitary structure for unitarizable fusion categories D Reutter
Communications in Mathematical Physics 397 (1), 37-52, 2023
13 2023 A 3-categorical perspective on G-crossed braided categories C Jones, D Penneys, D Reutter
Journal of the London Mathematical Society, 2023
11 2023 Computads for weak ω-categories as an inductive type CJ Dean, E Finster, I Markakis, D Reutter, J Vicary
Advances in Mathematics 450, 109739, 2024
9 2024 Zigzag normalisation for associative L Heidemann, D Reutter, J Vicary
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
6 2022 Semisimple field theories detect stable diffeomorphism D Reutter, C Schommer-Pries
arXiv preprint arXiv:2206.10031, 2022
6 2022 Categorical quantum mechanics: an introduction C Heunen, J Vicary, D Reutter
Retrieved on 5 (05), 2017
6 2017 Biunitary constructions in quantum information (2016) D Reutter, J Vicary
arXiv preprint arXiv:1609.07775, 2016
6 2016 A braided monoidal (∞, 2)-category of Soergel bimodules YL Liu, A Mazel-Gee, D Reutter, C Stroppel, P Wedrich
arXiv preprint arXiv:2401.02956, 2024
2 2024 A classical groupoid model for quantum networks J Vicary, DJ Reutter
Logical Methods in Computer Science 15 (1), 2019
2 * 2019 Higher linear algebra in topology and quantum information theory D Reutter
University of Oxford, 2019
2 2019 Dagger G Ferrer, B Hungar, T Johnson-Freyd, C Krulewski, L Müller, D Penneys, ...
arXiv preprint arXiv:2403.01651, 2024
2024 
David PenneysThe Ohio State UniversityBestätigte E-Mail-Adresse bei osu.edu
