data-category-0.6.1: Category theory

Portabilitynon-portable
Stabilityexperimental
Maintainersjoerd@w3future.com
Safe HaskellSafe-Inferred

Data.Category.Cube

Description

The cube category.

Documentation

data Z Source

data S n Source

data Sign Source

Constructors

M 
P 

data Cube whereSource

Constructors

Z :: Cube Z Z 
S :: Cube x y -> Cube (S x) (S y) 
Y :: Sign -> Cube x y -> Cube x (S y) 
X :: Cube x y -> Cube (S x) y 

Instances

data Sign0 Source

Constructors

SM 
S0 
SP 

data ACube whereSource

Constructors

Nil :: ACube Z 
Cons :: Sign0 -> ACube n -> ACube (S n) 

data Forget Source

Constructors

Forget 

Instances

Functor Forget

Turn Cube x y arrows into ACube x -> ACube y functions.

data Add Source

Constructors

Add 

Instances

Functor Add

Ordinal addition is a bifuntor, it concattenates the maps as it were.

TensorProduct Add