subshape,shape
arrow,span
arrow,cospan
arrow,pair of parallel arrows
arrow,tower
arrow,endomorphism
arrow,transfinite composition