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