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
Catégories et foncteurs : axiomes et énoncés Lean 4 v1.0.0
Utilisez cette ressource pour vérifier les axiomes d'une catégorie et les propriétés d'un foncteur
Nouveau
- 311 téléchargements
- 177 mentions J'aime
- 243 sauvegardes
Gratuit
Installer avec la CLI
Dans un terminal, depuis le dossier voulu :
npx --yes palatekit@latest install category-functor-axioms-leanSans 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 les axiomes de catégorie (identité, associativité), puis les propriétés de préservation des foncteurs. Il rédige les énoncés en Lean 4 avec Mathlib et prévoit la compilation. Vous obtenez des énoncés formels prêts à vérifier.
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 : vérification des axiomes et des foncteurs, avec exemples de théorèmes Lean 4
- SKILL.md : étape de compilation Lean 4 avec Mathlib
Pour qui
- Vous formalisez un exercice de théorie des catégories en Lean 4
- Vous devez prouver qu'une application préserve la composition
Pas pour qui
Étiquettes
- théorie des catégories
- foncteurs
- lean 4
- Mathlib
À propos
Vous dites
« Montre en Lean 4 que ce foncteur préserve la composition des morphismes. »
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 les axiomes d'une catégorie et les propriétés d'un foncteur
- 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/categories-functors
- Licence
- MIT
Notice
« categories-functors » (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…