catsharp-galois
OfficialGalois adjunction between spaces.
Authorplurigrid
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Establishes Galois adjunction α ⊣ γ between conceptual spaces:
HERE ───────────→ ELSEWHERE ↑ γ (concretize) │ │ Bridge: CatSharp Scale (Mazzola's categorical music theory)
GF(3): (+1) + (0) + (-1) = 0 ✓
Core Features & Use Cases
- GF(3) trit mapping: Pitch classes to trits.
- Galois connection API: α and γ functors with verification.
- Bridge to topos-of-music: Connects to Rubato and topoi.
Quick Start
Run genesis-catsharp seed; verify the galois adjunction; sonify via pitch-classes.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: catsharp-galois Download link: https://github.com/plurigrid/asi/archive/main.zip#catsharp-galois Please download this .zip file, extract it, and install it in the .claude/skills/ directory.