A Categorical Generalization of Counterpoint

TL;DR

This paper generalizes Mazzola's counterpoint model using category theory, showing that counterpoint's core structure depends on categorical conditions rather than set theory, and introduces new structures capturing opposition in musical intervals.

Contribution

It extends counterpoint theory to arbitrary topoi with minimal categorical conditions, introducing quasidichotomies and a generalized counterpoint theorem.

Findings

Counterpoint sequences exist in suitable topoi.

The framework accommodates set-based counterpoint with context-dependent consonance.

Generalizes to involutive morphisms, broadening theoretical applicability.

Abstract

We extend Mazzola's counterpoint model using category theory, generalizing from the category $\mathbf{Set}$ to other topoi with suitable properties. This generalization suggests that counterpoint's essential structure depends on specific categorical conditions rather than classical set-theoretic reasoning. A key contribution is identifying the minimal requirements for counterpoint theory: the topos satisfying some version of Zorn's Lemma (ZL) and being two-valued with split supports (NS). Within this framework, we introduce (weak) quasidichotomies alongside the classical notion of dichotomy. These structures capture varying degrees of oppositional structure between consonance and dissonance, with weak quasidichotomies preserving the non-Boolean flexibility essential to musical practice while quasidichotomies represent maximal opposition short of complete partition. We prove a generalized counterpoint theorem: sequences of admitted successors exist in any topos satisfying our conditions. The framework naturally accommodates counterpoint with sets instead of pure pitches, relaxing the "yes/no" character of classical consonance definitions and emphasizing context-dependence. Mazzola's model allows a Kuratowski closure operator induced by a polarity, which defines an internal topology enabling algebraic-topological analysis of counterpoint structure. We close proving this construction generalizes to involutive morphisms. This categorical approach provides foundations for understanding both the historical evolution of contrapuntal practice and cross-cultural divergences in interval organization.