Oh that all looks too concretified to me. Mathematicians are Platonists on weekdays and Formalists on Sunday.
Euclidean space is intuitive. He extended it. So what do you construct an abstract extension out of? Well, are you really constructing if it’s abstract? Unless constructing is an abstraction. But abstraction of what? Building materials?
So, you create an abstract space out of abstract building materials.