Choi's theorem on completely positive maps

Choi's theorem is an important result in the theory of completely positive (CP) maps in the context of operator algebras and quantum information theory. It provides a characterization of completely positive maps in terms of their action on matrices.