Dagger Categories of Tame Relations

Logica Universalis 7 (3):341-370 (2013)
  Copy   BIBTEX


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 mechanics, such as sets with partial injections, or with locally bifinite relations, or with formal distributions between them, or Hilbert spaces with bounded (continuous) linear maps. Of one particular example of such a dagger category of tame relations, involving sets and bifinite multirelations between them, the categorical structure is investigated in some detail. It turns out to involve symmetric monoidal dagger structure, with biproducts, and dagger kernels. This category may form an appropriate universe for discrete quantum computations, just like Hilbert spaces form a universe for continuous computation



    Upload a copy of this work     Papers currently archived: 89,330

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Daggers, Kernels, Baer *-semigroups, and Orthomodularity.John Harding - 2013 - Journal of Philosophical Logic 42 (3):535-549.
Axiomatizing a category of categories.Colin McLarty - 1991 - Journal of Symbolic Logic 56 (4):1243-1260.
Coalgebras, Chu Spaces, and Representations of Physical Systems.Samson Abramsky - 2013 - Journal of Philosophical Logic 42 (3):551-574.
Category theory: The language of mathematics.Elaine Landry - 1999 - Philosophy of Science 66 (3):27.
Pen or Dagger?J. R. Hamilton - 1964 - The Classical Review 14 (01):10-12.
An Essay on Material Necessity.Barry Smith - 1992 - Canadian Journal of Philosophy (sup1):301-322.
From sets to types to categories to sets.Steve Awodey - 2009 - Philosophical Explorations.
Playing fair with punishment.Richard Dagger - 1993 - Ethics 103 (3):473-488.
Bicartesian coherence.Kosta Došen & Zoran Petrić - 2002 - Studia Logica 71 (3):331 - 353.


Added to PP

54 (#259,735)

6 months
2 (#637,499)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Involutive Categories and Monoids, with a GNS-Correspondence.Bart Jacobs - 2012 - Foundations of Physics 42 (7):874-895.

Add more citations

References found in this work

Involutive Categories and Monoids, with a GNS-Correspondence.Bart Jacobs - 2012 - Foundations of Physics 42 (7):874-895.

Add more references