HoTT Sphere

If you want to know where spheres come from in HoTT, check out Andrej Bauer's terrific animation.