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