class Category c

class TensorCategory c

class StrictTensorCategory c

class WeakTensorCategory c

data SymmetricGroupoid

data Braid

data Cob2