Math.QuantumAlgebra.TensorCategory

class Category c

class TensorCategory c

class StrictTensorCategory c

class WeakTensorCategory c

data SymmetricGroupoid

data Braid

s

data Cob2

rewrite