David Reutter

Follow

Generating author description...

All published works
Action Title Year Authors
+ PDF Chat The Classification of Fusion 2-Categories 2024 Thibault D. Décoppet
Peter Huston
Theo Johnson-Freyd
Dmitri Nikshych
David Penneys
Julia Yael Plavnik
David Reutter
Matthew Yu
+ Computads for weak ω-categories as an inductive type 2024 Christopher J. Dean
Eric Finster
Ioannis Markakis
David Reutter
Jamie Vicary
+ PDF Chat Dagger $n$-categories 2024 Giovanni Ferrer
Brett Hungar
Theo Johnson-Freyd
Cameron Krulewski
Lukas Müller
Nivedita Nivedita
David Penneys
David Reutter
Claudia Scheimbauer
Luuk Stehouwer
+ A braided $(\infty,2)$-category of Soergel bimodules 2024 Yu Leon Liu
Aaron Mazel-Gee
David Reutter
Catharina Stroppel
Paul Wedrich
+ PDF Chat Semisimple four‐dimensional topological field theories cannot detect exotic smooth structure 2023 David Reutter
+ Minimal nondegenerate extensions 2023 Theo Johnson-Freyd
David Reutter
+ PDF Chat Uniqueness of Unitary Structure for Unitarizable Fusion Categories 2022 David Reutter
+ PDF Chat A 3‐categorical perspective on G$G$‐crossed braided categories 2022 Corey Jones
David Penneys
David Reutter
+ Zigzag normalisation for associative n-categories 2022 Lukas Heidemann
David Reutter
Jamie Vicary
+ PDF Chat A Type Theory for Strictly Unital ∞-Categories 2022 Eric Finster
David Reutter
Jamie Vicary
Alex Rice
+ Semisimple Field Theories Detect Stable Diffeomorphism 2022 David Reutter
Christopher Schommer‐Pries
+ Computads for weak $ω$-categories as an inductive type 2022 Christopher J. Dean
Eric Finster
Ioannis Markakis
David Reutter
Jamie Vicary
+ Minimal nondegenerate extensions 2021 Theo Johnson-Freyd
David Reutter
+ A 3-categorical perspective on G-crossed braided categories 2020 Corey Jones
David Penneys
David Reutter
+ A Type Theory for Strictly Unital $\infty$-Categories 2020 Eric Finster
David Reutter
Jamie Vicary
+ Semisimple 4-dimensional topological field theories cannot detect exotic smooth structure 2020 David Reutter
+ A Type Theory for Strictly Unital ∞-Categories. 2020 Eric Finster
David Reutter
Jamie Vicary
+ Semisimple 4-dimensional topological field theories cannot detect exotic smooth structure 2020 David Reutter
+ PDF Chat High-level methods for homotopy construction in associative n-categories 2019 David Reutter
Jamie Vicary
+ PDF Chat Shaded tangles for the design and verification of quantum circuits 2019 David Reutter
Jamie Vicary
+ PDF Chat Biunitary constructions in quantum information 2019 David Reutter
Jamie Vicary
+ High-level methods for homotopy construction in associative $n$-categories 2019 David Reutter
Jamie Vicary
+ Higher linear algebra in topology and quantum information theory 2019 David Reutter
+ High-level methods for homotopy construction in associative $n$-categories 2019 David Reutter
Jamie Vicary
+ Uniqueness of unitary structure for unitarizable fusion categories 2019 David Reutter
+ PDF Chat The Morita Theory of Quantum Graph Isomorphisms 2018 Benjamin Musto
David Reutter
Dominic Verdon
+ PDF Chat A compositional approach to quantum functions 2018 Benjamin Musto
David Reutter
Dominic Verdon
+ Shaded tangles for the design and verification of quantum programs 2018 David Reutter
Jamie Vicary
+ PDF Chat Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract) 2018 David Reutter
Jamie Vicary
+ Fusion 2-categories and a state-sum invariant for 4-manifolds 2018 Christopher L. Douglas
David Reutter
+ A classical groupoid model for quantum networks 2017 David Reutter
Jamie Vicary
+ A 2-Categorical Approach to Composing Quantum Structures. 2017 David Reutter
Jamie Vicary
+ Biunitary constructions in quantum information 2016 David Reutter
Jamie Vicary
Common Coauthors
Commonly Cited References
Action Title Year Authors # of times referenced
+ Gray categories with duals and their diagrams 2012 John W. Barrett
Catherine Meusburger
Gregor Schaumann
8
+ PDF Chat A Survey of Graphical Languages for Monoidal Categories 2010 Peter Selinger
8
+ PDF Chat A new description of orthogonal bases 2012 Bob Coecke
Duško Pavlović
Jamie Vicary
8
+ Coherence for tricategories 1995 Robert J. Gordon
John Power
Ross Street
7
+ PDF Chat Biunitary constructions in quantum information 2019 David Reutter
Jamie Vicary
7
+ The Classification of Two-Dimensional Extended Topological Field Theories 2011 Christopher Schommer‐Pries
7
+ Higher Quantum Theory 2012 Jamie Vicary
7
+ Quasistrict symmetric monoidal 2-categories via wire diagrams 2014 Bruce Bartlett
6
+ PDF Chat Holographic software for quantum networks 2018 Arthur Jaffe
Zhengwei Liu
Alex Wozniakowski
6
+ PDF Chat A categorical semantics of quantum protocols 2004 Samson Abramsky
Bob Coecke
6
+ Planar algebras, I 1999 Vaughan F. R. Jones
6
+ Higher-Dimensional Algebra II. 2-Hilbert Spaces 1997 John C. Baez
6
+ PDF Chat Quantum Latin squares and unitary error bases 2016 Benjamin Musto
Jamie Vicary
5
+ The geometry of tensor calculus, I 1991 André Joyal
Ross Street
5
+ PDF Chat Higher Operads, Higher Categories 2004 Tom Leinster
5
+ PDF Chat All teleportation and dense coding schemes 2001 Reinhard F. Werner
5
+ PDF Chat On knot invariants related to some statistical mechanical models 1989 Vaughan F. R. Jones
5
+ Fusion 2-categories and a state-sum invariant for 4-manifolds 2018 Christopher L. Douglas
David Reutter
5
+ Tensor Categories 2015 Pavel Etingof
Shlomo Gelaki
Dmitri Nikshych
Victor Ostrik
5
+ PDF Chat Categories of quantum and classical channels 2014 Bob Coecke
Chris Heunen
Aleks Kissinger
4
+ PDF Chat A practical introduction to tensor networks: Matrix product states and projected entangled pair states 2014 Román Orús
4
+ PDF Chat On the Classification of Topological Field Theories 2008 Jacob Lurie
4
+ Biunitary constructions in quantum information 2016 David Reutter
Jamie Vicary
4
+ PDF Chat Higher-dimensional algebra and topological quantum field theory 1995 John C. Baez
James G. Dolan
4
+ The ZX-calculus is complete for stabilizer quantum mechanics 2014 Miriam Backens
4
+ PDF Chat Constructive simulation and topological design of protocols 2017 Arthur Jaffe
Zhengwei Liu
Alex Wozniakowski
4
+ PDF Chat Quantomatic: A Proof Assistant for Diagrammatic Reasoning 2015 Aleks Kissinger
Vladimir Zamdzhiev
4
+ PDF Chat Kindergarten Quantum Mechanics: Lecture Notes 2006 Bob Coecke
4
+ PDF Chat Planar Para Algebras, Reflection Positivity 2016 Arthur Jaffe
Zhengwei Liu
4
+ Modular categories as representations of the 3-dimensional bordism 2-category 2015 Bruce Bartlett
Christopher L. Douglas
Christopher Schommer‐Pries
Jamie Vicary
4
+ PDF Chat ON MUTUALLY UNBIASED BASES 2010 Thomas Durt
Berthold‐Georg Englert
Ingemar Bengtsson
Karol Życzkowski
4
+ PDF Chat Topological Quantum Computation 2010 Michael Freedman
Alexei Kitaev
Michael Larsen
Zhenghan Wang
4
+ A strict totally coordinatized version of Kapranov and Voevodsky's 2-category 2Vect 2007 Josep Elgueta
4
+ PDF Chat Efficient implementation of bipartite nonlocal unitary gates using prior entanglement and classical communication 2010 Li Yu
Robert B. Griffiths
Scott M. Cohen
3
+ PDF Chat State-Sum Invariants of 4-Manifolds 1997 Louis Crane
Louis H. Kauffman
David N. Yetter
3
+ Braided Tensor Categories 1993 André Joyal
Ross Street
3
+ PDF Chat An application of gauge theory to four-dimensional topology 1983 Simon Donaldson
3
+ PDF Chat Pivoting makes the ZX-calculus complete for real stabilizers 2014 Ross Duncan
Simon Perdrix
3
+ PDF Chat Monopoles and four-manifolds 1994 Edward Witten
3
+ State models and the jones polynomial 1987 Louis H. Kauffman
3
+ PDF Chat On fusion categories 2005 Pavel Etingof
Dmitri Nikshych
Viktor Ostrik
3
+ Monoidal Globular Categories As a Natural Environment for the Theory of Weakn-Categories 1998 Michael Batanin
3
+ Homotopy Type Theory: Univalent Foundations of Mathematics 2013 Peter Aczel
Benedikt Ahrens
Thorsten Altenkirch
Steve Awodey
Bruno Barras
Andrej Bauer
Yves Bertot
Marc Bezem
Thierry Coquand
Eric Finster
3
+ PDF Chat On braided fusion categories I 2010 Vladimir Drinfeld
Shlomo Gelaki
Dmitri Nikshych
Victor Ostrik
3
+ Virtual Knot Theory 1999 Louis H. Kauffman
3
+ Kindergarten Quantum Mechanics 2005 Bob Coecke
3
+ Multiparty d-Dimensional Quantum Information Splitting 2002 Andrzej Grudka
Antoni Wójcik
3
+ PDF Chat A Diagrammatic Axiomatisation for Qubit Entanglement 2015 Amar Hadzihasanovic
3
+ Topological quantum field theories 1988 Michael Atiyah
3
+ Polynomial Quantum Algorithms for Additive approximations of the Potts model and other Points of the Tutte Plane 2007 Dorit Aharonov
Itai Arad
Elad Eban
Zeph Landau
3