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