Guerino Mazzola U & ETH Zürich i2musics [email protected] www.encyclospace.org Extending Set Theory to Harmonic Topology and Topos Logic Music objects Why topoi? Logic…