| Publication | Date of Publication | Type |
|---|
High-level methods for homotopy construction in associative \(n\)-categories
| 2024-12-19 | Paper |
Traced monoidal categories as algebraic structures in Prof
| 2024-12-17 | Paper |
Zigzag normalisation for associative \(n\)-categories
| 2024-12-06 | Paper |
A type theory for strictly unital \(\infty \)-categories
| 2024-12-06 | Paper |
From dual-unitary to biunitary: a 2-categorical model for exactly-solvable many-body quantum dynamics
Journal of Physics A: Mathematical and Theoretical | 2024-08-12 | Paper |
Computads for weak \(\omega \)-categories as an inductive type
Advances in Mathematics | 2024-06-27 | Paper |
The word problem for braided monoidal categories is unknot-hard
| 2024-02-13 | Paper |
On Structures in Arrow Categories
| 2023-09-27 | Paper |
Posetal Diagrams for Logically-Structured Semistrict Higher Categories
| 2023-05-19 | Paper |
From dual-unitary to biunitary: a 2-categorical model for exactly-solvable many-body quantum dynamics
| 2023-02-14 | Paper |
Strictly Associative and Unital $\infty$-Categories as a Generalized Algebraic Theory
| 2023-02-10 | Paper |
Zigzag normalisation for associative $n$-categories
| 2022-05-18 | Paper |
scientific article; zbMATH DE number 7471699 (Why is no real title available?)
| 2022-02-09 | Paper |
Traced Monoidal Categories as Algebraic Structures in Prof
| 2021-12-28 | Paper |
Orthogonality for quantum Latin isometry squares
| 2021-12-20 | Paper |
Shaded tangles for the design and verification of quantum programs (extended abstract)
| 2021-12-17 | Paper |
Tight reference frame-independent quantum teleportation
| 2021-12-08 | Paper |
scientific article; zbMATH DE number 7441265 (Why is no real title available?)
| 2021-12-08 | Paper |
Shaded tangles for the design and verification of quantum circuits
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2021-10-29 | Paper |
A Type Theory for Strictly Associative Infinity Categories
| 2021-09-03 | Paper |
Mixed quantum states in higher categories
| 2021-06-29 | Paper |
Abstract structure of unitary oracles for quantum algorithms
| 2021-06-29 | Paper |
A 2-categorical analysis of complementary families, quantum key distribution and the mean king problem
| 2021-06-29 | Paper |
Data structures for quasistrict higher categories
| 2021-01-19 | Paper |
scientific article; zbMATH DE number 7089066 (Why is no real title available?)
| 2019-08-06 | Paper |
Categories for Quantum Theory
| 2019-07-17 | Paper |
Biunitary constructions in quantum information
| 2019-06-19 | Paper |
A classical groupoid model for quantum networks
| 2019-05-17 | Paper |
High-level methods for homotopy construction in associative $n$-categories
| 2019-02-11 | Paper |
A classical groupoid model for quantum networks
| 2018-08-13 | Paper |
A 2-Categorical Approach to Composing Quantum Structures.
| 2018-08-13 | Paper |
\textsf{Globular}: an online proof assistant for higher-dimensional rewriting
| 2018-01-23 | Paper |
The categorified Heisenberg algebra. I: A combinatorial representation.
Journal of Pure and Applied Algebra | 2017-10-24 | Paper |
Globular: an online proof assistant for higher-dimensional rewriting
| 2017-10-17 | Paper |
Topological structure of quantum algorithms
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
Higher semantics of quantum protocols
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
Categorical formulation of finite-dimensional \(C^*\)-algebras
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Categorical properties of the complex numbers
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Bicategorical semantics for nondeterministic computation
| 2016-04-12 | Paper |
Modular categories as representations of the 3-dimensional bordism 2-category
| 2015-09-22 | Paper |
Wormholes and entanglement
Classical and Quantum Gravity | 2014-12-16 | Paper |
Extended 3-dimensional bordism as the theory of modular objects
| 2014-11-04 | Paper |
Completeness of \(\dagger\)-categories and the complex numbers
Journal of Mathematical Physics | 2013-09-24 | Paper |
A new description of orthogonal bases
Mathematical Structures in Computer Science | 2013-06-11 | Paper |
Higher Quantum Theory
| 2012-07-19 | Paper |
Categorical formulation of finite-dimensional quantum algebras
Communications in Mathematical Physics | 2011-06-17 | Paper |
A categorical framework for the quantum harmonic oscillator
International Journal of Theoretical Physics | 2009-03-24 | Paper |
Traced monoidal categories as algebraic structures in $\mathbf{Prof}$
| N/A | Paper |
Computads for weak $\omega$-categories as an inductive type
| N/A | Paper |
A layout algorithm for higher-dimensional string diagrams
| N/A | Paper |
The theory and applications of anticolimits
| N/A | Paper |
homotopy.io: a proof assistant for finitely-presented globular $n$-categories
| N/A | Paper |
