limits-colimits

by parcadei3.9k

Problem-solving strategies for limits colimits 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 limits-colimits -a cursor -y

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

Use this skill when working on limits-colimits problems in category theory.

Identify Limit Type
- Product: limit of discrete diagram
- Equalizer: limit of parallel pair f, g: A -> B
- Pullback: limit of A -> C <- B
- Terminal object: limit of empty diagram
- Lean 4: CategoryTheory.Limits namespace
Verify Universal Property