Re: The Topos of Music

I obtained that thick book of Mazzola et al a few days ago. They try to analyse and synthesize various aspects of music with mathematical structures. They construct such structures from the category of modules and borrow some techniques from algebraic geometry, but formal logic does not appear in it. They also utilize works in computer science for their purpose and indeed has developed their software for musical composition and performance. It might be interesting as an application of mathematical conceptions. I would like to suspend my judgement on the value of this book until using the software. Hiroyuki Miyoshi