Higher K-groups for operator systems | Synapse