The Topos of Music I: Theory - Guerino Mazzola (Springer, 2017)