InternalModules 

Modules over internal algebras

Documentation	Latest Release	Build Status of CategoricalTowers	Code Coverage

About

This package allows to internalize classes of algebras and their modules in a (constructive) braided monoidal category. For this, the algebra should admit a categorical description (like the symmetric or the exterior algebra).

This Jupyter notebook shows an example of explicit computations in the symmetric algebra SW internal to the so-called positively graded closure srep_k(G)₊ of the tensor category srep_k(G) of finite dimensional k-linear representations of G, where G=S₄ is the symmetric group on four points and k=ℚ, its minimal splitting field.

---

Dependencies

To obtain current versions of all dependencies, git clone (or git pull to update) the following repositories:

	Repository	git URL
1.	homalg_project	https://github.com/homalg-project/homalg_project.git
2.	CAP_project	https://github.com/homalg-project/CAP_project.git