Awesome math.CT

Essential Unitarity for Higher-Order Quantum Computation (2026)

Samson Abramsky et al.

1.89

Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi (2026)

Dichuan Gao et al.

1.83

Non-Invertible Symmetries on Tensor-Product Hilbert Spaces and Quantum Cellular Automata (2026)

Rui Wen et al.

1.83

Higher-Order Quantum Objects are Strong Profunctors (2026)

Matt Wilson et al.

1.72

Generalized Inverses of Quantum Channels: a categorical perspective (2026)

Robin Cockett and Jean-Simon Pacaud Lemay and Priyaa Varshinee Srinivasan

1.72

Free Quantum Computing (2026)

Jacques Carette et al.

1.67

Supermaps on generalised theories (2026)

Matt Wilson et al.

1.67

Quantum graphs of homomorphisms (2026)

Andre Kornell and Bert Lindenhovius

1.61

Quantum Coherence Spaces Revisited: A von Neumann (Co)Algebraic Approach (2026)

Thea Li and Vladimir Zamdzhiev

1.61

High schoolers excel at Oxford quantum course using pictorial mathematics (2025)

Bob Coecke et al.

1.56

Axiomatising the dagger category of complex Hilbert spaces (2025)

Jan Paseka et al.

1.50

Categorical Framework for Quantum-Resistant Zero-Trust AI Security (2025)

I. Cherkaoui et al.

1.50

Denotational semantics for stabiliser quantum programs (2025)

Robert I. Booth et al.

1.50

Quantum Concept Music Score from Quantum Picturalism: Musical Incarnation of a Bell-Pair under Measurements (2025)

Rakhat-Bi Abdyssagin and Bob Coecke

1.44

Double categories for adaptive quantum computation (2025)

Cihan Okay et al.

1.44

The Born rule as a natural transformation of functors (2025)

Boyu Yang and James Fullwood

1.39

Simplicial methods in the resource theory of contextuality (2025)

Aziz Kharoof and Cihan Okay

1.17

On Traces in Categories of Contractions (2025)

Aaron David Fairbanks (Dalhousie University) et al.

1.00

L-mosaics and orthomodular lattices (2025)

Nicol\`o Cangiotti et al.

0.94

Categorical Quantum Dynamics (2017)

Stefano Gogioso

—

Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory (2017)

Mathys Rennela and Sam Staton

—

A compositional approach to quantum functions (2017)

Benjamin Musto et al.

—

Higher Theory and the Three Problems of Physics (2017)

Antti Veilahti

—

Completeness of the ZX-calculus for Pure Qubit Clifford+T Quantum Mechanics (2018)

Kang Feng Ng et al.

—

Quotient Categories and Phases (2018)

Sean Tull

—

The Morita theory of quantum graph isomorphisms (2018)

Benjamin Musto et al.

—

Double Dilation ≠ Double Mixing (extended abstract) (2018)

Maaike Zwart (University of Oxford) et al.

—

Uniqueness of Composition in Quantum Theory and Linguistics (2018)

Bob Coecke (University of Oxford) et al.

—

A Categorical Reconstruction of Quantum Theory (2018)

Sean Tull

—

ZX-Rules for 2-qubit Clifford+T Quantum Circuits (2018)

Bob Coecke and Quanlong Wang

—

Witness Algebra and Anyon Braiding (2018)

Andreas Blass and Yuri Gurevich

—

Universal Properties in Quantum Theory (2019)

Mathieu Huot et al.

—

Categorical Operational Physics (2019)

Sean Tull

—

Topos quantum theory with short posets (2019)

John Harding and Chris Heunen

—

Quantum channels as a categorical completion (2019)

Mathieu Huot and Sam Staton

—

Continuous-variable nonlocality and contextuality (2019)

Rui Soares Barbosa et al.

—

Ontological models for quantum theory as functors (2019)

Alexandru Gheorghiu (California Institute of Technology) et al.

—

Deriving Dagger Compactness (2019)

Sean Tull (University of Oxford)

—

Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory (2019)

Romain P\'echoux et al.

—

Effectuses in Categorical Quantum Foundations (2019)

Kenta Cho

—

Completeness of algebraic ZX-calculus over arbitrary commutative rings and semirings (2019)

Quanlong Wang

—

Lectures on Quantum Tensor Networks (2019)

Jacob Biamonte

—

Inverses, disintegrations, and Bayesian inversion in quantum Markov categories (2020)

Arthur J. Parzygnat

—

Integrated Information in Process Theories (2020)

Sean Tull and Johannes Kleiner

—

At the Interface of Algebra and Statistics (2020)

Tai-Danae Bradley

—

Linear Dependent Type Theory for Quantum Programming Languages (2020)

Peng Fu et al.

—

A non-commutative Bayes' theorem (2020)

Arthur J. Parzygnat et al.

—

The Safari of Update Structures: Visiting the Lens and Quantum Enclosures (2020)

Matthew Wilson et al.

—

A Topos Theoretic Notion of Entropy (2020)

Carmen-Maria Constantin et al.

—

Compiling quantamorphisms for the IBM Q Experience (2020)

Ana Neri et al.

—

Contextuality: At the Borders of Paradox (2020)

Samson Abramsky

—

Conditional Distributions for Quantum Systems (2021)

Arthur J. Parzygnat (Institut des Hautes \'Etudes Scientifiques)

—

Categorical computation (2021)

Liang Kong and Hao Zheng

—

Bennett and Stinespring, Together at Last (2021)

Chris Heunen (University of Edinburgh) et al.

—

A Mathematical Framework for Causally Structured Dilations and its Relation to Quantum Self-Testing (2021)

Nicholas Gauguin Houghton-Larsen

—

Diagrammatic Differentiation for Quantum Machine Learning (2021)

Alexis Toumi (University of Oxford) et al.

—

Towards a functorial description of quantum relative entropy (2021)

Arthur J. Parzygnat

—

CPM Categories for Galois Extensions (2021)

James Hefford (University of Oxford) et al.

—

Causality in Higher Order Process Theories (2021)

Matt Wilson et al.

—

A covariant Stinespring theorem (2021)

Dominic Verdon

—

Awesome math.CT

Key papers

math.CT

Awesome math.CT

Key papers