Agent skill

structured-decomp

StructuredDecompositions.jl sheaves on tree decompositions for FPT algorithms with bidirectional navigation

majiayu000534★ · 1 repos on radarProfile →
claude-codeMIT
Install
npx skills add majiayu000/claude-skill-registry --skill structured-decomp --agent claude-code

Same command for any agent — swap --agent for codex, cursor, copilot.

Facts
Files in the skill folder: 2
SKILL.md size: 7 KB
Bundled scripts: none
Version: 1.0.0
Path: skills/ai-ml/structured-decomp/SKILL.md
Open the folder on GitHub →
Where it comes from
Stars: 534
Language: HTML

Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.

From the SKILL.md

# Structured Decompositions Skill > Sheaves on tree decompositions with bidirectional navigation **Version**: 1.1.0 **Trit**: 0 (Ergodic - coordinates decomposition) ## bmorphism Contributions > *"Compositional Algorithms on Compositional Data: Deciding Sheaves on Presheaves"* > — [ACT 2023](https://act2023.github.io/papers/paper45.pdf), Benjamin Merlin Bumpus et al. > *"any computational problem which can be represented as a sheaf with respect to these topologies can be decided in linear time on classes of inputs which admit decompositions of bounded width"* > — [arXiv:2302.05575](https://arxiv.org/abs/2302.05575) **Key Insight**: Structured decompositions define **Grothendieck topologies** on categories of data (adhesive categories). This leads to algorithms on objects of any C-set category - structures such as: symmetric graphs, directed graphs, hypergraphs, databases, simplicial complexes, port graphs. **Implementation**: Concrete implementations in the [AlgebraicJulia](https://algebraicjulia.github.io/StructuredDecompositions.jl) ecosystem. Related to bmorphism's work on: - [plurigrid/act](https://github.com/plurigrid/act) - cognitive category theory building blocks - [Towards

What's inside
Steps it walks through
  1. bmorphism Contributions
  2. Core Concept
  3. The 𝐃 Functor
  4. Specter-Style Navigation for Decompositions
  5. Decomposition Navigators
  6. FPT Complexity
  7. Integration with lispsyntax-acset
  8. Adhesion as Colored Boundary
  9. GF(3) Triads
  10. Time-Varying Data (Brunton + Spivak Integration)
  11. Julia Scientific Package Integration
  12. Cross-Domain Decomposition Patterns
  13. References
  14. See Also
Ships with 1 file
  • metadata.json
More from claude-skill-registry
All skills →
About this skill
What does the structured-decomp skill do?

StructuredDecompositions.jl sheaves on tree decompositions for FPT algorithms with bidirectional navigation

How do I install it?

Run `npx skills add majiayu000/claude-skill-registry --skill structured-decomp --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.

Where does this skill come from?

From majiayu000/claude-skill-registry, a repository with 534 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.

Is a popular skill a good skill?

Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.

Keep going