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