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