The following pages link to Jamie Vicary (Q265830):
Displayed 41 items.
- Bicategorical semantics for nondeterministic computation (Q265831) (← links)
- Categorical formulation of finite-dimensional quantum algebras (Q543370) (← links)
- A categorical framework for the quantum harmonic oscillator (Q1008298) (← links)
- The categorified Heisenberg algebra. I: A combinatorial representation. (Q2411671) (← links)
- Categorical Formulation of Finite-dimensional C*-algebras (Q2825349) (← links)
- Categorical Properties of The Complex Numbers (Q2825372) (← links)
- Completeness of †-categories and the complex numbers (Q2849726) (← links)
- Wormholes and entanglement (Q2936450) (← links)
- Higher Semantics of Quantum Protocols (Q2986839) (← links)
- Globular: an online proof assistant for higher-dimensional rewriting (Q3130548) (← links)
- (Q3384951) (← links)
- (Q3385640) (← links)
- A Classical Groupoid Model for Quantum Networks (Q4580215) (← links)
- A 2-Categorical Approach to Composing Quantum Structures. (Q4580216) (← links)
- A new description of orthogonal bases (Q4925030) (← links)
- Abstract structure of unitary oracles for quantum algorithms (Q4997298) (← links)
- (Q4997302) (← links)
- (Q4997303) (← links)
- (Q5014791) (← links)
- (Q5014808) (← links)
- (Q5028464) (← links)
- Data structures for quasistrict higher categories (Q5144694) (← links)
- Shaded tangles for the design and verification of quantum circuits (Q5160634) (← links)
- Categories for Quantum Theory (Q5223344) (← links)
- (Q5227516) (← links)
- Topological Structure of Quantum Algorithms (Q5271044) (← links)
- (Q5369499) (← links)
- A classical groupoid model for quantum networks (Q5376647) (← links)
- Biunitary constructions in quantum information (Q5382904) (← links)
- (Q6153328) (← links)
- Higher Quantum Theory (Q6234489) (← links)
- Extended 3-dimensional bordism as the theory of modular objects (Q6256108) (← links)
- Modular categories as representations of the 3-dimensional bordism 2-category (Q6265718) (← links)
- High-level methods for homotopy construction in associative $n$-categories (Q6313904) (← links)
- A Type Theory for Strictly Associative Infinity Categories (Q6376778) (← links)
- Traced Monoidal Categories as Algebraic Structures in Prof (Q6386857) (← links)
- Zigzag normalisation for associative $n$-categories (Q6399491) (← links)
- Strictly Associative and Unital $\infty$-Categories as a Generalized Algebraic Theory (Q6426060) (← links)
- From dual-unitary to biunitary: a 2-categorical model for exactly-solvable many-body quantum dynamics (Q6426465) (← links)
- Posetal Diagrams for Logically-Structured Semistrict Higher Categories (Q6437206) (← links)
- On Structures in Arrow Categories (Q6452825) (← links)