1 citations · 1 across the 2 of their papers we have counts for
4 papers
The 2-Category of Topological Quantum Computation
Fatimah Rita Ahmadi
Unitary Ribbon Fusion Categories (URFC) formalize anyonic theories. It has been widely assumed that the same category formalizes a topological quantum computing model. However, in…
The ZX-calculus as a Language for Topological Quantum Computation
Fatimah Rita Ahmadi, Aleks Kissinger
Unitary fusion categories formalise the algebraic theory of topological quantum computation. These categories come naturally enriched in a subcategory of the category of Hilbert sp…
Monoidal 2-Categories: A Review
Fatimah Rita Ahmadi
We review the complete definition of monoidal 2-categories and recover Kapranov and Voevodsky's definition from the algebraic definition of weak 3-category(or tricategory).
Typing Tensor Calculus in 2-Categories (I)
Fatimah Rita Ahmadi
To formalize calculations in linear algebra for the development of efficient algorithms and a framework suitable for functional programming languages and faster parallelized comput…