|
+
PDF
Chat
|
Higher Eckmann-Hilton Arguments in Type Theory
|
2025
|
Thibaut Benjamin
Ioannis Markakis
Wilfred Offord
Chiara Sarti
Jamie Vicary
|
|
+
PDF
Chat
|
Naturality for higher-dimensional path types
|
2025
|
Thibaut Benjamin
Ioannis Markakis
Wilfred Offord
Chiara Sarti
Jamie Vicary
|
|
+
PDF
Chat
|
A Syntax for Strictly Associative and Unital ∞-Categories
|
2024
|
Eric Finster
Alex Rice
Jamie Vicary
|
|
+
|
Computads for weak ω-categories as an inductive type
|
2024
|
Christopher J. Dean
Eric Finster
Ioannis Markakis
David Reutter
Jamie Vicary
|
|
+
PDF
Chat
|
homotopy.io: a proof assistant for finitely-presented globular
$n$-categories
|
2024
|
Nathan Corbyn
Lukas Heidemann
Nick Hu
Chiara Sarti
Calin Tataru
Jamie Vicary
|
|
+
PDF
Chat
|
The theory and applications of anticolimits
|
2024
|
Calin Tataru
Jamie Vicary
|
|
+
PDF
Chat
|
Posetal Diagrams for Logically-Structured Semistrict Higher Categories
|
2023
|
Chiara Sarti
Jamie Vicary
|
|
+
PDF
Chat
|
A Categorical Model for Classical and Quantum Block Designs
|
2023
|
Paulina L. A. Goedicke
Jamie Vicary
|
|
+
|
Strictly Associative and Unital $\infty$-Categories as a Generalized Algebraic Theory
|
2023
|
Eric Finster
Alex Rice
Jamie Vicary
|
|
+
|
From dual-unitary to biunitary: a 2-categorical model for exactly-solvable many-body quantum dynamics
|
2023
|
Pieter W. Claeys
Austen Lamacraft
Jamie Vicary
|
|
+
|
A layout algorithm for higher-dimensional string diagrams
|
2023
|
Calin Tataru
Jamie Vicary
|
|
+
|
On Structures in Arrow Categories
|
2023
|
Paulina L. A. Goedicke
Jamie Vicary
|
|
+
PDF
Chat
|
Exact dynamics in dual-unitary quantum circuits with projective measurements
|
2022
|
Pieter W. Claeys
Marius Henry
Jamie Vicary
Austen Lamacraft
|
|
+
PDF
Chat
|
The Word Problem for Braided Monoidal Categories is Unknot-Hard
|
2022
|
Antonin Delpeuch
Jamie Vicary
|
|
+
|
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
|
|
+
PDF
Chat
|
Normalization for planar string diagrams and a quadratic equivalence algorithm
|
2022
|
Antonin Delpeuch
Jamie Vicary
|
|
+
|
Exact dynamics in dual-unitary quantum circuits with projective measurements
|
2022
|
Pieter W. Claeys
Marius Henry
Jamie Vicary
Austen Lamacraft
|
|
+
|
Computads for weak $ω$-categories as an inductive type
|
2022
|
Christopher J. Dean
Eric Finster
Ioannis Markakis
David Reutter
Jamie Vicary
|
|
+
PDF
Chat
|
Traced Monoidal Categories as Algebraic Structures in Prof
|
2021
|
Nick Hu
Jamie Vicary
|
|
+
|
A Type Theory for Strictly Associative Infinity Categories.
|
2021
|
Eric Finster
A. Rice
Jamie Vicary
|
|
+
|
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
|
2021
|
David I. Spivak
Jamie Vicary
|
|
+
|
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
|
2021
|
David I. Spivak
Jamie Vicary
|
|
+
|
Traced monoidal categories as algebraic structures in $\mathbf{Prof}$
|
2021
|
Nick Hu
Jamie Vicary
|
|
+
|
A Type Theory for Strictly Associative Infinity Categories
|
2021
|
Eric Finster
Alex Rice
Jamie Vicary
|
|
+
|
The Word Problem for Braided Monoidal Categories is Unknot-Hard
|
2021
|
Antonin Delpeuch
Jamie Vicary
|
|
+
|
A Type Theory for Strictly Unital $\infty$-Categories
|
2020
|
Eric Finster
David Reutter
Jamie Vicary
|
|
+
|
A Type Theory for Strictly Unital ∞-Categories.
|
2020
|
Eric Finster
David Reutter
Jamie Vicary
|
|
+
PDF
Chat
|
Quantum teleportation with infinite reference-frame uncertainty
|
2019
|
Dominic Verdon
Jamie Vicary
|
|
+
|
Monoidal 2-Categories
|
2019
|
Chris Heunen
Jamie Vicary
|
|
+
|
Monoids and Comonoids
|
2019
|
Chris Heunen
Jamie Vicary
|
|
+
|
Complementarity
|
2019
|
Chris Heunen
Jamie Vicary
|
|
+
|
Complete Positivity
|
2019
|
Chris Heunen
Jamie Vicary
|
|
+
|
Basics
|
2019
|
Chris Heunen
Jamie Vicary
|
|
+
|
Monoidal Categories
|
2019
|
Chris Heunen
Jamie Vicary
|
|
+
|
Coherence for Frobenius pseudomonoids and the geometry of linear proofs
|
2019
|
Lawrence H. Dunn
Jamie Vicary
|
|
+
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
|
|
+
PDF
Chat
|
Orthogonality for Quantum Latin Isometry Squares
|
2019
|
Benjamin Musto
Jamie Vicary
|
|
+
|
High-level methods for homotopy construction in associative $n$-categories
|
2019
|
David Reutter
Jamie Vicary
|
|
+
PDF
Chat
|
Tight quantum teleportation without a shared reference frame
|
2018
|
Dominic Verdon
Jamie Vicary
|
|
+
|
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
|
|
+
|
Quantum teleportation with infinite reference frame uncertainty
|
2018
|
Dominic Verdon
Jamie Vicary
|
|
+
|
Data structures for quasistrict higher categories
|
2017
|
Krzysztof Bar
Jamie Vicary
|
|
+
PDF
Chat
|
Data structures for quasistrict higher categories
|
2017
|
Krzysztof Bar
Jamie Vicary
|
|
+
PDF
Chat
|
The categorified Heisenberg algebra I: A combinatorial representation
|
2017
|
Jeffrey C. Morton
Jamie Vicary
|
|
+
PDF
Chat
|
Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)
|
2017
|
Lawrence H. Dunn
Jamie Vicary
|
|
+
|
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
|
|
+
PDF
Chat
|
Tight Reference Frame–Independent Quantum Teleportation
|
2017
|
Dominic Verdon
Jamie Vicary
|
|
+
PDF
Chat
|
Quantum Latin squares and unitary error bases
|
2016
|
Benjamin Musto
Jamie Vicary
|
|
+
|
Surface proofs for linear logic.
|
2016
|
Lawrence H. Dunn
Jamie Vicary
|
|
+
|
Coherence for Frobenius pseudomonoids and the geometry of linear proofs
|
2016
|
Lawrence H. Dunn
Jamie Vicary
|
|
+
|
Globular: an online proof assistant for higher-dimensional rewriting
|
2016
|
Krzysztof Bar
Aleks Kissinger
Jamie Vicary
|
|
+
|
Data structures for quasistrict higher categories
|
2016
|
Krzysztof Bar
Jamie Vicary
|
|
+
|
Biunitary constructions in quantum information
|
2016
|
David Reutter
Jamie Vicary
|
|
+
|
Proceedings 12th International Workshop on Quantum Physics and Logic
|
2015
|
Chris Heunen
Peter Selinger
Jamie Vicary
|
|
+
PDF
Chat
|
Proceedings 12th International Workshop on Quantum Physics and Logic
|
2015
|
Chris Heunen
Peter Selinger
Jamie Vicary
|
|
+
|
Proceedings of the 12th International Workshop on Quantum Physics and Logic
|
2015
|
Chris Heunen
Peter Selinger
Jamie Vicary
|
|
+
|
Quantum Latin squares and unitary error bases
|
2015
|
Benjamin Musto
Jamie Vicary
|
|
+
|
Modular categories as representations of the 3-dimensional bordism 2-category
|
2015
|
Bruce Bartlett
Christopher L. Douglas
Christopher Schommer‐Pries
Jamie Vicary
|
|
+
|
Quantum Latin squares and unitary error bases
|
2015
|
Benjamin Musto
Jamie Vicary
|
|
+
PDF
Chat
|
Abstract structure of unitary oracles for quantum algorithms
|
2014
|
William J. Zeng
Jamie Vicary
|
|
+
PDF
Chat
|
Mixed quantum states in higher categories
|
2014
|
Chris Heunen
Jamie Vicary
Linde Wester
|
|
+
PDF
Chat
|
A 2-Categorical Analysis of Complementary Families, Quantum Key Distribution and the Mean King Problem
|
2014
|
Krzysztof Bar
Jamie Vicary
|
|
+
PDF
Chat
|
Wormholes and entanglement
|
2014
|
John C. Baez
Jamie Vicary
|
|
+
|
Groupoid Semantics for Thermal Computing
|
2014
|
Krzysztof Bar
Jamie Vicary
|
|
+
|
Extended 3-dimensional bordism as the theory of modular objects
|
2014
|
Bruce Bartlett
Christopher L. Douglas
Christopher Schommer‐Pries
Jamie Vicary
|
|
+
|
Bicategorical Semantics for Nondeterministic Computation
|
2013
|
Mike Stay
Jamie Vicary
|
|
+
PDF
Chat
|
Topological Structure of Quantum Algorithms
|
2013
|
Jamie Vicary
|
|
+
|
Bicategorical Semantics for Nondeterministic Computation
|
2013
|
Mike Stay
Jamie Vicary
|
|
+
|
Bicategorical Semantics for Nondeterministic Computation
|
2013
|
Mike Stay
Jamie Vicary
|
|
+
PDF
Chat
|
A new description of orthogonal bases
|
2012
|
Bob Coecke
Duško Pavlović
Jamie Vicary
|
|
+
|
Higher Quantum Theory
|
2012
|
Jamie Vicary
|
|
+
|
The Categorified Heisenberg Algebra I: A Combinatorial Representation
|
2012
|
Jeffrey C. Morton
Jamie Vicary
|
|
+
|
The Categorified Heisenberg Algebra I: A Combinatorial Representation
|
2012
|
Jeffrey C. Morton
Jamie Vicary
|
|
+
|
Higher Quantum Theory
|
2012
|
Jamie Vicary
|
|
+
PDF
Chat
|
Completeness of †-categories and the complex numbers
|
2011
|
Jamie Vicary
|
|
+
|
Categorical Formulation of Finite-dimensional C*-algebras
|
2011
|
Jamie Vicary
|
|
+
|
Categorical Properties of The Complex Numbers
|
2011
|
Jamie Vicary
|
|
+
PDF
Chat
|
Categorical Formulation of Finite-Dimensional Quantum Algebras
|
2010
|
Jamie Vicary
|
|
+
|
Compact Categories as †-Frobenius Pseudoalgebras
|
2010
|
Bruce Bartlettand
Jamie Vicary
|
|
+
|
Categorical properties of the complex numbers
|
2010
|
Jamie Vicary
|
|
+
PDF
Chat
|
A Categorical Framework for the Quantum Harmonic Oscillator
|
2008
|
Jamie Vicary
|
|
+
|
Completeness and the complex numbers
|
2008
|
Jamie Vicary
|
|
+
|
Categorical properties of the complex numbers
|
2008
|
Jamie Vicary
|