TensorCategories is a package under development with the intention to provide a framework as well a examples for computations in the realm of categories.
You need to have Julia installed. For reliable results Julia version at least 1.6 is required. To use TensorCategories do the following:
julia> import Pkg
julia> Pkg.add("TensorCategories")To use TensorCategories the structures from the OSCAR-System are required. Here a minimal usage Example.
using TensorCategories, Oscar;
F = GF(5)
G = symmetric_group(2)
X = gset(G,[1,2,3])
C = ConvolutionCategory(X,F)
simples(C)
grothendieck_ring(C)
This project was started under supervision of Prof. Ulrich Thiel (University of Kaiserslautern). This work is a contribution to the SFB-TRR 195 'Symbolic Tools in Mathematics and their Application' of the German Research Foundation (DFG).