The Topos of Music I: Theory