Maeurer, F. TensorCategories.jl (Version 0.5.2) [Computer software]. https://doi.org/10.5281/zenodo.15805916