Abstract
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.
Original language | English (US) |
---|---|
Title of host publication | Computational Music Science |
Publisher | Springer Nature |
Pages | 351-359 |
Number of pages | 9 |
DOIs | |
State | Published - 2017 |
Publication series
Name | Computational Music Science |
---|---|
ISSN (Print) | 1868-0305 |
ISSN (Electronic) | 1868-0313 |
Bibliographical note
Publisher Copyright:© 2017, Springer International Publishing AG, part of Springer Nature.