19 citations · 23 across the 5 of their papers we have counts for
9 papers
Zigzag normalisation for associative -categories
Lukas Heidemann, David Reutter, Jamie Vicary
The theory of associative -categories has recently been proposed as a strictly associative and unital approach to higher category theory. As a foundation for a proof assistant,…
A Type Theory for Strictly Associative Infinity Categories
Eric Finster, Alex Rice, Jamie Vicary
Many definitions of weak and strict -categories have been proposed. In this paper we present a definition for -categories with strict associators, but which is othe…
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
David I. Spivak, Jamie Vicary
The third annual International Applied Category Theory Conference (ACT2020) was planned to take place at MIT in Cambridge, Massachusetts USA. However, the global COVID-19 pandemic…
High-level methods for homotopy construction in associative -categories
David Reutter, Jamie Vicary
A combinatorial theory of associative -categories has recently been proposed, with strictly associative and unital composition in all dimensions, and the weak structure arising…
Shaded tangles for the design and verification of quantum circuits
David J. Reutter, Jamie Vicary
We give a scheme for interpreting shaded tangles as quantum circuits, with the property that if two shaded tangles are ambient isotopic, their corresponding computational effects a…
Orthogonality for Quantum Latin Isometry Squares
Benjamin Musto, Jamie Vicary
Goyeneche et al recently proposed a notion of orthogonality for quantum Latin squares, and showed that orthogonal quantum Latin squares yield quantum codes. We give a simplified ch…