18 citations · 90 across the 18 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory
Bert Lindenhovius, Vladimir Zamdzhiev
We show that the category OS of operator spaces, with complete contractions as morphisms, is locally countably presentable and a model of Intuitionistic Linear Logic in the sense o…
math.CT2025
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…