| Publication | Date of Publication | Type |
|---|
| High-level methods for homotopy construction in associative \(n\)-categories | 2024-12-19 | Paper |
| Zigzag normalisation for associative \(n\)-categories | 2024-12-06 | Paper |
| A type theory for strictly unital \(\infty \)-categories | 2024-12-06 | Paper |
Computads for weak \(\omega \)-categories as an inductive type
Advances in Mathematics | 2024-06-27 | Paper |
Minimal nondegenerate extensions
Journal of the American Mathematical Society | 2023-10-19 | Paper |
Semisimple four‐dimensional topological field theories cannot detect exotic smooth structure
Journal of Topology | 2023-09-15 | Paper |
A 3‐categorical perspective on G$G$‐crossed braided categories
Journal of the London Mathematical Society | 2023-08-22 | Paper |
Uniqueness of unitary structure for unitarizable fusion categories
Communications in Mathematical Physics | 2023-04-19 | Paper |
| Semisimple Field Theories Detect Stable Diffeomorphism | 2022-06-20 | Paper |
| Zigzag normalisation for associative $n$-categories | 2022-05-18 | Paper |
| Shaded tangles for the design and verification of quantum programs (extended abstract) | 2021-12-17 | Paper |
Shaded tangles for the design and verification of quantum programs (extended abstract)
(available as arXiv preprint) | 2021-12-17 | 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 |
Uniqueness of unitary structure for unitarizable fusion categories
(available as arXiv preprint) | 2019-06-23 | Paper |
Biunitary constructions in quantum information
(available as arXiv preprint) | 2019-06-19 | Paper |
A classical groupoid model for quantum networks
(available as arXiv preprint) | 2019-05-17 | Paper |
The Morita theory of quantum graph isomorphisms
Communications in Mathematical Physics | 2019-02-12 | Paper |
| High-level methods for homotopy construction in associative $n$-categories | 2019-02-11 | Paper |
| Fusion 2-categories and a state-sum invariant for 4-manifolds | 2018-12-31 | Paper |
A compositional approach to quantum functions
Journal of Mathematical Physics | 2018-09-13 | Paper |
| A classical groupoid model for quantum networks | 2018-08-13 | Paper |
| A 2-Categorical Approach to Composing Quantum Structures. | 2018-08-13 | Paper |
Computads for weak $\omega$-categories as an inductive type
(available as arXiv preprint) | N/A | Paper |
A braided monoidal $(\infty,2)$-category of Soergel bimodules
(available as arXiv preprint) | N/A | Paper |
Dagger $n$-categories
(available as arXiv preprint) | N/A | Paper |
