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