How do I install the Acsets Hatchery skill?

Run npx skillmds@latest add diegosouzapw/acsets-hatchery in your terminal (requires Node.js), paste this page's agent-chat prompt into Claude, Cursor, or any MCP-connected agent, or download the SKILL.md file and copy it into your agent's skills directory.

Is Acsets Hatchery safe to use?

This skill has not completed SkillMD's automated safety review yet. Independent scanners report: SkillSpector: PASS, Skill Scanner: PASS. Capability flags: makes network calls. SkillMD never runs a skill's scripts for you; review the SKILL.md before installing.

Which AI agents work with Acsets Hatchery?

This skill is tagged as working with Claude Code, Claude.ai, OpenAI Codex. SKILL.md is an open format, so most agents that read a skills directory can load it too.

Is Acsets Hatchery free to use?

Yes. Installing skills from SkillMD is free, and the skill stays under its author's original license.

Who published Acsets Hatchery?

diegosouzapw (@diegosouzapw) published this skill. Their other Agent Skills are listed on their SkillMD profile.

Acsets Hatchery by diegosouzapw — Agent Skill

Name: Acsets Hatchery
Rating: 4.2 (5 reviews)
Author: diegosouzapw

File contents

ACSets Hatchery

Overview

ACSets.jl provides acsets ("attributed C-sets") - data structures generalizing both graphs and data frames. They are an efficient in-memory implementation of category-theoretic relational databases.

Core Features

Acset schemas - Category-theoretic data structure definitions
Acsets - Instances of schemas (like database rows)
Tabular columns - Efficient columnar storage
Serialization - JSON/binary format support

What Are ACSets?

An ACSet is a functor from a category C to Set, with attributes. This means:

Objects become tables
Morphisms become foreign keys
Attributes add data types to objects

Usage

using ACSets

# Define a schema
@present SchGraph(FreeSchema) begin
    V::Ob
    E::Ob
    src::Hom(E, V)
    tgt::Hom(E, V)
end

# Create an acset
g = @acset Graph begin
    V = 3
    E = 2
    src = [1, 2]
    tgt = [2, 3]
end

Extensions

Catlab.jl - Homomorphisms, limits/colimits, functorial data migration
AlgebraicRewriting.jl - DPO/SPO/SqPO rewriting for acsets

Learning Resources

Graphs and C-sets I - What is a graph?
Graphs and C-sets II - Half-edges and rotation systems
Graphs and C-sets III - Reflexive graphs and homomorphisms
Graphs and C-sets IV - Propositional logic of subgraphs

Gay.jl Integration

# Rec2020 wide gamut with acset seed
gay_seed!(0xb4545686b9115a09)

# Mixed mode checkpointing
params = OkhslParameters()
∂params = Enzyme.gradient(Reverse, loss, params, seed)

Citation

Patterson, Lynch, Fairbanks. Categorical data structures for technical computing. Compositionality 4, 5 (2022). arXiv:2106.04703

Repository

Source: plurigrid/ACSets.jl (fork of AlgebraicJulia/ACSets.jl)
Seed: 0xb4545686b9115a09
Index: 494/1055
Color: #204677

GF(3) Triad

algebraic-rewriting (-1) ⊗ acsets-hatchery (0) ⊗ gay-monte-carlo (+1) = 0 ✓

Related Skills

acsets-algebraic-databases - Full ACSet guide
specter-acset - Bidirectional navigation
world-a - AlgebraicJulia ecosystem

Forward Reference

unified-reafference (ACSet schema consumer)

Patterns That Work

Schema-first database design
Morphism-based foreign keys
Integration with unified-reafference

Patterns to Avoid

Ad-hoc schema changes
Missing attribute type annotations

SDF Interleaving

This skill connects to Software Design for Flexibility (Hanson & Sussman, 2021):

Primary Chapter: 3. Variations on an Arithmetic Theme

Concepts: generic arithmetic, coercion, symbolic, numeric

GF(3) Balanced Triad

acsets-hatchery (+) + SDF.Ch3 (○) + [balancer] (−) = 0

