topos-of-music

Model musical structures and transformations with Topos of Music forms and PLR operations.

60|13|Updated Dec 22, 2025
One-click install
npx skills add https://github.com/plurigrid/asi --skill topos-of-music
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: topos-of-music
Source: https://github.com/plurigrid/asi/tree/main/skills/topos-of-music
Command: npx skills add https://github.com/plurigrid/asi --skill topos-of-music

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Implements Guerino Mazzola's Topos of Music, including Forms, Denotators, Morphisms, and Neo-Riemannian PLR operations with color integration.

Core Features & Use Cases

  • Forms & Denotators: Build musical objects with structured types.
  • Morphisms & PLR: Transform chords with PLR operations.
  • Color Mapping: Use Gay.jl color integration for sonic mapping.

Quick Start

Run the Julia-based Topos demo to observe morphisms and PLR transitions.

Frequently Asked Questions about topos-of-music

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I model musical structures using categorical topology?

Categorical topology models musical structures through Guerino Mazzola's Topos of Music framework, which defines Forms, Denotators, and Morphisms to represent notes, chords, and scores as structured mathematical objects with transformations.

What are PLR operations and how do I apply them to chords?

PLR operations are Neo-Riemannian transformations (Parallel, Leading-tone exchange, Relative) that modify chords systematically. The Skill applies PLR morphisms to transform chord structures while maintaining harmonic relationships.

Can I use color mapping with music theory data in Julia?

Yes, the Skill integrates Gay.jl color mapping to create sonic and visual representations of musical data, enabling color-coded chord transformations and tonnetz navigation in Julia-based workflows.

How do I navigate tonnetz diagrams and verify K-nets?

Tonnetz navigation traverses pitch-class space geometrically, while K-net verification validates Klumpenhouwer networks representing voice-leading relationships. The Skill provides utilities for both operations on chord and score structures.

What's the difference between SimpleForm, LimitForm, and ColimitForm?

SimpleForm defines atomic musical objects, LimitForm constructs bounded product structures, and ColimitForm creates union-like structures. Each supports different hierarchies for organizing notes, chords, and scores.

Do I need prior knowledge of category theory to use this framework?

The framework assumes familiarity with music theory fundamentals and mathematical structures. Understanding Forms and Denotators requires categorical thinking, though the Skill abstracts away complex topology internals for common operations.