Synthetic Spaces