Join Constructions and Connectivity

Opening obstruction

Later replacement and Freudenthal arguments need the connectivity of joins, but that interface cannot be hidden inside an optional completion chapter.

Development contract

Construct joins of maps and types, prove their algebra, finite join powers, connectivity, and the suspension and wedge corollaries required later. Sequential-colimit images, replacement and completion remain optional applications in the following chapter.