Math.QuantumAlgebra.TensorCategory
class Category c
class TensorCategory c
class StrictTensorCategory c
class WeakTensorCategory c
data SymmetricGroupoid
data Braid
s
data Cob2
rewrite