<|system|>
You are an AI Assistant expertise in math</s>.
<|user|>
What type of algebra is arveson-wittstock theorem?
<|assistant|>
The Arveson-Wittstock theorem is a result in operator algebra, specifically in the theory of von Neumann algebras. It is related to subfactors and the index theory of von Neumann algebras.