GratuitSlides
Diaporama avec trame narrative et minutage
- 499499 téléchargements
- 205205 mentions J'aime
- 225225 sauvegardes
Compatible avec
+ Marp, reveal.js ou Slidev- Claude Code
- Codex
- Cursor
- et 3 autres
Résoudre des problèmes de limites en théorie des catégories v1.0.0
Utilisez cette ressource pour construire une limite ou une colimite et vérifier sa propriété universelle
Nouveau
- 461 téléchargements
- 230 mentions J'aime
- 230 sauvegardes
Gratuit
Installer avec la CLI
Dans un terminal, depuis le dossier voulu :
npx --yes palatekit@latest install category-limits-and-colimitsSans 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 identifie le type de limite ou de colimite, vérifie la propriété universelle et s'appuie sur Lean 4 pour obtenir le morphisme unique. Vous obtenez une limite justifiée.
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
Reformulation simple de la dernière réponse
- 501501 téléchargements
- 151151 mentions J'aime
- 162162 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Bilan de progression des révisions drill-me
- 475475 téléchargements
- 146146 mentions J'aime
- 182182 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Explication progressive, du contexte au mécanisme
- 305305 téléchargements
- 149149 mentions J'aime
- 204204 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Traduire un contrat en langage clair
- 423423 téléchargements
- 195195 mentions J'aime
- 178178 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Accompagner un arrêt du tabac, en parrain
- 575575 téléchargements
- 104104 mentions J'aime
- 142142 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Apprentissage d'un concept sur plusieurs séances
- 513513 téléchargements
- 159159 mentions J'aime
- 189189 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Contrôle du style des pages de documentation
- 573573 téléchargements
- 109109 mentions J'aime
- 126126 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
Ce que vous obtenez
- SKILL.md : arbre de décision (produit, égalisateur, pullback, objet terminal, colimite)
- SKILL.md : commandes Lean 4 (IsLimit.lift, CategoryTheory.Limits) et SymPy
Pour qui
- Vous devez démontrer une propriété universelle
- Vous étudiez les produits fibrés
Pas pour qui
Étiquettes
- catégories
- limites
- lean 4
- propriété universelle
À propos
Vous dites
« Construis le pullback de deux morphismes vers un même objet. »
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 construire une limite ou une colimite et vérifier sa propriété universelle
- 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/limits-colimits
- Licence
- MIT
Notice
« limits-colimits » (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…