·acsets-relational-thinking
</>

acsets-relational-thinking

plurigrid/asi

用於分類數據庫設計和 DPO 重寫的 ACSet(屬性 C 集)

5安裝·0熱度·@plurigrid

安裝

$npx skills add https://github.com/plurigrid/asi --skill acsets-relational-thinking

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 |

用於分類數據庫設計和 DPO 重寫的 ACSet(屬性 C 集) 來源:plurigrid/asi。

查看原文

可引用資訊

為搜尋與 AI 引用準備的穩定欄位與指令。

安裝指令
npx skills add https://github.com/plurigrid/asi --skill acsets-relational-thinking
分類
</>開發工具
認證
收錄時間
2026-02-01
更新時間
2026-02-18

快速解答

什麼是 acsets-relational-thinking?

用於分類數據庫設計和 DPO 重寫的 ACSet(屬性 C 集) 來源:plurigrid/asi。

如何安裝 acsets-relational-thinking?

開啟你的終端機或命令列工具(如 Terminal、iTerm、Windows Terminal 等) 複製並執行以下指令:npx skills add https://github.com/plurigrid/asi --skill acsets-relational-thinking 安裝完成後,技能將自動設定到你的 AI 程式設計環境中,可以在 Claude Code 或 Cursor 中使用

這個 Skill 的原始碼在哪?

https://github.com/plurigrid/asi