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