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