Switch to: References

Add citations

You must login to add citations.
  1. Dagger Categories of Tame Relations.Bart Jacobs - 2013 - Logica Universalis 7 (3):341-370.
    Within the context of an involutive monoidal category the notion of a comparison relation ${\mathsf{cp} : \overline{X} \otimes X \rightarrow \Omega}$ is identified. Instances are equality = on sets, inequality ${\leq}$ on posets, orthogonality ${\perp}$ on orthomodular lattices, non-empty intersection on powersets, and inner product ${\langle {-}|{-} \rangle}$ on vector or Hilbert spaces. Associated with a collection of such (symmetric) comparison relations a dagger category is defined with “tame” relations as morphisms. Examples include familiar categories in the foundations of quantum (...)
    Direct download (9 more)  
    Export citation  
    Bookmark   1 citation