Expand description
Computads in dimension one.
A 1-computad, in the strictest sense of the term, is the generating data for a free category, which is just a graph. This module provides simple data structures to aid in defining computads for categories with extra structure. For example, a computad for monoidal categories is called a “tensor scheme” by Joyal and Street and a “pre-net” in the Petri net literature.
Structs§
- Computad
- A 1-computad.
- Computad
Top - Top-dimensional data of a 1-computad.