Math.QuantumAlgebra.TensorCategory

class MCategory c

class MFunctor a b

class Monoidal c

class StrictMonoidal c

class WeakMonoidal c

class Braided c

class Symmetric c

data FinOrd

finOrdAr

data FinCard

finCardAr

finPerm

data Braid

t

t'

data Vect k

data Cob2

rewrite