Skip to main content

Categorical quantum mechanics and Lie Algebras


Suitable for

MSc in Computer Science


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