natural-transformations

by parcadei3.9k

Problem-solving strategies for natural transformations in category theory

Install

The skill file stays in the publisher's repository.

Paste the copied command in a terminal. It installs this SKILL.md into that agent.

npx skills add parcadei/Continuous-Claude-v3 --skill natural-transformations -a cursor -y

How do I install natural-transformations?: Download .claude/skills/math/category-theory/natural-transformations/SKILL.md from the publisher, or copy the path and open the repository. PlugMCP lists the skill and does not host the file.
Where does natural-transformations live?: The publisher keeps it at https://github.com/parcadei/Continuous-Claude-v3.
Which agents can use natural-transformations?: Claude, Cursor, and Codex can read a SKILL.md you add from the publisher's repository.

Use this skill when working on natural-transformations problems in category theory.

Verify Naturality
- eta: F => G is natural transformation between functors F, G: C -> D
- For each f: A -> B in C, diagram commutes: G(f) . eta_A = eta_B . F(f)
- Write Lean 4: theorem nat : η.app B ≫ G.map f = F.map f ≫ η.app A := η.naturality