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