Shapes: span
A span, also called "the walking span", is a common subdiagram.
Subshapes
These shapes occur as full subdiagrams of any span. As a result, any category where a span always has a diagram will also have diagrams for these shapes.
- arrow
- pair of points
- point
- empty diagram
diagrams: span
This data as json
| shape |
|---|
| span |