I too was thinking there would be a category theory angle on this, but of course it makes sense to have diverse interests. The question of whether musical nota

I too was thinking there would be a category theory angle on this, but of course it makes sense to have diverse interests. The question of whether musical notation is Turing complete, and what it might mean if it were, would have been an interesting one for a category theorist to examine.