“…As they are categorically dual to operator systems [WW99, Proposition 3.5], they introduce convex-geometric ideas and tools to the study operator systems. A Hahn-Banach separation theorem for matrix convex sets was proved by Effros-Winkler [EW97], the matricial Krein-Milman theorem is due to Webster-Winkler [WW99], and further fundamental results were developed recently by a plethora of authors: representations of convex sets by linear matrix inequalities [HV07,HM12,FNT17], further results on free spectrahedra including the convex Positivstellensatz [HKM12], inclusion problems and dilation theory [HKM13a, DDOSS17, HL+], minimal and maximal matrix convex sets [PSS18] and matrix convex hull approximation [HKM16], (absolute) extreme points of matrix convex sets and free spectrahedra [EHKM18,EH19] and matrix exposed points of free spectrahedra [Kri19], the theory of C * -convexity, i.e., fixed-dimension matrix convexity, via operator systems and the correspondence between C * -extreme points and pure states [FM97,Far04,Mag16], noncommutative Choquet theory [DK+] and the connection between nonunital operator systems and noncommutative (nc) convex sets [KKM+], the correspondence between compact rectangular matrix convex sets and operator spaces [FHL18], etc.…”