With contributions by numerous experts

This is the first volume of the second edition of the now classic book “The Topos of Music”. The author explains the theory's conceptual framework of denotators and forms, the classification of local and global musical objects, the mathematical models of harmony and counterpoint, and topologies for rhythm and motives.

This book represents a new approach to musical creativity, dealing with the semiotics, mathematical principles, and software for creativity processes. After a thorough introduction, the book offers a first practical part with a detailed tutorial for students in composition and improvisation, using musical instruments and music software. The second, theoretical part deals with historical, actual, and new principles of creative processes in music, based on the results and methods developed in the first author’s book Topos of Music and referring to semiotics, predicative objects, topos theory, and object-oriented concept architectures. The third part of the book details four case studies in musical creativity, including an analysis of the six variations of Beethoven's sonata op. 109, a discussion of the creative process in a CD coproduced in 2011 by the first and second authors, a recomposition of Boulez’s "Structures pour deux pianos" using the Rubato software module BigBang developed by the third author, and the Escher theorem from mathematical gesture theory in music. This is both a textbook addressed to undergraduate and graduate students of music composition and improvisation, and also a state-of-the-art survey addressed to researchers in creativity studies and music technology. The book contains summaries and end-of-chapter questions, and the authors have used the book as the main reference to teach an undergraduate creativity studies program and also to teach composition. The text is supported throughout with musical score examples.

In 'Higher Topos Theory', Jacob Lurie presents the foundations of this theory using the language of weak Kan complexes introduced by Boardman and Vogt, and shows how existing theorems in algebraic topology can be reformulated and generalized in the theory's new language.

This text introduces topos theory, a development in category theory that unites important but seemingly diverse notions from algebraic geometry, set theory, and intuitionistic logic. Topics include local set theories, fundamental properties of toposes, sheaves, local-valued sets, and natural and real numbers in local set theories. 1988 edition.

Focusing on topos theory's integration of geometric and logical ideas into the foundations of mathematics and theoretical computer science, this volume explores internal category theory, topologies and sheaves, geometric morphisms, and other subjects. 1977 edition.

This textbook is a first introduction to mathematics for music theorists, covering basic topics such as sets and functions, universal properties, numbers and recursion, graphs, groups, rings, matrices and modules, continuity, calculus, and gestures. It approaches these abstract themes in a new way: Every concept or theorem is motivated and illustrated by examples from music theory (such as harmony, counterpoint, tuning), composition (e.g., classical combinatorics, dodecaphonic composition), and gestural performance. The book includes many illustrations, and exercises with solutions.