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
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 = FinCardOb Int Source | |
data Ar FinCard = FinCardAr Int Int [Int] Source |
Instances
Braided Braid Source | |
Monoidal Braid Source | |
MCategory Braid Source | |
MFunctor Braid FinCard Source | |
Eq (Ob Braid) Source | |
Eq (Ar Braid) Source | |
Ord (Ob Braid) Source | |
Ord (Ar Braid) Source | |
Show (Ob Braid) Source | |
Show (Ar Braid) Source | |
data Ob Braid = BraidOb Int Source | |
data Ar Braid = BraidAr Int [Int] Source |