diagrams
Implements diagrammatic sets and diagrams.
Class for diagrammatic sets, a model of higher-dimensional rewrite systems and/or directed cell complexes. |
|
|
Class for diagrams, that is, mappings from a shape to an "ambient" diagrammatic set. |
|
Subclass of |
|
Subclass of |
|
Subclass of |