Categorical representation theory is a categorical lift of the concept of representations: groups or algebras are replaced by monoidal categories and one considers functorial actions of these on categories. Beginning in 2011, Mazorchuk and Miemietz developed the theory of finitary 2-representations. Their theory can be considered as a categorification of the theory of finite-dimensional representations of finite-dimensional algebras. Whereas algorithmic techniques are well-established in “classical” representation theory and are part of many computer algebra systems, the categorical lift has not yet received much attention from a computational point of view. With this project we want to begin a systematic development of computational tools in categorical representation theory.
