Colloquium: W. D. van Suijlekom (Radboud Universiteit): “A Generalization of K-Theory to Operator Systems”