Title: Nominal spaces