The quotient of a torus by its two generating circles is a sphere
Visualizing the dunce hat
The slinky was built in the study of computable type
A \(\Pi^0_4\)-hard space