{"id":"arxiv/2607.26737","url":"https://arxiv.org/abs/2607.26737","tags":["math.CT","math.OA"],"score":0,"title":"Nonunital Operator Systems as Modules in Enriched Category Theory","domain":"math.CT","source":"arxiv","authors":["Tim Netzer","Tobias Fritz"],"reviews":0,"subject":"math.CT","summary":"An operator system is similar to a module over a ring, with the role of scalar multiplication played by the action of completely positive maps. Using enriched category theory, we make this analogy into a precise categorical equivalence, namely between a certain category of nonunital operator systems and a certain category of left modules over the category of matrix algebras enriched over regularly ordered Banach spaces. Using right modules instead yields an equivalence with a certain category of nonunital dual operator systems. We also develop general separation, representation and extension…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-29","reactions":{}}