Skill Trit: 1 (PLUS - generation)

Secondary Chapters

Ch4: Pattern Matching
Ch7: Propagators
Ch10: Adventure Game Example

Connection Pattern

Generic arithmetic crosses type boundaries. This skill handles heterogeneous data.

---name: acsets-hatcherydescription: Attributed C-Sets as algebraic databases. Category-theoretic data structures generalizing graphs and dataframes with Gay.jl color integration.---# ACSets Hatchery## Overview**ACSets.jl** provides acsets ("attributed C-sets") - data structures generalizing both graphs and data frames. They are an efficient in-memory implementation of category-theoretic relational databases.## Core Features- **Acset schemas** - Category-theoretic data structure definitions- **Acsets** - Instances of schemas (like database rows)- **Tabular columns** - Efficient columnar storage- **Serialization** - JSON/binary format support## What Are ACSets?An ACSet is a functor from a category C to Set, with attributes. This means:- **Objects** become tables- **Morphisms** become foreign keys- **Attributes** add data types to objects## Usage```juliausing ACSets# Define a schema@present SchGraph(FreeSchema) begin V::Ob E::Ob src::Hom(E, V) tgt::Hom(E, V)end# Create an acsetg = @acset Graph begin V = 3 E = 2 src = [1, 2] tgt = [2, 3]end```## Extensions- **Catlab.jl** - Homomorphisms, limits/colimits, functorial data migration- **AlgebraicRewriting.jl** - DPO/SPO/SqPO rewriting for acsets## Learning Resources1. [Graphs and C-sets I](https://blog.algebraicjulia.org/post/2020/09/cset-graphs-1/) - What is a graph?2. [Graphs and C-sets II](https://blog.algebraicjulia.org/post/2020/09/cset-graphs-2/) - Half-edges and rotation systems3. [Graphs and C-sets III](https://blog.algebraicjulia.org/post/2021/04/cset-graphs-3/) - Reflexive graphs and homomorphisms4. [Graphs and C-sets IV](https://blog.algebraicjulia.org/post/2021/09/cset-graphs-4/) - Propositional logic of subgraphs## Gay.jl Integration```julia# Rec2020 wide gamut with acset seedgay_seed!(0xb4545686b9115a09)# Mixed mode checkpointingparams = OkhslParameters()∂params = Enzyme.gradient(Reverse, loss, params, seed)```## Citation> Patterson, Lynch, Fairbanks. Categorical data structures for technical computing. *Compositionality* 4, 5 (2022). [arXiv:2106.04703](https://arxiv.org/abs/2106.04703)## Repository- **Source**: plurigrid/ACSets.jl (fork of AlgebraicJulia/ACSets.jl)- **Seed**: `0xb4545686b9115a09`- **Index**: 494/1055- **Color**: #204677## GF(3) Triad```algebraic-rewriting (-1) ⊗ acsets-hatchery (0) ⊗ gay-monte-carlo (+1) = 0 ✓```## Related Skills- `acsets-algebraic-databases` - Full ACSet guide- `specter-acset` - Bidirectional navigation- `world-a` - AlgebraicJulia ecosystem## Forward Reference- unified-reafference (ACSet schema consumer)## Patterns That Work- Schema-first database design- Morphism-based foreign keys- Integration with unified-reafference## Patterns to Avoid- Ad-hoc schema changes- Missing attribute type annotations## SDF InterleavingThis skill connects to **Software Design for Flexibility** (Hanson & Sussman, 2021):### Primary Chapter: 3. Variations on an Arithmetic Theme**Concepts**: generic arithmetic, coercion, symbolic, numeric### GF(3) Balanced Triad```acsets-hatchery (+) + SDF.Ch3 (○) + [balancer] (−) = 0```**Skill Trit**: 1 (PLUS - generation)### Secondary Chapters- Ch4: Pattern Matching- Ch7: Propagators- Ch10: Adventure Game Example### Connection PatternGeneric arithmetic crosses type boundaries. This skill handles heterogeneous data.

Frequently asked questions

Acsets Hatchery