113 citations · 1.3k across the 83 of their papers we have counts for
1 paper · 2 filters
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…