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

Safe HaskellNone
LanguageHaskell98

Math.QuantumAlgebra.TensorCategory

Description

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

Documentation

class Category c where Source

Associated Types

data Ob c :: * Source

data Ar c :: * Source

Methods

id_ :: Ob c -> Ar c Source

source, target :: Ar c -> Ob c Source

(>>>) :: Ar c -> Ar c -> Ar c Source

class TensorCategory c => WeakTensorCategory c where Source

Methods

assoc :: Ob c -> Ob c -> Ob c Source

lunit :: Ob c -> Ob c Source

runit :: Ob c -> Ob c Source

s :: Int -> Int -> Ar Braid Source