GratuitSkills
Création d'un wiki de connaissances
- 418418 téléchargements
- 129129 mentions J'aime
- 161161 sauvegardes
Compatible avec
- Claude Code
- Codex
- Cursor
- et 3 autres
Transformations naturelles : naturalité et Yoneda v1.0.0
Utilisez cette ressource pour vérifier la naturalité d'une transformation entre foncteurs
Nouveau
- 491 téléchargements
- 152 mentions J'aime
- 105 sauvegardes
Gratuit
Installer avec la CLI
Dans un terminal, depuis le dossier voulu :
npx --yes palatekit@latest install natural-transformation-naturalitySans option, la skill va dans ~/.agents/skills/ ; ajoutez --agent claude-code (ou codex, cursor…) pour viser un agent.
Première fois : connectez la CLI avec
npx --yes palatekit@latest loginL'agent contrôle la condition de naturalité pour chaque morphisme, analyse les composantes, puis repère les isomorphismes naturels. Il rédige les énoncés en Lean 4 avec Mathlib, y compris le lemme de Yoneda. Vous obtenez des énoncés formels prêts à compiler.
Choisie surtout par
Mise à jour le 2 novembre 2026
Aperçus
Caractéristiques
- Fonctionne dans
- Guides d'installation
- Génère avec
- Le modèle de votre agent
- Licence
- MIT
Ressources similaires
Tout voir- Gratuit
GratuitSkills
Contrôle de santé du wiki
- 552552 téléchargements
- 202202 mentions J'aime
- 127127 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Interroger son wiki
- 374374 téléchargements
- 131131 mentions J'aime
- 214214 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Ajouter une source au wiki
- 315315 téléchargements
- 230230 mentions J'aime
- 246246 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Agent auditeur de wiki
- 556556 téléchargements
- 205205 mentions J'aime
- 192192 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Assistant de recherche UX
- 598598 téléchargements
- 142142 mentions J'aime
- 236236 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Agent d'ingestion de wiki
- 437437 téléchargements
- 162162 mentions J'aime
- 191191 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Agent bibliothécaire de wiki
- 304304 téléchargements
- 120120 mentions J'aime
- 217217 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
Ce que vous obtenez
- SKILL.md : condition de naturalité, composantes et isomorphismes naturels
- SKILL.md : modèles Lean 4 (naturalité, transformation, lemme de Yoneda)
Pour qui
- Vous devez prouver qu'une famille de morphismes est naturelle
- Vous formalisez le lemme de Yoneda dans Mathlib
Pas pour qui
Étiquettes
- transformations naturelles
- foncteurs
- lean 4
- Yoneda
À propos
Vous dites
« Montre que cette famille de morphismes est une transformation naturelle entre F et G. »
Skill publiée par parcadei sous licence MIT. Fichiers livrés dans leur version d'origine, en anglais.
Voir plusVoir moins
Comment l'utiliser
- Installez la skill dans le dossier de skills de votre agent
- Demandez à votre agent de vérifier la naturalité d'une transformation entre foncteurs
- Relisez et ajustez le résultat
Aperçu du contenu
Fichiers
- LICENSE1,1 Ko
- NOTICE-PALATEKIT.md0,5 Ko
- SKILL.md1,9 Ko
Origine et licence
Référencée sans modification
- Auteur
- 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.
Avis des utilisateurs
–
Aucune note pour l'instant
Chargement des avis…