The following pages link to Jamie Vicary (Q265830):
Displaying 40 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)
- Traced monoidal categories as algebraic structures in $\mathbf{Prof}$ (Q6504643) (← links)
- Computads for weak $\omega$-categories as an inductive type (Q6506429) (← links)
- A layout algorithm for higher-dimensional string diagrams (Q6510069) (← links)
- The theory and applications of anticolimits (Q6519548) (← links)
- homotopy.io: a proof assistant for finitely-presented globular $n$-categories (Q6522672) (← links)
- Computads for weak \(\omega \)-categories as an inductive type (Q6562849) (← links)
- From dual-unitary to biunitary: a 2-categorical model for exactly-solvable many-body quantum dynamics (Q6585778) (← links)
- Zigzag normalisation for associative \(n\)-categories (Q6649467) (← links)
- A type theory for strictly unital \(\infty \)-categories (Q6649483) (← links)
- Traced monoidal categories as algebraic structures in Prof (Q6653750) (← links)
- High-level methods for homotopy construction in associative \(n\)-categories (Q6654527) (← links)
