categories-functors

by parcadei3.9k

Problem-solving strategies for categories functors 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 categories-functors -a cursor -y

How do I install categories-functors?: Download .claude/skills/math/category-theory/categories-functors/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 categories-functors live?: The publisher keeps it at https://github.com/parcadei/Continuous-Claude-v3.
Which agents can use categories-functors?: Claude, Cursor, and Codex can read a SKILL.md you add from the publisher's repository.

Use this skill when working on categories-functors problems in category theory.

Verify Category Axioms
- Objects and morphisms (arrows) defined?
- Identity morphism for each object: id_A: A -> A
- Composition associative: (f . g) . h = f . (g . h)
- Write Lean 4: theorem assoc : (f ≫ g) ≫ h = f ≫ (g ≫ h) := Category.assoc