catabase
| subshape | shape |
|---|---|
| empty diagram | point |
| empty diagram | pair of points |
| empty diagram | arrow |
| empty diagram | span |
| empty diagram | cospan |
| empty diagram | pair of parallel arrows |
| empty diagram | tower |
| empty diagram | endomorphism |
| empty diagram | transfinite composition |