Safe Haskell | Safe |
---|---|
Language | Haskell98 |
A module defining classes and example instances of categories, monoidal categories and braided categories
Documentation
class MCategory c where Source #
Instances
MCategory Cob2 Source # | |
MCategory Braid Source # | |
MCategory FinCard Source # | |
MCategory FinOrd Source # | |
MCategory Tangle Source # | |
MCategory OrientedTangle Source # | |
Defined in Math.QuantumAlgebra.OrientedTangle data Ob OrientedTangle :: Type Source # data Ar OrientedTangle :: Type Source # id_ :: Ob OrientedTangle -> Ar OrientedTangle Source # source :: Ar OrientedTangle -> Ob OrientedTangle Source # target :: Ar OrientedTangle -> Ob OrientedTangle Source # (>>>) :: Ar OrientedTangle -> Ar OrientedTangle -> Ar OrientedTangle Source # | |
Num k => MCategory (Vect k) Source # | |
Defined in Math.QuantumAlgebra.TensorCategory |
class (MCategory a, MCategory b) => MFunctor a b where Source #
class MCategory c => Monoidal c where Source #
Instances
class Monoidal c => StrictMonoidal c Source #
class Monoidal c => WeakMonoidal c where Source #
Instances
Monoidal FinOrd Source # | |
MCategory FinOrd Source # | |
MFunctor FinOrd FinCard Source # | |
Eq (Ob FinOrd) Source # | |
Eq (Ar FinOrd) Source # | |
Ord (Ob FinOrd) Source # | |
Defined in Math.QuantumAlgebra.TensorCategory | |
Ord (Ar FinOrd) Source # | |
Defined in Math.QuantumAlgebra.TensorCategory | |
Show (Ob FinOrd) Source # | |
Show (Ar FinOrd) Source # | |
data Ob FinOrd Source # | |
Defined in Math.QuantumAlgebra.TensorCategory | |
data Ar FinOrd 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 # | |
Defined in Math.QuantumAlgebra.TensorCategory | |
Ord (Ar FinCard) Source # | |
Defined in Math.QuantumAlgebra.TensorCategory | |
Show (Ob FinCard) Source # | |
Show (Ar FinCard) Source # | |
data Ob FinCard Source # | |
Defined in Math.QuantumAlgebra.TensorCategory | |
data Ar FinCard 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 # | |
Defined in Math.QuantumAlgebra.TensorCategory | |
Ord (Ar Braid) Source # | |
Defined in Math.QuantumAlgebra.TensorCategory | |
Show (Ob Braid) Source # | |
Show (Ar Braid) Source # | |
data Ob Braid Source # | |
Defined in Math.QuantumAlgebra.TensorCategory | |
data Ar Braid Source # | |
Instances
Eq (Ob (Vect k)) Source # | |
Eq (Ar (Vect k)) Source # | |
Ord (Ob (Vect k)) Source # | |
Defined in Math.QuantumAlgebra.TensorCategory | |
Ord (Ar (Vect k)) Source # | |
Defined in Math.QuantumAlgebra.TensorCategory | |
Show (Ob (Vect k)) Source # | |
Show (Ar (Vect k)) Source # | |
Num k => MCategory (Vect k) Source # | |
Defined in Math.QuantumAlgebra.TensorCategory | |
data Ob (Vect k) Source # | |
Defined in Math.QuantumAlgebra.TensorCategory | |
data Ar (Vect k) Source # | |
Instances
Monoidal Cob2 Source # | |
MCategory Cob2 Source # | |
Eq (Ob Cob2) Source # | |
Eq (Ar Cob2) Source # | |
Ord (Ob Cob2) Source # | |
Defined in Math.QuantumAlgebra.TensorCategory | |
Ord (Ar Cob2) Source # | |
Defined in Math.QuantumAlgebra.TensorCategory | |
Show (Ob Cob2) Source # | |
Show (Ar Cob2) Source # | |
data Ob Cob2 Source # | |
Defined in Math.QuantumAlgebra.TensorCategory | |
data Ar Cob2 Source # | |