npx claudepluginhub plurigrid/asi --plugin asiThis skill uses the workspace's default tool permissions.
> Colored operad composition for structured generation
Provides DisCoPy code examples for string diagrams, monoidal categories, operads, and colored operad skill composition in Python. Useful for categorical modeling and active inference.
Guides Next.js Cache Components and Partial Prerendering (PPR) with cacheComponents enabled. Implements 'use cache', cacheLife(), cacheTag(), revalidateTag(), static/dynamic optimization, and cache debugging.
Guides building MCP servers enabling LLMs to interact with external services via tools. Covers best practices, TypeScript/Node (MCP SDK), Python (FastMCP).
Share bugs, ideas, or general feedback.
Colored operad composition for structured generation
Trit: +1 (PLUS)
Color: #D82626 (Red)
Role: Generator/Creator
A colored operad O has:
c₁ c₂ c₃
\ | /
\ | /
\|/
O(c₁,c₂,c₃; c)
|
c
γ: O(c₁,...,cₙ; c) × O(d₁,...,dₘ; c₁) → O(d₁,...,dₘ,c₂,...,cₙ; c)
Substituting into the first input slot.
γ: O(c₁,...,cₙ; c) × ∏ᵢ O(dᵢ,₁,...,dᵢ,ₖᵢ; cᵢ) → O(d₁,₁,...,dₙ,ₖₙ; c)
# Musical operad for composition
struct MusicOperad
colors::Set{Symbol} # :melody, :rhythm, :harmony, :texture
operations::Dict{Tuple, Vector{Symbol}} # input colors → output color
end
# Operadic composition for music
function compose_operad(op1, op2, slot::Int)
# op1: (c₁,...,cₙ) → c
# op2: (d₁,...,dₘ) → cₛₗₒₜ
# result: (c₁,...,cₛₗₒₜ₋₁,d₁,...,dₘ,cₛₗₒₜ₊₁,...,cₙ) → c
new_inputs = vcat(
op1.inputs[1:slot-1],
op2.inputs,
op1.inputs[slot+1:end]
)
(inputs=new_inputs, output=op1.output)
end
# Colored operad with GF(3) colors
const GF3Colors = [:minus, :ergodic, :plus] # -1, 0, +1
struct GF3Operad
# Operations that conserve GF(3)
operations::Vector{NamedTuple}
end
# Valid operations sum to 0 mod 3
function valid_gf3_op(inputs::Vector{Int}, output::Int)
(sum(inputs) + output) % 3 == 0
end
# Generate all valid operations
function gf3_operations(arity::Int)
[(inputs=ins, output=out)
for ins in Iterators.product(fill(-1:1, arity)...)
for out in -1:1
if valid_gf3_op(collect(ins), out)]
end
Configuration spaces of n non-overlapping disks:
E₂(n) = { (z₁,r₁),...,(zₙ,rₙ) : disks don't overlap } / scaling
-- Little intervals operad for A∞ structure
data E1 n = E1 { intervals :: Vector n (Double, Double) }
-- Composition: splice intervals
compose :: E1 n -> Int -> E1 m -> E1 (n + m - 1)
persistent-homology (-1) ⊗ open-games (0) ⊗ operad-compose (+1) = 0 ✓
clj-kondo-3color (-1) ⊗ acsets (0) ⊗ operad-compose (+1) = 0 ✓
proofgeneral-narya (-1) ⊗ glass-bead-game (0) ⊗ operad-compose (+1) = 0 ✓
# Compose operations
just operad-mult op1 op2 slot
# Generate GF(3) operations of given arity
just operad-gf3 arity
# Visualize operad tree
just operad-tree operation
# Check operad associativity
just operad-assoc op1 op2 op3
| Domain | Operad | Colors |
|---|---|---|
| Music | Composition | melody, rhythm, harmony |
| Types | Substitution | types |
| Topology | Little disks | points |
| Logic | Cut-elimination | formulas |
| AI | Skill composition | capabilities |
This skill connects to the K-Dense-AI/claude-scientific-skills ecosystem:
category-theory: 139 citations in bib.duckdboperads: 5 citations in bib.duckdbThis skill maps to Cat# = Comod(P) as a bicomodule in the equipment structure:
Trit: 1 (PLUS)
Home: Prof
Poly Op: ◁
Kan Role: Adj
Color: #4ECDC4
The skill participates in triads satisfying:
(-1) + (0) + (+1) ≡ 0 (mod 3)
This ensures compositional coherence in the Cat# equipment structure.