The topos of music: geometric logic of concepts, theory, and performance · Study