C:\Softwares\duckdb-1.4.1\cli\v1.4.1\windows-amd64>duckdb.exe DuckDB v1.4.1 (Andium) b390a7c376 Enter ".help" for usage hints. Connected to a transient in-memory database. Use ".open FILENAME" to ...

Abstract: 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 of Lafont.