18 citations · 90 across the 18 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
math.CT2024★ 1 cited
The Category of Operator Spaces and Complete Contractions
Bert Lindenhovius, Vladimir Zamdzhiev
We show that the category OS of operator spaces, with complete contractions as morphisms, is locally countably presentable. This result, together with its symmetric monoidal closed…
math-ph2024
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…