Topoi of Music

  • Guerino Mazzola
Part of the Computational Music Science book series (CMS)


This chapter is a conceptual synthesis of the previous achievements. We show that the overall structure of the category Glob of global compositions carries a Grothendieck pretopology via finite covering families. It is well known that such a pretopology generates a Grothendieck topology J and therefore a Lawvere{Tierny topology j on the presheaf topos Glob@. We discuss the associated instances, such as the subobject classifier sheaf Ω, and the subtopos Sh(J; Glob) of sheaves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing AG, part of Springer Nature 2017

Authors and Affiliations

  • Guerino Mazzola
    • 1
  1. 1.School of MusicUniversity of MinnesotaMinneapolisUSA

Personalised recommendations