| Documentation | Latest Release | Build Status of CategoricalTowers | Code Coverage |
|---|---|---|---|
  |
  |
 |
 |
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 srepk(G)+ of the tensor category srepk(G) of finite dimensional k-linear representations of G, where G=S4 is the symmetric group on four points and k=ℚ, its minimal splitting field.
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 |