FreeSkills
Knowledge wiki setup
- 418418 downloads
- 129129 likes
- 161161 saves
Works with
- Claude Code
- Codex
- Cursor
- and 3 more
Natural transformations: naturality and Yoneda v1.0.0
Use this resource to check the naturality of a transformation between functors
New
- 491 downloads
- 152 likes
- 105 saves
Free
Install with the CLI
In a terminal, from the folder you want:
npx --yes palatekit@latest install natural-transformation-naturalityWith no option, the skill goes to ~/.agents/skills/; add --agent claude-code (or codex, cursor…) to target an agent.
First time: connect the CLI with
npx --yes palatekit@latest loginThe agent checks the naturality condition for each morphism, analyzes the components, then identifies natural isomorphisms. It writes the statements in Lean 4 with Mathlib, including the Yoneda lemma. You get formal statements ready to compile.
Mostly picked by
Updated November 2, 2026
Previews
Details
- Install guides
- Generates with
- Your agent's model
- Licence
- MIT
Similar resources
View all- Free
FreeSkills
Wiki health check
- 552552 downloads
- 202202 likes
- 127127 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
FreeSkills
Ask your wiki
- 374374 downloads
- 131131 likes
- 214214 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
FreeSkills
Wiki source ingestion
- 315315 downloads
- 230230 likes
- 246246 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
FreeSkills
Wiki auditor agent
- 556556 downloads
- 205205 likes
- 192192 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
FreeSkills
UX research assistant
- 598598 downloads
- 142142 likes
- 236236 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
FreeSkills
Wiki ingestion agent
- 437437 downloads
- 162162 likes
- 191191 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
FreeSkills
Wiki librarian agent
- 304304 downloads
- 120120 likes
- 217217 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
What you get
- SKILL.md: naturality condition, components and natural isomorphisms
- SKILL.md: Lean 4 templates (naturality, transformation, Yoneda lemma)
Good fit for
- You need to prove that a family of morphisms is natural
- You are formalizing the Yoneda lemma in Mathlib
Not for
Tags
- natural transformations
- functors
- Lean 4
- Yoneda
About
You say
“Show that this family of morphisms is a natural transformation between F and G.”
Skill published by parcadei under the MIT license, delivered in its original version.
Show moreShow less
How to use it
- Install the skill in your agent's skills folder
- Ask your agent to check the naturality of a transformation between functors
- Review and adjust the result
Content preview
Files
- LICENSE1.1 KB
- NOTICE-PALATEKIT.md0.5 KB
- SKILL.md1.9 KB
Origin and licence
Listed unmodified
- Author
- parcadei
- Source
- github.com/parcadei/continuous-claude-v3/tree/d07ff4b06b62f43771bc0c927d0211b734d6149e/.claude/skills/math/category-theory/natural-transformations
- Licence
- MIT
Notice
« natural-transformations » (parcadei, MIT) livré dans sa version d'origine : fiche en français et en anglais par PalateKit.
User reviews
–
No ratings yet
Loading reviews…