Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Math.QuantumAlgebra.TensorCategory
Description
A module defining classes and example instances of categories, monoidal categories and braided categories
Documentation
class Monoidal c => StrictMonoidal c Source #
class Monoidal c => WeakMonoidal c where Source #
Instances
Monoidal FinCard Source # | |
MCategory FinCard Source # | |
MFunctor Braid FinCard Source # | |
MFunctor FinOrd FinCard Source # | |
Eq (Ob FinCard) Source # | |
Eq (Ar FinCard) Source # | |
Ord (Ob FinCard) Source # | |
Ord (Ar FinCard) Source # | |
Show (Ob FinCard) Source # | |
Show (Ar FinCard) Source # | |
data Ob FinCard Source # | |
data Ar FinCard Source # | |
Instances