HaskellForMaths-0.4.5: Combinatorics, group theory, commutative algebra, non-commutative algebra

Safe HaskellSafe-Infered

Math.QuantumAlgebra.TensorCategory

Description

A module defining classes and example instances of categories and tensor categories

Documentation

class Category c whereSource

Associated Types

data Ob c :: *Source

data Ar c :: *Source

Methods

id_ :: Ob c -> Ar cSource

source, target :: Ar c -> Ob cSource

(>>>) :: Ar c -> Ar c -> Ar cSource

Instances

class Category c => TensorCategory c whereSource

Methods

tunit :: Ob cSource

tob :: Ob c -> Ob c -> Ob cSource

tar :: Ar c -> Ar c -> Ar cSource

Instances

class TensorCategory c => StrictTensorCategory c Source

class TensorCategory c => WeakTensorCategory c whereSource

Methods

assoc :: Ob c -> Ob c -> Ob cSource

lunit :: Ob c -> Ob cSource

runit :: Ob c -> Ob cSource

data SymmetricGroupoid Source

Instances

data Braid Source

Instances

s :: Int -> Int -> Ar BraidSource

data Cob2 Source

Instances

rewrite :: Ar Cob2 -> Ar Cob2Source