Functor Precategory.Make

module Make: functor (X : Alphabet.T) -> sig .. end

Free precategories.

Parameters:

X : Alphabet.T

type cell =

`\|`	`C of whisker * cell`	`(*`	a composite	`*)`
`\|`	`I of cell`	`(*`	an identity	`*)`

A cell.

A whiskered generator.

type whisker =

`\|`	`G of X.t`	`(*`	a generator	`*)`
`\|`	`W of cell * whisker * cell`	`(*`	a whisker context	`*)`

type t = cell

val to_string : cell -> string

String representation of a cell.

val dim : cell -> int

Dimension of a cell.

val compose : cell -> cell -> cell

Composition of two cells on the boundary of maximal dimension.

module Presentation: sig .. end

Presentation of a precategory: a "pre-polygraph".