Here's my proposal for the square root of a line segment.
It's the Cantor set obtaining by repeatedly splitting the intervals into four, and removing the two middle pieces. When you take the cartesian square of that space, you obtain something whose projection is exactly an interval:

