Categorical quantum mechanics and Lie Algebras

Supervisors

Suitable for

Abstract

Is there a way to define a category whose objects are root systems (with additional structure), so that the construction of Lie algebras from them is functorial? If so, what are its properties - e.g., is it monoidal, and in that case, is the functor (lax) monoidal?

Prerequisites: categorical quantum mechanics and Lie algebras