Module Precategory.Make.Presentation

module Presentation: sig .. end

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

module E: Stdlib.Map.Make(X)

type t = (Precategory.Make.cell * Precategory.Make.cell)
       E.t

val empty : 'a E.t

Empty signature.

val mem : 'a E.t ->
       E.key -> bool

Does a generator belong the signature?

val boundary : (E.key * E.key)
       E.t ->
       E.key ->
       E.key * E.key

val source : (E.key * E.key)
       E.t ->
       E.key -> E.key

Source of a generator.

val target : (E.key * E.key)
       E.t ->
       E.key -> E.key

Target of a generator.

module Cell: sig .. end

Operations on cells in a presentation.