A Categorical Generalization of Counterpoint

Octavio A. Agustín-Aquino, Juan Sebastián Arias, Enrique Ruiz Hernández

We extend Mazzola's counterpoint model using category theory, generalizing from the category $\mathbf{Set}$ to an arbitrary topos other than $\mathbf{Set}$. This generalization sug…