| Publication | Date of Publication | Type |
|---|
| Bennett and Stinespring, together at last | 2024-11-29 | Paper |
| Compositional reversible computation | 2024-11-13 | Paper |
| Compact inverse categories | 2024-10-01 | Paper |
Axioms for the category of Hilbert spaces and linear contractions
Bulletin of the London Mathematical Society | 2024-04-06 | Paper |
Ordered locales
Journal of Pure and Applied Algebra | 2024-03-20 | Paper |
| Categories of sets with infinite addition | 2023-08-29 | Paper |
Duoidally enriched Freyd categories
Relational and Algebraic Methods in Computer Science | 2023-08-17 | Paper |
Sheaf representation of monoidal categories
Advances in Mathematics | 2023-03-02 | Paper |
| Universal Properties of Partial Quantum Maps | 2022-06-09 | Paper |
The CBH characterisation theorem beyond algebraic quantum theory
Information and Computation | 2022-06-08 | Paper |
Reversible effects as inverse arrows
(available as arXiv preprint) | 2022-05-03 | Paper |
| scientific article; zbMATH DE number 7453182 (Why is no real title available?) | 2022-01-06 | Paper |
scientific article; zbMATH DE number 7453182 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-06 | Paper |
| Space in Monoidal Categories | 2021-12-17 | Paper |
Space in Monoidal Categories
(available as arXiv preprint) | 2021-12-17 | Paper |
| Purity through factorisation | 2021-12-17 | Paper |
Purity through factorisation
(available as arXiv preprint) | 2021-12-17 | Paper |
| Categories of relations as models of quantum theory | 2021-12-06 | Paper |
Categories of relations as models of quantum theory
(available as arXiv preprint) | 2021-12-06 | Paper |
| Axiomatizing complete positivity | 2021-12-06 | Paper |
Axiomatizing complete positivity
(available as arXiv preprint) | 2021-12-06 | Paper |
| Axioms for the category of Hilbert spaces | 2021-09-15 | Paper |
| Completely positive projections and biproducts | 2021-06-29 | Paper |
Completely positive projections and biproducts
(available as arXiv preprint) | 2021-06-29 | Paper |
| Mixed quantum states in higher categories | 2021-06-29 | Paper |
Mixed quantum states in higher categories
(available as arXiv preprint) | 2021-06-29 | Paper |
| Categories of Quantum and Classical Channels (extended abstract) | 2021-06-23 | Paper |
Categories of Quantum and Classical Channels (extended abstract)
(available as arXiv preprint) | 2021-06-23 | Paper |
| Tensor-restriction categories | 2021-06-21 | Paper |
Tensor-restriction categories
(available as arXiv preprint) | 2021-06-21 | Paper |
| Completely positive classical structures and sequentializable quantum protocols | 2021-04-27 | Paper |
Completely positive classical structures and sequentializable quantum protocols
(available as arXiv preprint) | 2021-04-27 | Paper |
| No-go theorems for functorial localic spectra of noncommutative rings | 2021-04-27 | Paper |
No-go theorems for functorial localic spectra of noncommutative rings
(available as arXiv preprint) | 2021-04-27 | Paper |
| scientific article; zbMATH DE number 7339575 (Why is no real title available?) | 2021-04-27 | Paper |
Topos quantum theory with short posets
Order | 2021-04-16 | Paper |
| Bennett and Stinespring, Together at Last | 2021-02-17 | Paper |
| A Convenient Category for Higher-Order Probability Theory | 2021-01-19 | Paper |
A Convenient Category for Higher-Order Probability Theory
(available as arXiv preprint) | 2021-01-19 | Paper |
Tensor topology
Journal of Pure and Applied Algebra | 2020-05-04 | Paper |
Monoidal characterisation of groupoids and connectors
Topology and its Applications | 2020-04-06 | Paper |
Boolean subalgebras of orthoalgebras
Order | 2019-12-13 | Paper |
Boolean subalgebras of orthoalgebras
Order | 2019-12-13 | Paper |
Domains of commutative C*-subalgebras
Mathematical Structures in Computer Science | 2019-11-15 | Paper |
| Categories for Quantum Theory | 2019-07-17 | Paper |
| Limits in dagger categories | 2019-06-17 | Paper |
Limits in dagger categories
(available as arXiv preprint) | 2019-06-17 | Paper |
| Compact inverse categories | 2019-06-10 | Paper |
Ontological models for quantum theory as functors
(available as arXiv preprint) | 2019-05-22 | Paper |
Can a quantum state over time resemble a quantum state at a single time?
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2018-11-29 | Paper |
Frobenius structures over Hilbert \(C^*\)-modules
Communications in Mathematical Physics | 2018-08-24 | Paper |
Domains of commutative C-subalgebras
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
The category of matroids
Applied Categorical Structures | 2018-04-13 | Paper |
Discretization of \(C^*\)-algebras
Journal of Operator Theory | 2017-08-17 | Paper |
Categories of quantum and classical channels
Quantum Information Processing | 2017-03-08 | Paper |
| Monads on dagger categories | 2017-01-06 | Paper |
Monads on dagger categories
(available as arXiv preprint) | 2017-01-06 | Paper |
Operational theories and categorical quantum mechanics
(available as arXiv preprint) | 2016-12-20 | Paper |
Reversible monadic computing
Electronic Notes in Theoretical Computer Science | 2016-12-16 | Paper |
Quantum logic in dagger kernel categories
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Pictures of complete positivity in arbitrary dimension
Information and Computation | 2016-10-06 | Paper |
| The many classical faces of quantum structures | 2014-12-05 | Paper |
| On discretization of C*-algebras | 2014-12-04 | Paper |
Active lattices determine \(\mathrm{AW}^\ast\)-algebras
Journal of Mathematical Analysis and Applications | 2014-08-29 | Paper |
Extending obstructions to noncommutative functorial spectra
Theory and Applications of Categories | 2014-08-25 | Paper |
Extending obstructions to noncommutative functorial spectra
Theory and Applications of Categories | 2014-08-25 | Paper |
Characterizations of categories of commutative \(C^*\)-subalgebras
Communications in Mathematical Physics | 2014-08-15 | Paper |
Piecewise Boolean algebras and their domains
Automata, Languages, and Programming | 2014-07-01 | Paper |
Semimodule enrichment
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
Matrix multiplication is determined by orthogonality and trace
Linear Algebra and its Applications | 2014-02-19 | Paper |
Bohrification of operator algebras and quantum logic
Synthese | 2013-11-25 | Paper |
| Arrows, like monads, are monoids | 2013-10-10 | Paper |
Compositional quantum logic
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky | 2013-05-28 | Paper |
On the Functor ℓ2
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky | 2013-05-28 | Paper |
Diagonalizing matrices over \(AW^\ast\)-algebras
Journal of Functional Analysis | 2013-04-30 | Paper |
Relative Frobenius algebras are groupoids
Journal of Pure and Applied Algebra | 2013-04-17 | Paper |
Erratum to: Noncommutativity as a colimit
Applied Categorical Structures | 2013-02-01 | Paper |
Complementarity in categorical quantum mechanics
Foundations of Physics | 2013-01-07 | Paper |
Noncommutativity as a colimit
Applied Categorical Structures | 2012-12-21 | Paper |
\(H^\ast\)-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
(available as arXiv preprint) | 2012-10-01 | Paper |
Coalgebraic components in a many-sorted microcosm
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
scientific article; zbMATH DE number 5977109 (Why is no real title available?)
(available as arXiv preprint) | 2011-11-22 | Paper |
The Gelfand spectrum of a noncommutative \(C^*\)-algebra: a topos-theoretic approach
Journal of the Australian Mathematical Society | 2011-06-29 | Paper |
Quantum logic in dagger kernel categories
Order | 2010-07-02 | Paper |
A topos for algebraic quantum theory
Communications in Mathematical Physics | 2010-01-11 | Paper |
| An embedding theorem for Hilbert categories | 2009-11-21 | Paper |
An embedding theorem for Hilbert categories
(available as arXiv preprint) | 2009-11-21 | Paper |
| An embedding theorem for Hilbert categories | 2009-11-21 | Paper |
Categorical semantics for arrows
Journal of Functional Programming | 2009-10-28 | Paper |
Intuitionistic quantum logic of an \(n\)-level system
Foundations of Physics | 2009-10-21 | Paper |
Compactly accessible categories and quantum key distribution
Logical Methods in Computer Science | 2009-04-29 | Paper |
| The principle of general tovariance | 2008-11-17 | Paper |
| Quantifiers for quantum logic | 2008-11-10 | Paper |
Dagger categories and the complex numbers: Axioms for the category of finite-dimensional Hilbert spaces and linear contractions
(available as arXiv preprint) | N/A | Paper |
