113 citations · 1.3k across the 83 of their papers we have counts for
Showing 2015 · math.CTShow all
3 papers · 2 filters
math.CT2015★ 13 cited
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…
math.CT2015★ 24 cited
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…
math.CT2015★ 25 cited
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…