Math.QuantumAlgebra.TensorCategory
Description
A module defining classes and example instances of categories and tensor categories
Documentation
Methods
class Category c => TensorCategory c whereSource
class TensorCategory c => StrictTensorCategory c Source
class TensorCategory c => WeakTensorCategory c whereSource
data SymmetricGroupoid Source