acsets-relational-thinking
✓カテゴリ別データベース設計と DPO 書き換えのための ACSet (属性 C-Set)
インストール
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-Set) ソース: 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-Set) ソース: 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 で使用できるようになります
ソースリポジトリはどこですか？
https://github.com/plurigrid/asi
詳細
- カテゴリ
- </>開発ツール
- ソース
- skills.sh
- 初回登録
- 2026-02-01