How do I install the Acsets Hatchery skill?

Run npx skillmds add majiayu000/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. 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?

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

Acsets Hatchery by majiayu000 — Agent Skill

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

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

---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 ```julia 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 1. [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 systems 3. [Graphs and C-sets III](https://blog.algebraicjulia.org/post/2021/04/cset-graphs-3/) - Reflexive graphs and homomorphisms 4. [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 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](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

Frequently asked questions