SKILL: ACSets Relational Thinking

Version: 2.0.0 Trit: 0 (ERGODIC) Domain: database, category-theory, rewriting Source: Topos Institute RelationalThinking Course + AlgebraicJulia

Overview

ACSets (Attributed C-Sets) are functors X: C → Set where C is a small category (schema). This skill integrates:

1. RelationalThinking Course - Topos Institute's pedagogical approach
2. DPO Rewriting - Double Pushout graph transformation
3. Self-Play Loop - Query → Execute → Evaluate → Refine
4. GF(3) Conservation - Triadic skill composition