# Inductive limits in the operator system and related categories

## TL;DR

This paper develops a comprehensive theory of inductive limits across various categories of operator systems, revealing how these limits interact with tensor products, quotients, and graph operator systems, and connecting to classical results like Glimm's theorem.

## Contribution

It introduces a systematic framework for inductive limits in operator system categories, including their interaction with tensor products and graph operator systems, extending classical operator algebra results.

## Key findings

- Inductive limits commute with maximal tensor products.
- Quotient operator systems' limits are quotients of limits under certain conditions.
- Graph operator systems' limits correspond to topological graph systems.

## Abstract

We present a systematic development of inductive limits in the categories of ordered *-vector spaces, Archimedean order unit spaces, matrix ordered spaces, operator systems and operator C*-systems. We show that the inductive limit intertwines the operation of passing to the maximal operator system structure of an Archimedean order unit space, and that the same holds true for the minimal operator system structure if the connecting maps are complete order embeddings. We prove that the inductive limit commutes with the operation of taking the maximal tensor product with another operator system, and establish analogous results for injective functorial tensor products provided the connecting maps are complete order embeddings. We identify the inductive limit of quotient operator systems as a quotient of the inductive limit, in case the involved kernels are completely biproximinal. We describe the inductive limit of graph operator systems as operator systems of topological graphs, show that two such operator systems are completely order isomorphic if and only if their underlying graphs are isomorphic, identify the C*-envelope of such an operator system, and prove a version of Glimm's Theorem on the isomorphism of UHF algebras in the category of operator systems.