Abstract:This paper proposes mathematical foundations for music theory and composition. While mathematical methods have proven effective in music theory, a deficiency in rigorous mathematical foundations often leads to ad-hoc constructions and a reliance on intuitive notions with inexplicit definitions. The proposal introduces a comprehensive environment for encoding musical phenomena, as well as a theory of musical parameter. Drawing from the methodologies of (Mazzola, Guerino. 2002. The Topos of Music: Geometric Logic of Concepts, Theory, and Performance . Basel: Birkhäuser Verlag), the proposed framework aims to extend his theory of forms to accommodate a wider class of musical structures. Additionally, I advocate for a framework characterized by "comprehensive comprehension" (accommodating a broad class of musical objects), "explicit encoding" (capturing essential features of objects), and "limited ontological commitments" (minimizing posited ontological primitives). These three aspects aim to ensure the framework's generality, explicit representation of structure, and economic efficiency in theoretical constructions. Minimizing ontological commitments also has the benefit of facilitating easier comparisons between entities. This approach is motivated by the desire for a highly versatile framework that enables systematic and standardized construction methods without constraining the intended domain of discourse. To achieve these goals, the paper introduces a mathematical theory of structure grounded in topos theory. By offering a unified and systematic approach, this work contributes to establishing a more rigorous and standardized basis for mathematical music theory. This, in turn, fosters a deeper understanding of musical phenomena and enables more robust theoretical constructions and compositional applications.

Categories, Musical Instruments, and Drawings: A Unification Dream

Introduction to Gestural Similarity in Music. An Application of Category Theory to the Orchestra

Towards A Categorical Approach of Transformational Music Theory

Towards a mathematical foundation for music theory and composition: a theory of structure

Hidden Categories: a New Perspective on Lewin's Generalized Interval Systems and Klumpenhouwer Networks

From Music to Mathematics and Backwards: Introducing Algebra, Topology and Category Theory into Computational Musicology

Shall We (Math and) Dance?

Topology of Networks in Generalized Musical Spaces

Music, mind and mathematics: theory, reality and formality

Insights From Univalent Foundations: A Case Study Using Double Categories

Mathematics and group theory in music

Harmony and Duality: An introduction to Music Theory

Music-driven geometric and topologic intuition: a case study with the Klein bottle

Music in Terms of Science

Towards a Hermeneutic Categorical Mathematics or why Category theory goes beyond Mathematical Structuralism

Structural characterization of musical harmonies

Non-Commutative Geometry, Categories and Quantum Physics

A Modal Walk Through Space

Towards a topological fingerprint of music

Taking Music Seriously: on the Dynamics of 'Mathemusical' Research with a Focus on Hexachordal Theorems

La matematica armonia dei suoni naturali. Ovvero, l'armonica matematica dei suoni naturali