acsets-relational-thinking
✓ACSets (Attributed C-Sets) for categorical database design and DPO rewriting
Installation
SKILL.md
Version: 2.0.0 Trit: 0 (ERGODIC) Domain: database, category-theory, rewriting Source: Topos Institute RelationalThinking Course + AlgebraicJulia
ACSets (Attributed C-Sets) are functors X: C → Set where C is a small category (schema). This skill integrates:
| STRUCTURAL | clj-kondo(-1) ⊗ acsets(0) ⊗ rama-gay(+1) | Schema validation → transport → generation | | TEMPORAL | three-match(-1) ⊗ unworld(0) ⊗ gay-mcp(+1) | Reduction → derivation → coloring | | STRATEGIC | proofgeneral(-1) ⊗ glass-bead(0) ⊗ rubato(+1) | Verification → hopping → composition |
ACSets (Attributed C-Sets) for categorical database design and DPO rewriting Source: plurigrid/asi.
Facts (cite-ready)
Stable fields and commands for AI/search citations.
- Install command
npx skills add https://github.com/plurigrid/asi --skill acsets-relational-thinking- Source
- plurigrid/asi
- Category
- </>Dev Tools
- Verified
- ✓
- First Seen
- 2026-02-01
- Updated
- 2026-02-18
Quick answers
What is acsets-relational-thinking?
ACSets (Attributed C-Sets) for categorical database design and DPO rewriting Source: plurigrid/asi.
How do I install acsets-relational-thinking?
Open your terminal or command line tool (Terminal, iTerm, Windows Terminal, etc.) Copy and run this command: npx skills add https://github.com/plurigrid/asi --skill acsets-relational-thinking Once installed, the skill will be automatically configured in your AI coding environment and ready to use in Claude Code or Cursor
Where is the source repository?
https://github.com/plurigrid/asi
Details
- Category
- </>Dev Tools
- Source
- skills.sh
- First Seen
- 2026-02-01