8 papers
From orthoposets to orthomodular posets
John Harding, Gejza Jenda, Bert Lindenhovius
We show that the category of orthomodular posets is a full coreflective subcategory of the category of strong orthoposets, those orthoposets in which any two orthogonal elements ha…
Quantum graphs of homomorphisms
Andre Kornell, Bert Lindenhovius
We introduce a category of quantum graphs, whose definition is motivated entirely from noncommutative geometry. For all quantum graphs and in $\mathsf{qGph}…
Monoidal Quantaloids
Gejza JenÄa, Bert Lindenhovius
We investigate how to add a symmetric monoidal structure to quantaloids in a compatible way. In particular, dagger compact quantaloids turn out to have properties that are similar…
A category of quantum posets
Andre Kornell, Bert Lindenhovius, Michael Mislove
We investigate a category of quantum posets that generalizes the category of posets and monotone functions. Up to equivalence, its objects are hereditarily atomic von Neumann algeb…
Categories of quantum cpos
Andre Kornell, Bert Lindenhovius, Michael Mislove
This paper unites two research lines. The first involves finding categorical models of quantum programming languages and their type systems. The second line concerns the program of…
A characterisation of orthomodular spaces by Sasaki maps
Bert Lindenhovius, Thomas Vetterlein
Given a Hilbert space , the set of one-dimensional subspaces of becomes an orthoset when equipped with the orthogonality relation induced by the inner product…