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