Schreiber principal omega-bundles

To-do list

• discuss the claim that the $n$-globe is the double-cone over the $(n-1)$-globe in more detail;

• spell out the proof that $G \to \mathbf{E}G \to \mathbf{B}G$ is an exact sequence in more detail.