113 citations · 1.3k across the 83 of their papers we have counts for
Showing 2008Show all
3 papers · 1 filter
cs.LO2008★ 6 cited
Compactly accessible categories and quantum key distribution
Chris Heunen
Compact categories have lately seen renewed interest via applications to quantum physics. Being essentially finite-dimensional, they cannot accomodate (co)limit-based constructions…
math.LO2008★ 2 cited
Quantifiers for quantum logic
Chris Heunen
We consider categorical logic on the category of Hilbert spaces. More generally, in fact, any pre-Hilbert category suffices. We characterise closed subobjects, and prove that they…
math.CT2008★ 1 cited
An embedding theorem for Hilbert categories
Chris Heunen
We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theo…