113 citations · 1.3k across the 83 of their papers we have counts for
5 papers · 1 filter
The category of matroids
Chris Heunen, Vaia Patta
The structure of the category of matroids and strong maps is investigated: it has coproducts and equalizers, but not products or coequalizers; there are functors from the categorie…
Categories of relations as models of quantum theory
Chris Heunen, Sean Tull
Categories of relations over a regular category form a family of models of quantum theory. Using regular logic, many properties of relations over sets lift to these models, includi…
Axiomatizing complete positivity
Oscar Cunningham, Chris Heunen
There are two ways to turn a categorical model for pure quantum theory into one for mixed quantum theory, both resulting in a category of completely positive maps. One has quantum…
Reversible monadic computing
Chris Heunen, Martti Karvonen
We extend categorical semantics of monadic programming to reversible computing, by considering monoidal closed dagger categories: the dagger gives reversibility, whereas closure gi…
Domains of commutative C*-subalgebras
Chris Heunen, Bert Lindenhovius
A C*-algebra is determined to a great extent by the partial order of its commutative C*-algebras. We study order-theoretic properties of this dcpo. Many properties coincide: the dc…