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