Fusion 2-categories and a state-sum invariant for 4-manifolds CL Douglas, DJ Reutter
arXiv preprint arXiv:1812.11933, 2018
165 * 2018 A compositional approach to quantum functions B Musto, D Reutter, D Verdon
Journal of Mathematical Physics 59 (8), 2018
77 2018 Minimal nondegenerate extensions T Johnson-Freyd, D Reutter
Journal of the American Mathematical Society 37 (1), 81-150, 2024
66 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
41 * 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
33 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
20 2022 Semisimple four‐dimensional topological field theories cannot detect exotic smooth structure D Reutter
Journal of Topology 16 (2), 542-566, 2023
19 2023 Uniqueness of unitary structure for unitarizable fusion categories D Reutter
Communications in Mathematical Physics 397 (1), 37-52, 2023
16 2023 A 3-categorical perspective on G-crossed braided categories C Jones, D Penneys, D Reutter
Journal of the London Mathematical Society, 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 Computads for weak ω-categories as an inductive type CJ Dean, E Finster, I Markakis, D Reutter, J Vicary
Advances in Mathematics 450, 109739, 2024
13 2024 Dagger G Ferrer, B Hungar, T Johnson-Freyd, C Krulewski, L Müller, D Penneys, ...
arXiv preprint arXiv:2403.01651, 2024
7 2024 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
7 2024 Zigzag normalisation for associative L Heidemann, D Reutter, J Vicary
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
7 2022 Semisimple field theories detect stable diffeomorphism D Reutter, C Schommer-Pries
arXiv preprint arXiv:2206.10031, 2022
7 2022 Categorical quantum mechanics: an introduction C Heunen, J Vicary, D Reutter
Retrieved on 5 (05), 2017
6 2017 A braided (∞, 2)-category of Soergel bimodules YL Liu, A Mazel-Gee, D Reutter, C Stroppel, P Wedrich
arXiv preprint arXiv:2401.02956, 2024
3 2024 The Classification of Fusion 2-Categories TD Décoppet, P Huston, T Johnson-Freyd, D Nikshych, D Penneys, ...
arXiv preprint arXiv:2411.05907, 2024
2 2024 A classical groupoid model for quantum networks J Vicary, DJ Reutter
Logical Methods in Computer Science 15 (1), 2019
2 * 2019 
David PenneysThe Ohio State Universityosu.edu üzerinde doğrulanmış e-posta adresine sahip
