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