Showing 1–20 of 51 results
/ Date/ Name
Jul 9, 2012The Categorified Heisenberg Algebra I: A Combinatorial RepresentationFeb 11, 2019High-level methods for homotopy construction in associative $n$-categoriesMay 19, 2023Posetal Diagrams for Logically-Structured Semistrict Higher CategoriesSep 18, 2012The Topology of Quantum AlgorithmsJul 16, 2020A Type Theory for Strictly Unital $\infty$-CategoriesMay 6, 2014Mixed quantum states in higher categoriesJan 12, 2017Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract)Feb 14, 2023From dual-unitary to biunitary: a 2-categorical model for exactly-solvable many-body quantum dynamicsMay 11, 2023A layout algorithm for higher-dimensional string diagramsJan 14, 2014Groupoid Semantics for Thermal ComputingJul 19, 2012Higher Quantum TheoryNov 4, 2014Extended 3-dimensional bordism as the theory of modular objectsMar 29, 2016Tight Reference Frame--Independent Quantum TeleportationSep 25, 2016Biunitary constructions in quantum informationDec 4, 2016Globular: an online proof assistant for higher-dimensional rewritingMay 4, 2008Categorical formulation of quantum algebrasOct 5, 2008A new description of orthogonal basesMay 18, 2022Zigzag normalisation for associative $n$-categoriesJan 20, 2016Coherence for Frobenius pseudomonoids and the geometry of linear proofsOct 21, 2016Data structures for quasistrict higher categories