TensorCategories.jl

TensorCategories is a package under development with the intention to provide a framework as well a examples for computations in the realm of categories.

Installation

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(url = "https://github.com/FabianMaeurer/TensorCategories.jl")

Usage

To use TensorCategories the structures from the OSCAR-System are required. Here a minimal usage example.

julia> using TensorCategories, Oscar;
julia> # Define an Ising Fusion category
       I = Ising()Ising fusion category
julia> # Define the categorical center
       C = Center(Ising())Drinfeld center of Ising fusion category
julia> # Compute the S-matrix of the center
       S = smatrix(C)ERROR: AssertionError: Morphisms not compatible

Acknowledgements

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).